 = v*t - 6. Is 5 a factor of p?
False
Let t(n) = 13*n - 9. Does 22 divide t(7)?
False
Let b(c) = -c**2 - 6*c + 9. Let p be b(-7). Is (p/(6/57))/1 a multiple of 4?
False
Let v(b) = -14*b + 6. Let i be v(-6). Suppose -60 = s - 0*s. Let m = s + i. Is m a multiple of 12?
False
Let l = 18 - 13. Suppose l*d = d + 12. Suppose 0*s + d*s = 84. Does 28 divide s?
True
Let k(t) = 8*t + 3. Let g(p) = p**2 - 6*p - 2. Let r be g(6). Let c be k(r). Let s = 32 + c. Is 19 a factor of s?
True
Suppose 2*o - 5*v = 202, 5*o - 413 = -4*v + 59. Suppose -4*m + 2*q = -o, -2*q = -6*q + 16. Is m a multiple of 13?
True
Let v(l) = -l**2 - l + 18. Suppose 0 = -0*r - 3*r. Is v(r) a multiple of 7?
False
Suppose 2*s = s + 60. Does 15 divide s?
True
Suppose -q = -0*q - 5. Does 5 divide q?
True
Suppose 3*a - 3*z - 24 = 4*a, 4*a = -5*z - 75. Let j = a + 9. Is 19 a factor of (-57)/j*(1 - -3)?
True
Suppose -212 = 2*i - 4*i. Let a = i - 74. Does 16 divide a?
True
Suppose -4*i + 7*i + 9 = 0. Let b = 10 - i. Is b a multiple of 13?
True
Let l(s) = 4*s**2 - 7*s + 15. Does 27 divide l(5)?
False
Let v be (-399)/(-12) - (-1)/(-4). Let d = v - 20. Is 5 a factor of d?
False
Is 14 a factor of 6/2 + 234/6?
True
Suppose -o = 4*o - 80. Suppose -5*m = -19 - o. Is m a multiple of 4?
False
Suppose -3*m + 2*m = -2. Suppose 0 = w + 3*b - 66, -w + 53 - m = -2*b. Does 19 divide w?
True
Let h(v) = -v**2 + 4*v + 2. Let b be h(4). Let m(q) = q**2 + 3*q - 2*q + 3*q**b + 5 - q**3. Does 9 divide m(4)?
True
Suppose -3*o + h - 126 = 0, -2*o + 0*o = 5*h + 101. Let u = -22 - o. Is 6 a factor of (-4)/14 + 132/u?
True
Suppose 0 = -6*c + 5*c + 108. Is c a multiple of 29?
False
Let w = 84 - 36. Does 8 divide w?
True
Let o = -36 - -7. Let h = o - -50. Is h a multiple of 14?
False
Let o = 4 - 4. Suppose j - l = 26, o = 2*j + 2*l - 37 - 19. Is j a multiple of 10?
False
Suppose -1 = -g + 7. Does 4 divide g?
True
Suppose 5*p = 5*v - 65, -3*p = 2*v + 2 - 8. Suppose -4*s - 2*z - 6 = 12, -5*s + z - 26 = 0. Let w = v + s. Is w a multiple of 3?
False
Let j(f) = -f**2 + 22*f - 9. Is j(19) a multiple of 8?
True
Let o(i) = 2*i + i + 4 + 8*i. Let r be o(4). Suppose -x - 3*x = -r. Is x a multiple of 6?
True
Let m(a) = -a**3 - a**2 + a + 55. Is m(0) a multiple of 22?
False
Let z be 9/(-15) + 256/10. Let o = -5 + z. Is o a multiple of 10?
True
Suppose 2 = -k + 6. Suppose 2*m + 2*w = -m - 11, -k*m = 3*w + 15. Does 16 divide -1 + (-40)/(-2) + m?
True
Let w be 1/(-1)*(-4)/2. Let v = w - 0. Does 16 divide (12 - 0)*2 - v?
False
Suppose 5*p = -3*k + 4*p + 183, -4*p + 174 = 3*k. Let x = k - 38. Is x a multiple of 8?
True
Let q = 353 - 251. Is q a multiple of 51?
True
Let u be (-7 + 2/1)*-2. Suppose 0 = 5*l - u - 15. Does 5 divide l?
True
Suppose 13 = 3*j - 5. Let k be (-4)/(-6)*(5 + -8). Let y = k + j. Does 2 divide y?
True
Is (0 - 440)*36/(-45) a multiple of 20?
False
Let t = 0 - -1. Let c = 31 + t. Is 26 a factor of c?
False
Let n(u) = 3*u + 1 - 3*u - 2*u. Does 3 divide n(-1)?
True
Let a(y) be the third derivative of -y**6/120 + 2*y**5/15 - y**4/4 - 7*y**3/6 + y**2. Let r be a(7). Suppose -2*q + r*q + 8 = 0. Does 4 divide q?
True
Let r = -4 - -8. Suppose g = -5, r*g + g - 125 = -3*p. Does 18 divide p?
False
Let s = -16 - -39. Does 9 divide s?
False
Let v = 61 - 20. Suppose 5*w + 168 = 58. Let q = w + v. Does 7 divide q?
False
Let c = 28 + -29. Is 5 a factor of 14/(-1)*c + -4?
True
Let l(u) = u**2 + 7*u + 5. Let s be l(-5). Let n(d) = d + 7. Let f be n(s). Suppose i = 3*i - 2*t - 16, -f*i + t = -20. Is 12 a factor of i?
True
Let t(a) be the second derivative of -a**4/12 - 11*a**3/6 - 3*a**2/2 + a. Let v be t(-7). Let d = -3 + v. Is d a multiple of 15?
False
Suppose -2*j + 7 = -j. Suppose -j*h - 144 = -11*h. Is 12 a factor of h?
True
Let z(u) be the second derivative of -10*u**3/3 - u**2/2 + 2*u. Let l = -3 - -2. Is z(l) a multiple of 8?
False
Suppose 7 = g + 4*r - 3, -5*g + 50 = 3*r. Let s(d) = d**3 - 11*d**2 + 10*d + 9. Let w be s(g). Let h(i) = -i**2 + 11*i. Does 10 divide h(w)?
False
Let w = -7 + 12. Suppose c + 8 = -2*r + 1, -w*r = 3*c + 16. Suppose -2*p = c*n - p - 79, -3*n + 69 = 3*p. Is n a multiple of 14?
True
Let f be (1 - (-2 + 4)) + 5. Let x be 1/4 - (-79)/f. Suppose 24 = 4*l - x. Is 11 a factor of l?
True
Suppose 2*p = 3*f + 5, 3*p - p + 2 = -4*f. Is 6 a factor of ((-48)/15)/(f/5)?
False
Let h be 4/(1 + 5/(-7)). Suppose -5*g + h = -11. Does 2 divide g?
False
Let b(c) = -c**2 + 7*c + 15. Is 7 a factor of b(8)?
True
Let u(f) = f**2 + 2*f - 5. Let o be u(-4). Suppose 94 = 5*h + 9. Suppose -y + 39 = -o*d, -y - d + h = -18. Does 11 divide y?
False
Suppose -6*c - 36 + 306 = 0. Is (18/c)/((-2)/(-60)) a multiple of 4?
True
Let z(v) = v**2 + 2*v - 4. Let y be z(-4). Suppose -y*l + 40 = l. Is l a multiple of 3?
False
Let f(w) = -2*w**2. Suppose -2*x = 5 - 1. Let v be f(x). Is ((-54)/v)/((-3)/(-8)) a multiple of 9?
True
Let k be ((1 - -145) + -4)/(-2). Let j = k + 179. Is j a multiple of 35?
False
Let k(n) = -3*n + 7. Let f be k(-7). Let i = f + 6. Does 13 divide i?
False
Let t(o) = o - 5. Let y(u) = -u**2 - 1. Let l(v) = t(v) - y(v). Suppose 3*f - d = -4*d + 3, 3*f - d - 11 = 0. Is 3 a factor of l(f)?
False
Suppose 59 = 5*q - 4*x, 0 = -0*q + q - 5*x + 5. Does 15 divide q?
True
Let b = 148 - 49. Is b a multiple of 25?
False
Let s(d) = -d**2 - 5*d + 3. Let y be s(-5). Suppose -3*u - 20 = -y*k + 13, k + 5 = 5*u. Does 15 divide k?
True
Let f(c) = 5*c + 1. Let v be f(-2). Let o(l) = -2*l - 11. Is 5 a factor of o(v)?
False
Let g(a) = 4*a**3 + a**2 + a - 1. Let s be g(1). Suppose -s*q = -2*q - 123. Is 18 a factor of q?
False
Let p(o) = o**3 + o**2 + 1. Let h be p(-1). Let j be h/(-3) - (-4)/12. Suppose -3*q + 102 = -3*f, j = 4*q - 3*f + 5*f - 118. Is q a multiple of 13?
False
Suppose -23 - 5 = -4*c. Suppose 33 = 3*w - 3*h, -3*w - c = -4*w + 2*h. Is w a multiple of 15?
True
Let n be 1/((-18)/(-8) - 2). Suppose t + 44 = n*w + 13, 3*w = 4*t + 7. Is w a multiple of 3?
True
Let v(l) = -3*l**3 - 15 + 12*l**2 + 9*l**3 - 18*l - 5*l**3. Does 17 divide v(-13)?
False
Let p(o) = -o**3 + 4*o**2 - 4*o + 3. Suppose 0*u - 3 = -u. Let a be p(u). Is 5 a factor of 9 + a/(-2 - -1)?
False
Suppose -250 = -6*i + 122. Suppose -3*p = -3*b - b + i, b = 3*p + 20. Is b a multiple of 3?
False
Suppose -5*b - 4*w = -752, 2*b = -w - 25 + 324. Does 37 divide b?
True
Suppose 0 = -3*r + 3 + 12. Let a(f) = -f**2 + 7*f. Is a(r) a multiple of 5?
True
Does 8 divide (-6 - -7)/((-1)/(-8))?
True
Let y(a) = a**2 - 6*a - 10. Let w be y(7). Does 20 divide -4*((-170)/8 - w)?
False
Let t(d) = 0*d - 6 + 8*d**2 + 7 + 3*d. Is 10 a factor of t(-2)?
False
Suppose 0 - 2 = -l. Suppose -n - l = -1. Does 16 divide (2/3)/(n/(-24))?
True
Let k = -3 - -3. Suppose -5*j = -k*j + 4*q - 31, 4*j + 3*q = 25. Does 6 divide j?
False
Is -5*-206*3/30 a multiple of 11?
False
Suppose 4*a - 55 = 5*w, a - 4*a = 2*w - 24. Let i = a - 4. Does 2 divide i?
True
Let d(x) = x + 26. Suppose 0 = 4*w - p - 4*p - 15, 3*w - p = 3. Is d(w) a multiple of 26?
True
Let w(g) = -g**2 + 7*g. Let y be w(7). Suppose 5*n = 4*v - y*n - 21, 3*n = -4*v + 13. Is v a multiple of 3?
False
Let w be 10/4*(-1 - -3). Let t be 6/w*5/2. Suppose t*n - 32 = -n. Is n a multiple of 8?
True
Let h(p) be the second derivative of 1/20*p**5 - 2*p + 5/2*p**2 + 1/2*p**4 + 1/2*p**3 + 0. Is h(-5) a multiple of 11?
False
Let v(d) be the third derivative of d**5/60 - d**4/24 - 3*d**3 - d**2. Let o be v(0). Let w = -9 - o. Is 8 a factor of w?
False
Is (2/(-5))/(24/(-1320)) a multiple of 3?
False
Let d = 100 + 32. Is 44 a factor of d?
True
Let r be 5 + (-6)/2 + -6. Is 2/r*-16 - 3 even?
False
Is 35 - 1*(3 - 2) a multiple of 3?
False
Suppose 5*c = c - 12. Let l be (-2)/c - 49/(-21). Suppose 29 = l*z + 5*v, 3*z + 2*v - 64 = 4*v. Is z a multiple of 6?
True
Let k be ((-36)/21)/((-2)/14). Suppose p = 2*p - k. Is 4 a factor of p?
True
Let t(i) = 2*i - 7. Let s be t(6). Suppose 0 = -s*y - 0*y + 70. Is 14 a factor of y?
True
Suppose f + 6 = 2*h, 2*f - 4 = -2*h + 2. Let g be (8 - 2) + (4 - h). Suppose s = -0*s + g. Is s a multiple of 7?
True
Let a be 2*1*21/(-6). Let q(d) = d - 16. Let m(c) = 2*c - 33. Let h(g) = 6*m(g) - 13*q(g). Does 17 divide h(a)?
True
Let p(x) = x**2 + 9*x + 14. Does 8 divide p(-10)?
True
Let a(n) = n + 11. Let m be a(-6). Suppose -m*s - q + 10 = 