-7*j - 3. Let h be r(3). Let v = h - -38. Suppose 10 + v = a. Is a a multiple of 12?
True
Let r = -8 - -15. Let m(o) = -o**3 + 9*o**2 - 4*o - 16. Is m(r) a multiple of 11?
False
Suppose 5*k + 5*a = 0, 0*k - a + 6 = 4*k. Suppose 4*d + 12 = 4*n, k*n - 8 = n + 2*d. Does 8 divide n/(-9) + 264/27?
False
Suppose -s + 2*s - 6 = 0. Let g be (13/1)/(3/s). Suppose -2*u + g = -f - f, 71 = 5*u + f. Is 5 a factor of u?
False
Suppose 0*g + 144 = 5*u + 3*g, -34 = -u + 2*g. Suppose -2*a + 25 = -3*r, 2*a + u = 5*a - 3*r. Suppose -20 = -k - 3*k - a*p, -k + 5 = 4*p. Is k a multiple of 5?
True
Let f(d) = d**2 - 3*d + 14. Does 34 divide f(9)?
True
Does 10 divide ((-20)/(-6) + -2)/((-4)/(-390))?
True
Let v = -1 + -4. Let o be v/(-20) - (-742)/8. Let q = o + -57. Is q a multiple of 14?
False
Suppose -2*t = -0*t - 32. Is 8 a factor of t?
True
Let l(n) = -101*n + 6. Is 24 a factor of l(-1)?
False
Let u = -8 - -21. Does 8 divide u?
False
Suppose -5*h + 35 = 5*q, -3 = q - 4*h + 5. Suppose -2*s + l = s - 5, 4*s + l - 16 = 0. Suppose 0*p - s*p = -2*a + 52, 5*a - q*p - 116 = 0. Does 7 divide a?
False
Let b(p) = p + 10. Let j be b(-8). Suppose j*l = y + 3, 5*l + y = -0*y + 18. Suppose l*a = -a + 92. Does 9 divide a?
False
Suppose 0 = 2*c - 0*c. Suppose c*a = 3*a - 15. Suppose 29 + 21 = a*l. Does 10 divide l?
True
Suppose 26 = 4*l - 142. Does 21 divide l?
True
Let p(q) = -4*q**3 + q**2 - 2*q + 1. Let j be p(-3). Let g = -88 + j. Is g a multiple of 18?
True
Let m(v) = -v - 1. Suppose 2 + 6 = -2*z. Let d be m(z). Does 12 divide d/18 - 287/(-6)?
True
Suppose 5*r - 106 = -o, -5*o - 5 + 31 = r. Suppose -3*d + 6 = -r. Does 9 divide d?
True
Suppose 2*n - 60 = -0*n. Does 10 divide n?
True
Let z(k) = k**2 + 7*k - 2. Is 21 a factor of z(-16)?
False
Suppose -u + 2*u = 426. Is u a multiple of 71?
True
Suppose -4*o - 2*q + 176 = 0, 2*o - 119 = -5*q - 31. Is o a multiple of 11?
True
Let m(o) = -o**2 + 8*o + 11. Let u be m(9). Let a(q) = 0*q - 2*q - 2 + q + 3*q**u. Is 9 a factor of a(3)?
False
Let u(t) = t**2 + 22. Suppose -5*h - 5*y = -5, h - 6*h = -4*y + 4. Is u(h) a multiple of 11?
True
Suppose -4*s + 5*y = -28, y = 3*s + s - 12. Suppose s*b + b = 24. Is (b/6)/((-1)/(-15)) a multiple of 8?
False
Is (-6 - -9) + 122/2 a multiple of 13?
False
Let g be (-61)/(-5) + 2/(-10). Let d = 2 + g. Does 5 divide d?
False
Suppose w + 21 = -2*w. Let y(g) = -g**3 - 6*g**2 + 6*g + 5. Let s be y(w). Is (-1)/(-4) - (-45)/s even?
True
Let u be (-1 - -2)/(2/94). Let i = u + -30. Does 13 divide i?
False
Suppose 27*o = 22*o + 165. Is o a multiple of 5?
False
Let z = -6 + 12. Let x be (-2)/z*5*-3. Suppose i - 45 = -4*i - o, i = -o + x. Does 5 divide i?
True
Let a be (-380)/15*(-5 + 2). Suppose 2*o = -2*o + a. Is o a multiple of 19?
True
Let h(f) = -f + 3 + 0*f + 1. Let u be h(0). Suppose 0*s = u*s - 12, -4*l - 3*s + 37 = 0. Is 7 a factor of l?
True
Let f be 10/(-65) - (-275)/13. Suppose f = 3*m - 21. Does 14 divide m?
True
Suppose 5*h - 2*w = 249, 3*h + w = -0*w + 145. Is h a multiple of 44?
False
Suppose 2*n = -n - 63. Let r be 10/(-4) - 2/(-4). Is 7 a factor of n/((9/r)/3)?
True
Suppose -508 = 5*f - 1593. Is f a multiple of 40?
False
Does 13 divide (-2165)/(-15) - -3*(-8)/18?
True
Let u(a) = -16*a**3 - 4*a**2 + 2. Is 19 a factor of u(-2)?
True
Suppose -3*d + 2 = -4. Let m be (d + -2)*1*1. Is 4 a factor of 4 + (0 + m - -2)?
False
Does 8 divide (-4)/4 - 97/(-1)?
True
Let p = -7 - -15. Let n = -3 + p. Is n even?
False
Suppose 3 = -3*g, b - 5*g = -g - 4. Let k(v) = -23*v + 1. Let a(i) = 11*i. Let q(m) = -13*a(m) - 6*k(m). Is q(b) a multiple of 17?
True
Suppose -2*f = 2*y - 0*f - 72, 2*y = -3*f + 69. Does 39 divide y?
True
Let w(i) = -58*i + 2. Is 30 a factor of w(-1)?
True
Let s = 236 + -571. Is s/(-25) - (-4)/(-10) a multiple of 5?
False
Let g(r) = r - 10. Let h be g(6). Does 9 divide 426/21 - h/(-14)?
False
Suppose 3*t - m + 7 = 4*m, 5*m + 13 = -2*t. Let l(k) = 4*k + 7. Let o(p) = 1. Let j(x) = t*o(x) + l(x). Is 22 a factor of j(5)?
False
Suppose -2*v - 58 = 2*q - 7*q, -q = 2*v - 14. Is q a multiple of 5?
False
Let u = -6 + 4. Is (1 - u) + 1 + 20 a multiple of 8?
True
Let g(s) = s**3 - 7. Let k be g(0). Let i(a) = -a**2 - 8*a - 3. Let x be i(k). Suppose 129 = x*z - z. Is 16 a factor of z?
False
Let q(g) = -18*g**2 + 1. Let b be q(-1). Let i = b + 53. Is 15 a factor of i?
False
Let d(s) = 5*s - 15 - 11 + 21. Let k be 7 - (0 + (1 - 1)). Does 11 divide d(k)?
False
Let b = 6 - -7. Does 8 divide b?
False
Let f be 2*-3 - (3 - 3). Does 30 divide f/(-4)*(-20)/(-1)?
True
Does 3 divide 4/(-1) - (-29 - -4)?
True
Let u(y) = -y - 2*y - 1 + 3. Is 10 a factor of u(-4)?
False
Suppose 0*m - 29 = -3*m - 2*s, -m + 3*s + 28 = 0. Does 5 divide m?
False
Does 7 divide 1/(1 + (-40)/45)?
False
Suppose f - 52 = 3*j, -140 = -5*f + 3*f - 3*j. Is 8 a factor of f?
True
Let c be ((-20)/6)/((-6)/54). Suppose 0*x - c = -5*x. Suppose -110 = -4*l - x. Is 13 a factor of l?
True
Suppose 379 = 3*y + n, -105 = -y - 5*n + 26. Is y a multiple of 21?
True
Suppose -2*h + 2 = -0. Does 16 divide (8/(-16))/(h/(-46))?
False
Suppose 4*t - 2*b - 73 = t, -77 = -3*t + 4*b. Let x = t + -255. Is 2/5 - x/20 a multiple of 12?
True
Let k be (-3)/(1/2 - 2). Suppose 0 = k*t + t. Suppose -5*l + 3*l + 22 = t. Does 11 divide l?
True
Is 12/(-20) - 2726/(-10) a multiple of 17?
True
Does 7 divide 2*(-27)/(-6) - 2?
True
Let v be 31/(-2)*(-30)/5. Let w = 137 - v. Is w a multiple of 10?
False
Let l(g) = -11*g**2 - 10*g - 9. Let o(d) = -5*d**2 - 5*d - 4. Let y(u) = 2*l(u) - 5*o(u). Does 4 divide y(-3)?
False
Suppose 3*h = 227 - 23. Is 19 a factor of h?
False
Suppose -16 = 4*w, 5*t - 6*w + 3*w = 82. Let l = 59 - t. Does 22 divide l?
False
Let r(y) = -y**3 + 6*y**2 - 2*y - 5. Let w be r(4). Let h be (-10)/(-35) + w/7. Suppose -5*p = -4*d - p + 48, -5*d + h*p = -52. Does 4 divide d?
True
Let d be 14/(-35)*10/(-1). Is 10 a factor of 6*(1 + d)*1?
True
Let p(m) be the second derivative of -m**5/60 + 7*m**4/12 - m**3/6 - 2*m**2 - 4*m. Let t(w) be the first derivative of p(w). Does 14 divide t(10)?
False
Is 16 a factor of ((-36)/(-16) + -2)*2388/3?
False
Suppose 96 = 5*t - 174. Does 27 divide t?
True
Let j = 3 + 31. Is j a multiple of 17?
True
Suppose -2*k - 4 = -0*k. Let u = k + 4. Suppose -2*y = -3*n - 45, u*n = -4*y + 6*n + 84. Does 8 divide y?
False
Does 13 divide 2 + 3/9*123?
False
Suppose -382 = -l - 79. Does 17 divide l?
False
Let z be -3 + (-3 - -3)/3. Does 9 divide (z - (-60)/8)*2?
True
Let a(m) = -m**3 - 6*m**2 + 8. Let t be a(-6). Suppose -2*i + t = -8. Does 8 divide i?
True
Suppose 5*l - 262 = 38. Is 11 a factor of l?
False
Let g = 40 - 61. Let k = 5 - g. Is k a multiple of 8?
False
Let b(c) = 12*c**3 + 6*c**2 - 2*c - 4. Let a(p) = p**3 + p**2. Let q(f) = -10*a(f) + b(f). Let i be q(4). Let w = i + -30. Does 10 divide w?
False
Let i(p) = p**2 - 4*p + 1. Let s(z) = 6*z**3 - 2*z + 1. Suppose -2*x + 0*x + 2 = 0. Let w be s(x). Does 6 divide i(w)?
True
Let u = 6 + 34. Does 20 divide u?
True
Let z = 7 - 12. Let u be (2/(-5))/(7/(-210)). Let f = z + u. Is 5 a factor of f?
False
Suppose j = -5*t - 5335, 0 = -4*j + 20 - 0. Is 18 a factor of t/(-30) - 4/(-10)?
True
Suppose d - 72 = -d. Does 18 divide d?
True
Suppose d + 2 - 5 = 0. Is 16 + d + (1 - 3) a multiple of 6?
False
Suppose -2*o - 11 + 73 = 0. Is 31 a factor of o?
True
Suppose -3*y + y + 30 = 5*q, q + 2*y - 14 = 0. Suppose 62 - 14 = d. Suppose q*x - 152 = -d. Is x a multiple of 14?
False
Let u(r) = r + 5 + 3*r + 4*r. Let c be u(4). Let m = c - 19. Does 9 divide m?
True
Suppose -2*f = 2*f + 3*k, k + 19 = 5*f. Suppose -f*j = 4*p - 80, 3*p + 3*j - 51 = 12. Is p a multiple of 13?
False
Suppose 5*u + 122 = 5*i - 63, -2*i + u + 69 = 0. Is 7 a factor of i?
False
Let m(r) = 7*r**2 + 2*r. Is m(2) a multiple of 19?
False
Is (-14 - -11) + 20*3 a multiple of 16?
False
Let q = 45 + -15. Suppose 2*n + 3 = -39. Let o = q + n. Does 4 divide o?
False
Let z(q) = -q**2 - 7*q + 1. Let m be z(-6). Suppose 3*b - 5 = m. Suppose 0 = 3*w + b*n - 38, -4*w - 2*n + 88 = -6*n. Is 9 a factor of w?
True
Let d(x) = 4*x**2 - 7*x - 3. Let t be d(6). Suppose 2*a + 38 = -80. Let c = t + a. Does 14 divide c?
False
Let n(y) = -y - 4. Let l = -4 - 0. Let v be n(l). Is 16 a factor of (v - 2)*78/(-4)?
False
Does 31 divide (-1 - 21)*99/(-22)?
False
Let c(z) = z*