
False
Let c(j) = -j**3 + 15*j**2 - 14*j + 23. Let o be c(12). Suppose -3*m - 5*r = -o, 7*m - 3*r - 105 = 6*m. Is m a multiple of 11?
True
Let w be (5 - 8)/(1/(-97)). Let x = w - -36. Does 37 divide x?
False
Suppose -q = 14 - 16. Suppose 62 = q*x - 4*d, x + 173 = 6*x - d. Does 9 divide x?
False
Suppose q = -5*c + 1382, -3*q + 2*c + 7045 = 2*q. Is 21 a factor of q?
True
Is 10 a factor of 5/((140/150)/14)?
False
Suppose 4*z + 1053 = 3433. Does 8 divide z?
False
Let a(p) = 3*p**3 + p**2 + p + 2. Let g be a(-3). Let l = g + 41. Is 5/((-20)/12) - l a multiple of 16?
False
Let z = 24 - 22. Let m be z/4 - (-18)/12. Suppose -2*k + m*t = -14, 4*t + 33 = 3*k + 2*k. Does 2 divide k?
False
Suppose 0 = -8*n + 2*n + 24. Suppose n*h + 379 = l + 2*l, 3*h - 230 = -2*l. Is l a multiple of 33?
False
Let j(x) = x**2 + 6*x + 70. Is 9 a factor of j(-26)?
False
Suppose 2*k = -2*g - 8, -4*g + 0*g + 5*k = -2. Let n be 5/2 + g/4. Is 19 a factor of (-114)/((2 - n) + -2)?
True
Suppose c - 4*b = -3*c, 4*c = -3*b + 14. Suppose 110 + 58 = 4*d. Suppose c*a - d = 22. Does 11 divide a?
False
Is (154/(-33) - -5)/((-2)/(-6618)) a multiple of 8?
False
Suppose -28*g = -13*g - 10275. Is 26 a factor of g?
False
Suppose 0 = -2*z - 2*k + 7*k - 331, -5*k = -z - 153. Is 29 a factor of 2 + ((-6)/(-3) - z)?
False
Suppose 11*s - 27*s + 13200 = 0. Is s a multiple of 15?
True
Suppose 0 = 5*d - 4*f - 575, 0 = -d - d - f + 217. Suppose 3*w = 39 + d. Is 12 a factor of w?
False
Suppose u - 2 = -3. Let g be (u - -58) + 3/(-1). Does 17 divide 454/12 - (-9)/g?
False
Let w = -14 + 22. Let q(b) = b**2 + 8*b + 5. Let y be q(-8). Suppose -w + 48 = y*i. Is i a multiple of 4?
True
Let t be ((-1)/3)/((-3)/54). Let g be (333/6)/(t/8). Suppose g = d - 5*b, -3*d - 3*b + 85 = -65. Is d a multiple of 14?
False
Suppose -4*a - 2*j + 19 = -j, -2*j = a - 10. Let n(r) = -r**3 + 8*r**2 - 9*r + 3. Let y be n(6). Is y - (8/a - 5) a multiple of 24?
True
Let w = -3824 - -7256. Is w a multiple of 13?
True
Let d = -11 + 12. Let u(y) = 10*y**2 + y. Let v be u(d). Suppose 2*l - 3*w = 44, 4*l - 5*l + v = 4*w. Does 6 divide l?
False
Suppose 86 = 4*u + 2*z - 314, -u + 5*z + 89 = 0. Is 2 a factor of u?
False
Suppose 36*r - 34*r + 514 = 0. Let u = 383 + r. Is u a multiple of 7?
True
Suppose 4*b = -11 + 19. Does 10 divide ((-4)/(-10))/(b/250)?
True
Suppose 2 = -u, -665 = 3*d + u - 5715. Is d a multiple of 14?
False
Let q(x) be the second derivative of x**7/840 - x**6/360 - x**4/24 - 2*x**3 - 4*x. Let p(t) be the second derivative of q(t). Does 14 divide p(3)?
False
Let m(z) = -7*z - 13. Let j be m(-7). Let s be j/16*(-408)/9. Does 12 divide (6/(-9))/(4/s)?
False
Suppose -4*n + 54 = 2*n. Let z(w) = 24*w - 9 + 8*w - n*w. Is z(4) a multiple of 17?
False
Suppose 0 = -6*d + 9*d + 5*r - 3130, -5*d + 3*r = -5262. Is d a multiple of 30?
True
Let v(j) = -j**2 + 25*j + 28. Let d(y) = 2*y**2 - 26*y - 28. Let p(s) = 2*d(s) + 3*v(s). Does 22 divide p(-23)?
False
Let l(u) = u**2 - 5*u. Let o be l(6). Suppose -5*f + 76 = o. Is 14 a factor of f?
True
Suppose 3*n + 4*u = 670, -2 = -4*u + 2. Is 37 a factor of n?
True
Suppose 6*w + 53130 = 39*w. Does 13 divide w?
False
Let z(k) = -k - 1. Let t be z(-4). Let w(m) = -t + 2 - 4 - 4*m - 1 + 2*m**2. Is w(-3) a multiple of 10?
False
Let u(x) = -x**3 - 2*x**2 - 3*x. Let h be u(-2). Suppose -2*m - m - h = 5*i, 0 = -i - 2*m - 4. Suppose i*v = -4*v + 152. Is v a multiple of 19?
True
Let o(f) = 4*f**2 + 6*f + 20. Is 40 a factor of o(-10)?
True
Suppose 48 = -v - 31. Let f = v - -127. Is f a multiple of 7?
False
Suppose 71 = -8*q + 9*q. Does 9 divide q?
False
Let a(s) = -2*s + 1. Let u be a(-1). Let g be (u + (-1 - 1))*24. Is 36 - (g/4 + -4) a multiple of 17?
True
Does 42 divide 4/7 - (-98672)/196?
True
Suppose -35 = -4*r + 81. Let j be (-9)/63 + r/7. Let x = 56 - j. Is 13 a factor of x?
True
Suppose 12*m - 17221 = 24119. Is 65 a factor of m?
True
Suppose 15*m - 18*m + 90 = 0. Suppose -4*z + m = z. Suppose -3*l - z*l + 369 = 0. Is l a multiple of 7?
False
Suppose 5*k = 3*k - k. Suppose 5*t - 583 + 208 = k. Is 13 a factor of t?
False
Let t(q) = 17*q. Let s(w) be the second derivative of -w**3/6 + w. Let l(r) = -6*s(r) - t(r). Is l(-1) a multiple of 4?
False
Let r = 116 - 118. Let q(y) be the third derivative of 7*y**5/30 + y**4/8 + y**2. Is q(r) a multiple of 16?
False
Let o(n) = -6*n - 55. Suppose 2*l + 46 = 3*m, -2*m + 115 = -5*l - m. Does 10 divide o(l)?
False
Let y = 46 - 40. Let p(j) = j**3 - 4*j**2 + j - 3. Is p(y) a multiple of 25?
True
Let g(t) = 9*t. Let m be g(-1). Let y = 15 + m. Suppose j = -h + 1, 3*h + h + y = j. Does 2 divide j?
True
Suppose 4 = 2*m + 24. Let j be -8 + 7/2 + (-9)/(-6). Does 6 divide m/(-30) - 32/j?
False
Does 2 divide 15*2*25/10?
False
Suppose -3*i - 20 = 40. Let a = 14 - i. Is 3 a factor of a?
False
Suppose -j + 44 = -h + 2, j + 168 = -4*h. Is 56/12*(-864)/h a multiple of 6?
True
Let u be (-2)/(3/90*3). Let a = -16 - u. Suppose -a*g - 244 = -6*g. Does 31 divide g?
False
Let x(u) = 5*u**2 - 35*u + 157. Is x(18) a multiple of 7?
False
Suppose -22*r + 18*r + 196 = -4*s, -4*r - 3*s = -182. Is 7 a factor of r?
False
Suppose -933 + 4293 = 15*j. Is 32 a factor of j?
True
Does 7 divide 4*(-29)/(-4) - 5/5?
True
Let t(h) = -14*h**3 - h**2. Let i(y) = y**2 + 10*y - 2. Let l be i(-10). Does 36 divide t(l)?
True
Suppose 17 = 4*t - 167. Is 2 a factor of t?
True
Suppose 94*h = 72*h + 11550. Does 25 divide h?
True
Suppose -5*p + 5*o - 476 = -1276, -5*p - o = -830. Let d = p + -38. Is d a multiple of 12?
False
Let l(p) = -14*p + 17. Suppose -4*a - 38 + 10 = 0. Let w be l(a). Let v = w - 66. Is 37 a factor of v?
False
Let o be (-1 - -6)*(1 + 0). Let p(r) = 111 - 39 + 2*r - 40 - 27 + 2*r**2. Is p(o) a multiple of 13?
True
Let i be 8/12 + (-86)/(-6). Suppose z - 75 - i = 0. Does 15 divide z?
True
Suppose 4*l + 312 = 5*j, -4*l - 284 = -2*j + 4*j. Let f = 79 - l. Suppose -4*t = -0*t + 4*g - f, -g - 32 = -t. Is 10 a factor of t?
False
Suppose 2*i = -2*v + 8, 0 = i + 2*v + 2*v - 13. Suppose -i = -a + 19. Is 5 a factor of a?
True
Let v(h) be the third derivative of h**7/420 - h**6/720 + h**5/120 - 5*h**4/24 + 4*h**2. Let s(k) be the second derivative of v(k). Is s(1) a multiple of 4?
False
Suppose 0 = o + 14 - 144. Suppose i - o = -3*j - 4*i, -4*j + 181 = -i. Suppose 6*h = h + j. Is 9 a factor of h?
True
Let g be (-2)/(-5) + (-286)/(-10). Suppose 300 = 33*k - g*k. Is k a multiple of 24?
False
Let b(k) = 62*k - 8. Let t be (36/(-30))/((-2)/5). Does 20 divide b(t)?
False
Let g(k) = 24*k**2 - 14*k + 2. Is 34 a factor of g(6)?
True
Let p be 8/6*24/(-16) + 244. Suppose 3*q - 190 - p = 0. Is 8 a factor of q?
True
Let p = 474 - 264. Suppose 0 = -17*i + 2947 - p. Does 7 divide i?
True
Let o be 3 - 0/(-2) - -1. Suppose -g - 400 = -5*k - 53, -o*k + 345 = -g. Is 12 a factor of 14/(-98) + g/(-7)?
True
Let m be 1 + 4/2*-1. Let b(g) = 3 - 6 + 1 + 42*g**2 - 3*g. Does 20 divide b(m)?
False
Suppose -8*y + 4*b - 1388 = -12*y, -5*y = -2*b - 1770. Is y a multiple of 32?
True
Let b = -607 - -1347. Is b a multiple of 66?
False
Let d(g) = 9*g**2 - 6. Let k(p) = 10*p**2 - 7. Let a(y) = 6*d(y) - 5*k(y). Let l(f) be the first derivative of a(f). Is 9 a factor of l(2)?
False
Let i(y) = -44*y + 40. Does 34 divide i(-10)?
False
Let l(b) = -b**2 + 10*b - 16. Let g be l(3). Suppose -2*d = h - 90, d + 466 = g*h + 3*d. Does 9 divide h?
False
Let v be (-3)/(-12) + 235/20. Let c be -4*(-2 - (-9)/v). Is c/((-10)/(-102)) - -1 a multiple of 26?
True
Suppose 3*s - 65 = -3*f + 205, 5*f = 3*s + 466. Suppose 19 = 3*h - f. Is h a multiple of 31?
False
Let s = 1408 - 392. Is 7 a factor of s?
False
Is (494/(-65) + 8)/(2/27140) a multiple of 12?
False
Let a(u) = -u**3 - 7*u**2 - 2*u - 14. Let w be a(-7). Suppose w*j - 164 = -2*c - 2*j, -c - 5*j + 74 = 0. Is c a multiple of 21?
True
Suppose 3*z + 39 = -2*k - 0*k, 0 = -4*k + 12. Let p = 16 + z. Is p/2*-1*-26 a multiple of 13?
True
Let k(x) = 19*x + 45. Let t be k(-5). Let s = 10 - t. Is 14 a factor of s?
False
Suppose -78 = -4*g - 226. Let h = 81 + g. Is h a multiple of 36?
False
Is 3 a factor of 1/1 + 365 + 6?
True
Let d(y) = y**2 - 16*y - 6. Let z be d(16). Does 15 divide (-8)/(32/z)*10?
True
Suppose 1640 = 27*x - 22*x. Does 14 divide x?
False
Suppose 8*f + 2244 = 12*f. Suppose 4*g = f - 37. Is