l) + p + 24?
False
Suppose -7*h + 14*h = 49. Suppose 0*t = -h*t + 140. Is t a multiple of 3?
False
Suppose 15*b = 58*b + 42269. Let y = -391 - b. Does 49 divide y?
False
Let i = 133 - 103. Suppose 2*o = -5*p - 3*o + i, 0 = p + 5*o - 22. Let t(m) = 33*m**3 - 2*m**2 + 2. Does 9 divide t(p)?
False
Let m(y) = -432*y - 124. Let x be m(-8). Suppose x = 25*t - 8*t. Does 12 divide t?
False
Is (5121709/230)/17 + (-2)/(-20) even?
True
Suppose -3*q - 3 = -3*f, 0 = -4*f + 7*f + 3*q - 21. Suppose -4*t = 0, 0 = -p - f*t + 178 + 237. Is 48 a factor of p?
False
Let q = -10040 - -10048. Is q a multiple of 2?
True
Suppose -u = -34 + 27. Is 56 a factor of (49194/63 - -3) + 1/u?
True
Suppose 21398 = 24*p + 7022. Let b = p + -290. Is 56 a factor of b?
False
Let d(z) be the first derivative of 12*z**2 + 27*z + 20. Does 37 divide d(8)?
False
Let t(l) = -2*l**2 - 27*l + 26. Let g be t(1). Let c(v) = -2*v**3 - 4. Is 10 a factor of c(g)?
True
Let w(j) = -2*j + 25. Let a be w(11). Let f be -3 + a + 1 - (82 - 3). Let k = -57 - f. Is 17 a factor of k?
False
Let l(i) = 42*i - 2*i**3 - 62*i - 2*i**2 + 32*i**2 - 7. Does 21 divide l(14)?
True
Let k(f) = 57*f**2 - 12*f. Let a be k(2). Let q = a - -51. Suppose 35*j - 32*j = q. Is 22 a factor of j?
False
Let x(i) = 203*i**3 + 4*i**2 + 3*i. Let t be x(-1). Let m = 304 + t. Does 51 divide m?
True
Suppose 2627 = n - 3*u + 1085, -n + u = -1534. Is n a multiple of 66?
False
Let t(k) = 552*k**2 - k - 6. Is 138 a factor of t(-6)?
True
Let j = 7107 + -6359. Is j a multiple of 11?
True
Suppose 7*z - 2062 - 1438 = 0. Suppose 14*y = 24*y - z. Does 10 divide y?
True
Let i(a) = a**2 + 4*a + 8. Let d(q) = -q**2 + 3*q + 12. Let h be d(6). Let b be i(h). Suppose b = -5*r, -3*r - r = p + 4. Is p a multiple of 3?
True
Suppose 2*j - 24 = -4*n, 3*n - 10 = j + 3. Suppose 0 = n*v - 3278 - 1222. Is v a multiple of 39?
False
Let y(p) = p**2 + 8*p - 9. Let d be y(-9). Suppose f - 211 = -b, f - 5*b + 8*b - 217 = d. Is 8 a factor of f?
True
Suppose 4*s + 2380 = 9*s - 3*x, s - 476 = x. Is 19 a factor of s/21 - (-1)/3?
False
Suppose 2*l + 8 = 2*m + 3*l, 2*l = 3*m - 19. Suppose -20 = 4*c, 18*n - 4*c = 20*n. Suppose -m*k = -n*k + 200. Is 5 a factor of k?
True
Suppose 15736*w - 155280 = 15733*w. Is w a multiple of 80?
True
Is 13 a factor of (640/336 - 12/9) + 553768/28?
False
Let t(m) = m**3 + 5*m**2 - 2*m - 8. Let n = -11 - -6. Let i be t(n). Suppose -4*o = i*o - 96. Does 16 divide o?
True
Let p = 210945 + -139087. Does 14 divide p?
False
Let f = -14058 + 26736. Is f a multiple of 12?
False
Is 3 a factor of (-24)/10*(-56 - (7 - -2))?
True
Let n(l) = -2*l**2 - 19*l + 40. Let r be n(-11). Suppose 0 = r*t - 2745 - 3723. Does 42 divide t?
True
Suppose 4*k + 24 = 4*b, -4*b + 4 = -0*b. Let h be 5/k + 4 + 2. Suppose -5*m = -2*q - 257, -h*m + 253 = 4*q - 7*q. Is 14 a factor of m?
False
Suppose 7*c + 240 = c. Is 5 a factor of ((-30)/c)/(((-2)/2)/(-96))?
False
Suppose -5*o + 2327 = 4*p, 1401 = 3*o - 58*p + 62*p. Is 38 a factor of o?
False
Let s = 4708 + -4707. Let t(v) = -46*v + 112*v - 5 + 95*v. Is 12 a factor of t(s)?
True
Suppose -s - 2 = -6. Let g be (s - -1) + -3 - (0 - 3). Suppose p - 5*u + 40 = 4*p, -116 = -g*p + 4*u. Is p a multiple of 3?
False
Suppose -39*o + 8*o = -62. Suppose -10*s + 14*s - 132 = -3*z, 3*z = -o*s + 60. Is 3 a factor of s?
True
Suppose s - 15 = 5*d, d = s - 1 - 2. Suppose -5*h - 1042 = -5*j + 143, j - 2*h - 239 = s. Is j a multiple of 5?
True
Let m be (15/(-4))/3*-4. Suppose j - m*j = -52. Let g(w) = -w**2 + 18*w - 13. Does 9 divide g(j)?
False
Suppose 40 - 1186 = 6*p. Let b = p + 83. Let v = 364 + b. Does 32 divide v?
True
Let t = 22622 - 14483. Does 5 divide t?
False
Let w(f) = 14*f**2 + 4*f. Suppose 42*c + 2 = 41*c. Let h be w(c). Suppose 0 = 2*x - 5*j - 13 - h, -5*x + 138 = 2*j. Is 4 a factor of x?
True
Let g(y) be the first derivative of -y**4/2 + 7*y**3 + 6*y**2 + 26*y + 67. Does 14 divide g(11)?
False
Suppose -2*a = 4, 4*y - 15170 = -247*a + 242*a. Is y a multiple of 8?
False
Let y(z) = z**2 - 7*z - 8. Let t be y(8). Let k be 15/(-6)*2/(-5). Suppose -8*u - k + 657 = t. Is u a multiple of 21?
False
Let h be 10/(-35) + 6/21. Suppose h + 9 = -3*o. Is (-2 + -2 - o)*-138 a multiple of 23?
True
Let l = 2437 + -2317. Let y(z) = -6*z**3 + 9*z**2 + 4*z + 1. Let f be y(7). Is l/(-280) + 1/((-14)/f) a multiple of 13?
False
Suppose -7*u - 370 = -5263. Suppose 139 = l - z, -5*l + 4*z = -0*l - u. Is 11 a factor of l?
True
Let v(u) = -6*u**2 - 3*u + 6. Let r be v(-2). Let n be r/(3/(-1))*2826/(-24). Let m = 695 + n. Does 14 divide m?
True
Suppose -4*j - 5*w = 17, 3*j - 19 = w - 8. Suppose 2*i - 34 = -j*z, -z + 27 + 20 = -5*i. Let x = 113 - z. Is 13 a factor of x?
True
Let r(t) = -6*t**2 - t. Let f(l) = 28*l**2 + 2*l + 11. Let x(s) = -f(s) - 5*r(s). Is 18 a factor of x(-11)?
True
Let o = -126 + 219. Suppose -p - 3*p - 48 = u, -2*p + 66 = -2*u. Let g = o + u. Is 5 a factor of g?
False
Let k(v) = 38*v**3 + 2*v**2 + 4*v - 6. Suppose 6*j - 17*j + 11 = 0. Is 5 a factor of k(j)?
False
Let r be (-5400)/96 - 2/(-8). Is 2 a factor of 198/(-8)*r/42?
False
Let x(c) = 0*c**2 - 5 + 36*c - c**2 + 18*c - 31*c. Does 17 divide x(18)?
True
Is 8 a factor of (-16*8/(-40))/((-2)/(-25))?
True
Let u(r) = 68*r**2 - 3*r + 5. Let f(a) = a + 5. Let n be f(-3). Does 10 divide u(n)?
False
Let s be ((-12)/(-45)*-9)/(6/(-15)). Does 16 divide 1875/10 + 15/s?
False
Let s(p) = -p**2 - 12*p - 20. Let y be (-4)/(-18) - (168/27 - 0). Let v be s(y). Let j = 28 + v. Is 8 a factor of j?
False
Is 27 a factor of (-3634)/(27/(1296/(-32)))?
False
Suppose -2*p + 29 = -3*r, -3*r + 4*p - 22 = 15. Is 3562/8 + 5/(-27 - r) a multiple of 12?
False
Suppose -3*p + 29 = 3*x - 43, 0 = 4*x - 5*p - 60. Let w = -17 + x. Does 18 divide 3/(-9)*-166*w?
False
Let z = -253 - -6831. Does 9 divide z?
False
Suppose -3*a + 3*t + 12 = 0, 3*t = -3*a - 0*t + 18. Suppose -6*y + a*y = -4*g + 64, 3*y = -3*g + 48. Is g a multiple of 5?
False
Let l(f) be the first derivative of f**3/3 - 3*f**2/2 + 70*f + 170. Is 5 a factor of l(-10)?
True
Let x be (-2)/(-3 + 6 + (-51)/15). Suppose 3*g - 22 = -x*i, 4*g - 8*g + 11 = 3*i. Suppose 3*q = 4*k - i*k + 11, 0 = 2*k + 4*q - 24. Is 12 a factor of k?
False
Let z(h) = 7*h**2 + 197*h - 2846. Is z(14) a multiple of 3?
True
Let z = 5 + 16. Let m(c) = -3*c + 68. Let p be m(z). Suppose -290 = -5*r - p*r. Is r a multiple of 9?
False
Let a(m) = -15*m + 2478. Is a(-22) a multiple of 52?
True
Let r be (-2)/3 - (-4)/6. Suppose 5*t = -5*n + 840, -43*t = -40*t - 2*n - 489. Suppose 2*m + m = 4*o - t, r = 2*o - 5*m - 65. Is o even?
False
Suppose 9*g + 72665 = 3*h + 8*g, -5*g + 48432 = 2*h. Is 12 a factor of h?
False
Let z(p) = 2*p**2 + 89*p - 16. Let l be z(-51). Suppose 2*t - l - 793 = 0. Is 31 a factor of t?
False
Let k(y) = -2*y - 11. Let u be k(-7). Let q(h) = -6*h**3 - 4*h. Let j be q(u). Let b = -120 - j. Does 13 divide b?
False
Suppose 8*n + 162 - 786 = 0. Let r = 221 + -78. Let v = r - n. Does 31 divide v?
False
Suppose -30*k = -187 + 7. Does 31 divide ((-26)/k + 5)*(0 - -186)?
True
Let c be 7/((-175)/40)*(-485)/2. Let w = c + -234. Is w a multiple of 22?
True
Let o = 1026 + 8015. Is 50 a factor of o?
False
Let p be 6/10 + 13/(-5). Let m be p/8 + (-1490)/(-40). Suppose o + 2*j = -2*j + 28, o + j - m = 0. Is 10 a factor of o?
True
Let x be 2 - 7 - (-105)/21. Suppose x = -101*i + 97*i + 880. Does 16 divide i?
False
Suppose -87*k + 54 = -84*k. Let y be 28/(-36) - 4/k. Does 12 divide (-71 + y)/(27/(-18))?
True
Suppose -5*h + 20 = 0, 30*h = -18*r + 19*r - 807. Is r a multiple of 3?
True
Suppose -128 - 76 = 4*l. Suppose -4*s - 101 = -5*s - 3*k, -2*s - k = -207. Let q = l + s. Is 28 a factor of q?
False
Let o(f) be the second derivative of 79*f**3/3 - 3*f**2/2 - 5*f. Let d be o(5). Suppose -9*r - 139 = -d. Is r a multiple of 18?
True
Suppose -5*a = 15, 13*t = 11*t - 3*a + 1443. Is t a multiple of 22?
True
Let f(t) = 29*t**3 - 10*t**2 + 35*t - 5. Is f(4) a multiple of 29?
False
Suppose 0 = -5*n + g + 919, -4*g + 841 = 5*n - 83. Suppose -v + 56 = -3*q, -4*v + n = 8*q - 10*q. Is 11 a factor of v?
True
Suppose -t + 422 = -2*b, -4*t + 638 = -5*b + 2*b. Let x = b + 258. Does 15 divide x?
False
Let s(i) = -i**3 + 2*i**2 + 3*i - 5. Let h be s(-5). Let w = h + -69. Suppose -90*m + 96 = -w*m. Does 7 divid