se
Let y(r) = r**2 - 2*r + 3. Let w be y(3). Suppose w = 3*f - 0. Suppose f*g - 68 = 6*q - 2*q, -g = -4*q - 44. Is g a multiple of 12?
True
Let b = 208 + -200. Is b a multiple of 5?
False
Let q be -5 + 1 - 1*-4. Suppose q = 3*y - 3*k + k - 272, 3*y + 5*k - 244 = 0. Does 9 divide y?
False
Does 12 divide 1*244/16*4?
False
Does 64 divide (-7738)/365*(-25)/1?
False
Let u be 174/12 + (-1)/(-2). Suppose 0 = 2*i + q - 18, 3*q + u = 2*i - 3. Does 2 divide i?
False
Let w(l) = -8*l - 6. Let b be w(-14). Let y = -61 + b. Does 5 divide y?
True
Let m(r) = -r**3 - 27. Let t be m(0). Let w = t - -167. Suppose -w = -3*o - 2*j - 2*j, -4*o = j - 178. Is o a multiple of 12?
False
Let p be 1 + -13 - (6 + -3). Let l = p - -28. Does 2 divide l?
False
Let o = 892 + -560. Does 13 divide o?
False
Suppose -3*k + 120 = k. Suppose a + k = 3*a. Does 2 divide a?
False
Let g be ((-10)/(-15))/(3 + 159/(-54)). Let z(s) = 3*s**2 - 27*s - 17. Does 13 divide z(g)?
True
Suppose 504 = 28*s - 10*s. Is s a multiple of 21?
False
Suppose -5*g + 2480 = -8*f + 7*f, g - f - 500 = 0. Is 33 a factor of g?
True
Let c(v) = v**3 + 11*v**2 - 5*v - 4. Suppose -8*p = -26 + 106. Is c(p) a multiple of 16?
False
Let c be -3 + 4 - 93/(-3). Suppose a - 3*w + 9 = 2*w, 2*a - 4*w = 0. Let b = c - a. Does 12 divide b?
False
Suppose 2*i = -4*o + 8*o + 8, o = i. Let u be o/2 + 144 + -3. Let b = -68 + u. Is b a multiple of 32?
False
Suppose 2648 + 99 = 41*v. Is 14 a factor of v?
False
Suppose -2104 = -3*m - 4*w, 0 = 4*m - w - 2718 - 62. Suppose -9*k = -k - m. Does 15 divide k?
False
Suppose 0 = -2*y - 3*p - 9, -18 = 3*y - 4*y + 3*p. Suppose -y*l + 2*l = -5, 5*k - 75 = 5*l. Let t = -10 + k. Is t a multiple of 5?
True
Suppose -2*f + 2*n = 14, 5*n + 0*n = -5*f + 15. Let g(p) = 7*p**2 + 4*p + 4. Is 6 a factor of g(f)?
True
Let p(k) = k**3 - 9*k**2 - k + 10. Let c be p(9). Let h(u) = 3 - 3*u - c + 4*u + 6*u. Is h(2) a multiple of 16?
True
Let d(b) = 3*b - 24. Let n be d(8). Suppose j - 2*z = 40, 5*j + n*z - 200 = 2*z. Is 10 a factor of j?
True
Suppose -3*g = -f + 1, f - 6*f = -5*g - 45. Suppose 4*m + 2*q - f - 173 = 0, 0 = -q - 3. Does 12 divide m?
True
Let z = -1323 - -1687. Does 14 divide z?
True
Let x = 143 - -14. Is 19 a factor of x?
False
Suppose -4*k - 2 = -122. Let b be ((-22)/5)/((-6)/k). Suppose -c + 4*c - 66 = 4*x, 0 = -c - x + b. Is c a multiple of 11?
True
Suppose 6*g - 3*g = -48. Let s(c) = 3*c - 15. Let j(p) = 10*p - 46. Let o(u) = -5*j(u) + 16*s(u). Is o(g) a multiple of 11?
True
Suppose -3*n + 9 = 2*d, 0*d - 6 = -2*n + 3*d. Suppose -2 = n*j - 4*j. Let o(y) = 3*y**3 - y**2 + 2*y - 2. Is 6 a factor of o(j)?
False
Let n be ((-6)/1)/((-4)/(-6)). Is 12 a factor of (-46 - 2)*-1*n/(-4)?
True
Suppose -5*t + 42 = z, -27 = -t - 3*t - 3*z. Suppose 8*u = t*u - 66. Is u a multiple of 16?
False
Let c(q) = 4*q**3 - 678*q**2 - 5*q**3 + 99 + 678*q**2. Is c(0) a multiple of 15?
False
Suppose -2*x = -4*x + 8. Suppose x*g - 146 = 86. Is g a multiple of 13?
False
Let c = 132 + -66. Suppose 41*b = 44*b - c. Is 2 a factor of b?
True
Suppose 0 = 4*h - 2*b - 538, 2*h + 0*b - 268 = 2*b. Is h a multiple of 9?
True
Let o be (-22)/5*(-11 - -1). Let u be (0 - 4) + 24/6. Let k = u + o. Does 22 divide k?
True
Suppose 2*x - 8 = 2. Suppose x*d = 445 - 145. Suppose 5*j - d = j. Does 5 divide j?
True
Is 12 a factor of 510 + (49/(-7) - -16)?
False
Suppose 0 = -g - 2*f + 103, 2*g + g + 3*f = 303. Suppose -10*h + 709 = g. Is h a multiple of 13?
False
Suppose -3*f = 4*p - 124, 5*p + 23 = f - 50. Is f a multiple of 3?
True
Suppose 2*b = 1 - 11, -k = 3*b - 95. Let l = k - 55. Is 11 a factor of l?
True
Let n(u) = 120*u + 9. Let h be n(5). Suppose 0 = -8*s - 25 + h. Is s a multiple of 13?
False
Let g(f) = f + 61. Let t be g(-20). Let q be (-92)/6*(-9)/6. Let n = t - q. Is 9 a factor of n?
True
Let h(w) be the first derivative of w**4/4 + 2*w**3/3 - 3*w**2/2 - 10. Let c be h(-3). Let a = c + 58. Is 29 a factor of a?
True
Let t = 165 + 3035. Does 20 divide t?
True
Let d(o) = -4*o**3 - o**2 - 2*o + 1. Let x(c) = -2 + 2 - c + 2*c - 7. Let p be x(5). Is d(p) a multiple of 11?
True
Suppose 0 = -0*t - 6*t - 0*t. Suppose -2*j = 4*a, -2*a = -5*j + 2*j. Suppose t = r - 14 - j. Does 3 divide r?
False
Let z be (9 - -6)/(3/2). Let r = 14 - z. Suppose -a = -2*a + r. Is 2 a factor of a?
True
Suppose 3*m - 21 = -5*u + 79, -20 = -u + 3*m. Is u a multiple of 13?
False
Let v(m) = -84*m + 4. Does 13 divide v(-4)?
False
Let a(r) = 4*r + 2. Let i(y) = -4*y. Let n be i(1). Let s(q) = -5*q - 1. Let h(b) = n*s(b) - 3*a(b). Is h(5) a multiple of 14?
False
Suppose x + 134 = -5*p, 4*p + 0*p + 3*x = -116. Let h = p - -34. Let u(w) = -w**2 + 12*w - 6. Does 10 divide u(h)?
False
Let o(y) = -108*y - 22. Is o(-5) a multiple of 37?
True
Let p(f) = 236*f + 4. Suppose x = 59 - 58. Does 30 divide p(x)?
True
Let w(h) be the first derivative of -3*h**2 + 3*h + 29. Is 21 a factor of w(-14)?
False
Is 6 a factor of ((-24)/10)/(-2*(-39)/(-1040))?
False
Suppose -3*r + 78 + 243 = 0. Let o = r - 70. Is o a multiple of 8?
False
Suppose 77*v - 71*v = 624. Let a = v - 52. Is a a multiple of 7?
False
Suppose 0 = 4*l + 2*g - 1364, l - 491 + 145 = -3*g. Is 20 a factor of l?
True
Suppose 7*d - 397 = 933. Is d a multiple of 19?
True
Suppose 0*b + 4 = -b. Is (-2 + -112)*b/8 a multiple of 19?
True
Suppose -5*h + 5 = 3*t + 1, 3*h + 9 = 2*t. Let y(u) = -17*u. Is 17 a factor of y(h)?
True
Let a(q) = -9*q + 117. Does 3 divide a(5)?
True
Let a(p) be the third derivative of p**6/120 + 19*p**5/60 + 3*p**4/4 + 35*p**3/6 + 12*p**2. Does 15 divide a(-18)?
False
Suppose 0 = 4*l + 44 - 564. Does 26 divide l?
True
Suppose 5*v - 14 = -4. Suppose v*w - 3*c - 143 = 66, w = -4*c + 99. Is w a multiple of 15?
False
Suppose -5960 = -5*w + 11*f - 6*f, -f - 4 = 0. Does 27 divide w?
True
Let s(a) = a**3 - 8*a**2 + 6*a + 9. Let g be s(7). Let i be -7 + g/4*4. Let x = 16 + i. Is 3 a factor of x?
False
Let p = 76 - 85. Let l(c) = -10*c + 17. Is 30 a factor of l(p)?
False
Let k be (-16)/60*-6*10. Suppose 0*w = w - k. Let l(u) = 2*u + 1. Is l(w) a multiple of 11?
True
Suppose 12*m = 5*m + 14. Suppose 111 = 3*j - 2*q - 159, -2*j - m*q = -180. Is 22 a factor of j?
False
Suppose 2 - 14 = -y. Let f be (-1 - y)/((-1)/1). Suppose f = a - 11. Does 14 divide a?
False
Let v(o) = 29*o + 19 - 17*o - 11*o. Is 8 a factor of v(-3)?
True
Let l(q) = -q**2 + 5*q + 22. Let c be l(7). Is ((-67)/1)/((-5)/(c - 3)) a multiple of 7?
False
Let m = 1321 - 257. Does 76 divide m?
True
Suppose -42*n + 38*n + 2240 = 0. Does 14 divide n?
True
Suppose -18*p + 5383 = -3653. Does 38 divide p?
False
Suppose 5*q + 0*z = -4*z + 130, 0 = q + 5*z - 47. Is 8 a factor of (-4)/q - (-12492)/99?
False
Let b = 244 + -127. Suppose -9*r + b = -6*r. Suppose -4*s + 21 = -r. Does 15 divide s?
True
Let j = -1894 + 3004. Does 37 divide j?
True
Suppose 5*t + 45 = -340. Let o = 82 + 68. Let f = t + o. Does 16 divide f?
False
Let u(a) = 2*a**3 + 137*a**2 + 29*a - 137. Does 25 divide u(-68)?
False
Does 20 divide (-3 - -11) + (-17)/((-68)/1488)?
True
Suppose 2*k + 3 = -k. Let v(m) be the first derivative of -79*m**4/4 - m - 23. Is 39 a factor of v(k)?
True
Let x be 3/7 - (-75)/21. Suppose -o + 8 + x = 0. Is 6 a factor of o?
True
Suppose 28 = -5*f + 2*b, -2*f = 3*f + 2*b + 12. Let z = 24 - f. Is 14 a factor of z?
True
Suppose -4*y - 17 = -37. Let r(w) = w**3 - 5*w**2 + 11*w - 5. Is 16 a factor of r(y)?
False
Let j(q) = -q**2 - 19*q - 1. Let u be j(-18). Suppose -14 = v + u. Is 22 a factor of (-2)/(-2 + 1) - v?
False
Let b = 325 - 184. Is 4 a factor of b?
False
Suppose i = -6*g + g + 18, -5*i - 14 = -g. Suppose 0 = -0*h - g*h + 364. Let k = -21 + h. Does 35 divide k?
True
Suppose -1623 = -11*b - 204. Is 18 a factor of b?
False
Suppose 54*x - 61*x + 5439 = 0. Is x a multiple of 21?
True
Suppose -1203*w = -1217*w + 26264. Is w a multiple of 33?
False
Let g = 789 + -609. Is 6 a factor of g?
True
Suppose -4*q + 16 = 3*a, 0 = -a - 0*a. Does 16 divide (-6)/12 + 322/q?
True
Let g(o) = -o**2 - 3*o + 4. Let l be g(-11). Does 9 divide (6/4)/((-14)/l)?
True
Let k(g) = -g**2 + 5 + 1 + 13 + 5*g. Let s be k(14). Let j = -73 - s. Is j a multiple of 11?
False
Is (-87660)/(-21) - 5*(-8)/(-140) a multiple of 23?
False
Let v be (-12)/16 - 3 - (-1)/(-4). Is 46 a factor of v/(-6) - (-2979)/27?
