60 = -3*t, -2*t + 52 + w = 2*m. Is 20 a factor of t?
True
Is 920*(2/1)/4 a multiple of 101?
False
Suppose -24 = h - 7*h. Suppose 3*n - 3 = 2*n, -h*u = 5*n - 519. Does 14 divide u?
True
Suppose 2*r = -0 + 2. Let j = 31 + -29. Is 10 a factor of r + 0 + j + 37?
True
Let w(q) = q - 2. Let a be w(6). Suppose 4*f + a = 40. Is f a multiple of 5?
False
Let u(n) = 10*n - 4. Let b be u(1). Suppose -5*i + 15 = 0, -b*c + 3*c = -3*i - 66. Does 25 divide c?
True
Let m = 43 + -40. Suppose g + m*y + 333 = 4*g, 0 = 4*g + 2*y - 426. Is 27 a factor of g?
True
Let l = 6 - 4. Suppose 12 = 4*k + 2*x, 4*k = 2*k - 2*x + l. Let m = k + 29. Is m a multiple of 11?
False
Let l(x) = 2*x**2 + 23*x - 9. Is l(-16) a multiple of 5?
True
Is 1844/10 + 7/(350/30) a multiple of 37?
True
Suppose 359 = -4*p + 95. Let q = p + 119. Suppose u - 5*r = 45, 0 = -3*u + 3*r + 22 + q. Is u a multiple of 5?
True
Suppose 29*q - 25*q - 480 = 0. Let j = 132 - q. Does 2 divide j?
True
Let x(r) = 2*r**2 + 3*r - 16. Is 7 a factor of x(7)?
False
Let h(k) = -k**2 + 25*k - 24. Let t be h(24). Is 9 a factor of (-2)/(-6) - t - (-2421)/27?
True
Let c = 1678 - -1409. Does 49 divide c?
True
Suppose -6*o + o = -20. Suppose 0 = -5*j - o*j + 2025. Is 45 a factor of j?
True
Let o(q) = -q**2 + 20*q + 46. Suppose -9*c = -11*c + 44. Is o(c) even?
True
Suppose -3*t - 34 + 181 = -3*c, 0 = 3*t - 4*c - 142. Is 7 a factor of t?
False
Let w = -7 + 27. Suppose 0 = -0*r - 5*r + w. Let k(p) = p**3 - 3*p**2 + 3*p + 3. Does 11 divide k(r)?
False
Let f = -246 - -259. Is f a multiple of 2?
False
Let p(v) = 21*v - 22. Let n = 16 + -9. Does 21 divide p(n)?
False
Let k be -1 + 2 - (5 + -7). Is ((-3)/(-12))/(k/348) a multiple of 2?
False
Let n(c) = -8*c - 2. Let m be (-8)/20 - (-12)/5. Let g be n(m). Does 9 divide (-5 - -11)*g/(-4)?
True
Let l be (-742)/18 - (-6)/27. Let p be 2 - (l + (-1 - -2)). Suppose 5*k - p = 83. Does 25 divide k?
True
Suppose 0*v = 4*v - 12. Suppose -2*w - 3*w - v*s + 185 = 0, -s = w - 39. Is 17 a factor of w?
True
Suppose 4*j = 13*w - 14*w + 2763, 5*j + 5*w = 3435. Is 35 a factor of j?
False
Let n = 2 + -2. Does 12 divide n + 4/(-14) - (-9802)/203?
True
Let y(h) = h**3 - 8*h**2 + 3*h + 18. Does 6 divide y(8)?
True
Let o be (-13 + 4)*(2 + -1). Let z(r) = r + 20. Is z(o) a multiple of 2?
False
Suppose -8 = -y + 2*l - 30, 0 = -y + 3*l - 24. Let s = y - -12. Let g(d) = -3*d + 16. Is g(s) a multiple of 28?
False
Let k = 31 - 22. Let m(f) = 0 - 7 + k*f - 6*f. Does 2 divide m(4)?
False
Suppose -3*p = -3*n - 12, 0*n + 5*p = -4*n - 34. Let m(d) = -7*d + 19. Is 17 a factor of m(n)?
False
Suppose 0*m = 2*j + 4*m - 2084, 2*m - 8 = 0. Is 84 a factor of j?
False
Let g(n) = -2*n**2 - 3*n - 1. Let i be g(3). Let f(v) = -8*v**2 - 118*v + 12. Let x be f(-15). Let d = x - i. Does 6 divide d?
False
Let n = 12 - 12. Suppose 10*w - 8*w = n. Suppose -5*q - 3 = 2*x - w, 5*x - q = 60. Does 6 divide x?
False
Suppose -q = 20 - 16. Is 3 a factor of (-13 - -1)*1*2/q?
True
Let i = -156 + 201. Does 13 divide i?
False
Suppose 1 = 4*t - 47. Does 27 divide (18/(-8))/((-1)/t)?
True
Let z(d) = -2*d + 5. Let y(q) = -3*q + 4. Let t(w) = 6*y(w) - 5*z(w). Is t(-12) a multiple of 38?
False
Suppose -89*c + 62415 + 23737 = 0. Is 11 a factor of c?
True
Let m(b) = b**3 - 7*b**2 + 10*b - 13. Let s be m(5). Let h(t) = -t**3 - 14*t**2 - 23*t + 22. Is 34 a factor of h(s)?
False
Let q = 4 + -1. Suppose 3*w - 13 = -4*y + 15, q*w + y = 43. Is w a multiple of 3?
False
Suppose 0 = 41*n - 942 - 3445. Is n a multiple of 9?
False
Let o(g) = 23*g**2 - 24*g + 47. Is o(2) a multiple of 57?
False
Suppose 5*x = 4*y - 748, x - 5*y + 140 = -y. Is 19 a factor of (2 + (-1)/2)/((-3)/x)?
True
Suppose -5*k = 5*i - 740, 0 = -0*i + 3*i + 4*k - 440. Does 4 divide i?
True
Let q(w) = 3*w**2 - 26*w + 17. Let j(a) = -3*a**2 + 27*a - 17. Let r(v) = 4*j(v) + 5*q(v). Is r(10) a multiple of 4?
False
Suppose 0 = 4*b + 4*g - 4, -5*g + 12 = 2*b + 1. Let d be (-21 + -3)*b/(-4). Does 4 divide (d/14)/((-2)/28)?
True
Let b = -496 - -668. Does 106 divide b?
False
Let c = 11 - 11. Suppose 5*a - 11*a + 78 = c. Is a a multiple of 3?
False
Let q(x) = -2*x. Let z be q(-1). Let j(b) = -3*b - 9. Let d(y) = y + 2. Let v(h) = 18*d(h) + 4*j(h). Is v(z) a multiple of 12?
True
Let v = -33 - -36. Suppose 5*t - 30 - 13 = v*m, 4*t = 3*m + 44. Let l = 52 + m. Is l a multiple of 13?
False
Let v = 146 + -139. Let z(y) = 3*y**2 - 19*y + 12. Does 5 divide z(v)?
False
Suppose w + 3*v - 2 = 5, -2*v = 4. Let k = w - 5. Is 4 a factor of k?
True
Suppose 25 = -f + 81. Suppose -3*a + a = -f. Is 6 a factor of a?
False
Suppose 0 = -50*d + 66*d - 20672. Is d a multiple of 34?
True
Let g(f) = 22*f + 13*f**2 - 4*f**2 + 39 - 36. Is 12 a factor of g(-5)?
False
Let f(s) = s**3 + 6*s**2 + 6*s - 7. Let l be f(-5). Let b be l/1*(-2)/4. Suppose 0 = -0*x + b*x - 564. Does 33 divide x?
False
Let d = -24 - -9. Suppose y + 2*s = 8, -3*y - 10 = -3*s - 7. Is (y + (-16)/6)*d a multiple of 5?
True
Let u(j) = -17*j + j**2 + 10*j**2 - 9*j**2 - 34. Is u(14) a multiple of 11?
False
Let b be 8/18*(-18)/(-4). Suppose b*k - 3*k + 18 = 0. Suppose p = k - 0. Is p a multiple of 6?
True
Suppose -3*j - 12 = -6*j. Suppose 26 - 6 = 4*f - 2*a, j = -a. Suppose 1 + 22 = f*c - n, c - 17 = 5*n. Is 7 a factor of c?
True
Suppose 4*g + 3*a + 42 - 3 = 0, 3*a = -3*g - 33. Let x(j) = -13*j**2 - 15*j + 12. Let m(n) = -7*n**2 - 8*n + 6. Let w(f) = 7*m(f) - 4*x(f). Does 21 divide w(g)?
False
Suppose -80 = -4*h - 16. Suppose -4*y + 116 = -h. Does 8 divide y?
False
Let a(k) be the second derivative of -k**4/12 + 5*k**3/3 + 17*k**2/2 + 4*k. Does 3 divide a(6)?
False
Suppose -3*m = m - 8. Suppose 0 = -m*g - 96 - 32. Is g/(-80)*(1 - -59) a multiple of 24?
True
Let p(k) = -k**2 - 3*k + 14. Let m be p(-7). Let x(z) = -3*z + 5. Is x(m) a multiple of 24?
False
Let z(i) = 4*i**2 - 9*i - 41. Is 13 a factor of z(-9)?
True
Let f = -122 + 156. Does 2 divide f?
True
Let z be 9 + -11 - 1*-7*1. Suppose -z*b - 4*v = -314, 51 = 2*b - v - 85. Does 11 divide b?
True
Suppose -2*d + 12*r - 11*r = -1602, 5*r = 3*d - 2410. Does 80 divide d?
True
Let v = -9 + 12. Suppose 0*l + v*l = f - 57, 3*l + 246 = 4*f. Does 13 divide f?
False
Suppose -4*j + n = -14, 12 = 5*j + 3*n - 7*n. Suppose -f + 6*f - 75 = -5*i, 0 = -i + j*f + 15. Does 14 divide i?
False
Suppose 54*r - 8547 = 17*r. Is 33 a factor of r?
True
Is 21 a factor of (-8)/8*1/((-3)/2586)?
False
Suppose 14*m - 15466 = -5*m. Does 17 divide m?
False
Suppose 4*m - 527 = -3*s + 403, 2*m + s = 464. Is m a multiple of 7?
True
Let x = 24 + 15. Does 4 divide x?
False
Let t(w) = -2*w - 3. Let h be t(-3). Suppose -i = 2*f + 133, -h*i - 5*f + 133 = -4*i. Let p = -78 - i. Is 15 a factor of p?
False
Let p(a) = a - 17. Let f be p(11). Does 23 divide (-412)/(-6) - 2/f?
True
Suppose -11909 - 3616 = -25*i. Is 50 a factor of i?
False
Suppose -2898 = -292*g + 290*g. Is 21 a factor of g?
True
Let k(z) = 67*z + 54. Is 6 a factor of k(2)?
False
Let m(x) = -36*x - 39. Does 39 divide m(-13)?
True
Suppose -5*a + 18 + 12 = 0. Let q be 0 + (-43)/(-4) - (-123)/(-164). Suppose -i + a*i = -2*o + 246, q = -5*o. Is i a multiple of 10?
True
Is 26 a factor of (7/((-539)/3718))/(2/(-14))?
True
Let y(k) = -3*k**2 - 8*k - 4. Let f be y(-3). Let x = f + 4. Is 3 a factor of (x - 16/(-6))*-18?
True
Let y(v) = -v**3 + 10*v**2 - 9*v + 5. Let p be y(9). Let r(w) = -w**3 + 6*w**2 + 5. Is 3 a factor of r(p)?
True
Let h(d) = d**2 + 5*d - 23. Let a be h(-7). Let j(v) = 3*v**2 + 2*v - 5. Is 29 a factor of j(a)?
False
Let i = 26 - 26. Suppose 6 = 3*o, w - 3*o - 19 = -i. Is w a multiple of 5?
True
Suppose 3*w + 2 = 4*t - 0*t, -4*w + 3*t + 9 = 0. Let y be 27/6*8/w. Suppose -4*o + y*o = 72. Is o a multiple of 18?
True
Let b be 4/(-14) - 208/(-91). Suppose -q + j + b = -0*j, -q - 2*j = -2. Is -3*q/30*-265 a multiple of 18?
False
Suppose -10*k - 15 = -13*k. Suppose -b - 1282 = 2*x - 445, 2*x + k*b + 825 = 0. Is 8 a factor of x/24*8/(-10)?
False
Is 2/(-6) + 25/((-300)/(-20704)) a multiple of 15?
True
Let q(a) be the first derivative of a**6/360 + 7*a**5/120 + a**4/3 - 2*a**3 - 3. Let h(w) be the third derivative of q(w). Is 2 a factor of h(-6)?
True
Suppose -2*r = -x - 97 + 9, 4*x = r - 58. Let t = r - 20. Is 9 a factor of t?
False
Let y(i) = -6*i + 15. Is 30 a factor of y(-16)?
False
Let 