2*j - 62 = 2*z. Is j a multiple of 15?
True
Does 22 divide (-10 + -1)*(-5 + 31)*-1?
True
Let l(t) = 10*t + 3. Let k(p) = p. Let j be k(4). Suppose -3*r - j*u = -24, 7*r - 3*r - 4*u = 4. Is l(r) a multiple of 19?
False
Let i(s) = 4*s**2 + 6*s + 11. Let w(c) = 5*c**2 + 5*c + 12. Let b(p) = -4*i(p) + 3*w(p). Let d be b(-7). Does 4 divide d/3*(-15)/(-6)?
False
Suppose 5*d - 7 = -3*h + 15, -20 = -5*h - 5*d. Is (1 - h)*(1 + 1) a multiple of 3?
False
Let v(d) = 1. Let x(u) = -u**2 - 7*u - 2. Let z be x(-7). Let k(l) = -5*l + 2. Let q(f) = z*k(f) - 2*v(f). Does 23 divide q(4)?
False
Suppose 8 = 2*s + 2*w, 3*s = 4*w - 3*w. Let f = 3 - s. Suppose -2*c = 3*m - 26, -22 = -3*m - f*c + c. Does 3 divide m?
True
Suppose -3*i + 22 = 2*k, 0 = 3*k - 0*i - 4*i - 50. Is 9 a factor of k?
False
Suppose -6*n + 257 = 71. Is 11 a factor of n?
False
Let f(m) = -9*m - 4. Let s = -6 - 11. Let i(p) = -27*p - 11. Let y(d) = s*f(d) + 6*i(d). Is 10 a factor of y(-2)?
True
Let u = -33 + 57. Is 15 a factor of u?
False
Let m be 10/(-25) + 21/15. Does 3 divide 11 - m/((-1)/1)?
True
Suppose 11*y = 6*y + 185. Is y a multiple of 10?
False
Let g = 201 + -117. Is g a multiple of 7?
True
Let f(j) = -j**2 + 3*j - 1. Let i be f(5). Let l = i + 37. Is 21 a factor of l?
False
Let z = -2 + 29. Let g = -12 + z. Is 6 a factor of g?
False
Suppose 5*p = -3*p + 56. Is 4 a factor of p?
False
Let k(g) = 3*g**2 + 6*g + 4. Does 18 divide k(-5)?
False
Let o be (13 - -2)*(-1)/(-1). Let r = 2 - o. Is (4/(-1))/(2/r) a multiple of 13?
True
Suppose 0*f + 12 = 4*f. Let d = 5 + f. Is d a multiple of 4?
True
Suppose -307 = -3*d - 4*z + 7, 2*d = -3*z + 208. Is 29 a factor of d?
False
Let p(w) = -7*w - 1. Let n be p(-1). Let u = -65 - -13. Is 7 a factor of (u/n)/(2/(-3))?
False
Suppose 4*y - 28 = -4*v, 1 = -3*y - 2*v + 23. Let m(a) = -a**2 + 10*a. Let b be m(y). Let z = b - 8. Is 8 a factor of z?
True
Let w be (-1)/(-2 - 6/(-4)). Let u(l) = l**3 + 7*l**2 - 9*l + 1. Let j be u(-8). Suppose 0 = w*t - j - 105. Is 15 a factor of t?
False
Let h = -2 + 5. Suppose 2*v = h*q + 103, 2*q - 147 = -3*v - q. Suppose -16 = -2*i + p + v, -2*i + 86 = 4*p. Is i a multiple of 17?
False
Suppose -5*y - 229 = -579. Does 11 divide y?
False
Let o(f) = -f**2 + 6*f - 4. Let c be o(4). Suppose -17 = c*x - 1. Let n = 20 + x. Is 10 a factor of n?
False
Let b(l) = l**3 - 8*l**2 - 8*l - 4. Let u be b(9). Suppose -2*n - 165 = -7*n - u*m, -5*n = -4*m - 156. Does 11 divide n?
False
Suppose -5*z + 51 = -109. Is z a multiple of 4?
True
Let j(r) = 10*r**2 - 3*r - 8. Is j(-3) a multiple of 28?
False
Let b = 54 + -26. Let a be ((-22)/3)/((-2)/3). Let x = b - a. Is x a multiple of 10?
False
Suppose 10 = 3*y + 4. Suppose -d + y*d = 96. Suppose -4*l = l - b - d, b = -2*l + 44. Is 11 a factor of l?
False
Let i(o) = -7*o + 3. Let g be i(-3). Suppose g = 5*x - x. Does 7 divide (4/x - 1)*-57?
False
Suppose -80 = -5*w + 295. Is 25 a factor of w?
True
Let l = -3 + 7. Suppose -6*s - l = -2*s. Let p = 6 + s. Is p a multiple of 5?
True
Suppose 3 = 3*t + 9. Let k be ((-16)/(-6))/(t/9). Let x = 0 - k. Is 8 a factor of x?
False
Suppose -3*o = 2*m, 2*m - 5*o - 14 = 3*m. Let l(v) = -m + 2 + 4*v**2 - 3*v**2. Is 3 a factor of l(-3)?
False
Let o be ((-4)/(-2) - 2) + 14. Let b = o + 4. Is b a multiple of 18?
True
Let m(t) = 2*t**2 - 8*t - 4. Let w(j) = j - 1. Let f be w(-6). Let s be (-2)/7 - 44/f. Is 19 a factor of m(s)?
False
Suppose -144 = 7*a - 10*a. Is a a multiple of 6?
True
Let d(w) = 10*w + w**3 + 10*w**2 - 8 + 0*w + 15. Does 14 divide d(-8)?
False
Let l = -19 - -16. Let b = l - -16. Does 4 divide b?
False
Suppose -5*f = m - 847, -3*m + 0*m = -f + 163. Is 15 a factor of f?
False
Let l = 81 - 71. Is 8 a factor of l?
False
Let z be 116*((-4)/8)/(-1). Let i = -35 + z. Is i a multiple of 7?
False
Suppose 4*a - 4*v - 40 = 0, 0 = 3*a - 2*v - 13 - 17. Suppose 0 = 2*w + a, -2*w = 4*c + w - 57. Does 9 divide c?
True
Suppose 13 = -3*x + 46. Is 4 a factor of x?
False
Is 14*(-1)/(6/(-39)) a multiple of 8?
False
Suppose 0*p + 910 = 7*p. Is p a multiple of 26?
True
Let c(a) = -2*a - 5. Let u be c(-5). Suppose u*h - 2*r = 73, h - 35 = -h - 5*r. Does 12 divide h?
False
Suppose 32*a = 30*a + 24. Does 2 divide a?
True
Let w(s) = 3*s - 4. Let d be w(3). Is 4 a factor of 0 - (-1 + d)*-2?
True
Suppose -3 = -3*j + 4*f + 38, -27 = -j - 2*f. Let o = 32 - j. Is 13 a factor of o?
True
Let q(n) = -48*n + 1. Let a be q(-1). Suppose -4*z + 52 = 3*t, 0*z = 3*t + z - a. Let c = t + -5. Does 5 divide c?
False
Suppose 0*m - 4*i = 4*m - 16, 9 = 3*i. Suppose -r = -m, -1 = d - 4*r + 6*r. Is 12 a factor of (6 + d)*14/2?
False
Is ((-162)/(-15))/(6/15) a multiple of 15?
False
Let o = 171 - 75. Does 12 divide o?
True
Let v be 10/3*(31 - 1). Is 3 a factor of (-6)/(-27) - v/(-36)?
True
Suppose 3*q + 0*q + 81 = 0. Let b = -17 - q. Does 10 divide b?
True
Let n(y) = -y**3 + y. Let h(c) = 7*c**3 + 7*c**2 + 2*c - 3. Let t(r) = -h(r) - 6*n(r). Let z(k) = k + 2. Let a be z(-8). Is t(a) a multiple of 9?
False
Let n(h) = -15*h**3 + h**2 + 4*h + 3. Does 11 divide n(-2)?
False
Let p = -8 - -14. Let h(c) = c**2. Let l(d) = -4*d**2 + 8*d - 5. Let t(q) = 3*h(q) + l(q). Is t(p) a multiple of 3?
False
Let a = -86 - -142. Is a a multiple of 9?
False
Let s(n) = -n - 7. Let u be s(-4). Let w = u + 16. Is w a multiple of 5?
False
Suppose 4*p - 30 = 366. Does 20 divide p?
False
Let j(q) = -q**3 - 5*q**2 + 4*q - 1. Let r be j(-6). Suppose 4 = -s + r. Does 3 divide s?
False
Suppose 0 = -0*x + x - 54. Suppose 0*w + x = 3*i - 3*w, -2*i = 5*w - 36. Is i a multiple of 6?
True
Is 34 a factor of (6/(-27) - 0) + (-920)/(-9)?
True
Let p be (-8)/(-5) - (-4)/10. Suppose -5*z - 3 = -4*y + 2, 0 = 5*y - 3*z - 3. Suppose l - x - 31 = -p*x, l - 2*x - 22 = y. Does 14 divide l?
True
Is ((-16)/(-8) - 0) + 193 + 1 a multiple of 14?
True
Let y be ((-2 - 0) + -1)*-1. Suppose -w + 2*h = -33, -3*w = 2*w - y*h - 151. Is 19 a factor of w - (-1 + (-2 - -2))?
False
Is (-1366)/(-6) + ((-10)/6 - -2) a multiple of 38?
True
Suppose 5*l = -f + 388 + 69, -4*f - 174 = -2*l. Is l a multiple of 13?
True
Let a = -19 - -23. Is a a multiple of 4?
True
Let l(b) = b**3 + 6 + 0*b**3 + 6*b**2 - 5*b**3 + 5*b**3. Is l(-6) a multiple of 6?
True
Suppose 0 = 8*k - 6*k - 112. Does 4 divide k?
True
Let a be (-4)/(-14) - (-8)/(-28). Suppose a*l - 3*l + 45 = 0. Is l a multiple of 4?
False
Let n(a) = 29*a. Let c(k) = k**3 - k**2 + k + 1. Let s be c(0). Does 10 divide n(s)?
False
Let y(n) = -n + 1. Let d be y(-5). Let b = -3 - -1. Does 4 divide d*b/4 - -18?
False
Let b(l) = l**2 + 2*l - 8. Let w be b(-6). Suppose -6*g - 4*d = -4*g - 20, 4*d - w = 0. Suppose -2 = -g*r + 8. Is 4 a factor of r?
False
Does 8 divide -3 - 6*(-9)/3?
False
Suppose -2*y - 13 = -23. Suppose 2*w - y*h = -9, -w - 3*w = -4*h - 12. Is w a multiple of 4?
True
Let b = -21 - -51. Is 10 a factor of b?
True
Let u = -6 - -7. Let q = u - -11. Is 12 a factor of q?
True
Suppose 0 = -0*p - p + 126. Does 21 divide p?
True
Suppose -p = n - 57, 118 = 2*n + 4*p + 10. Is 20 a factor of n?
True
Let h(a) = a**3 + 12*a**2 + 12*a - 1. Is 10 a factor of h(-10)?
False
Let f be (-60)/(-14) - 2/7. Suppose 3*d = f*d + 15. Let g = d - -46. Does 14 divide g?
False
Suppose -4*z = 3 - 35. Suppose i + 6 = 3*a, -6*a - 4*i + 8 = -2*a. Let o = z - a. Does 3 divide o?
True
Let v(f) = -8*f**3 - 24*f**2 + 4*f - 7. Let q = -34 - -23. Let i(b) = 3*b**3 + 8*b**2 - b + 2. Let a(t) = q*i(t) - 4*v(t). Does 24 divide a(6)?
True
Let q be ((-18)/(-8))/(6/16). Let n = 16 - q. Is 4 a factor of n?
False
Let k be (-1)/2*(4 - -24). Is 2/(-7) - 410/k a multiple of 13?
False
Let c(b) = -4*b - 6. Let d be c(-4). Is (-383)/(-5) + d/25 a multiple of 20?
False
Let a(s) = 4*s**2 + 4*s + 7. Let b(o) = -7*o**2 - 7*o - 13. Let k(h) = -5*a(h) - 3*b(h). Is k(-3) a multiple of 5?
True
Suppose p + 3*p = -8. Does 6 divide p/8 + (-98)/(-8)?
True
Let h = 103 - 84. Does 2 divide h?
False
Suppose 5*z - 2*m + 5*m = -22, 5*m + 26 = -3*z. Suppose -4*p = -8 - 8. Is 15/z*p/(-5) a multiple of 3?
True
Let y(l) be the third derivative of -l**5/60 + 3*l**4/4 - 4*l**3/3 + 4*l**2. Is y(14) a multiple of 10?
False
Suppose k = -0*k + 2. Suppose -k*z - 60 + 9 = -3*n, z - 17 = -n. Is n a multiple of 17?
True
Does 4 divide (48/8)/24 - 175/(-4)?
True
Suppose -41 = 9*g - 266. Does 6 div