- 882/(-11)?
True
Suppose 4*a + 0*k - 3*k = 99, a - 2*k = 26. Let o = a - 20. Suppose 2*x - 29 = 5*b, o = 2*x + 5*b - 15. Does 12 divide x?
True
Let u = 53 - 29. Suppose 6*m = u*m - 2970. Does 15 divide m?
True
Let n be 0 - 1 - (-1 - 7). Suppose w - 2*u + n = u, 5*u - 15 = 2*w. Does 14 divide 21/(-35) + (-426)/w?
True
Let a(d) = -105*d - 2. Let y be (-558)/30 - (-3)/5. Let h be (-6)/y + 8/(-6). Does 13 divide a(h)?
False
Let h(d) = 6*d**3 + 12*d**2 - 8*d - 26. Does 13 divide h(6)?
False
Let z = -554 - -1152. Does 13 divide z?
True
Suppose 465 = 3*z - 936. Is 9 a factor of z?
False
Let o(c) = -c**3 - 8*c**2 - 3*c + 12. Is 18 a factor of o(-8)?
True
Let s(f) = f**3 - 9*f**2 - f + 12. Let u be s(9). Suppose y - 52 = u*v, -3*y - 2*y + 278 = 3*v. Suppose 8*w = 3*w + y. Is w a multiple of 4?
False
Let u(t) = -19*t**3 + 4*t**2 + 4*t + 3. Let w be u(-2). Suppose 9 + w = 4*y. Let v = y - 23. Does 20 divide v?
True
Let x be 10/(-25) + 58/(-5). Let o(b) = b**3 + 13*b**2 - 11*b - 16. Does 52 divide o(x)?
True
Let i be (3 - 3)/(3 + -1). Let g = i - -4. Does 4 divide g/((-12)/5)*-6?
False
Let l(y) = 135*y - 4. Let m be l(5). Suppose u = -5*d + m, -3*d + 31 = 3*u - 362. Is d a multiple of 17?
False
Suppose -3*o + 5*f + 1316 = 0, 3 = 3*f - 3. Is 26 a factor of o?
True
Let u(b) be the third derivative of 55*b**4/24 - b**3/3 + b**2 + b. Is 9 a factor of u(2)?
True
Suppose -15262 - 24504 = -59*u. Does 17 divide u?
False
Suppose -8 = -g + 416. Is 46 a factor of g?
False
Suppose 648 = -4*x + 7*x. Does 72 divide x?
True
Let j(i) = -i**3 + 2*i - 4. Let s = 12 + -8. Suppose 0 = s*w + 4, -3*w = 3*h + 4 + 8. Does 8 divide j(h)?
False
Let x(q) = -q**2 - 13*q + 3. Let g = 32 - 5. Suppose g = -4*t + t. Does 20 divide x(t)?
False
Let t(m) = m**3 - 5*m**2 + 3*m + 1. Let f = 18 + -13. Let r be t(f). Suppose -c + r = -4. Does 10 divide c?
True
Suppose 4*p = 7 + 1. Let y be -2 + p/4*94. Suppose q - y = -2*l, 8 = q - l - 52. Does 7 divide q?
False
Suppose 0 = -0*v + 5*v - 420. Suppose -v - 36 = -4*y. Does 30 divide y?
True
Suppose 6*w - 5*w + 1 = 5*c, 2*c - 2*w = 2. Suppose 2*p - 3*p + 114 = c. Does 20 divide p?
False
Let l = 3982 + -2336. Is 65 a factor of l?
False
Suppose 36*x - 10*x - 4446 = 0. Does 19 divide x?
True
Let w(s) = -s + 6. Let x be w(-16). Let p = x + 28. Suppose p = -8*z + 13*z. Is z a multiple of 7?
False
Suppose 0*j + j = 1. Let c be j/(-2) + 130/20. Is 11 a factor of ((-78)/(-9))/(4/c)?
False
Let x(j) = -j**2 - 26*j - 18. Let r be x(-26). Is (-374)/r - (-6)/27 a multiple of 4?
False
Is 41 a factor of (-31885)/(-35) - (-36)/(-4)?
True
Suppose -330 - 390 = -3*i. Does 15 divide i?
True
Suppose 4*t - 236 - 524 = 0. Is 2 a factor of t?
True
Let l = 12 + -20. Is 15 a factor of 18 + (l/4 - 1)?
True
Let w(c) = 2*c**2 + 0*c + 4 - c**2 - 2*c. Let l(i) = 3*i**2 + 2*i - 1. Let z be l(-2). Is w(z) a multiple of 13?
True
Suppose -3*l = -3*a + 687, 5*l - 658 - 477 = -5*a. Is a a multiple of 76?
True
Let v(c) = 2*c**2 - 2*c + 3. Let x be 7/3 - 9/27. Is v(x) even?
False
Suppose 3*n - 12 = -0. Suppose 0 = -4*r + 2*r + 6, 30 = w + n*r. Let d = w - -14. Is d a multiple of 12?
False
Let t(z) = -25*z - 33. Let o(a) = -6*a - 8. Let h(l) = 9*o(l) - 2*t(l). Does 6 divide h(-3)?
True
Let g(x) = 10*x. Suppose -11 = -u + 5*i, -2*i + 109 = 6*u - u. Let d = u + -20. Does 5 divide g(d)?
True
Let w(l) = l**3 - 13*l**2 - 13*l - 10. Let h be w(14). Suppose 0 = -4*m - 15 - 5, 3*m = h*r + 209. Let c = -31 - r. Is 18 a factor of c?
False
Suppose 0*c = 3*n - 5*c + 199, -n - 5*c = 33. Let j = -39 - -11. Let l = j - n. Is 13 a factor of l?
False
Let j(x) = -x**3 - 5*x**2 + 3*x + 5. Let u be j(-5). Let z be 88/(-20) - 4/u. Is 16 + z/((-2)/1) a multiple of 6?
True
Suppose x = 22*x - 13398. Is x a multiple of 43?
False
Suppose 0 = 31*x - 34*x. Suppose -2*c - 2 + 22 = x. Is 5 a factor of c?
True
Let l = -69 - -144. Let u(p) = p**2 - p + 5. Let b be u(-5). Let f = l - b. Is f a multiple of 23?
False
Let y = -10 + 10. Does 6 divide (y + -5)*(-6)/5?
True
Let b = -20 + 24. Suppose -b*m - w = 2*w - 119, 157 = 5*m + w. Is m a multiple of 16?
True
Let n(l) = l + 2. Let r be -1 + 11 - (-5 + 2). Suppose -2*t - 12 = -5*t, 3*f + t = r. Is 5 a factor of n(f)?
True
Let s = -89 - -492. Is 3 a factor of s?
False
Let u be (-58)/(-8) + 1/(-4). Suppose u = -4*y + 143. Does 16 divide y?
False
Let r(h) be the second derivative of h**4/12 - h**3 + 17*h**2/2 + 8*h. Is r(7) a multiple of 5?
False
Suppose 0 = 2*l - 5*l + 9. Let m be -20*(-2)/(l + -1). Let d = m - 8. Does 4 divide d?
True
Let f = 49 - 43. Does 25 divide (-1547)/(-6) + f/36?
False
Suppose -5*g = -x - 7 + 25, -x = -3*g - 16. Suppose 0 = -8*i + x*i - 220. Does 8 divide i?
False
Let h = 20 - 16. Suppose -4*p = -h*x + 48, 0*p + 4*p + 12 = x. Suppose 17*n - x*n - 440 = 0. Is n a multiple of 18?
False
Suppose -9*f = -6*f - 9. Suppose 12 = f*j, 6*j = 4*m + 3*j + 12. Suppose m = -4*r + 189 - 45. Does 9 divide r?
True
Let b = -28 + 110. Let f be b + (1 - (4 + -5)). Suppose 5*r + o = 3*r + 148, r = -3*o + f. Is 12 a factor of r?
True
Suppose z + z = 122. Suppose -z*o = -66*o + 275. Is 5 a factor of o?
True
Let h = 16 - 98. Let u = h - -117. Does 5 divide u?
True
Let p(v) = -12*v**2 + v + 1. Let m be p(-1). Let n be 4 + -1 - (m - 12). Suppose o - 20 = -0*o + 2*b, 0 = 3*o + 5*b - n. Is 3 a factor of o?
False
Suppose -3*p + n = -4*n - 16, -3*p = -4*n - 14. Suppose i - p*i + 34 = 0. Is i a multiple of 17?
True
Suppose 226 - 328 = -a. Does 6 divide a?
True
Let h be (-4233)/27 + (-8)/36. Let n = 331 + h. Is n a multiple of 13?
False
Let n(y) = 3*y**3 - y**2. Let m(f) = -4*f**3 + 1. Let j(h) = -4*m(h) - 5*n(h). Does 14 divide j(4)?
True
Suppose 4*u - 79 = p + 1060, 2*u + 4*p = 574. Is 15 a factor of u?
True
Suppose -111*z = -105*z - 4182. Is 41 a factor of z?
True
Suppose 0*a - 3328 = -16*a. Is a a multiple of 9?
False
Let j be 2028/(-30) + 6/10. Let q = j - -134. Is 12 a factor of q?
False
Let o be 2/5 + 46/10. Let m = 80 + -74. Suppose -x + 253 = o*f, -m*x - 8 = -2*x. Is 17 a factor of f?
True
Let f(p) = -3 - 1 - 10*p + 6*p. Let n be f(4). Let s = 53 + n. Is 16 a factor of s?
False
Let l = -15 + 18. Suppose -c + 0*c = -l. Suppose 5*y = c*y + 24. Is 7 a factor of y?
False
Let g be (4 + -6)/(6/(-9)). Suppose f = 6 + g. Let o(a) = -a**2 + 11*a + 3. Does 8 divide o(f)?
False
Let b = -771 + 1042. Is b a multiple of 32?
False
Is 133 a factor of (969 - -3)*((-55)/(-10) + -3)?
False
Let f(q) = q**3 + q**2 + 6*q + 8. Is 8 a factor of f(6)?
True
Let v(b) = -4*b - 50. Let n be v(-13). Does 34 divide 17*(8 + -4 + n)?
True
Suppose -3*n + 9*n + 42 = 0. Let x(v) = -v**2 - 12*v + 10. Is 11 a factor of x(n)?
False
Let g(n) = 5*n - 5. Let w be g(8). Let d = w + -18. Is 24/(-36) + d/3 even?
False
Suppose -5*y = 0, -2*x + 5*y = -0*y - 12. Does 15 divide (-53*6/4)/(x/(-8))?
False
Let r(k) be the first derivative of k**3/3 - 2*k**2 + 11*k + 1. Suppose -2*z - 5*x = -3, 4*z - 29 + 2 = -3*x. Is r(z) a multiple of 28?
True
Let a(z) = z**3 + 19*z**2 + 19*z + 35. Let j be a(-18). Suppose -j*n + 686 = -4074. Is 35 a factor of n?
True
Let n(i) be the third derivative of 11*i**5/60 + i**3/6 + 8*i**2 - 5. Let q = 0 - 1. Is 6 a factor of n(q)?
True
Let n(b) = b**3 + 2*b**2 - b - 152. Let v be n(0). Is v/(-10)*(9 - 4) a multiple of 19?
True
Let v(b) = b**2 + b - 6. Let h be v(0). Is ((-3)/h)/(7/2380) a multiple of 25?
False
Let f(w) = 2365*w**2 - w + 1. Let n be f(1). Suppose 0 = 4*y - 2*x - 151 + n, y = -x - 549. Is 23 a factor of ((-2)/(-4))/((-6)/y)?
True
Let u(c) = -c**3 + 4*c**2 + 6*c - 3. Let l be (-12)/(-5)*15/6. Suppose 5*s - l*s - 11 = -3*h, -s + 9 = h. Is 11 a factor of u(s)?
False
Let q = 884 - 498. Is 68 a factor of q?
False
Is ((-70)/8)/((-121)/120 - -1) a multiple of 75?
True
Let z be 1 - (3 - (6 + -2)). Let i(q) = q**2 + 10*q + 9. Let w be i(-9). Suppose w*k = z*k - 98. Is 11 a factor of k?
False
Let c = 457 - 282. Is c a multiple of 5?
True
Let l(x) = -15*x + 228. Does 51 divide l(-12)?
True
Let f = 207 - 140. Let k = -19 + f. Suppose 6*j = 2*j + k. Is 12 a factor of j?
True
Let n(j) be the first derivative of -4*j + 0 + 6 + 11*j**2 + 3*j**2 - 1. Is 23 a factor of n(2)?
False
Is (-1236)/(-4) + 1 + 36/(-6) a multiple of 8?
True
Let z = -814 - -1704. Does 10 divide z?
True
Let a(t) = -t**3