erivative of u**4/12 - u**3 + 6*u**2. Let r be z(3). Suppose r = 3*m + 2*m - 125. Is 9 a factor of m?
False
Let d(x) = 8*x**3 + 3*x**2 + 3*x - 7. Let r be d(3). Suppose 5*q - r = -4*n, -q = 4*q + 5*n - 245. Is 23 a factor of q?
False
Let o be (-1)/((-3)/183 + 0). Is 10 a factor of o/2 - (-9)/(-18)?
True
Does 16 divide (2564/6 - (-9)/(-27)) + 0?
False
Does 118 divide 45/(-54) + -902*(-87)/36?
False
Let o(d) = -d**2 - 3*d. Let z be o(3). Let f be (z/4*2)/(-3). Suppose 0 = -3*h - 12, f*m = 2*h + 200. Does 16 divide m?
True
Let z(u) = 7*u + 84. Let g be 54*3/(-18)*-3. Is 32 a factor of z(g)?
False
Let t(w) be the first derivative of w**4/4 - 5*w**3/3 - 2*w + 6. Let k be t(5). Let y = k + 20. Is y a multiple of 4?
False
Let p be (30/(-24))/((-2)/8). Suppose d + 5*h = p*d - 340, 0 = -4*d - 4*h + 304. Is (15/4)/(15/d) a multiple of 5?
True
Let h(q) = -q - 7. Let z be h(-9). Suppose -t - z*t + 63 = 0. Is 17 a factor of 6/t - (-318)/14?
False
Suppose -4*q - 2*i = -28, 1 = -5*q - 4*i + 39. Let m(r) = -r**2 + 14*r - 9. Does 20 divide m(q)?
False
Suppose 0 = 10*s - 5375 - 8305. Is 9 a factor of s?
True
Suppose 28*a - 10478 - 10522 = 0. Does 15 divide a?
True
Let f be ((360/28)/5)/((-9)/42). Is 7 a factor of ((-5)/6)/5 - 374/f?
False
Let w = 546 - 111. Is 29 a factor of w?
True
Let h = 728 - 40. Is h a multiple of 30?
False
Let a(h) = -h + 6. Let l be a(2). Suppose -l = -g + 1. Suppose -4*n + 3*t = -155, g*n = -0*n + 5*t + 200. Does 5 divide n?
True
Let m(g) = g**2 + g. Let l(y) = y**3 + 5*y**2 + 9*y + 20. Let r(i) = -l(i) - 5*m(i). Is 10 a factor of r(-10)?
True
Let z(n) = 2*n**2 - 19*n + 41. Is 3 a factor of z(7)?
True
Let y(k) = k**3 - 9*k**2 + 13*k + 7. Let o be y(7). Suppose o*f + 480 = 6*f. Is f a multiple of 16?
True
Let z be 1210/12 - 4/(-24). Let v = z - 71. Is (-30)/(-8)*80/v a multiple of 2?
True
Let v be (1 - -1) + -1 - -1. Let p be (-8)/(-3)*15/4. Suppose -5*j - p = 0, 5*g + 2*j = -v*j + 77. Is 7 a factor of g?
False
Let b(y) = -y**3 - 9*y**2 + 26*y - 127. Is 49 a factor of b(-15)?
True
Let q = 887 - -1281. Is 25 a factor of q?
False
Suppose 4*x = 2*p + 4702, 5*x - 102*p = -101*p + 5873. Is 9 a factor of x?
False
Suppose 5*b + 250 - 1155 = 5*k, 869 = 5*b + 4*k. Is b a multiple of 13?
False
Suppose -8*k = -6*k - 1360. Is k a multiple of 17?
True
Suppose -22 + 27 = 5*u. Let z(l) = 4*l**3 - 2*l**2 - l**3 + 14*l**3 + l. Does 10 divide z(u)?
False
Let j be (-4)/(-14) - 131/(-7). Suppose j*z - 14*z = 90. Is 6 a factor of z?
True
Let g(s) be the first derivative of -9*s**2/2 + 11*s + 38. Does 5 divide g(-6)?
True
Let g(z) = z**3 + 3*z**2 - 6*z - 4. Let d be g(-4). Let n be (-15)/(-6)*((-96)/20)/3. Let b = d - n. Does 2 divide b?
True
Suppose 215 = 35*v - 3565. Does 2 divide v?
True
Let t = 24 + -20. Suppose i - 6*i = 3*g - 74, 2*i = -t. Does 27 divide g?
False
Let f be -2*(0 - -2)*(-3 + -1). Suppose c + c = f. Does 8 divide c?
True
Let u be -47 + (-2 + 2 - 0). Let p(b) = b**2 - 17*b - 4. Let a be p(16). Let m = a - u. Is 6 a factor of m?
False
Suppose -4*d - d = -30. Let h be 8/8 - d/(-1). Suppose -k + 233 = h*g - 3*g, 5*g + k - 290 = 0. Is g a multiple of 19?
True
Let y = -51 - -296. Does 7 divide y?
True
Is 2 - 2 - 42*-5 a multiple of 24?
False
Suppose -89*p - 25405 = -125085. Is 10 a factor of p?
True
Let y be 27/6*(-832)/(-12) + 0. Suppose -4*v = t + 4*t - y, -v + 4*t = -78. Does 39 divide v?
True
Let h be (-6)/5*(-5)/3. Suppose -h*k + 8 = 2*s, 5*s - 5 = -k + 19. Suppose 0 = n - 2*q - 54, -s*q - 158 = n - 4*n. Does 23 divide n?
True
Let a(y) be the first derivative of 5*y**3/3 + 2*y**2 + 6*y - 12. Does 21 divide a(3)?
True
Suppose y - 6*y - 5*t + 395 = 0, 3*t = 5*y - 363. Let n = y - 29. Is n a multiple of 10?
False
Suppose -6 + 30 = -4*s. Let y(t) = t + 6. Let j be y(s). Suppose -5*c + j*i + 180 = 3*i, -5*c + i = -180. Is 7 a factor of c?
False
Let h = 144 + 56. Is 40 a factor of h?
True
Suppose 4*b = -2*d + 8, -2*d - 2*b - 3 = -7. Suppose 3*z - 3*k - 9 = d, -z + 9*k - 4*k = -23. Is 4 a factor of 8 + z + -4 + 6?
True
Let h(s) = s - 1 + 4 - 6*s. Let q(d) = -d**2 - 17*d - 19. Let u be q(-16). Is 9 a factor of h(u)?
True
Let u(y) be the second derivative of -5*y**3/6 - y**2/2 - y. Let l(q) = -q**2 + 33*q - 146. Let o be l(28). Is u(o) a multiple of 18?
False
Suppose -2*p + 4 = -5*p - 4*z, 2*z - 4 = 0. Let h(v) = v - v**2 - 2*v**2 - 4*v**3 + 3*v**3. Does 12 divide h(p)?
True
Suppose 0 = 4*w - 2*w - 4. Let c = w - 0. Suppose -5*n + 3*m + 174 = 0, -c*n - m = -0*n - 74. Does 12 divide n?
True
Let v(q) = 6*q - 2. Suppose 2*a - a = 3. Let m be v(a). Suppose m = p - 32. Does 16 divide p?
True
Suppose 0*n = -4*k + n + 393, -4*n = -12. Suppose 0 = -2*v - 25 + k. Is 7 a factor of v?
False
Let n(k) = -4*k + 44*k - 5*k - 4. Is 19 a factor of n(2)?
False
Suppose 8*t - 10474 = 22. Does 16 divide t?
True
Suppose 0 = -3*n + 6*n. Suppose n = -j - j + 260. Suppose -j = -3*f + 3*m + 41, -4*m = -2*f + 124. Is 12 a factor of f?
False
Suppose -r + f - 7 = -f, 3*r + 5*f - 12 = 0. Suppose 12 + 16 = -4*n. Is 10 a factor of (0 - n)/(r/(-7))?
False
Suppose 2*p = 5 + 1, -w - 2*p = -1194. Does 54 divide w?
True
Let s(l) = -20*l - 9. Let j be s(-5). Suppose j*t = 92*t - 6. Is t a multiple of 6?
True
Let q(n) = -n**2 + 14*n + 9. Let o be q(11). Let b be 180/o - (-4)/(-14). Suppose -2*y = 2*j - 7*j - 212, y - 106 = -b*j. Is y a multiple of 22?
False
Let t be 40/32 + 3/(-12). Let x be t/(10/(-8))*10. Let h = x - -27. Does 19 divide h?
True
Suppose -w + 4*y = 4 + 14, -13 = -4*w - y. Is (66/(-110))/(w/(-50)) a multiple of 7?
False
Does 26 divide -1*7/7 + 372?
False
Let q(u) = -2*u + 10. Let i be q(5). Suppose -t - 3*h = -45, 2*t - 4*h - 72 - 48 = i. Is 4 a factor of t?
False
Let d(f) = 283*f**2 - 5*f + 25. Is 31 a factor of d(2)?
True
Let n = 1063 - 727. Does 2 divide n?
True
Is 68 a factor of (-79)/(-1) + (-102)/17 + -5?
True
Let a(h) = 2*h + 12. Let q = 24 + -21. Is a(q) a multiple of 3?
True
Let x be (-6 + 4 + 3)*3. Suppose 0 = -q - h - 3*h + 15, -q + 13 = x*h. Suppose 340 = q*y - 3*y. Does 17 divide y?
True
Let d = 420 - 18. Is d a multiple of 38?
False
Let f(b) = 5*b**2 + 4*b - 15. Let o(v) = -11*v**2 - 11*v + 31. Let k(z) = -z. Let d(q) = -2*k(q) + o(q). Let h(y) = 4*d(y) + 9*f(y). Does 3 divide h(-5)?
False
Suppose 12*u - 180 = 2592. Is u a multiple of 14?
False
Suppose -2*t - 3*w = -18, -t + 6*t - 45 = -3*w. Suppose 2*p + 0*p - 60 = -2*o, -3*o - t = 0. Is p a multiple of 11?
True
Let b = -10 + 10. Suppose 0 = -4*m - 2*o - 0 - 20, 3*m - 3*o + 24 = b. Is (-21)/(-1 - m/9) a multiple of 13?
False
Let w = -846 - -1723. Is 45 a factor of w?
False
Let d be (-2*445/10)/(-1). Suppose 129 + 312 = 5*k - i, -i = -k + d. Does 22 divide k?
True
Is 67 a factor of (66*(-6)/(-18))/(2/12)?
False
Let p(l) = l**3 + 16*l**2 + 18*l - 4. Let x be p(-14). Let n = -85 + x. Suppose -5*q + 23 + n = m, q = -3*m + 26. Does 7 divide q?
True
Suppose -y - 35 + 30 = 0. Let d(v) = 2*v**3 + 12*v**2 + 4*v - 8. Is 11 a factor of d(y)?
True
Let a = -12 + 82. Suppose 8*g - 3*g + h - 306 = 0, -2*h = -g + a. Is 27 a factor of g?
False
Suppose 3*c + 9 = 0, 0 = 3*x - 7*x - 3*c + 63. Suppose -20*y + 178 - x = 0. Is y a multiple of 2?
True
Suppose 2*k = p - 162 - 144, 4*p + 3*k - 1191 = 0. Is 10 a factor of p?
True
Suppose -30 = -2*m + 4*r + 102, -m = 2*r - 78. Suppose -9*x - 18 = -m. Does 3 divide x?
True
Let x(y) be the second derivative of -y**4/12 + 5*y**3/3 + 5*y**2 - 4*y. Does 31 divide x(7)?
True
Let l(t) = -2*t**2 - 57*t - 48. Is 31 a factor of l(-20)?
False
Let i(s) = 2*s**2 - 5*s + 2. Let w(x) = -7*x**2 + 21*x - 9. Let v(d) = 9*i(d) + 2*w(d). Is 19 a factor of v(-4)?
True
Is (-9)/6*(-5984)/66 a multiple of 68?
True
Let c = 7 + -4. Suppose 3*r - 2*r - 5*h = 17, -51 = -c*r + 5*h. Is 7 a factor of r?
False
Does 23 divide (414 + 0/(-8))/(12/8)?
True
Suppose -z + 0*z + 2 = 0. Suppose -g + r = g - 491, g - 247 = z*r. Let o = g - 161. Does 21 divide o?
True
Let q = -104 + 274. Suppose -q - 90 = -10*j. Does 26 divide j?
True
Suppose -11*s + 9*s + 54 = 0. Suppose -s = -6*m + 9. Is m a multiple of 2?
True
Let o(a) = a**3 - 15*a**2 + 2. Let p be o(15). Suppose 3*k - 2*i - 3*i = 150, 0 = p*i. Is 10 a factor of k?
True
Let i(t) = t**2 - 7*t + 9. Let a be i(8). Let k = 8 + a. Is 6 a factor of k?
False
Suppose m - 9 = 