. Is h a multiple of 32?
True
Suppose -215 = -5*t + 4*d, -4*t - 5*d + d + 136 = 0. Let f = -267 + t. Let l = f - -320. Is l a multiple of 6?
False
Let q(y) be the second derivative of 2*y**2 + 0 + 32*y - 2*y**3 + 1/20*y**5 + 5/12*y**4. Does 25 divide q(-6)?
False
Let q = -286 + 306. Suppose -8*c + 92 = -q. Is c a multiple of 7?
True
Does 109 divide 9/(-36) + 5/(-28) - (-19391464)/1358?
True
Suppose -17*n = -19847 - 7285. Does 14 divide n?
True
Suppose -82*z - 57*z + 726340 = -47*z. Is z a multiple of 5?
True
Let x(f) = 74*f**2 + 7*f + 18. Suppose -w - w + 5*m = 21, 3*w = 3*m - 18. Does 51 divide x(w)?
True
Let r(o) = 112*o**2 - 4191*o + 56. Is 125 a factor of r(43)?
False
Let m(u) = 38*u**2 + 1. Let n be m(1). Suppose -4*x + 3*h = 84, -h - 66 = 5*x + n. Is (156/x - 0)*21/(-6) a multiple of 9?
False
Let a = 124 - -334. Suppose a = 9*w - 919. Is w a multiple of 53?
False
Let i(t) = -t**2 - 3*t + 22. Suppose -12*q + 3 + 33 = 0. Let s be i(q). Suppose -148 + 1136 = s*r. Is r a multiple of 13?
True
Let n(m) = m**3 + 7*m**2 + m + 8. Let x be n(-7). Let a(f) be the first derivative of 35*f**4/4 - f**3/3 + f - 130. Is 9 a factor of a(x)?
False
Suppose 5*x = i + 2, 5*x - 10*x + 2*i = -4. Suppose 4*s + 54 - 806 = x. Is s a multiple of 6?
False
Suppose 0 = -3*b + 2*b + 27. Suppose 2*j - j + b = -4*n, n + 3*j + 15 = 0. Let y(k) = -5*k - 3. Does 9 divide y(n)?
True
Suppose -38 = -n - 4*z, n - 3*n - 3*z = -91. Let f = n - 40. Suppose 0 = -f*k + 652 + 398. Is k a multiple of 6?
False
Suppose -t + 4758 = 4*x, 3*t + 5716 = 4*x + 950. Let d = x - 495. Is 56 a factor of d?
False
Suppose -5*d + 9*a = 4*a - 20, 0 = -3*d + 5*a + 20. Suppose -60*l + 70*l - 270 = d. Does 9 divide l?
True
Let t(f) = 76*f**2 + 286*f + 4. Does 6 divide t(-4)?
False
Suppose -5*v + 25057 = 513*o - 515*o, 0 = 3*o + 18. Does 121 divide v?
False
Let r(x) = 681*x**3 - 3*x**2 - 62*x + 128. Is 4 a factor of r(2)?
True
Let p = -11683 - -16155. Is p a multiple of 104?
True
Let m = 59 - 53. Suppose m = 2*x - 4, -x + 9 = j. Suppose 0 = h - 176 + j. Does 43 divide h?
True
Let t(a) = -235*a + 3500. Does 150 divide t(-70)?
True
Let d be 316/12 - 1/(-9)*-3. Let i be 20/3 - d/39. Suppose -25 - 185 = -i*a. Is a a multiple of 13?
False
Suppose 2*y = 2*n + 9140, 15*n = 6*y + 19*n - 27470. Does 61 divide y?
True
Let o be (-6)/(-20)*-2 + (-1059)/(-15). Let m = o - -330. Is 20 a factor of m?
True
Let y be 4550 + 165/40 + 1/(-8). Suppose 17*z = 6*z + y. Is z a multiple of 9?
True
Let v(b) = 4*b + b**2 - 2*b**2 - 3*b + 17. Suppose 3*x - 3 - 2 = -5*z, -2*x - 4*z + 4 = 0. Is 17 a factor of v(x)?
True
Let k = 135 + -90. Let f = 147 - 149. Let v = f + k. Does 43 divide v?
True
Suppose 3*w + b + 304 = 0, -2*b + 492 = -6*w + w. Is ((-6680)/w)/(2/5) a multiple of 5?
False
Let k(o) = 2*o**2 - 5*o - 27. Let p = -230 + 155. Let i = 70 + p. Is k(i) a multiple of 8?
True
Suppose -2*y - 2*d + 692 = 0, 1033 = 3*y + 2*d - 0*d. Suppose -2*r + r + y = 0. Does 17 divide r?
False
Let a(s) = 136*s**3 - 3*s - 2. Suppose 44*d - 90 = -2. Is 60 a factor of a(d)?
True
Let p(b) = -1208*b**3 - 24*b - 36. Does 4 divide p(-2)?
True
Suppose -10 = 3*i + 5*z - 1, 0 = -4*i - 2*z + 2. Let j be (-210)/(-63) - 264/9. Is 4/26 + -674*i/j a multiple of 26?
True
Let l(t) = 2*t**3 - 24*t**2 + 7*t + 354. Is 6 a factor of l(18)?
True
Suppose l = -3, l + 41 = 4*o - 22. Suppose -3*c - 1 - 2 = -r, -c = -r + 9. Suppose -r*y = -o*y + 138. Does 15 divide y?
False
Let i = -4 + -45. Suppose -243 = -3*c + 3*k + k, -5*k - 15 = 0. Let h = c + i. Does 4 divide h?
True
Let p = -291 + 295. Suppose -3201 = -4*i + 3*s, 0 = 4*i - p*s - 4733 + 1537. Is 30 a factor of i?
False
Let w(q) = -q**3 - 44*q**2 + 59*q + 2772. Is 35 a factor of w(-48)?
False
Let l be (2 - -2) + -1 + 1. Suppose 644 = -4*o + l*i - 208, 0 = 3*i - 9. Let v = -102 - o. Is 27 a factor of v?
True
Suppose 0 = -2*i - 5*b + 1475, -i + 3*b = 5*b - 737. Suppose 3*x = 5*n - 928, 2*x = -4*n - 3*x + i. Is n a multiple of 2?
False
Suppose 7406 = -2*h - 12*h. Let t = h - -897. Is t a multiple of 9?
False
Let s = 804 - 1348. Let y = -272 - s. Is y a multiple of 34?
True
Let z = -182 - 60. Let p = -102 - z. Is 14 a factor of p?
True
Suppose -2*q + 35 = 4*y + y, 0 = -5*q - 2*y + 56. Suppose 7*k = q*k - 405. Is 15 a factor of k?
True
Let n = -57 + 7. Let v = n - -137. Let h = v + -48. Is 39 a factor of h?
True
Let g(w) = 1149*w + 138. Does 10 divide g(28)?
True
Is 28875 - -157 - (-2)/(2/5) a multiple of 14?
False
Let o be (-6 - 0) + (3 - 4)/(-1). Let d(q) = -10*q**3 - 30*q**3 - 5 + 10*q + 39*q**3. Does 14 divide d(o)?
True
Let w be 6033 + -1 - (7 + -5). Suppose w = 11*s + 4*s. Is s a multiple of 37?
False
Let i be 36/(-63) + 106/14. Let b = -86 - -123. Let f = b + i. Is f a multiple of 5?
False
Let l be 4/5*(-65475)/(-194). Let v(d) = 2*d**3 - 2*d**2 + 5*d - 3. Let z be v(-4). Let s = z + l. Does 29 divide s?
True
Let i(m) = -6*m - 4 - 1 + 40*m. Suppose -6*g + 5 = -25. Is i(g) a multiple of 19?
False
Let l be (-2)/(2*2/(-8)). Let r be -8 - (l + -5 - 3). Is 14 a factor of 176/66*(-30)/r?
False
Let h(x) = 58*x + 6594. Is h(-77) a multiple of 39?
False
Let x(d) = -2*d**2 + 14*d + 8. Let r be 3/7 + 77/49. Suppose -41 + 27 = -r*j. Is 3 a factor of x(j)?
False
Let y(a) be the second derivative of a**5/20 - 11*a**4/12 - a**3/3 + 11*a**2 - 145*a. Is y(12) even?
True
Let l be (-4876)/20 - (-2 + 11/5). Let k = l + 270. Does 3 divide k?
False
Let x(h) = -23*h**3 + 5*h**2 - 2*h - 1. Let m be x(3). Let a = 1093 + m. Suppose -3*q = 183 - a. Is q a multiple of 10?
False
Let g be (6/4)/((-24)/160*-5). Suppose 0 = 2*f + g*q + 2 - 80, 0 = -3*f - q + 107. Is f a multiple of 2?
True
Let p = -22378 - -51858. Is 40 a factor of p?
True
Suppose 17*c + 3384 = 21*c. Suppose -4*b + 4*o + 1175 + 509 = 0, c = 2*b + 2*o. Is 10 a factor of b?
False
Let h(i) = -i - 1. Let s(b) = -b**2 - 6*b + 29. Let x(f) = -f**3 + 6*f**2 + f + 12. Let l be x(6). Let w(y) = l*h(y) - 2*s(y). Is 47 a factor of w(-12)?
False
Suppose 3*j = -6323 + 43583. Is 35 a factor of (j/(-92))/(1/(-7) - 0)?
True
Let q = -251 - -500. Suppose 0 = -2*w + 12*w - 3640. Let t = w - q. Is t a multiple of 8?
False
Let o be 6/2*470/3. Suppose -2*k + 0*k = -o. Is 19 a factor of (k/(-20))/(1/(-8))?
False
Let a(u) = 3*u**3 - 2*u**2 + 6*u - 36. Let r = 400 - 396. Does 4 divide a(r)?
True
Suppose x + 5*c = 597, -c - 4722 = -5*x - 1685. Let w = 1903 - x. Is 48 a factor of w?
True
Suppose 4*r - 3*g - 4184 = 0, 0 = 2*r + 7*g - 0*g - 2058. Is 2 a factor of r?
False
Let d be 2/(-14) - 4275/63. Let k = d + 74. Suppose -5*u - 13 = -k*u. Is 13 a factor of u?
True
Let u(z) = -z**3 + 5*z**2 - 3*z - 3. Let l be u(3). Suppose 3*c = l, c = -5*g + 5*c + 3677. Is g a multiple of 48?
False
Let r(g) = 528*g**2 - 206*g**2 + 247*g**2 + 102*g**2. Let t be r(-1). Suppose -5*m + t = l + 72, 3*l - 357 = -3*m. Is m a multiple of 7?
False
Let j be (-2702)/(-6) - (-3)/(-2 - 7). Suppose -2*m - 3*m + j = 0. Is m a multiple of 30?
True
Suppose 33 = -5*x + 118. Let i = 34 - x. Let k = i - -1. Does 18 divide k?
True
Let c(j) = 39183*j**2 + 155*j + 158. Does 109 divide c(-1)?
False
Suppose -16*q + 11*q - 45 = -5*w, 3*q + 12 = 0. Suppose b + 113 = -8*n + 13*n, n - w*b - 13 = 0. Is 5 a factor of n?
False
Let d = -3492 + 4037. Does 3 divide d?
False
Let q = 15 - 15. Suppose q = 2*m - s + 5 + 6, m + s - 2 = 0. Is (16 - 47)*(-3)/(m/(-2)) a multiple of 13?
False
Let l(j) = 2096*j + 4762. Does 16 divide l(6)?
False
Suppose -3*q - 131 = -2*v - 129, 2*v - q - 6 = 0. Let z be 6/(((-3)/(-2))/(-1)). Does 27 divide (2 - 84/z) + v?
True
Let k(p) = -p - 14. Let v be k(-16). Suppose 3*m - 8 = -v. Suppose -m = -z + 12. Is 14 a factor of z?
True
Suppose 8*v - 84 = -4. Suppose 0 = -v*n + 20*n - 2780. Is n a multiple of 26?
False
Suppose 0 = 2*i - u - 7795, 4*u = i + u - 3915. Is i a multiple of 2?
True
Suppose 6*m + v + 8 = 11*m, -2*m = -5*v + 6. Suppose 1435 = 3*r - 5*p, -5*r + 2441 = -m*p + 6*p. Does 20 divide r?
False
Let c = -9195 - -17250. Does 39 divide c?
False
Let h(s) = 1579*s**2 + 253*s - 512. Is 8 a factor of h(2)?
False
Suppose -18*r + 37344 = -16*r. Suppose -h = 15*h - r. Does 14 divide h?
False
Let m be (2/3)/((-6)/(-1332)). Suppose -3*x = 5*d + 158, -6*d + 2*d + 3*x = m. Let q = d + 52. Is q a multiple of 18?
True
Let m(f) = 