e 3*j - 23 = -b - 6, -j + 13 = 4*b. Suppose -2*p + 81 = t, 0*p - 3*t + 43 = p. Suppose p + 12 = b*i. Is i a multiple of 13?
True
Let c(h) = 2*h**2 + 5*h + h + 2*h + 3 - 2*h. Does 11 divide c(-4)?
True
Let a(u) = u**2 + u + 8. Let v = 12 + -17. Let j(p) = -2*p**2 - 3*p - 15. Let q(x) = v*a(x) - 3*j(x). Is 17 a factor of q(6)?
False
Suppose o - 2*x - 10 = -4, -2*o + x + 21 = 0. Is o a multiple of 6?
True
Let s = 189 - 165. Is 9 a factor of s?
False
Suppose 3*j - 5 = -2, -u + 108 = 3*j. Is 35 a factor of u?
True
Suppose 2*q = -3*k + q + 278, -192 = -2*k - 2*q. Is k a multiple of 7?
True
Suppose 0 = -m + 6*m - 75. Is (-1 + m/9)*15 a multiple of 5?
True
Suppose 0 = w + w - 4. Suppose w*b = 7*b - 4*c - 115, -3*c - 12 = -b. Suppose 0 = 5*j - 83 - b. Does 11 divide j?
True
Does 14 divide 276/(-4)*6/(-18)?
False
Suppose -3*m + 3 + 1 = 2*g, 6 = 2*m - 2*g. Suppose 3*u = -3*k + 87, 4*k + 3*u - 113 = m*u. Is k a multiple of 14?
True
Let k(y) be the second derivative of -y**5/20 - y**4/4 + 2*y. Let p be k(-3). Suppose -t = -p*t - 11. Is 8 a factor of t?
False
Let j be (-225)/(-2) + (-7)/14. Let n = 167 - j. Is 19 a factor of n?
False
Suppose 0 = 3*z + 3, 2*w = 4*w + 4*z - 148. Is w a multiple of 22?
False
Let z be (6/(-15))/((-3)/270). Let w = z - 20. Does 4 divide w?
True
Suppose -4*d - 3 = 5. Is 3 a factor of (12 - 0) + d/1?
False
Suppose 172 = 5*x - 353. Does 16 divide x?
False
Suppose 3*x - 2*l + 102 = 7*x, -5*l - 69 = -2*x. Let s = x - -5. Does 16 divide s?
True
Let k = 46 - 58. Let v(h) = h**3 - 6*h**2 + 3. Let f be v(6). Is 9 a factor of 71/4 - f/k?
True
Let z(u) be the second derivative of -u**4/12 + 4*u**3/3 - u**2/2 - 11*u. Suppose -k + 6*k - 5*n = 20, 1 = -2*k + 5*n. Is 3 a factor of z(k)?
True
Let f = -5 + 12. Does 4 divide f?
False
Let m(c) = c**2 + 4*c - 18. Does 20 divide m(-12)?
False
Suppose 2*s - 14 = -2*y, 2*s = 4*y - 16 - 0. Suppose -v + 12 = s*v. Is v a multiple of 4?
True
Let v = -8 - -10. Suppose v*z + 52 = 4*z. Does 13 divide z?
True
Suppose 45*n = 50*n - 800. Does 10 divide n?
True
Let v = -392 - -661. Is v a multiple of 37?
False
Let l(y) = 2*y**2 + 4. Let v be l(-4). Let m(k) = -k + 7. Let u be m(-5). Suppose 3*c + u = v. Is c a multiple of 8?
True
Let o be 126/15 + 2/(-5). Let q be 38/o - (-2)/8. Is (-197)/(-5) + (-2)/q a multiple of 17?
False
Let x(t) = -t**3 - 4*t**2 - 3*t - 1. Is x(-4) a multiple of 4?
False
Let j = 2 - -3. Suppose -x + 50 = j*h - 15, -4*h + 3*x + 71 = 0. Let y = h + -9. Does 5 divide y?
True
Suppose 5 = -3*z + 4*o + 33, 3*z - o = 16. Suppose w + 2*y + 0*y = 35, -z*y + 97 = 3*w. Is 10 a factor of w?
False
Let k(y) = y - 1. Let q(j) = -7*j + 6. Let s(f) = 5*k(f) + q(f). Is 7 a factor of s(-5)?
False
Suppose -5*q + 10 = -0. Suppose -q*n = 5*c - 18, -7 = -4*n - 2*c + 13. Suppose -n*y = r - 3*y - 36, -r = -2*y - 30. Does 14 divide r?
False
Let j(i) = i**3 - 2*i**2 + i - 4. Let y be j(3). Suppose -7*p = -y*p + 12. Is 6 a factor of p?
True
Suppose -s + 4*s = 0. Suppose s = 2*h - h - 5. Suppose -h*x = 2*z - z - 24, -2*x + 20 = 3*z. Does 2 divide x?
True
Let w(o) be the second derivative of o**6/144 - o**5/60 + o**4/12 - o. Let y(a) be the third derivative of w(a). Is y(5) a multiple of 8?
False
Suppose -n = -0*n - 8. Does 4 divide n/(-3)*(-9)/3?
True
Let y = 11 - 26. Does 6 divide 0 - 1 - (2 + y)?
True
Let t = 7 + -4. Suppose -14 = -a + 6*a - t*d, a + 4*d = -12. Does 11 divide a/(0 + 6/(-33))?
True
Suppose -270 = -7*b + 4*b. Let u = b - 49. Is 15 a factor of u?
False
Suppose 7*v = 3*v + 5*f - 237, -v - 48 = f. Let s = v - -101. Is 16 a factor of s?
True
Let q = -2 - -2. Let i be (1 - q) + 45/5. Is (-4)/i + 104/10 a multiple of 10?
True
Suppose -5*x = -b + 47, -x + 0*x + 1 = 0. Does 52 divide b?
True
Suppose -r + 8 = 3*r. Suppose -4*h = -g - 14, -2*h + r*g = -1 - 3. Does 2 divide h?
True
Suppose -4*f = -16, -o + 0*o + 124 = 2*f. Is o a multiple of 4?
True
Let b(q) be the third derivative of q**4/24 + 7*q**3/6 + q**2. Let j be b(-5). Suppose -k + 69 = j*k. Is 13 a factor of k?
False
Suppose -o - 6 = -g, -g + 5*g + 4*o = 24. Is g a multiple of 2?
True
Suppose 3*t - 248 = -5*g, 5*t - 2*t = -4*g + 244. Suppose -t = -5*u + 14. Is u a multiple of 9?
True
Suppose -5*r + 4*h - h + 33 = 0, 2*h = 5*r - 37. Is r a multiple of 3?
True
Suppose 2*h - 52 = -2. Does 5 divide h?
True
Suppose 28 = 4*w - 4*z, 3*w - 13 = 5*z + 14. Suppose 2*i = w + 8. Is 3 a factor of i?
True
Is (43 + 1)/(-2 - -3) a multiple of 11?
True
Let u = 0 + 1. Is 19 a factor of (115 - u)*7/14?
True
Let u(v) = v**2 - 8*v + 12. Let o be u(10). Suppose -3*n - o = -4*n. Is n a multiple of 16?
True
Is 2 a factor of 1 - 1 - -49 - -1?
True
Let c(z) = 11*z - 7. Let g be c(8). Suppose -3 = -b - 0. Suppose 0 = 4*r - 5*w - g, 3*r + 6*w = b*w + 27. Is 14 a factor of r?
True
Let w = 47 + -9. Suppose n + w = 2*n. Is 19 a factor of n?
True
Let b(z) = z**3 + 17*z**2 + 23*z + 23. Is b(-15) a multiple of 8?
True
Let m = 49 + -2. Let y = -25 + m. Let x = -1 + y. Is 15 a factor of x?
False
Let h(f) = f**2 + 18*f + 56. Is 41 a factor of h(-26)?
False
Let t be 8/(-10)*(-45)/(-6). Let k be (1 - 1) + 2*t. Let w = k - -19. Does 3 divide w?
False
Suppose 0 = 4*s - 126 - 54. Does 14 divide s?
False
Suppose 0 = -2*i + 129 + 109. Is 17 a factor of i?
True
Let i(m) = -8*m + 24. Is 24 a factor of i(-12)?
True
Let f(q) = q**3 + q**2 + q. Let n be f(0). Let r = 2 + n. Suppose -r*h - 6*a + 22 = -2*a, -2*a = 0. Is h a multiple of 9?
False
Suppose 1 = b - q, -3*q = -b + 5 - 0. Let n be (-27)/(-9) - (5 - 0). Is (10 - -3)/(b/n) a multiple of 11?
False
Suppose -3*f = 2*f - 25. Suppose v = -3*s + 186, -s + f*v + 141 = s. Let p = s - 7. Is p a multiple of 15?
False
Suppose 2*w - 6*w = -76. Is w a multiple of 2?
False
Suppose 3*h - 2*p - 144 = p, -4*h = -5*p - 193. Does 21 divide h?
False
Let u(b) = b**2 + b + 4. Let c be (1 + -2)*(1 - -2). Is u(c) a multiple of 5?
True
Let k(h) = -3*h + 123. Is 14 a factor of k(26)?
False
Let g(b) be the third derivative of 19*b**4/24 - 2*b**2. Let o = 3 + -1. Is 13 a factor of g(o)?
False
Let l(u) = -u**3 - 5*u**2 + u + 3. Let t be l(-5). Is 13*(t - -1)/(-1) a multiple of 7?
False
Suppose -2*u = 2*a - 230, -3*u - 368 = -3*a - 29. Is 14 a factor of a?
False
Let c(i) = -40*i. Let o be c(-1). Let v = 12 + o. Suppose y + 1 - v = -3*z, 0 = -4*y + 12. Is 6 a factor of z?
False
Suppose -3 = -2*r + 1. Suppose -2*q - r*y = -5*y - 21, -2*y = -2*q + 18. Is 3 a factor of q?
True
Suppose -4*c + 14 = 4*t - 178, -2*c = -10. Is t a multiple of 21?
False
Let h be ((-18)/27)/(4/(-18)). Does 19 divide 1/(((-12)/(-152))/h)?
True
Suppose 5*d = 2*d + 252. Is 14 a factor of d?
True
Let u(w) = -w**2 + 0*w**3 - w**2 + 2 + w**2 - 2*w**3. Does 7 divide u(-2)?
True
Suppose 3*d + 45 = 3*y, -y + 3*d + 4 = -17. Does 3 divide y?
True
Suppose -3*q - 14460 = 3*q. Is q/(-55) + (-2)/(-11) a multiple of 25?
False
Let t be (-2)/(-4)*10*-1. Let j(z) = z**3 + 7*z**2 + 6*z + 4. Is j(t) a multiple of 12?
True
Let u = 40 - -12. Let c = u - 33. Does 13 divide c?
False
Let q(w) be the second derivative of 5*w**4/12 - w**3/6 - w**2/2 - 41*w. Let x = -4 - -6. Does 6 divide q(x)?
False
Let c(a) = -a**2 + 15. Let n(r) = -r + 6. Let y be n(6). Does 15 divide c(y)?
True
Suppose g = 3*o + 8, -2*g = o - 0*o + 12. Let z = o + 6. Is 2 a factor of z + (4 - (-2 + 5))?
False
Suppose 3*u - 31 = 4*h + 146, -3*h + 2*u = 134. Let c = -37 + 111. Let n = h + c. Is 12 a factor of n?
False
Suppose -3*f + 432 = 4*u + 72, 5*u = 4*f + 419. Suppose u = 4*h - 117. Is 28 a factor of h?
False
Let v(b) = 10*b + 1. Let r be v(3). Let t = -12 + r. Suppose 17 + t = q. Does 18 divide q?
True
Let o be (-1124)/11 - 2/(-11). Let t = o + 64. Is t/(-8) + 3/12 a multiple of 4?
False
Suppose h + 14 = 4*p + 44, 0 = -3*p - 15. Is 5 a factor of h?
True
Does 38 divide (-681)/(-9) - (0 - 1)/3?
True
Let l(w) be the third derivative of w**5/60 + 7*w**4/24 - w**3/3 + 3*w**2. Let a be l(-6). Is -122*2/a*2 a multiple of 21?
False
Suppose -3*g + 0*g - 57 = -3*i, 2*g - 31 = -i. Is 6 a factor of i?
False
Let r(i) = -3*i**3 + 1. Let y(z) = -z - 4. Let t be y(-5). Suppose 5*k = -2*j - 5, k + 0*k + 5*j = -t. Is r(k) a multiple of 3?
False
Let q(f) = f - 3. Let v be q(12). Suppose v*b = 4*b + 60. Is b a multiple of 12?
True
Let j(z) be the third derivative of -z**