*3/3 + 4*f**2. Is 9 a factor of h(3)?
False
Suppose 408 = 5*g - g. Suppose -5*c + m - 4*m = -g, -3*c = -5*m - 68. Is 11 a factor of c?
False
Let l(u) be the first derivative of u**4/4 + 5*u**3/3 - 5*u**2/2 - 2*u - 1. Is 16 a factor of l(-5)?
False
Suppose 5*f - 355 = -10. Is 24 a factor of f?
False
Let x = 0 + 4. Suppose x*m = -3*k - 4, 2*m + 0 = 2*k - 2. Suppose 0 = -5*b + 5, 4*f + 5*b - 149 = k. Does 13 divide f?
False
Let z(l) = 2*l**3 - 3*l**2 + 3*l + 2. Does 23 divide z(3)?
False
Let s = -19 - -64. Suppose -c + 2*c - s = 5*u, -179 = -5*c + 2*u. Suppose 2*t = z - 9 + 2, -c = -5*z + 2*t. Is z a multiple of 3?
False
Suppose 4*o = -35 + 167. Is o a multiple of 11?
True
Suppose -3*n + 52 + 72 = h, 5*h - 100 = -2*n. Is n a multiple of 9?
False
Suppose 4*b - 3*l - 445 = 0, -2*b + 565 = 3*b + 5*l. Is 28 a factor of b?
True
Let r(u) = 2*u + 11. Is 21 a factor of r(5)?
True
Suppose -4*o = o + 10. Does 15 divide -2 + (44 - (-2)/o)?
False
Let f(k) = -k**3 - 10*k**2 + 11*k + 7. Let j = -18 + 7. Let a be f(j). Suppose a*o - 16 = -b + 2*o, -4*b + 83 = o. Does 10 divide b?
False
Let m(r) = -r**2 - 4*r + 4. Let o be m(-4). Suppose -3*n = 5*h - 8*h + 21, -o*h = -3*n - 20. Is 5 a factor of (-4)/(2/n*2)?
False
Let v be 1*13*(-1 + 0). Let p = v - -18. Suppose -8 = -p*j + 12. Does 2 divide j?
True
Does 21 divide (-5658)/(-30) - (-2 - (-8)/5)?
True
Let h = -37 + 70. Does 11 divide h?
True
Let d = -4 - 1. Let h(k) = -2*k - 7. Is 3 a factor of h(d)?
True
Let f be 69/(-12)*(-4 - 0). Let n = -8 - 4. Let k = f + n. Is k a multiple of 7?
False
Let t(i) = i**3 + 7*i**2 - 5*i - 16. Is t(-5) a multiple of 3?
False
Let b(k) = -k - 3. Let h be b(-6). Let t = h - 0. Let g(p) = p**2 + 4*p - 3. Is 5 a factor of g(t)?
False
Let f = -20 + 31. Let j = 4 + f. Does 11 divide j?
False
Let m = 0 - 0. Suppose m*z = 4*z - 256. Is 16 a factor of z?
True
Let d be -2*1 - (23 + -2). Suppose 0*f - 132 = -4*f. Let r = f + d. Is 6 a factor of r?
False
Suppose 0 = -n + 3*a + 3, -n - 3*n = 2*a + 30. Does 24 divide (-48)/(-2)*(-12)/n?
True
Let z(c) = -5*c + 3. Does 2 divide z(-3)?
True
Let t = 537 - 341. Let r = 11 + 35. Suppose r - t = -5*k. Does 11 divide k?
False
Let a(c) = -5*c**2 + 4*c - 6. Let f be a(4). Let v = -34 - f. Does 12 divide v?
True
Suppose -3*h + 945 = 4*h. Does 9 divide h?
True
Suppose -g + q = -94, 0 = -g + 2*g - 5*q - 86. Is 32 a factor of g?
True
Suppose -y = -o - 11, 11 = 3*y - 4. Let f(v) = v**2 + 7*v + 8. Let i be f(o). Suppose -3*l - 2*j + 8 = 0, 2*j = -2*l - i*j. Is 4 a factor of l?
True
Let p = 4035 - 5911. Let x be p/(-63) - 2/(-9). Suppose -2*f + x = -16. Is f a multiple of 9?
False
Suppose 32 = b - 0*b. Suppose -5*c = 7 - b. Let h = c - -13. Is 9 a factor of h?
True
Let p = 65 + -37. Is 14 a factor of p?
True
Suppose -5*i - 27 = -2. Let q(r) be the first derivative of 2*r**3/3 + r**2 - r - 7. Is q(i) a multiple of 10?
False
Let r = -2 - -4. Is 8 a factor of -1 - 52/(r/(-1))?
False
Let i(v) = -7*v - 5. Let g(k) = k**2 - 6*k - 4. Let o(r) = 5*g(r) - 4*i(r). Is 5 a factor of o(2)?
False
Suppose -4 = r - 34. Let v be 1/(-3) - r/(-9). Let k = 7 - v. Is 2 a factor of k?
True
Suppose 14 = q + 4*a, 2*q + 0*q + 4*a = 36. Does 11 divide q?
True
Let z(f) = -22*f - 6. Let k(x) = -22*x - 5. Let g(c) = 3*k(c) - 2*z(c). Is 17 a factor of g(-2)?
False
Suppose 2*n - 2*l - 88 = 0, n + 3*l - 64 = -0*n. Is 10 a factor of n?
False
Suppose -28*m = -30*m + 38. Does 4 divide m?
False
Suppose -530 = -3*y + 2*p, y - 3*y = 3*p - 349. Suppose t - y = -3*t. Does 11 divide t?
True
Let q(g) = g**3 - 11*g**2 + 8*g + 13. Let o be q(11). Let y = -32 + o. Does 23 divide y?
True
Let i(u) = u**3 - 10*u**2 - 5*u - 12. Let z be i(11). Let x be (-12)/z + (-4)/(-18). Suppose -5*y - 38 = 2*w - 251, x = -3*y + 3*w + 111. Does 13 divide y?
False
Suppose -1 - 4 = -v. Is v a multiple of 5?
True
Suppose -5*r - 5*p + 101 = -4*r, 5*p + 475 = 5*r. Does 15 divide r?
False
Suppose -25 = 5*z, -f - 75 = -2*z - z. Suppose 4*w + 18 - 2 = 0. Does 10 divide (w/(-6))/((-3)/f)?
True
Suppose -7 - 8 = -3*a. Suppose -4*i = -a - 3. Suppose -3*g + 3*f + 74 = g, i*f = 2*g - 38. Does 7 divide g?
False
Suppose -3*o = -2*x + 4, 4*x = -3*o + 4*o + 8. Suppose 0 = -4*g - 16, 34 = 3*f - x*f - g. Let s = f - 14. Is 16 a factor of s?
True
Suppose 4*o - 5*f - 14 = 0, 0 = -2*o - 4*f - 7 + 27. Let i = o - -19. Let x = i - 13. Is 10 a factor of x?
False
Let h = 18 - 13. Let g = -1 + h. Is 4 a factor of g?
True
Suppose 5*v + 7 = 2*p, 4*p = v - 16 - 15. Let a be (-3)/p + (-14)/(-3). Suppose -52 = -2*q - a*u, -2*q - 3*q = -3*u - 68. Is q a multiple of 8?
True
Suppose -5*m + 3*t = -108 - 423, 4*t = 5*m - 528. Is 36 a factor of m?
True
Let u = 0 - -4. Let b be (58/u)/((-4)/8). Let x = -9 - b. Is x a multiple of 10?
True
Let d(j) = 30*j**2 + j - 1. Let z(i) = i**3 - 7*i**2 - 8*i + 1. Let n be z(8). Does 15 divide d(n)?
True
Is 12 a factor of (-2 - -3) + 3 + 116?
True
Let m be ((-1)/2)/(3/(-36)). Suppose 3*k = 54 + m. Does 19 divide k?
False
Suppose 0 = 2*w - 3*w + 123. Suppose 18 - w = 5*k. Is 15 a factor of 7/(k/(-54)) - 3?
True
Suppose -24 = 2*q - 5*q. Suppose -1 = -p - q. Does 2 divide 3/(-2)*(5 + p)?
False
Let s(y) = 3*y + 35. Does 8 divide s(24)?
False
Suppose 2*h = -2*h + 16. Suppose 3*v + 2*r = -v + 26, 0 = -h*v - 3*r + 23. Does 8 divide v?
True
Suppose -4*t + 2*t = y - 4, 0 = -5*t - 3*y + 10. Suppose 0 = -t*o - 2*o + 68. Is 5 a factor of o?
False
Let o(s) = -s**2 + 13*s - 14. Is 2 a factor of o(11)?
True
Suppose -3*d + 12 = 0, 3*v - 8 = -v + 3*d. Does 2 divide v?
False
Let g(t) = -12*t - 77. Is g(-15) a multiple of 16?
False
Let c(b) = 2*b - 7. Let w be c(6). Suppose -5*t - 2*v = -34 + w, -4*t + 2*v + 34 = 0. Is t a multiple of 4?
False
Let k = -14 + 16. Suppose -k*w + 103 = 1. Is w a multiple of 17?
True
Let f = 256 + -158. Does 14 divide f?
True
Does 12 divide (0 - -1)/((-10)/(-360))?
True
Let s = 14 + -7. Let t(v) = -v**3 + 8*v**2 + 9*v - 4. Let r be t(s). Suppose -5*m + 3*m + r = 5*d, 0 = -4*m - 5*d + 196. Is m a multiple of 22?
True
Suppose 60 = 9*z - 3*z. Is z even?
True
Suppose -172 = -3*w - 2*h, 4*h - 228 = -4*w + h. Suppose -14*n + 12*n = -w. Does 15 divide n?
True
Suppose -6*s + 306 = -192. Does 5 divide s?
False
Let w(s) = 44*s. Is 10 a factor of w(1)?
False
Let z = -56 - -33. Let t = 52 + z. Is 11 a factor of t?
False
Suppose -2*s + 71 = -s. Is s a multiple of 14?
False
Let v be 0 - (3 + -4)*3. Suppose z = -v*m + 64, 5*z = -0*m + 4*m + 339. Is 19 a factor of z?
False
Suppose -3*l = -985 + 73. Does 38 divide l?
True
Let r(n) = n**2 - 5*n + 4. Let z be r(5). Suppose 0 = -4*s - z*c + 96, -3*c + 39 = s + 5. Is 10 a factor of s?
False
Let s(v) = 2*v + 30. Is 3 a factor of s(-9)?
True
Suppose 4*b + 0 = -4. Does 10 divide b/5 - 168/(-15)?
False
Suppose -2*g + k = -3*g + 251, 2*g = 4*k + 502. Does 43 divide g?
False
Let i = 124 + -74. Is 10 a factor of i?
True
Let b(x) = x**2 + 5*x + 5. Let r be b(-5). Suppose -d + r*d = 0. Suppose 3*c + 6 = 0, 2*h + d*c + 5*c = 6. Is h a multiple of 8?
True
Suppose -5*g - 3*z - 19 = 0, 25 = 2*g - 5*g + 5*z. Let k(q) = q**2 - 5*q + 2. Let u be k(g). Suppose 3*m - 7*m + u = 0. Is 13 a factor of m?
True
Let s = 6 - 2. Suppose s*f - 4 + 36 = z, 5*z + 3*f = 68. Does 4 divide z?
True
Let r(h) = 41*h**2 + 2*h - 1. Suppose d + 1 = 0, d = 3*c + c - 5. Does 16 divide r(c)?
False
Let t(c) = -2*c**3 - 2*c**2 - c + 2. Let u be (1 - 0/2) + -1. Suppose u*z + 4*z = -8. Is 5 a factor of t(z)?
False
Let v = 81 + -41. Does 20 divide v?
True
Let o = -41 + 63. Suppose o = 3*h + 4. Is 3 a factor of h?
True
Does 24 divide (138/9 + -2)*3?
False
Suppose 3*c + 0*f = -3*f - 12, -5*f - 8 = 2*c. Let p(b) = b**3 + 4*b**2 - 4*b. Does 8 divide p(c)?
True
Let q be 4/6 + (-34)/(-3). Suppose q = c + c. Is c even?
True
Suppose 10*r - 1130 - 60 = 0. Is 28 a factor of r?
False
Is 10 a factor of (0 - -54)*(-1)/(-3)?
False
Suppose -2*s + 12 = 2*s. Suppose -s*y + 32 = -2*y. Is y a multiple of 15?
False
Suppose 5 = 4*g - 3*g. Does 3 divide g?
False
Let c = -1 + 15. Let u = c + -2. Is u a multiple of 6?
True
Let r be (-3)/1 - -2 - -5. Suppose 0*y + 5*y - 205 = 0. Suppose -1 = r*g - y. Does 5 divide g?
True
Let l(u) = -14*u + 8. Let o(p) = p + 1. Let v(c) = -l(c) + 10*o(c). Is 16 a factor of v(2)?
False
Does 18 divide (1076/20 - 0) + (-2)