
Let n = -35 + 157. Does 18 divide n?
False
Suppose -10 = 5*m - 150. Let z = m - 6. Does 13 divide z?
False
Suppose -5 = 2*m + 7. Let z(q) = 46*q**3 - 6*q**2 + 7*q - 5. Let r(d) = -92*d**3 + 13*d**2 - 15*d + 11. Let h(v) = m*r(v) - 13*z(v). Is h(-1) a multiple of 23?
True
Let x = -273 + 426. Does 32 divide x?
False
Let l = -1 + 3. Suppose 0 = -n - l*n. Suppose 3*u = -n*u + 108. Is 22 a factor of u?
False
Let m(t) = -t**2 + 20*t - 17. Let h be m(14). Suppose -h = -4*c + 29. Is 8 a factor of c?
True
Suppose -267 = -c + 71. Does 13 divide c?
True
Let a(j) = 12*j + 12. Let g be a(5). Suppose 5*r - r = g. Does 4 divide r?
False
Let x(o) = 8*o - 2 - 2*o + 10*o - 6*o. Does 8 divide x(3)?
False
Let n(d) = d**2 - 3*d - 2. Let x be n(4). Suppose -4*j = -0*z + 3*z + 19, 5*j = -x*z - 22. Let r(a) = -18*a**3 - 2*a**2 - a. Is 17 a factor of r(z)?
True
Suppose 5*w = 2*m + 190, 1 + 50 = w - 3*m. Let j = w - -3. Is j a multiple of 10?
False
Let s(z) = -4*z**3 - 9*z**2 + 1. Let a(m) = -3*m**3 - 8*m**2 + 1. Let n(o) = 3*a(o) - 2*s(o). Is 10 a factor of n(-7)?
True
Let w(f) = -f**2 - 14*f + 19. Suppose 3*r - 3*m = -30, 3*r - 2*m + 3 = -30. Is w(r) a multiple of 16?
True
Suppose -42 = -h + 14. Let b = h - 8. Is 22 a factor of b?
False
Suppose 286 = 5*v - 4*y, 5*y - 237 = -2*v - 2*v. Is v a multiple of 16?
False
Suppose -5*c + 136 = -284. Let a = c + -44. Is a a multiple of 20?
True
Suppose 3*c - 10 + 46 = 0. Let y = 0 - 5. Let g = y - c. Does 4 divide g?
False
Let a(n) = -n**3 - n**2 - n. Let i be a(0). Suppose -4*z + 64 = -i*z. Suppose -2*f = -f - z. Does 13 divide f?
False
Does 53 divide (32/60)/4 - (-5546)/30?
False
Let p be 3/((10/(-4))/(-5)). Let w be 0 + 2 - 12/p. Suppose -4*r + 0*r + 56 = w. Is r a multiple of 7?
True
Let g be -2 - (-2 + -3 + 0). Suppose -j + 28 = g*p, 3*p - p = -j + 18. Is 10 a factor of p?
True
Suppose -a = 2*a - 852. Suppose 5*x - l = a, 233 = 4*x - l + 6*l. Is x a multiple of 19?
True
Suppose 0 = 4*c - 8 + 120. Suppose 4*u = 5 + 3. Is 17 a factor of u/2 - (c - 5)?
True
Suppose -3*w = -24 - 360. Does 49 divide w?
False
Let x(q) = 2*q**3 - 5*q**2 + 4*q - 4. Suppose -2*h - 3*t = -7*h + 18, 5*h - 4*t = 19. Is 16 a factor of x(h)?
False
Suppose 2 = l - 0*l. Suppose 3*q - l*g = 94, g = -1 - 4. Does 14 divide q?
True
Suppose 0 - 6 = -3*j. Suppose z - 171 = 5*d + j*z, 0 = -2*d - 2*z - 70. Is (d/(-6))/(1/3) a multiple of 17?
True
Suppose -20 = -5*h + 60. Suppose -a - 5 = -h. Does 11 divide a?
True
Let u(s) = -6*s - 9. Does 9 divide u(-6)?
True
Let w be ((-2)/3)/((-4)/24). Let l be w + (1 - -1) + -4. Is 12/(l/(-2) - -2) a multiple of 10?
False
Is 752/7 + (-30)/70 a multiple of 51?
False
Suppose m - 11 = 5*w, -3*w + 0*w = 3*m + 21. Suppose -p = 2*p - 150. Let c = p + w. Is 16 a factor of c?
False
Let y be (-10)/(-3) - (-3)/(-9). Is (y/(-4))/(1/(-52)) a multiple of 13?
True
Let r(d) = -10*d - 30. Is r(-6) a multiple of 2?
True
Let p = 188 + 19. Is 12 a factor of p?
False
Suppose -1084 = -6*f - 244. Is f a multiple of 14?
True
Suppose -4*q = -2*o - 3*q + 106, 5*o - 259 = q. Let h = -87 + o. Let r = h + 54. Is r a multiple of 17?
False
Let k = 46 - 34. Is 2 a factor of k?
True
Let o(u) = -u**3 + 5*u**2 + 4*u + 6. Let v be o(6). Let m = -33 + 46. Does 16 divide m - v/(6/3)?
True
Suppose -3*s + 8*s = 110. Let t = s + 20. Is t a multiple of 14?
True
Let i(j) = -5*j**2 + 2*j. Let s(u) = 2*u**2 - u. Let r(c) = -4*i(c) - 7*s(c). Is r(-2) a multiple of 13?
True
Let n(x) be the third derivative of -1/4*x**4 - x**2 + 0 + 0*x + 3/20*x**5 - 1/120*x**6 - 5/3*x**3. Is 2 a factor of n(8)?
True
Let i(r) = -6*r - 6. Does 6 divide i(-3)?
True
Let x = 140 - -30. Is x a multiple of 32?
False
Let y(m) = m**2 + 7*m + 6. Is 25 a factor of y(-11)?
True
Is 20 a factor of 85/(0 - 5/(-10))?
False
Suppose 0 = -o + 5*o. Suppose -4*t + 120 + 36 = o. Is 13 a factor of t?
True
Let f be 2/(-13) - 730/(-13). Let s = -35 + f. Is 17 a factor of s?
False
Suppose 0*c = 2*y + 2*c - 20, y + 3*c = 6. Suppose 0 = f + 4*r - 5 - 17, -y = 4*f - 4*r. Suppose -71 = -f*q + q. Is 25 a factor of q?
False
Let r be 4/14 + 132/28. Let b = r - 2. Suppose -b*z - 35 = -5*m + 18, -3*m - 3*z + 27 = 0. Is m a multiple of 5?
True
Let s be ((-1)/3)/(3/(-45)). Suppose 0 = -s*a + 63 + 127. Is 19 a factor of a?
True
Let v be 2/5 + (-36)/(-10). Let k = v + -5. Does 3 divide k - -1 - (-2 + -1)?
True
Let o be (-104)/(-1) - (-12)/(-6). Is 2/(-10) - o/(-10) a multiple of 4?
False
Suppose -2*i - 4*k = -10, 15 = 4*i - i + 4*k. Suppose -d + 3*c - 5*c = 8, 4*d - 2*c = 8. Suppose i*g + 9 - 69 = d. Is g a multiple of 7?
False
Let s be (0/(-1))/((-1)/1). Suppose -5*i = -3*d + 64, 0*d + 4*d - 5*i - 82 = s. Suppose d = 3*x - x. Is x a multiple of 4?
False
Suppose -q + 100 = 4*q. Is q a multiple of 6?
False
Let a be (2 - (-1 - -2)) + -92. Is 10 a factor of 594/26 + (-14)/a?
False
Does 5 divide 22/(-3)*(-5 + 2)?
False
Suppose -5*f + 139 = -2*c + 674, 2*f + 214 = 5*c. Let p(b) = -9*b - 6. Let z be p(6). Let m = z - f. Is m a multiple of 16?
False
Suppose -2*h - 5*r + 4 = 0, 2*h - 2*r = -4*r + 4. Suppose 2*b + 29 = -4*d + 109, 5*b - h = d. Let t = 2 + d. Is t a multiple of 8?
False
Let d(j) = 5*j**3 - 41*j**2 + 4*j - 41. Let g(f) = f + 0*f**3 - 8*f**2 - 6 + 0*f + f**3 - 2. Let x(c) = 2*d(c) - 11*g(c). Is 16 a factor of x(5)?
True
Suppose 0 = -5*t - 4*m + 14, 3*t - 3 = 5*m - 2. Suppose t*p - p = 12. Let r = -8 + p. Is r a multiple of 3?
False
Suppose 0*v = -2*v + 16. Is v a multiple of 2?
True
Let a be (7/3 - 1)*6. Let g = 32 - a. Does 8 divide g?
True
Is 3 a factor of 318/4 + (-3)/2?
True
Is (16/6)/((-2)/(-150)) a multiple of 25?
True
Let d(p) be the second derivative of p**5/20 + p**4/3 - p**3/3 - 2*p**2 - 3*p. Is 5 a factor of d(-3)?
False
Let o(k) = 7*k - 20. Is 3 a factor of o(6)?
False
Let q = -10 - -16. Suppose -p + 42 = -q. Does 13 divide p?
False
Let t(s) = s**2 + 18*s - 29. Is t(-26) a multiple of 6?
False
Suppose -2*d - 3*h = -3, 3*d + d = -4*h + 8. Suppose -2*c = d*c. Is 0 + c + (2 - 0) a multiple of 2?
True
Let a = 233 - 140. Let v be a/(-3) - -1 - 0. Let h = v - -48. Is h a multiple of 8?
False
Suppose 4*a = -87 - 73. Let s = a - -68. Is s a multiple of 14?
True
Suppose -50 = -5*n + 200. Suppose -113 + 11 = -4*t - 3*h, 2*t + 2*h - n = 0. Does 9 divide t?
True
Let m = 153 - 78. Is 15 a factor of m?
True
Let g(k) = -k**3 + 5*k**2 - k - 3. Let s be g(4). Let w be s + (-3)/((-9)/6). Let o(a) = 3*a + 15. Is o(w) a multiple of 24?
True
Suppose 39 = -2*v + 99. Is 5 a factor of (v/9)/(2/12)?
True
Let l(f) = 3*f + 30. Does 27 divide l(9)?
False
Suppose 0 = 2*z - 3 + 1. Let i = z + 1. Suppose 0 = 3*g - 6, 6*c - 28 = 2*c - i*g. Does 4 divide c?
False
Let d(r) = r**3 + 3*r**2 - r. Let p be d(-3). Let g be p/(3*-1) - 45. Let t = -26 - g. Is 10 a factor of t?
True
Let f(u) = 3*u**2 + u - 4. Does 8 divide f(-4)?
True
Suppose -l - 20 = -5*l. Suppose -5*q + 264 = -q - z, -l*q = 4*z - 330. Suppose -5*w + 2*w = -q. Does 16 divide w?
False
Let y(w) = 25*w**3 - 2*w + 1. Is y(1) a multiple of 12?
True
Let i(b) = 3*b + 23. Does 3 divide i(-5)?
False
Suppose 0 = 5*u + 67 + 53. Let o = -12 - u. Does 12 divide o?
True
Let p(s) = -s**3 - 3*s**2 + 10*s + 4. Is 25 a factor of p(-7)?
False
Is 27 a factor of ((-9)/(-15) - -1)*115?
False
Suppose 30 = -22*f + 23*f. Is f a multiple of 5?
True
Let k(a) be the second derivative of a**3 - 4*a**2 + 5*a. Is k(12) a multiple of 16?
True
Suppose -x + 3 + 6 = 0. Suppose 11 + x = l. Is l a multiple of 20?
True
Suppose 0 = 4*g - g - 60. Is 13 a factor of g?
False
Let n(w) = w**2 - w + 2. Let c be -6 - -11 - (3 + -1). Let s be n(c). Suppose 0 = 2*l - 16 - s. Is 12 a factor of l?
True
Let k(j) = j**2 + 2. Let h be k(0). Suppose t + 3*b - 19 = 0, -18 = -3*t + 2*b + h*b. Let s = t - -6. Is s a multiple of 16?
True
Let q be (-1 + 3)/((-3)/(-3)). Suppose q*o - 57 = -3*h, -3*o - 2*o + h = -134. Is 13 a factor of o - (-2)/((-4)/2)?
True
Let o(v) = 37*v**3 - 1. Suppose -4*c = -0*c. Suppose -z + 9 = 4*a - c*z, -2*a = -5*z + 23. Does 18 divide o(a)?
True
Let z(s) = -2*s**2 + 4*s + 61. Is z(0) a multiple of 9?
False
Let d(o) = -69*o - 32. Let y(w) = -46*w - 21. Let s(m) = -5*d(m) + 8*y(m). Let l be s(-6). Suppose 4*h = -5*j + 91, 5*h = -3*j - 0*j + l. Does 15 divide h?
False
Suppose -3*d + 6*d = 258. Let h = d + -37.