 + 11 = 3*j. Does 5 divide d?
True
Suppose x = 5*x + 16. Let t(f) = f**3 + 7*f**2 + 3*f + 2. Is t(x) a multiple of 36?
False
Let k be 113/3 - (-8)/(-12). Suppose 5*w = 4*j - k, 6*w - 4*w + 26 = 3*j. Suppose 0 - j = -r. Is 8 a factor of r?
True
Let s = 40 + -27. Suppose -s*k + 9*k + 48 = 0. Does 12 divide k?
True
Let a(i) = -2*i**2 + 9*i + 5. Let u(j) = -2*j**2 + 8*j + 5. Let f(q) = 3*a(q) - 4*u(q). Is f(6) a multiple of 9?
False
Suppose -y + 6*y + 2*w - 12 = 0, -y + 4*w = 2. Suppose -8 = -y*m + 4. Is 5 a factor of m?
False
Let m(w) = 4*w**2 - w. Let j be m(1). Let k(p) = -p - j*p - 4*p. Does 9 divide k(-3)?
False
Suppose -4*t = -k - 6*t + 6, 2*k - 2*t - 18 = 0. Is k even?
True
Is 19 a factor of (-1 + 4 - 5) + 21?
True
Let o(k) = -k**3 + 7*k**2 - 2*k + 1. Let j be o(7). Is (-1)/6 - j/6 a multiple of 2?
True
Let z(n) = -n**3 + 9*n**2 - 8*n - 6. Is 9 a factor of z(7)?
True
Suppose -214 = -4*c - 5*x, 0 = 2*c + x - 33 - 71. Let b = c + -13. Let t = b - 16. Does 11 divide t?
True
Suppose 6*m - 112 = 2*m. Let j = 53 - m. Does 25 divide j?
True
Suppose 0 = -0*c + 5*c - 420. Suppose 4*m + 436 = -c. Let j = -86 - m. Is 22 a factor of j?
True
Let s = -66 - -44. Let h = s - -34. Does 4 divide h?
True
Let q be (-747)/21 - 4/(-7). Let t = q + 67. Is 16 a factor of t?
True
Let f(j) = 6*j + 9. Is f(14) a multiple of 18?
False
Suppose 0*d + 3*l + 15 = -3*d, -4*l = -5*d + 20. Suppose u + 2*f + 2 = 0, d*u + 4*u = f + 19. Is u even?
True
Let f be 22/6 + (-3)/(-9). Let k = f + -1. Is k a multiple of 3?
True
Let f(n) = -n**3 + 4*n**2 - 2*n - 1. Let t be f(2). Suppose 45 + 54 = t*l. Does 10 divide l?
False
Suppose -78 + 23 = -5*p. Let l(b) = -b + 23. Is l(p) a multiple of 12?
True
Let u(o) = o**3 + o**2 - o + 120. Does 8 divide u(0)?
True
Suppose -5*b = -b - 20. Suppose -b*h + h + 84 = 0. Is 7 a factor of h?
True
Suppose -5*i = -0*i - 100. Does 14 divide i?
False
Let v be (-75)/7 + 12/(-42). Let c = -1 - v. Suppose a = -2*o + c, -5 = -a + o + 14. Is 16 a factor of a?
True
Let c(t) = 17*t + 2. Suppose -4 = x - 5*x + w, 3*w - 12 = 0. Is c(x) a multiple of 18?
True
Does 12 divide 351/12 - 3/12?
False
Let m = -8 - -12. Suppose -2*y + 7 = 5*g, m*y - g - 25 = -0*g. Is y a multiple of 6?
True
Let y(x) = x**2 - x + 2. Let m be ((-24)/(-30))/((-2)/(-10)). Let w be y(m). Let c = -5 + w. Is c a multiple of 7?
False
Let v be (0/2)/(-8 - -9). Suppose v*q + 4*q + 16 = l, 65 = 5*l - 5*q. Is l/(-20)*1*-5 a multiple of 2?
False
Suppose 2*j - 9 = -3*s, 6*s = 3*s - 15. Let u(z) = -z**2 + z + 2. Let a be u(2). Suppose -j = -a*g - g. Does 12 divide g?
True
Suppose 3*o + 7 - 97 = 2*g, 2*g + 30 = o. Does 6 divide o?
True
Let t(v) be the first derivative of -v**2/2 + 2*v + 1. Is 9 a factor of t(-7)?
True
Suppose 44 = 3*y - 2*y - 2*r, 3*r = -2*y + 123. Is 18 a factor of y?
True
Let b(s) = 4*s**2 - 2*s - 3. Let m be (-4)/(-10) + (-51)/15. Is b(m) a multiple of 27?
False
Suppose -2*s - 4*z = -7*z - 69, 3*s - 96 = -3*z. Is s a multiple of 16?
False
Suppose v = -2*l - 3*l + 331, -4*l = 3*v - 256. Does 12 divide l?
False
Let h(k) = k + 4. Is h(12) a multiple of 2?
True
Suppose -2*r - 435 = -5*t, -16 - 59 = -t - 2*r. Does 11 divide t?
False
Suppose -a - 40 = -6*a. Suppose 3*z = 4 + a. Suppose -d - r = -20, z*d - 77 = -4*r + 3*r. Is d a multiple of 11?
False
Does 31 divide ((-24)/(-18))/(1/27)?
False
Suppose -4*b + 3*d - 10 + 0 = 0, -3*b + 4*d - 11 = 0. Let q = -3 - b. Does 12 divide 1/q + (-49)/(-2)?
True
Suppose 4*i - y + 14 = 2, 5*i + 4*y = -36. Let j be ((-20)/(-25))/(i/(-330)). Let d = 101 - j. Is d a multiple of 12?
False
Let g be (2 + 0)*1*14. Suppose 4*d - g = 4*u, d - 3*u = -d + 15. Let b = 13 - d. Does 3 divide b?
False
Suppose -26 + 1 = -5*b. Suppose 7*g - 2*g - 115 = b*p, 3*g + 3*p = 87. Is g a multiple of 13?
True
Suppose 5*z + 3*a - 399 = 129, a = 4*z - 436. Does 12 divide z?
True
Let c = -3 - 0. Is 15 a factor of (0 + -17)/(c/3)?
False
Let o(t) = 84*t**3 - t**2 + 2*t - 1. Is 21 a factor of o(1)?
True
Let j(q) = 4*q**2 + 4*q. Is j(-4) a multiple of 22?
False
Suppose 2*f = -5*g - f - 50, 0 = 3*g - f + 16. Let u be (-16)/g + 4/(-14). Let w = 4 - u. Is w a multiple of 2?
True
Let h(q) = q**3 - 9*q**2 - 11*q + 13. Is h(10) a multiple of 2?
False
Let q be -1 - 0 - (-32)/1. Suppose s + b - 16 = 0, -2*s + q = 2*b + b. Is 17 a factor of s?
True
Suppose 5*s = -5, r + 3*r + 5*s = 227. Does 37 divide r?
False
Let r be (-2 - -1) + -3 + 11. Suppose -4*o + r + 1 = 0. Suppose 4*x = o*j + 34, 5*x - 11 = -3*j + 37. Does 4 divide x?
False
Let p = -46 + 78. Suppose 3*l + 1 = -3*w + 4*w, 5*l = 4*w - p. Does 13 divide w?
True
Let z = 2 - 2. Suppose z*l + 4*l + 48 = 0. Let x = -6 - l. Is x a multiple of 4?
False
Suppose 39 = 3*n - 4*u, 3*n - 33 = 2*u - 0*u. Is 4 a factor of n?
False
Suppose -5*j - 19 = 3*z, j - 20 = 5*j. Suppose 18 + 12 = z*a. Is 10 a factor of a?
False
Let u(s) = -4*s - 42. Does 3 divide u(-15)?
True
Does 22 divide 1/(1/2) + 139?
False
Let o(d) = -d**3 - d**2 - 2*d + 1. Let g be o(-2). Suppose g = 2*l + 3. Let i = l - -2. Is i a multiple of 2?
False
Let u(y) = -2*y - 3. Suppose 4*h + 2*x + 8 = 0, -5*h - 8 = 2*x + 4. Let b be u(h). Suppose b*r - 52 = -17. Is 2 a factor of r?
False
Suppose -131 - 89 = -5*h. Is 16 a factor of h?
False
Suppose 0 = -x + 4*j + 20, 4 = x + j - 1. Suppose -x*f = -5*f - 15. Suppose -u + 19 = 5*q, q - f*q = 2*u - 26. Is u a multiple of 3?
True
Let s(j) = -j**3 + 2*j**2 + 9*j + 4. Does 16 divide s(-4)?
True
Let q = -39 + 108. Is q a multiple of 23?
True
Suppose -c + 37 - 14 = 0. Is c a multiple of 4?
False
Let t = -53 - -213. Suppose 6*x - t = x. Suppose 0 = -w - w + 2*k + x, 2*k = -w + 4. Is 5 a factor of w?
False
Let m(c) = 21 + 12 + c + 47 - 7. Is 38 a factor of m(0)?
False
Suppose 3*n - 4*n = -2. Suppose -n*w + 38 + 14 = 0. Is w a multiple of 18?
False
Suppose p + 2*n = -3*p - 2, 4*p - 5*n = 5. Suppose -79 = -3*o + c, 19 = o - 4*c - p*c. Is o a multiple of 13?
False
Let m(o) = -2*o**3 + 17*o**2 - 11*o + 4. Is m(7) a multiple of 16?
False
Suppose 4*y - 82 = -18. Is 388/y + (-1)/4 a multiple of 12?
True
Suppose -4*g + 116 = -0*g. Is 9 a factor of g?
False
Suppose 4*d - 5*d = -2. Suppose -d*i + 172 = -0*i. Does 27 divide i?
False
Let j(c) be the second derivative of 0 + 1/12*c**4 - 3/2*c**2 + 1/3*c**3 + 3*c. Is 8 a factor of j(-6)?
False
Let x be ((18/(-12))/1)/((-2)/12). Suppose 0 = -2*r + 5*p + 21, 0 = 2*r - 2*p - 7 + 1. Is 3 a factor of (x + 2 - 0) + r?
True
Suppose 16*j = 3*j + 1690. Is j a multiple of 13?
True
Let n(j) = j - 6. Let x be n(9). Suppose 0*k = x*k - 54. Is k a multiple of 9?
True
Let s be 7/14 - 161/(-2). Let a be 3/(-5) + s/(-15). Is 2 a factor of 2*-3*3/a?
False
Suppose 2*w - 4 = -0*w. Suppose 0 = -v + 5*p + 7 - 33, w*p + 4 = -2*v. Let g(y) = -3*y. Does 9 divide g(v)?
True
Let u be 2/4 + (-25)/(-10). Let g(j) = 2*j + 7. Let o(p) = -1. Let k(r) = g(r) + 5*o(r). Is 4 a factor of k(u)?
True
Suppose -1306 - 58 = -4*n. Is 22 a factor of n?
False
Suppose 0*r = 2*r + 5*i - 260, 5*r - 2*i = 592. Suppose -7*c + 2*c = -r. Does 8 divide c?
True
Let j(b) = 3*b**2 + 6*b - 2. Suppose 0 = 3*t + 5*v - 12 + 2, -10 = 4*t + 2*v. Is j(t) a multiple of 25?
False
Let s(z) = z**3 + z + 6. Does 18 divide s(3)?
True
Suppose -6*g + 684 = 204. Is 10 a factor of g?
True
Suppose 10 - 2 = 4*m - a, 4*m - 2*a = 12. Is 2*(-57)/(-6)*m a multiple of 19?
True
Let q = 129 - 63. Is q a multiple of 22?
True
Let v(d) be the second derivative of -d**5/20 - 5*d**4/12 + d**3/3 - 3*d**2/2 - 2*d. Is 8 a factor of v(-6)?
False
Let v(a) = a**3 - 5*a**2 - 6*a - 1. Let s be v(6). Let h = s - 6. Is 18 a factor of 18/h*(-9 - -2)?
True
Let u = 225 + -95. Let b = u - 90. Suppose 7*h - 2*h - b = 0. Is 4 a factor of h?
True
Let f = -6 + 8. Suppose 0 = f*j - 7*j + 95. Is j a multiple of 14?
False
Let c = -13 + 31. Is c a multiple of 6?
True
Let l(p) = 5 - 3 - 3. Let b(c) = 7*c**2 + 2*c + 2. Let m(x) = b(x) + 6*l(x). Does 18 divide m(-3)?
False
Suppose 2*v - 3*w - w = 246, 2*v - 5*w - 250 = 0. Let x = v + -61. Is 19 a factor of x?
False
Let x be 3/(-7) + 580/14. Let r = -4 + x. Is 18 a factor of r?
False
Let k(a) be the second derivative of -7*a**5/10 - a**4/12 - a**3/2 - a**2 - 2*a. Does 5 divide k(-1)?
False
Let u = -11 + 25. Is 7 a factor of u?
True
Is (-147 - 0)*4/(-6) a multiple of 15?
Fals