 10 divide (1 - -3) + -36*(-9)/2?
False
Let t = 20 - 15. Suppose 12 = 4*o + 4*y, t*o - 56 + 6 = 2*y. Is 3 a factor of o?
False
Let o(p) = -p**2 + 7*p + 4. Let i be (-2)/(-5) + 226/10. Suppose 0 = -3*r - 2 + i. Does 2 divide o(r)?
True
Let a(u) = 7*u**3 - u. Let x be a(1). Suppose -r = -3*g - 2, -5*r - x - 18 = 2*g. Does 15 divide -5*r/((-8)/(-14))?
False
Suppose 0 = 4*o + 3*j - 217, -o - 6*j + 56 = -7*j. Is o a multiple of 15?
False
Is 19 a factor of 2*((-222)/(-4) - 4)?
False
Let j(o) = o**3 + 12*o**2 - 15*o - 17. Is 9 a factor of j(-13)?
True
Let j(k) = k**2 + 4*k - 10. Let y be j(-6). Let d = 10 + y. Is 12 a factor of d?
True
Suppose 2*p + 4 = 4*v, -6 = -3*v + 5*p + 4. Suppose -35 = -2*u + 11. Let t = u - v. Is 19 a factor of t?
False
Suppose -2*p + 22 = -g - 54, -3*g - 33 = -p. Is 13 a factor of p?
True
Let u = 14 - 12. Is 2 a factor of u?
True
Let b = -1 - 2. Let a(g) = g + 5*g**2 + g**3 - 4 + 5 + 3*g + 3. Does 4 divide a(b)?
False
Let k = 850 - 415. Is k a multiple of 29?
True
Suppose -7*z - 2 = -5*z. Let d = -3 + 15. Let c = d + z. Is c a multiple of 11?
True
Let x = 9 + -5. Is 11 a factor of x*(2 - 21/(-6))?
True
Let i(m) = 4*m + 6. Let h be i(3). Let d = h + 42. Is 12 a factor of d?
True
Let a = 3 - 3. Suppose 3*k + a*k = 6. Is k even?
True
Let z = 16 - 52. Let m = 18 - z. Is 23 a factor of m?
False
Suppose -2*h + 145 = 61. Is h a multiple of 14?
True
Let f(z) = -z**2 + 15*z + 4. Does 14 divide f(13)?
False
Let m = -16 - -31. Is m a multiple of 15?
True
Let v(w) = -3*w - 3. Let s be v(-5). Suppose -5*b = -0*b - 200. Suppose 4*a + s = b. Is 4 a factor of a?
False
Let l be 2*(3 + -5 + 3). Is (-12)/15*(-125)/l a multiple of 19?
False
Let p = -10 + 66. Does 28 divide p?
True
Suppose -2*b - 3*b + 970 = 0. Is 20 a factor of b?
False
Suppose -u - 465 = -5*s, 105 = 3*s + 3*u - 156. Is 16 a factor of s?
False
Suppose 0 = -3*b + 4*x + 11, -17 = b - 5*x - 6. Let c = 39 - b. Is c a multiple of 15?
True
Let y(o) = 2*o + 5. Let k(m) = 3*m + 2. Let x be k(1). Is y(x) a multiple of 5?
True
Does 4 divide 5 - 1*(1 + 0)?
True
Suppose -2*m = m - 15. Let k = 12 - m. Is 7 a factor of k?
True
Is 9 a factor of 2 - 3/(-3)*36?
False
Let f(i) = i + 31. Let t = -3 - -3. Let g be f(t). Suppose -g = -5*z - 6. Does 2 divide z?
False
Let t(w) = w**3 + 4*w**2 + 3*w - 6. Let u be t(-5). Let o = u + 78. Is 16 a factor of o?
True
Let q(a) = -6 + 10*a - 2 - 4*a**2 - 3 + 3*a**2. Let d be q(8). Is 8 a factor of 3*(80/6)/d?
True
Let g(c) = -c**3 + c**2 + 2*c + 6. Is g(-2) a multiple of 14?
True
Let a = 385 + -202. Does 18 divide a?
False
Suppose -2093 = -t - 6*t. Is 26 a factor of t?
False
Suppose 0 = -2*q - 3*q + 320. Is q a multiple of 21?
False
Suppose 3*a - 2*a = 0. Let b(k) = -2*k + 51. Is b(a) a multiple of 17?
True
Let x = 207 - 123. Is x a multiple of 21?
True
Let d(q) = -13*q**3 - 2*q**2 - q. Does 8 divide d(-1)?
False
Suppose 0 = -33*a + 31*a + 186. Is 14 a factor of a?
False
Suppose -33 = -4*k + 5*i, 2*i = -2*k - 3*i - 21. Is (-56)/4*(-1)/k a multiple of 3?
False
Is 12 a factor of (4 - 0) + (-1 - -61)?
False
Let h be (0 - 2)/(2/(-6)). Let d(p) = -p + 10. Let j be d(h). Suppose -2*o + 6*y = 2*y - 58, 4*o + j*y = 116. Does 10 divide o?
False
Let k = 3 + -1. Suppose f + 2*m + k*m = 13, -3*m = f - 10. Let x = f - -15. Is 8 a factor of x?
True
Let t(h) = -h**2 + 4*h. Let s be t(5). Let o = -5 + 9. Does 6 divide (-13 + -2)*o/s?
True
Suppose 5*d - 5*v = 3*d + 9, -21 = -3*d + 5*v. Suppose -f = -0*f - d. Does 4 divide f?
True
Let k = 27 + -20. Suppose -19 - k = -2*f. Is f a multiple of 4?
False
Suppose 3 - 11 = -2*r. Let y = 0 + r. Suppose k = -y*k + 125. Is k a multiple of 13?
False
Suppose 0 - 50 = -p. Is p a multiple of 25?
True
Suppose 2*f - 177 = 3*a, 4*f + 0*f + 3*a - 327 = 0. Is f a multiple of 28?
True
Suppose 0*z - 4*z = 0. Is (-24 - (z - 0))/(-1) a multiple of 7?
False
Let d(j) = -3*j**3 - j**2 + 3*j + 1. Let q = -12 + 10. Is d(q) a multiple of 5?
True
Let s(m) = 12*m**2 + 6*m. Let x be s(-4). Is (x/9 + -1)*3 a multiple of 25?
False
Suppose -5*v = -10, -j = 2*v - 0*v - 20. Let g = 49 + j. Let f = g + -46. Does 19 divide f?
True
Does 15 divide 10/(-4 - -2)*-15?
True
Suppose 2*x + x - 15 = 0. Let o be 2 - (0 + -1 + x). Is 13 a factor of 3*((-132)/(-9) + o)?
False
Suppose 2*t - 5*m - 14 = 0, 2*t - 3*m - 10 = -0*m. Suppose -5*y + 42 = t*q, -3*y = -2*q + 28 - 66. Is 10 a factor of y?
True
Let k = 6 - 6. Let h be (3 - k)*(-54 - 3). Is h/(-12) - 6/(-8) a multiple of 4?
False
Let j be (-2)/(-4) - 6/12. Suppose 5*b - 5*n + j*n = 165, 2*n = 0. Is b a multiple of 11?
True
Let d = -12 + 14. Suppose -20 = 5*j, -d*j - j + 6 = 2*v. Is 7 a factor of v?
False
Let s = 5 - 1. Suppose -5*l = -0*p - p + 9, -s*p + 36 = -3*l. Is p a multiple of 3?
True
Suppose -7*o + 3*o = -96. Let r = o - 0. Is r a multiple of 9?
False
Let z = 5 - 3. Suppose 0*c + z*c - 16 = -2*j, -4*c + 26 = j. Is c a multiple of 4?
False
Suppose -68 = 4*p - 4*w, 4*w - 3*w - 73 = 5*p. Does 3 divide (-44)/(-6)*(-21)/p?
False
Let d(o) be the second derivative of -o**5/10 - o**4/12 + 5*o**3/6 + 3*o**2/2 + o. Suppose 0 = 4*u - 8, 5*t - 2*u + 20 = 1. Is 13 a factor of d(t)?
False
Let k(i) = 2*i**2 - 15*i + 13. Let h be -10*1/(-2)*2. Is 18 a factor of k(h)?
False
Suppose -65 = -2*n - 3*n. Suppose n = -5*o + 143. Suppose 2*v - o = v. Does 13 divide v?
True
Suppose -29 = 5*n - 2*h, -4*n - 5*h + h = 40. Let g(j) = -4*j - 6. Is g(n) a multiple of 15?
False
Suppose 38 = 5*r + 13. Suppose 4*h + 5 = g + 8, 0 = 2*h - 4*g + 16. Suppose 41 = h*i - c, -i = i - r*c - 29. Is i a multiple of 11?
True
Let h(q) = -q**3 + 6*q**2 + 2*q - 2. Let w be h(6). Let p = w + -7. Suppose p*k - 134 = 52. Does 24 divide k?
False
Suppose 0*c - 61 = c. Is 9 a factor of 6/21 - c/7?
True
Suppose 2*k - 144 = 5*k. Let o = k + 33. Is 7 a factor of (-108)/o - 2/10?
True
Suppose 0 = h - 16 + 4. Suppose 2*d - 2 = h. Is d a multiple of 7?
True
Let v be 2*5/(-2) + -1. Let j be v/(0 + (-6)/(-4)). Let r(d) = -d**3 - 3*d**2 + d - 4. Is 4 a factor of r(j)?
True
Let y(m) = 2*m - 8. Let g be y(6). Suppose -180 = -5*v + 2*c, 0 = g*c - 0*c - 20. Let p = v - 15. Does 18 divide p?
False
Let n = 3 - 2. Let r = -3 + 3. Suppose 2*l + n = -r*k - k, -5*k + 27 = 2*l. Does 2 divide k?
False
Suppose 2*c = -g - 3*g + 54, 0 = 4*c - 3*g - 108. Let x = 41 - c. Does 14 divide x?
True
Let z = 92 - 38. Does 27 divide z?
True
Suppose 5*p = -0*m + m - 33, -3*p - 80 = -2*m. Suppose 2*n + m = u, n = 4*n + 4*u + 59. Is 16 a factor of (-788)/(-14) + 6/n?
False
Suppose 0*u = -4*u - 36. Let q(d) = -d**3 - 8*d**2 + 5*d - 8. Is q(u) a multiple of 13?
False
Let j(y) = y**3 + 6*y**2 - 5*y - 8. Is 7 a factor of j(-6)?
False
Let v = 13 + -32. Let n = -4 - v. Is n a multiple of 15?
True
Let s(m) = 3*m**2 - 10*m + 2*m + 5 - 3*m + 4*m. Is s(5) a multiple of 15?
True
Let u(s) = s + 7. Suppose 47 - 7 = 5*b. Is 5 a factor of u(b)?
True
Let t = 14 + 8. Is t a multiple of 11?
True
Let o = 344 + -216. Is 32 a factor of o?
True
Suppose 14 = -3*x + 122. Does 12 divide x?
True
Let b(s) = s**2 - 12*s + 2. Let q be b(13). Suppose 3*w + 0 = -2*l + 5, w - q = -2*l. Is l a multiple of 3?
False
Let m = -24 + 35. Let j = m - 6. Suppose 0 = -i - j*p - 1, 5*p + 41 = i + 12. Is 8 a factor of i?
False
Let c(g) = g**3 - 5*g**2 + 5*g. Let o be c(4). Let z(f) = f**3 - 3*f**2 - 5*f + 6. Let j be z(o). Is (0 - (-2)/j) + 12 a multiple of 13?
True
Suppose -2*u - 20 = -3*u. Suppose -3*z + v + 21 = -14, 0 = -4*v - u. Does 10 divide z?
True
Suppose 0 = -y + 19 - 5. Is (3 + y/(-4))*-24 a multiple of 6?
True
Suppose r = -0 - 2. Is (r/(-3))/(4/66) a multiple of 11?
True
Suppose -2*k + k + 264 = 4*a, -2*a = k - 272. Is 28 a factor of k?
True
Suppose 0*o - 800 = -2*o. Suppose -x + 6*x = o. Does 18 divide x?
False
Let p be (-24)/5 + 1/(-5). Let o(x) = -x**2 - 5*x + 4. Let a be o(p). Does 13 divide ((-2)/a - 0)*-78?
True
Let h = 7 + -10. Let p be (-1)/(h - -2)*36. Suppose m + p = 4*m. Does 6 divide m?
True
Let y(g) = 2*g - 4. Let b be y(3). Let n be (-4)/b*1 - -5. Suppose 3*f + 5*j = 36, 4*f + n*j = 2*j + 65. Does 8 divide f?
False
Let o(j) = 3*j**2 + 4*j + 5. Does 33 divide o(-4)?
False
Let r(p) = p - 1. Let n(f) = -5*f. Let i(q) = -n(q) - 3*r(q). Suppose -3 + 13 = 2*h. Is i(h) a multiple of 13?
True
Let u(b) = 41*b - 27. Does 52 div