. Let y(a) = -10*a**3 + 1. Let g be y(u). Is 6/g - 164/(-12) a multiple of 13?
True
Let q = -905 + 381. Let t = -370 - q. Does 32 divide t?
False
Suppose 17068 = 15*m - 36557. Is 11 a factor of m?
True
Let b be 65/(-9) + (-6)/(-27). Let n be (b/1 - 0)/(-1). Suppose -5*a + 25 = 0, 0 = -3*h + n*h + a - 49. Is 11 a factor of h?
True
Let c = 87 + -4. Let g be 4/12 - (-308)/(-6). Let m = c + g. Is m a multiple of 8?
True
Let r(b) = 18*b**2. Let f = -10 + 12. Suppose 6 = -2*o, y - f*o - 8 = -y. Is 7 a factor of r(y)?
False
Is 4 a factor of 28*((-125)/(-28) + 2/7)?
False
Let d = -462 - -536. Does 37 divide d?
True
Let f = 1796 - 1236. Suppose 6*x - 2*x = 2*s + f, -s = -4*x + 560. Is x a multiple of 28?
True
Let y(u) = -2*u**2 + 16*u - 7. Let j be y(7). Let m(a) = -a**2 + 17*a - 6. Does 16 divide m(j)?
True
Suppose -3*i + 6 + 6 = 3*k, 2*k = 4*i + 14. Suppose 4*x + k*x = 540. Is x a multiple of 10?
True
Suppose 4284 = 178*w - 172*w. Does 42 divide w?
True
Let s = 18 - 13. Let a = 49 - s. Is 15 a factor of a?
False
Suppose 0 = 4*j - 5*u - 187, 3*u - 71 = -2*j + 50. Let n = -36 + j. Does 17 divide n?
True
Suppose -f + 33 = 33. Suppose 5*m - 12 + f = -4*r, 15 = 5*r - 2*m. Is r even?
False
Let i(v) be the second derivative of -v**4/6 - 19*v**3/6 + 3*v**2 + 4*v. Does 15 divide i(-8)?
True
Suppose 0 = 2*f - 12 + 8. Suppose 0 = 4*q - 146 + f. Is 6 a factor of q?
True
Suppose -2*m = m + 9. Is 16 a factor of 1 - -16 - (4 + m)?
True
Let h be (-65)/(-15) + (-1)/3. Suppose 10 = d + h. Does 7 divide (d/(-9))/((-6)/63)?
True
Let t be (0 + -18)*(-3 - -2). Let z(y) = 8*y**3 + 4*y**2 + 6*y + 10. Let w be z(-6). Is w/(-45) - (-4)/t a multiple of 9?
True
Does 6 divide ((-12)/(-14))/(502/(-84) - -6)?
True
Let b = 26 + -26. Suppose b = k + 3*r + r - 64, -3*r - 99 = -k. Is 12 a factor of k?
True
Suppose 3 = 2*m - 3. Is 12 a factor of (-3 - -28) + m - 4?
True
Let g(q) = q**2 + q - 396. Let n be g(0). Let o = -198 - n. Is 11 a factor of o?
True
Let g be 36/(-15) + (-8)/(-20). Is 30*(-1)/g + 4 a multiple of 17?
False
Suppose -150 + 768 = 2*n. Is n a multiple of 28?
False
Let g = 1406 - 817. Is g a multiple of 31?
True
Suppose 0 = 36*o - 51*o + 2430. Does 27 divide o?
True
Let i be (25/(-2) + 1)*-2. Let o = 92 - i. Suppose -m + 3*q = -2*m + o, -3*q = -4*m + 321. Does 12 divide m?
False
Let b = 7 + -10. Let u(r) = -9*r + 3. Is 8 a factor of u(b)?
False
Suppose 3*p - 3*i = -0*p + 63, 98 = 5*p + 2*i. Suppose 5*c + p = 5*j, -5*j = 6*c - 5*c - 38. Is 5 a factor of j?
False
Let u(h) = h**2 + 21*h + 42. Is 47 a factor of u(-27)?
False
Let d(z) = 70 - 26 + 5*z - 31 + 3*z**2 - 27. Is 7 a factor of d(6)?
False
Let n be (-83)/(-2) - (-8)/16. Let s = -24 + n. Is 18 a factor of s?
True
Does 8 divide (-1124)/(-14) - ((-96)/42)/(-8)?
True
Let r be 3/(-12) - (3 + 33/12). Let y = 246 + r. Is 16 a factor of y?
True
Let g be (9 + -6 - 1/(-2))*-2. Let h = g + 66. Does 6 divide h?
False
Suppose 17*i + 338 - 6118 = 0. Is 17 a factor of i?
True
Let a(l) = 18*l + 2. Let g(k) = k - 10. Let s be g(14). Suppose -5*t + 6*u = 3*u + 7, -s*u = -16. Is 4 a factor of a(t)?
True
Let z(n) = n**2 + 4*n - 24. Let b be z(-8). Suppose 0 = -11*d + b*d + 432. Is d a multiple of 16?
True
Suppose -l = 3*f - 4, 9 = -f + 2*l + 1. Suppose -70 = -r + 2*s + 11, -3*r + s + 223 = f. Does 14 divide r?
False
Suppose -3*z + 117 = -612. Suppose -5*g - n = -z, 2*n - 120 = -5*g + 126. Is g a multiple of 19?
False
Let o(v) be the second derivative of -v**5/120 + 3*v**4/8 - 4*v**3/3 + 9*v. Let p(s) be the second derivative of o(s). Is p(-11) a multiple of 10?
True
Let i be (-305)/5*4*-1. Suppose 3*q - i = 80. Is 9 a factor of q?
True
Let o(c) be the second derivative of c**4/12 + 3*c**3 - 25*c**2/2 + 2*c. Is 5 a factor of o(-20)?
True
Suppose -w = -f - 0*f + 3, 4*f - 22 = -w. Suppose -5*x + f*m - 170 = -8*x, 5*x = 2*m + 304. Is 15 a factor of x?
True
Let h = -70 + 101. Suppose -26*c + h*c - 310 = 0. Is 7 a factor of c?
False
Suppose 5*b - 3300 = -10*b. Is b a multiple of 4?
True
Let g(i) = -2*i + 11. Let q be g(9). Let o = q + -11. Is o*2*9/(-6) a multiple of 18?
True
Suppose 0 = -293*t + 294*t - 4*r - 144, -3*t - 2*r = -362. Is t a multiple of 2?
True
Suppose 17 = -2*y + 11, 0 = -t - y + 1070. Is 37 a factor of t?
True
Let w(b) = -b + 3. Let l(a) = a**3 - 8*a**2 - a + 7. Let s be l(8). Let q be w(s). Let h(d) = 7*d**2 + 6*d - 6. Does 38 divide h(q)?
False
Let b(n) = -n**3 - 7*n**2 - 9*n - 5. Let u = -10 - -4. Let j be b(u). Let c = -6 + j. Is 7 a factor of c?
True
Let a be 1/((-5 - -2)/3). Let d be 3/a*(2 - 8). Does 8 divide 140/d - 2/(-9)?
True
Suppose -3*r - 6555 = -3*k, 0 = -3*k - 2*k + r + 10941. Is k a multiple of 16?
False
Let f(y) = y**3 + 6*y**2 + 5*y + 4. Let s(c) = -3*c - 44. Let d be s(-14). Is 10 a factor of f(d)?
True
Suppose -4*y - 5*b = -7*y + 15, 0 = -y - 4*b + 5. Let d(i) = -3*i + 1. Let x be d(y). Let j = -2 - x. Is j a multiple of 12?
True
Suppose d - 400 = -4*v, -4*v + d + 0*d = -400. Is v a multiple of 4?
True
Suppose -1096 = -4*p + 52. Is p a multiple of 8?
False
Let u(d) = 3*d - 6. Suppose c = 3*c - 2*j - 32, -5*c = 2*j - 45. Suppose -5*b = 4*t - 3, 3*t + 1 = b - c. Is 2 a factor of u(b)?
False
Let x be (-4)/18 - (-548)/36. Let y be x + 1 + (-2 - -3). Is 10 a factor of y - 3/(1 + 2)?
False
Suppose 0 = -0*o - 4*o - z + 955, 5*o = -2*z + 1193. Let u = o - 173. Is u a multiple of 11?
True
Let s = -2 - -7. Suppose s*b - 4*l = 268, -b + 4*b - 162 = 3*l. Suppose 3*f = 5*f - b. Does 5 divide f?
False
Is 1390/15*((-30)/4)/(-5) a multiple of 3?
False
Suppose -14 = -x - 2. Suppose 0*b - x = -3*b. Suppose o + b*o - 144 = -3*w, -10 = 5*w. Does 10 divide o?
True
Suppose 56 = -0*h + 2*h. Suppose -6*f + 2*f = -h. Suppose 12 = -4*x + f*x. Is x a multiple of 2?
True
Let g = 970 + -390. Is 17 a factor of g?
False
Let f(o) = -92*o**2 + o + 1. Let u be f(-1). Is (35/(-14))/(2/u) a multiple of 26?
False
Suppose -2*l = -2*p + 2666, 5*p = -3*l + 9700 - 2995. Is 9 a factor of p?
False
Let y(j) = j**2 + 40*j + 410. Does 16 divide y(-44)?
False
Let s = 51 - 14. Let k = 139 + s. Does 16 divide k?
True
Let t(z) = 5*z**2 - 3*z. Let o be (9/(-6))/(15/80). Let n = o + 11. Is 9 a factor of t(n)?
True
Suppose -6*k + 21*k = -7560. Does 22 divide (-1)/((-3)/(-3 - k))?
False
Let g = 4 + 1. Suppose 10 = 2*r - 4*q - 68, -5*r + 210 = g*q. Let b = 16 + r. Does 14 divide b?
False
Let u(h) = h**2 + 16*h + 19. Let m be u(-15). Suppose -m*k - 3*q + 164 = -107, 0 = -2*k + 4*q + 108. Is 10 a factor of k?
False
Let i(b) = -b**2 - 17*b - 9. Let m(o) = -2*o**2 - 35*o - 18. Let k(w) = 7*i(w) - 3*m(w). Suppose -26*h - 9 = -25*h. Does 12 divide k(h)?
True
Let f = 39 + -37. Suppose -30 = f*p - 3*p. Does 17 divide p?
False
Let j(c) = -c**3 + 4*c + 270. Is j(0) a multiple of 15?
True
Suppose -4*k + 31 = 3*b, -3*k + 1 - 9 = -4*b. Suppose k*i + 8 = 28. Suppose -27 = -y + i. Is 8 a factor of y?
True
Let u be ((-565)/10 + 3)/(1/(-14)). Suppose 11*z - u = 747. Is 17 a factor of z?
True
Is 91 a factor of (4/3)/(-2 - (-6555)/3276)?
True
Let d be -3 + 4 + -4 + 285. Let q = -162 + d. Is q a multiple of 15?
True
Suppose -h - 4*h + 495 = 5*b, -213 = -2*b + 3*h. Is 11 a factor of b?
False
Let w = 1827 + -1106. Is w a multiple of 6?
False
Let w be (1035/(-25))/(-3)*-5. Is 8 a factor of (-50)/(-3) - (-46)/w?
True
Let o(a) = -12*a - 35. Let g(d) = -d**3 + 20*d**2 + d - 27. Let b be g(20). Is o(b) a multiple of 12?
False
Let h be ((-5)/2 + 0)*114/(-57). Let o(x) = x**2 + 2*x + 25. Does 20 divide o(h)?
True
Let s = -32 - -32. Suppose 5*n + 110 = -s*a + 2*a, a = 4*n + 49. Does 16 divide a?
False
Suppose -27*x + 250 = -290. Is 7 a factor of x?
False
Suppose -5*t = 5*v + 395, -v + 4*t = 3*t + 89. Let g be (v/9)/(2/(-9)). Does 12 divide ((-108)/14)/((-9)/g)?
True
Suppose -2*f - w + 387 = -653, -5*f - 3*w = -2598. Does 9 divide f?
True
Suppose -p = -2*p + 2. Let l(i) = 10 + 3*i**2 - 17*i + 0*i**2 - 4*i**p + 0*i. Is l(-9) a multiple of 21?
False
Let z(u) = -18*u + 90. Is z(-27) a multiple of 36?
True
Does 5 divide 2 + (1 - (-8 - -14))*-37?
False
Let d(u) = -13*u + 23. Suppose 0 = 12*g - 5*g + 49. Is 19 a factor of d(g)?
True
Let d = -86 - -141. Suppose -1 = p + 3*x, p - d = -4*p - 3*x. Is p a multiple of 2?
True
Let k(r) = 5*r - 2. Let v be k(7). Suppose 0 = -5*n + 5*z + 40, 2*z - v