= 12. Let h be (-2)/p - 603/(-6). Let s = h - 58. Is 17 a factor of s?
False
Suppose -15*m = -10*m - 1470. Suppose 58*n - 60*n + m = 0. Does 7 divide n?
True
Does 8 divide 4/(-76) + 49113/323?
True
Let m = -120 + 321. Does 5 divide m?
False
Suppose 0 = -2*v + 447 + 1561. Is v a multiple of 18?
False
Let r = 82 + -79. Suppose -559 = -r*t + 239. Is 48 a factor of t?
False
Suppose -2389 = -2*j - 5*c, 0 = j + c + 382 - 1584. Is j a multiple of 45?
False
Does 127 divide (684/(-45) + 14)/((-6)/20145)?
False
Let r(b) = -b**3 - 3*b**2 + 8*b - 4. Suppose 4*c + 36 = -2*c. Is 8 a factor of r(c)?
True
Let m(v) = 14*v + 23. Let o be m(8). Is 2 + o + -1 - -5 a multiple of 6?
False
Let c(b) = -b**3 - 24*b**2 + 24*b - 32. Let z be c(-25). Let g(v) = v**2 - 7*v - 54. Is 22 a factor of g(z)?
True
Let f = 151 + -88. Does 10 divide f?
False
Let v(d) = d**2 + d - 9. Let f be v(-9). Let x = -3 + f. Suppose -x + 276 = 4*m. Is m a multiple of 27?
True
Is 120 a factor of 894*(6 + 7 + -9 - 2)?
False
Let a = -75 - -105. Suppose 0 = -35*y + a*y + 70. Is 7 a factor of y?
True
Let z(j) = -2*j + 35. Let l be z(10). Suppose 0 = 2*g - 73 + l. Is g a multiple of 6?
False
Suppose -5*u - 3 - 17 = 0. Let t(d) = -d**3 - d**2 + 4*d - 1. Is t(u) a multiple of 5?
False
Suppose 0*n + v - 2 = -n, -3*n = -2*v - 21. Let f(y) = -4 - 4 + 3 + 6*y - y**2 + 3*y. Is 15 a factor of f(n)?
True
Suppose g = 4*g - 2046. Let w be (-3)/(-4) + g/8. Suppose -w = 2*j - 4*j. Is 15 a factor of j?
False
Let w(j) = j**2 - 6*j - 16. Suppose 11*s - 40 = 6*s. Let l(b) = -b**3 + 7*b**2 + 10*b - 3. Let f be l(s). Does 15 divide w(f)?
True
Suppose -10*k + 236 = 1596. Let g = -60 - k. Is 5 a factor of g?
False
Let p(q) = q**3 + 13*q**2 - 9*q - 2. Suppose 3*k = 9*k + 78. Does 14 divide p(k)?
False
Let h(c) = -c**3 - 12*c**2 - 14*c + 2. Let z(p) = p - 1. Let q be z(-10). Is h(q) a multiple of 4?
False
Let h = -8 - -10. Let t = h - 2. Suppose -3*p + 104 = 4*w - t*w, 137 = 4*p + 5*w. Is 14 a factor of p?
True
Suppose -5*t + 2*t - b = -1, -5*t + 5*b = 5. Suppose -5*n - 4*w + 22 = t, 1 - 5 = n - 2*w. Suppose 0 = -n*k + 1 + 3, -c = -4*k - 16. Is c a multiple of 6?
True
Suppose 0 = -2*m - 0*m + 12. Suppose 0*l + l + m = 0. Is (-265)/(-25) - l/(-10) a multiple of 5?
True
Let v be -6*(-1 - (-15)/9). Let t be v/(-8)*38 - 4. Suppose 14 = i - 5*m - t, -3*i - 4*m + 68 = 0. Is 13 a factor of i?
False
Let m = -35 - -38. Suppose m*p - 208 = -5*p. Is 13 a factor of p?
True
Let l = -8 - -114. Suppose -79 = -3*i - a, 5*i - l = 5*a + 39. Is 8 a factor of i?
False
Suppose -3 = -s, 3*s + 2871 = 91*f - 88*f. Is 60 a factor of f?
True
Let o(i) = 3*i**3 - 4*i**2 + 17*i + 12. Does 31 divide o(5)?
True
Does 12 divide -7 - (3 - 2159 - -3)?
False
Suppose -1987 = -2*l + 3*c + 937, 2*l - 5*c = 2932. Is 13 a factor of l?
True
Let b(c) = -7*c**3 + 3*c**2 - 4*c - 9. Let p be b(4). Let m = p - -622. Is 8 a factor of m?
False
Suppose 3*g - 2*g + 5*z - 18 = 0, 40 = -5*g + z. Does 5 divide ((-51)/(-6) + g)/(3/88)?
False
Suppose 5*x + 3 = 158. Let w be 135/7 + (-2)/7. Let c = x - w. Is 12 a factor of c?
True
Suppose 85 - 25 = 3*f. Is f a multiple of 5?
True
Let b = 0 - -6. Suppose -2*u + b + 11 = 3*j, -16 = -4*j + 4*u. Let f(h) = h**3 - 2*h**2 + 5*h - 15. Is 17 a factor of f(j)?
True
Let d(b) = b**3 - 3*b**2 + 2*b + 1. Let z be d(3). Let t = 8 - z. Is 12 a factor of ((-28)/35)/(t/(-60))?
True
Let r = -39 + 210. Is r a multiple of 8?
False
Let p = -570 + 978. Is p a multiple of 17?
True
Let u(k) = 11*k + 7. Let p(z) = z. Let r(h) = 2*p(h) - u(h). Suppose 0 = -7*b + 8*b + 7. Is r(b) a multiple of 20?
False
Suppose 53*a = 44*a + 10728. Is a a multiple of 7?
False
Let t = 21 - 23. Let n be 965/15 + t/(-3). Suppose -7*c + n = -2*c. Does 13 divide c?
True
Let t(j) = 4*j**3 + 12*j**2 - 1 + 0 + 4 - 5*j**3 - 11*j. Let h be t(11). Let i(d) = 2*d**3 - 3*d**2 - d + 1. Is i(h) a multiple of 18?
False
Let j = -721 - -1566. Is j a multiple of 18?
False
Let z(b) = -11*b**2 - 37. Let m(o) = -5*o + 23. Let l(d) = -d**2 - 6*d + 24. Let x(w) = -5*l(w) + 6*m(w). Let c(p) = 13*x(p) + 6*z(p). Does 2 divide c(0)?
True
Is 28 a factor of 2/3*3720/16?
False
Does 33 divide (-2)/(14/(-3)) - (-128296)/196?
False
Let q = -4 + 6. Suppose q*k = 5*m - 68, k + 21 = -3*m - m. Let b = k - -77. Does 16 divide b?
True
Let x(u) = 24*u**3 - 4*u + 3. Let r(s) = 72*s**3 - 11*s + 8. Let n(h) = 4*r(h) - 11*x(h). Is 14 a factor of n(1)?
False
Suppose -5*h + 25 = 0, -g - 3*h = -42 - 23. Is 10 a factor of g?
True
Suppose -558 = -4*f + 938. Does 34 divide f?
True
Suppose -9*u = -4*u - 2720. Is u a multiple of 14?
False
Suppose -34*f + y - 374 = -35*f, 5*f - 1867 = -4*y. Is 4 a factor of f?
False
Suppose 9*b - 11*b + 4 = 0. Suppose 4*f + 168 = b*w, -2*w - 4*f = -3*w + 88. Is w a multiple of 20?
True
Suppose 0 = 4*g - 6*g + 92. Let b = g + -36. Is 7 a factor of b?
False
Suppose 3*i + 45 = 6*i. Suppose i = -5*f, -4*x - 2*f = 2*f - 636. Is 25 a factor of x?
False
Suppose 0 = 4*n + 138 - 34. Let s = -21 - n. Suppose s*o = -13 + 73. Is o a multiple of 3?
True
Let t(g) = 91*g**2 + 16*g + 39. Does 40 divide t(-3)?
False
Let b = 42 + -40. Suppose b*z - 252 = 3*p - 5*p, 0 = -3*z - p + 378. Does 21 divide z?
True
Let l = 88 - -24. Let r = -42 + l. Is r a multiple of 10?
True
Let k(n) = -35*n + 8. Does 4 divide k(-1)?
False
Suppose -11*m + 131 = 21. Let r(b) = -6 + 6*b - 12 + 4. Is 23 a factor of r(m)?
True
Suppose 0 = 4*x + 2*p - 2 + 12, 3*p = -2*x - 7. Is 10 a factor of 56 - 1/x*(-4 - -4)?
False
Suppose 12 = 4*c, -5*h - 5*c + 19 = -6. Suppose 0*p + h*p - 10 = 0. Suppose 5*b - 250 = -3*y + p*y, -y - 101 = -2*b. Does 16 divide b?
True
Let f = 1399 - 689. Is 10 a factor of f?
True
Suppose 45*z = 99513 - 5013. Is 12 a factor of z?
True
Let s = 111 + 41. Suppose -4*k - 200 = -3*g, g = -g - 2*k + s. Is g a multiple of 9?
True
Let o(y) = 5*y**2 - 23*y - 12. Does 40 divide o(-9)?
True
Let d(i) = -6*i - 6. Suppose 0 = -j + 6*j + 30. Is d(j) a multiple of 30?
True
Let p(f) = 16*f**2 - 20*f + 94. Does 7 divide p(6)?
False
Suppose -6*c - 2 = -8. Let u = c - -29. Let x = u - 10. Does 10 divide x?
True
Let m be 4/(-26) - 8/(-52). Suppose -3*v - 2*j + 15 = 0, m*v - 2*j - 3 = -3*v. Suppose -5*f - l - l + 95 = 0, v*f + 3*l = 57. Is 4 a factor of f?
False
Suppose -3*t + 2775 = 3*m, -4*t = -3*t + 5*m - 905. Is 26 a factor of t?
False
Suppose 137 = -3*m - 145. Is 11 a factor of 0/(-2) - -5 - m?
True
Let k(z) = z**2 + 2*z + 3. Let i be k(-2). Let s(u) = 7*u - 9. Let m(x) = x - 1. Let y(f) = 36*m(f) - 4*s(f). Is y(i) a multiple of 7?
False
Suppose f = 0, 5*d - 7 = 5*f + 323. Does 6 divide d?
True
Let f(o) = -o**2 - 5*o + 2. Let w be f(-5). Suppose 5*z - 338 = -w*c, -3*z + 143 = c - 60. Suppose 76 + z = 3*q. Is 24 a factor of q?
True
Let k(c) = 14*c**2 + 1. Let o be -4 + 1 - (-4 + 1). Suppose -j + o*j = 1. Does 4 divide k(j)?
False
Suppose d - a - 18 = 0, 0*a - 20 = 5*a. Let j = d + 20. Is j a multiple of 34?
True
Let q(k) be the second derivative of 3*k**5/10 + k**4/12 + k**3/3 + k**2/2 - 2*k. Let p be q(-1). Is p*17*3/(-9) a multiple of 11?
False
Let x(f) = -36*f - 23. Let q(i) = -72*i - 47. Let a(b) = -3*q(b) + 5*x(b). Does 31 divide a(7)?
False
Let n be (1 - -2) + -4 + 1. Suppose n = -3*u - 6. Is (4/(-12))/(u/96) a multiple of 16?
True
Let t(p) = p**3 - p. Let j be t(-1). Let h be 60/10 - j/(-2). Is 18 a factor of 110/h + (-1)/3?
True
Suppose 25 = -8*b + 13*b. Suppose -7*d + 5*d + 136 = 5*t, b*t = 20. Is 29 a factor of d?
True
Let f = 3359 + -2606. Is 28 a factor of f?
False
Suppose 8*g - 4*g = 4*z - 1856, 5*g - 2280 = -5*z. Is 30 a factor of z?
False
Let n(j) = -2 + 4 - 3 + j + 0. Let i be n(6). Suppose -172 = -i*w + w. Is w a multiple of 21?
False
Does 44 divide 48/14*20097/174?
True
Let d be ((-1)/1)/((-1)/3). Let b be 0 - (2 + (-531)/d). Let g = -92 + b. Is g a multiple of 22?
False
Let a be ((-24)/(-14))/((-2)/(-14)). Suppose 14 = -5*k + 4, -k = 5*t + a. Let p = t - -33. Does 15 divide p?
False
Let k(c) = -c**2 + 4*c + 2 + 8 + 0*c + 2*c. Let t be k(7). Suppose -5*w = -5*p - 145, -t*p = w - 16 + 3. Is w a multiple of 25?
True
Let w be (-28 - -6)/((-1)/(-2)). Let l = w - -26. Let c = 62 + l. Does 22 divide c?
True
Suppose -35*q + 5*s + 1994 = -32*q, 4*q + 3*s = 2649. Does 17 divide q?
True
Let l(r) be the second derivativ