 q**2 + 9*q - 12. Let c be j(-10). Is 29 a factor of ((-1)/c)/(2/348)?
True
Suppose 3*s - 18 = 2*f + 10, 0 = 5*f + 4*s + 70. Let r = f + 78. Is r a multiple of 10?
False
Let h(l) = 3*l**3 + 5*l**2 - 8*l + 5. Does 7 divide h(2)?
False
Suppose -60 = -w + 5*w. Let c = -12 - w. Suppose -20 = -d - 4*g - 1, c*g = 0. Is d a multiple of 12?
False
Let j = -292 + 1545. Does 61 divide j?
False
Suppose -4*m + 3*j = -5*m + 15, -2*j = -4*m + 4. Suppose 0 = m*s + s - 196. Suppose -185 = -5*y + 5*b, 4*y + 4*b - 173 + s = 0. Is y a multiple of 26?
False
Let r = 405 - 174. Is 33 a factor of r?
True
Let b(i) = 5*i - 12. Let p be b(4). Let t = 37 + p. Does 5 divide t?
True
Let z(x) = 21*x - 9. Let o be z(4). Suppose 4*s = s + o. Is s a multiple of 5?
True
Let w = 0 - 7. Let a(y) = -2*y - 8. Is a(w) a multiple of 5?
False
Let z = 496 + -466. Does 25 divide z?
False
Suppose -y + 4*f - 241 = -594, -25 = 5*f. Does 18 divide y?
False
Let l(v) = v**3 + 26*v**2 - 16*v - 58. Does 14 divide l(-25)?
False
Suppose -32 = -4*d + 3*m, m = 3*d - 3*m - 17. Let t(f) be the first derivative of f**4/4 - 4*f**3 + 15*f**2/2 + 10*f + 1. Does 18 divide t(d)?
True
Suppose 268*n = 278*n - 2780. Is 14 a factor of n?
False
Suppose -5*p + 2*j = 3*j - 114, -19 = -p - 4*j. Does 4 divide 0 + p - (0 - 18/(-6))?
True
Let s(o) = 11*o**2 + 26*o - 71. Is s(-16) a multiple of 51?
False
Let h = -24 - -35. Suppose 0 = 5*t + 4*v + 2, 5*v + 0 = -2*t - h. Let x = 26 - t. Is x a multiple of 8?
True
Suppose 4*c - 2187 = 1981. Is 10 a factor of c?
False
Suppose k + 2*z - 408 = 0, -4*k = -z + 650 - 2282. Is k a multiple of 8?
True
Let d = 1414 + -708. Is 50 a factor of d?
False
Let w(z) = -z**3 - 8*z**2 - 6*z + 9. Let o be w(-7). Let f = -6 + 8. Suppose -m + 105 = -f*s, -o*m = 2*m + 3*s - 398. Is 37 a factor of m?
False
Let r be (-1)/(1/22*-2). Let v(n) = -27*n**3 + 26*n**3 - 21*n**2 + 4 + 33*n**2 - 11*n. Is v(r) a multiple of 4?
True
Let j = -2417 - -1711. Let v = j + 1281. Suppose 2*t + 3*t = v. Is t a multiple of 30?
False
Let x(d) = 3*d**2 + 8*d - 76. Does 12 divide x(14)?
True
Suppose 17*x = 21*x. Suppose -3*f + 32 + 100 = x. Is f a multiple of 22?
True
Suppose -2727 = -7*r + 2103. Is r a multiple of 46?
True
Suppose 4*x - h = 7, -3*x - h + 7 + 7 = 0. Let l be 1 + x + 5 + -1. Is 28 a factor of (l + -1)/(3/24)?
True
Suppose 3*c = 3*f - 6624, -8*f - 2*c = -6*f - 4420. Is 51 a factor of f?
False
Let x = -28 + 33. Suppose -x*h = 2*o - 0*h - 12, 2*o - 5*h = -28. Is 5 a factor of o - 72/(9/(-3))?
True
Let o be 9/((-1)/((-2)/(-3))). Let q(h) = 29*h - 9. Let u be q(o). Is 15 a factor of u/(-4) + (-3)/4?
True
Suppose 2*v - 16 = -3*p, -2*p + 3*v - 9 = p. Let m(g) = 0*g**3 - 14*g - 8*g**2 + 2 - g**3 - g + p*g**3. Does 8 divide m(10)?
False
Let o = 122 - 61. Suppose 3*u - 6 = -3*x, -11*x - 2*u + 13 = -6*x. Suppose -o - 38 = -x*w. Is 11 a factor of w?
True
Let z(k) = 20*k - 3. Let m be z(1). Let a(w) = 6*w + 4. Does 13 divide a(m)?
False
Suppose -2*n - 4*m + 3*m = -378, -944 = -5*n - 3*m. Does 33 divide n?
False
Suppose 11*o - 936 = 2*o. Is o a multiple of 8?
True
Suppose -8*n - 16857 = -17*n. Is 13 a factor of n?
False
Is 7 a factor of (-8 + 110)/3 - -3?
False
Let y(b) = -3 + 2 - 57*b + 18*b - 30*b. Is 17 a factor of y(-1)?
True
Let z = 4578 + -1221. Is 15 a factor of z?
False
Let z = -25 - -268. Suppose -3*w + 5*w = 4. Suppose -5*k + z = 2*g, -5*g = -w*k - 0*g + 74. Is 13 a factor of k?
False
Suppose 0 = 5*c - 0*c - 85. Let i be (20 - c) + 0 + 2. Suppose 4*s = 3*w + 386, -66 = -2*s + i*w + 120. Is 14 a factor of s?
True
Let s = -214 - -300. Let w = s - 53. Is 11 a factor of w?
True
Let l be (2 + 1)*(-4448)/(-12) + -1. Suppose 10*b - 869 = l. Does 11 divide b?
True
Suppose 0 = 3*o - 3*k - 615, k = o - 4*k - 221. Is o a multiple of 21?
False
Suppose 703 = 2*y + 189. Let w = y - 97. Is 16 a factor of w?
True
Let r(y) = -6*y + 8. Let a be r(-5). Let u be ((-107)/2)/((-19)/a). Let d = u - 43. Does 20 divide d?
False
Let j(n) = -6*n**3 + 3*n**2 + 19*n. Is j(-7) a multiple of 14?
True
Let n(i) = -10*i**2 + 5*i - 8. Let r(b) = -9*b**2 + 4*b - 3. Let c(g) = 1. Let m(o) = -4*c(o) + r(o). Let a(y) = -7*m(y) + 6*n(y). Does 4 divide a(-2)?
False
Suppose -7*v + 5850 = 6*v. Is 20 a factor of v?
False
Suppose -832 = p - 5*p. Does 26 divide 1/(2/p + 0)?
True
Let k = 1709 + -1205. Is k a multiple of 24?
True
Let c = -217 + 1748. Is c a multiple of 23?
False
Suppose 209 - 617 = -6*k. Is k a multiple of 26?
False
Let j(o) = 41*o - 1. Does 23 divide j(6)?
False
Is (-610)/2135 + (-3068)/(-7) + -1 a multiple of 44?
False
Does 77 divide 140613/99 + 10/15?
False
Suppose 4*j + 5*k - 5392 = 8*k, -j + 5*k + 1348 = 0. Is 8 a factor of j?
False
Suppose -13 = 4*i + 2*u + 21, 2*u - 1 = i. Let p be 2/(-28)*4*i. Suppose 0 = p*x - 4*q - 50, 2*q - 3*q + 61 = 3*x. Is x a multiple of 21?
True
Suppose 0 = -5*b + 3*b + 6. Suppose -b = 3*t, -2*t - 3*t + 16 = 3*z. Suppose -4*q - 120 = -z*q. Is q a multiple of 7?
False
Let n(o) be the second derivative of 91*o**4/12 + o**3/3 - o**2/2 + 10*o. Is 23 a factor of n(1)?
True
Let t be ((-70)/(-15) + -3)*-3. Let s(u) = -u**3 + 5*u + 1. Is s(t) a multiple of 29?
False
Let n(j) be the first derivative of 5*j - 5 - 7/2*j**2. Does 10 divide n(-4)?
False
Suppose 3*j - 96 = 27. Let g = j - 28. Is 11 a factor of g?
False
Does 3 divide 1 - (-1722)/(-18)*-3?
True
Does 90 divide 5/(-8*(-50)/79520)?
False
Suppose 4*d = 654 + 1558. Let v = d + -101. Suppose -5*t + v = 4*j, 3*t - 258 = -0*t + 2*j. Does 19 divide t?
False
Let p be 1164/8 - (-3)/6. Let s = p + -80. Is 37 a factor of s?
False
Suppose x - 6 + 11 = 0. Let f = -1 - x. Suppose 0 = -f*n + k - 5*k + 80, 0 = n + 4*k - 35. Does 8 divide n?
False
Let f = -18 + 30. Does 10 divide ((-44)/f + -4)*-3?
False
Does 7 divide (-3 - (-80)/10) + 254?
True
Suppose 7*r = 6*r. Suppose 3*p - 3*f - 285 = r, -p + f = 4*p - 475. Is 19 a factor of p?
True
Let g = 1 - -2. Suppose 0 = -4*d + g*d + 48. Is 16 a factor of d?
True
Let u = -7 - -26. Suppose -4*w + 45 = -u. Is 8 a factor of w?
True
Suppose 0 = 2*h - 3*h - 1, 3*d + 48 = -3*h. Let v = 85 + -42. Let c = v + d. Is 9 a factor of c?
False
Suppose 0*x + x + 0*x = 0. Suppose -c + 20 = 4*c. Suppose 3*f = -4*d + 156, -2*d + 6*f - c*f + 78 = x. Is d a multiple of 13?
True
Let s(m) = 2*m**3 - 5*m**2 - 16*m + 12. Is 3 a factor of s(5)?
True
Let o be -1 - 0/4 - -7. Suppose -46 = -5*z - o. Suppose -z = -t - 2*m, 0 = 4*m + 2 + 2. Is t a multiple of 5?
True
Suppose i - 49 - 127 = -4*b, -2*i + 340 = -4*b. Does 43 divide i?
True
Suppose 2*q = 3*q - 94. Let o = -126 - -65. Let u = q + o. Is u a multiple of 17?
False
Let m(k) be the first derivative of 4*k**3/3 + 9*k**2/2 - 10*k + 14. Is 10 a factor of m(6)?
False
Suppose 0 = -5*s + 9*s - 32. Suppose -q + 0*q - s = g, q - 47 = 4*g. Let o = g + 19. Is 2 a factor of o?
True
Let j(r) = r**3 + 12*r**2 - 8*r - 14. Let w be (6 + -2)*(-2)/(-4). Suppose 39 = m - 3*m - 3*b, w*m - 5*b = 1. Does 28 divide j(m)?
False
Suppose y = -4*a + 112, 0*y + 537 = 5*y - 3*a. Let m = y + -75. Let v = m - 19. Is v a multiple of 13?
False
Let o(f) = -3*f + 2. Let s be o(-3). Suppose -6*m + 7 = -s. Suppose -39 - 93 = -m*k. Does 11 divide k?
True
Let x(u) = u**3 + 4*u**2 + 4*u + 5. Let p be x(-5). Let s = p + 125. Is 19 a factor of s?
False
Let u = 26 - 22. Suppose -u*y + 3*o = 6*o - 65, 5*y - 4*o = 120. Is y a multiple of 20?
True
Let s(k) = k**2 + 5*k - 12. Let q be s(-7). Is 35/q*18/15 a multiple of 3?
True
Let u(x) = x**3 + 19*x**2 + 23*x - 40. Suppose 4*s - 54 = 2*a, -4*a + 2*s + 24 = -6*a. Does 16 divide u(a)?
False
Let a = -319 - -418. Does 8 divide a?
False
Let s = 1210 - 280. Is 13 a factor of s?
False
Let c be (-7 + 9)*(55 + 1). Let w = 212 - c. Is w a multiple of 16?
False
Suppose 3*q = -5*p + 16830, 153*p = 150*p + 5*q + 10098. Is p a multiple of 51?
True
Suppose 3*g - 47 = -2*d, 0 = 5*g - 5*d - 126 + 6. Is g a multiple of 2?
False
Suppose 5*b + w = 34, -2*b = -5*w + 2*w. Suppose -b*q + 150 = -0*q. Is q a multiple of 3?
False
Let u(p) = 8 + 2*p + p**2 + 0*p**2 - 4*p**2 + 4*p**2. Is u(-6) a multiple of 5?
False
Suppose 8*u + 6 - 46 = 0. Suppose -2 - 17 = -4*f + b, 0 = -u*f - b + 26. Let m(c) = 2*c**3 - 8*c**2 + 5*c + 3. Is m(f) a multiple of 9?
False
Suppose -h = -5*l + 13, 5*h = l + 2*h + 3. Suppose 4*w = l*w + 