Let d = 32 - a. Does 15 divide d?
True
Suppose -2*g + 50 = 8. Is g a multiple of 5?
False
Suppose -13 = -a + 2*a. Let z = a + 42. Is 12 a factor of z?
False
Suppose 0*o = 5*r + 2*o - 528, -207 = -2*r - 5*o. Does 29 divide r?
False
Let j(k) = -k**2 + 4*k + 2. Suppose 3*r = -c + 9, -5*r + 3*c + 2 + 13 = 0. Let t(x) = -x + 6. Let a be t(r). Is 3 a factor of j(a)?
False
Suppose 2*p + 0 = 2. Let j = p - -3. Let z = j - -10. Is z a multiple of 5?
False
Let c = -1 - -16. Is c even?
False
Let y(p) = p**3 - 10*p**2 + 6*p - 8. Is y(10) a multiple of 13?
True
Does 7 divide 104/(-12)*3*-1?
False
Let l(r) = -r**3 + 5*r**2 + 2*r - 6. Let c(w) = 6*w**2 + 4*w**3 - 7 + w + w - 5*w**3. Let y be c(6). Is l(y) a multiple of 3?
False
Let m be 26/(3 - (-4 + 5)). Let h = 20 - m. Is 7 a factor of h?
True
Let u = -1 - -4. Suppose -n + 87 = 2*l + 32, u*l - 168 = -3*n. Does 21 divide n?
False
Let y be -1 + -9 + 2 + 1. Let s = -3 - y. Suppose 3*g - s*d = 36, -g + 3*d = -d - 20. Does 3 divide g?
False
Suppose -5*s + 195 = t, -3*s + 115 = 3*t - 2*t. Does 19 divide s?
False
Suppose 5*h - 14 = 2*z + 11, 3*z - 4*h + 34 = 0. Does 20 divide (-596)/(-10) - 4/z?
True
Suppose -r = c - 6, -c - 3*c + 2*r = -24. Let x(k) = 2 - 6 - c*k**2 + k + 8*k**2 - 2*k. Is x(3) a multiple of 3?
False
Is 2 a factor of (2 + 3 - 1) + -2?
True
Is 24*(-10)/(-12)*(-6)/(-10) a multiple of 2?
True
Let s = -17 - -9. Let h(b) = 1 - 5 - 5*b + 0. Does 18 divide h(s)?
True
Let d = 1 + -2. Let x = d - -4. Is x even?
False
Let i(l) be the first derivative of -l**3/3 + 4*l**2 - 3*l + 2. Let s be i(5). Let h = 20 - s. Does 8 divide h?
True
Let j = -168 + 358. Let h = 69 - 65. Suppose h*r = -r + j. Does 19 divide r?
True
Let g(f) = 4 + f + 2 + 4*f - 3. Is 14 a factor of g(5)?
True
Does 21 divide 865*2/20 + (-1)/2?
False
Let l(w) = -w**2 + 13*w + 5. Is l(13) even?
False
Let x be ((-43)/3)/(1/(-3)). Suppose 2*u - 251 + x = 0. Is 31 a factor of u?
False
Let v be (-14)/21*15/2. Let x(b) = -b**2 - 8*b - 4. Does 7 divide x(v)?
False
Let m(b) = -2*b - 8. Let t be m(-6). Suppose -t*i - 8 = -4*q, -5*q - i = -q + 2. Is 7 a factor of q - (1 + -1 - 9)?
False
Let z = 0 + 3. Suppose -2*n + 19 = s + z*n, 0 = -s + 5*n + 9. Is s a multiple of 7?
True
Let i = 2 - 4. Let s(j) = 8*j**2 + j + 1. Is s(i) a multiple of 15?
False
Suppose u - 2*u + 163 = 0. Let n = 307 - u. Suppose -6*g + 2*g = -n. Does 18 divide g?
True
Suppose 0*t = -3*t - 15. Suppose c - 8 = -c. Let f = c - t. Does 9 divide f?
True
Let q(i) be the second derivative of 0 - 1/4*i**4 + i - 7/6*i**3 + 1/20*i**5 - 1/2*i**2. Is 14 a factor of q(5)?
True
Let s(a) = -7*a. Is 21 a factor of s(-11)?
False
Suppose -3*a = 5*i - 32, 0*i - i = -4*a + 12. Suppose -3*o - 135 = -3*v - v, -105 = -a*v - 3*o. Does 19 divide v?
False
Suppose 160 = 2*g + 5*c - 22, 20 = 5*c. Is 29 a factor of g?
False
Suppose -2*r + 0*r = -52. Let d = 50 - r. Is d a multiple of 11?
False
Let z = -9 + 7. Is z/4 + (-142)/(-4) a multiple of 13?
False
Does 9 divide (8 - -16) + (4 - 1)?
True
Suppose -3*a + 16 = -20. Let y = -8 + a. Is 4 a factor of y?
True
Suppose -26 = -3*t + 4*f, -2 = 4*t + 2*f - 0*f. Suppose o + p - 36 + 12 = 0, -o + t*p + 30 = 0. Does 15 divide o?
False
Suppose -204 = -k - 2*k. Suppose 4*j - 204 = 2*y - k, y = 0. Is 13 a factor of j?
False
Let f(i) = -i**3 - 5*i**2 - i - 2. Let y be f(-5). Suppose y*k - 5*t - 63 = 0, -5*k + 63 + 42 = 3*t. Is 7 a factor of k?
True
Let f(v) = -8*v - 4. Let b be f(-4). Suppose 4 + b = 2*r. Is 8 a factor of r?
True
Let m(i) be the third derivative of i**5/60 + i**4/24 + 4*i**3 - 3*i**2. Let x be (-3)/6*0/1. Is m(x) a multiple of 12?
True
Let a(s) = 2*s**3 - 10*s**2 + s - 9. Does 20 divide a(7)?
False
Let y(r) be the third derivative of 0 - 5/24*r**4 - r**3 + 1/60*r**5 + 2*r**2 + 0*r. Is 10 a factor of y(-4)?
True
Let i = -22 + 63. Is 4 a factor of i?
False
Let o(w) = w**3 - 10*w**2 + 10*w - 9. Let b be o(9). Suppose b = -p + 5, 4*p + 111 = 4*l + 3*p. Is 12 a factor of l?
False
Let h = -25 + 118. Is 11 a factor of h?
False
Suppose -4 = -3*x - 16. Let a = x + 6. Suppose m = a*m - 13. Is 5 a factor of m?
False
Let z(r) = -r**2 + 6*r + 4. Let m be z(5). Suppose -3*b + 4*i + 32 = 0, 5*i + 9 = b - m. Is 8 a factor of b?
True
Suppose 61 = 5*s + 21. Let o = s + -1. Is o a multiple of 2?
False
Let c(o) = -3*o + 9. Let p(j) = 9*j + 2. Let r be p(-1). Is c(r) a multiple of 11?
False
Suppose -2*a - 299 = -5*g - a, -g + a = -63. Does 17 divide g?
False
Let o(l) = -l**3 + 9*l**2 - 7*l - 8. Suppose -2*w + b + 8 = 2*b, -4*b = 0. Suppose -t + 33 = w*a - 0*t, -5*a = 3*t - 50. Is o(a) a multiple of 19?
False
Let z be 3/((-3)/35) + -1. Let u = 69 + z. Is u a multiple of 22?
False
Suppose 5*b + 23 = c, 2*c + 0*c - 5*b = 26. Suppose -129 = -c*x - 4*f, 3*f - 88 - 41 = -3*x. Is x a multiple of 13?
False
Suppose -19*m = -30*m + 1496. Is 17 a factor of m?
True
Suppose -5*y + b + 5 = 0, -2*b - 3*b - 25 = 0. Suppose -4*x + 13 + 7 = y. Is x even?
False
Suppose -5*q = -9*q - 12. Let s(u) = -17*u - 4. Is 11 a factor of s(q)?
False
Let c = -1 - -6. Suppose 0*v = c*v - 30. Let u = v - -2. Is 7 a factor of u?
False
Suppose 4*n - 3*v = 174, -3*n + 60 = 2*v - 79. Is 9 a factor of n?
True
Suppose -5*w + 3*f + 44 = -4, 3*w - f = 32. Let b = w + -19. Let i(z) = -3*z - 6. Is 7 a factor of i(b)?
False
Let l(p) = p + 13. Let b be l(0). Let o = 7 - b. Let k(d) = d**3 + 5*d**2 - 9*d - 4. Is 9 a factor of k(o)?
False
Let y be (1 + -2)*(-10 - 3). Let i = y + -7. Is 6 a factor of i?
True
Suppose -390 = -5*b + 2*c, -b - c = -0*b - 78. Is b a multiple of 43?
False
Suppose 243 = 2*z - 5*p, -471 = z - 5*z + 5*p. Suppose -v + z - 27 = 0. Is 29 a factor of v?
True
Suppose -s = -0*s. Suppose s*b - 4*b + 152 = 0. Is 19 a factor of b?
True
Suppose g = 0, -48 = -3*c + 5*g - g. Suppose 0 = -3*w + w + 10. Let m = c - w. Does 11 divide m?
True
Suppose -h + 0*z + 2*z = 16, -3*h - 3*z - 21 = 0. Let w be (h/15)/(2/6). Let r = 23 + w. Is r a multiple of 7?
True
Suppose 0 = -4*j - 3*p + 9, -2*p = -2*j - 0*j + 22. Does 2 divide j?
True
Suppose 3*a + 44 = 131. Suppose 3*j + 1 = -2. Does 10 divide (a - j)/((-10)/(-5))?
False
Let c be (0 + 3)*2/(-6). Let i be (-2 - (c + 3))/(-2). Suppose 38 = 2*k - i*u, k - 3*u - 16 = -u. Is k a multiple of 9?
False
Suppose -4*x = 4*s - 120, 46 = 5*x - 3*x - 5*s. Let r = 73 - x. Is 13 a factor of r?
False
Let s = -24 + 20. Let c(d) = 2*d**2 + 6*d. Is 8 a factor of c(s)?
True
Let t = 21 + 21. Is 6 a factor of t?
True
Let l(n) = 5*n**3 + 9*n**2 + 15. Let u(m) = -3*m**3 - 4*m**2 - 7. Let t(v) = 4*l(v) + 7*u(v). Is 5 a factor of t(8)?
False
Suppose -2*i = 2 - 18. Let j(b) = -b**3 + 9*b**2 - 6*b - 2. Is 14 a factor of j(i)?
True
Suppose -5*g = -2*g. Suppose -2*i + 0*i - x = -11, g = -5*i - x + 20. Is i a multiple of 2?
False
Let y(p) = 11*p**2 + 25*p - 9. Let w(x) = 5*x**2 + 12*x - 4. Let a(m) = -9*w(m) + 4*y(m). Let d(h) = -2*h**2 - 5*h - 3. Let q be d(-3). Does 6 divide a(q)?
True
Suppose -125 + 0 = -m + 4*h, 0 = -3*h. Does 25 divide m?
True
Let w = 4 + -1. Is w even?
False
Let v = -33 - -68. Suppose 3*f = 1 + v. Is 12 a factor of f?
True
Suppose -l - 31 = -w - 8, 4*w - l = 83. Suppose 3*x = -15, 0*x + 4*x = -3*c - w. Let h(p) = -p**3 + p**2 - p + 44. Is 22 a factor of h(c)?
True
Suppose -x - 9 = -5*l, -l + x = -x. Let i = -211 - -306. Suppose l*g + i = 7*g. Does 9 divide g?
False
Let u(g) be the third derivative of g**4/6 - 5*g**3/3 - g**2. Suppose 4*d = -4*d + 56. Is u(d) a multiple of 18?
True
Suppose 0 = -2*j + 61 - 45. Is j a multiple of 4?
True
Let x(o) be the first derivative of -o**4/4 - 7*o**3/3 + 3*o**2 + 8*o - 1. Let j be x(-7). Let c = j - -54. Is c a multiple of 19?
False
Let w be -1 + -4 - (0 + 2). Let i = w - -10. Suppose -4*q + 50 = -i*q. Is q a multiple of 21?
False
Let x(k) = k - 8. Let d be x(10). Suppose -d*i - i + 4*p + 2 = 0, -3*i + 5*p = -1. Suppose -9 = -3*c, 0*n + i*c + 42 = 3*n. Is n a multiple of 8?
True
Suppose 0*v - 152 = -4*v. Let m be (1 - 3)/(2/(-23)). Let c = v - m. Is 4 a factor of c?
False
Let j(v) = v**2 - 8*v + 7. Let x be j(7). Suppose -4*a + x*a = -204. Is a a multiple of 17?
True
Let w = -34 + 37. Does 2 divide w?
False
Suppose -36 = 7*n - 11*n. Is n even?
False
Let p be (3 + 3)*4/6. Suppose u + 12 = p*u. Suppose -47 + 3 = -u*b. Is b a multiple of 10?
Fals