(5 + -9)?
False
Suppose 4*a + 0*a = 332. Let x = a - 47. Is x a multiple of 12?
True
Suppose -m + 1 = -2*r, 4*r - 4*m = -0*m. Suppose -4*o = -4*j, -2*o + 4 = 3*j - 16. Is r/2 - (-10)/j a multiple of 2?
True
Suppose -236 = 2*a - 6*a. Does 12 divide a?
False
Suppose -3*g + 66 = 45. Is g a multiple of 2?
False
Suppose -5*r - 256 = -9*r + s, 0 = -4*s. Is r a multiple of 15?
False
Suppose 3*d + 8 = -5*h, -h + 0*d - 4*d = 5. Let c be 0/h + -1 + -14. Let b = c - -27. Is b a multiple of 6?
True
Let o be 1/(-2 + 21/9). Let u = o + 0. Suppose a + 5*n + 7 = 0, u*a + 0*n - 9 = -5*n. Is 4 a factor of a?
True
Let p = 24 - 5. Is 9 a factor of p?
False
Let w = 98 + -220. Is 16 a factor of (-2)/(4/w) - -3?
True
Suppose 0 = s - 5*b - 54, 0 = -5*s + 5*b + 79 + 291. Is 6 a factor of s?
False
Let y be 4/10*5 - 4. Let j(t) = -2*t**3 - 3*t**2 - 2*t - 2. Is 3 a factor of j(y)?
True
Let v = 11 - 7. Suppose -4*r - 4*a + 2 = -2, 0 = -a + v. Is 5 a factor of -2 + 1 + 3 - r?
True
Let x be (-2 + (-4)/(-2))*-1. Suppose 0 = -2*p - 2*o, x = 3*o - 5*o + 10. Is 2 a factor of (3*-1 - -2)*p?
False
Let o = -7 - -44. Is (-1 + o + -2)/2 a multiple of 6?
False
Let u(t) be the third derivative of t**6/30 + t**5/30 + t**4/12 + t**3/6 - 2*t**2. Let r be u(-1). Is 10 a factor of (-1)/r - 430/(-15)?
False
Is 27 a factor of 157 + ((-24)/(-4) - 1)?
True
Let v = -7 + 10. Let x = v + 4. Is x a multiple of 4?
False
Suppose s = -2*s. Let t(d) be the second derivative of -d**5/20 + d**4/12 - d**3/6 + 10*d**2 - 4*d. Is 10 a factor of t(s)?
True
Suppose v - 30 = -5*i, i = -v - 3*i + 25. Suppose c = 4*z + 30, -3*c + v*z + 76 = -0*z. Does 22 divide c?
True
Suppose 5*d = 5*w - 200, 4 = -d - 0. Is w a multiple of 36?
True
Let i = -27 - -54. Is i a multiple of 27?
True
Let a = -92 + 148. Is 9 a factor of a?
False
Let j(g) = -3*g - 2 - 5*g**2 + 0*g**2 - g - g**3 - 4. Is 7 a factor of j(-5)?
True
Let n be 4/5*(-10)/(-4). Let h = n + 0. Suppose -h*a + 2*f = 3*f - 52, a + 5*f - 35 = 0. Is 13 a factor of a?
False
Let q(d) = d + 7. Let g(w) = w. Let r(x) = 6*g(x) - q(x). Let k be r(5). Suppose -s - k + 79 = 2*a, -32 = -a + s. Does 11 divide a?
False
Let s be 1/3 - (-4)/6. Let f be 29*4*s/2. Is 6/(-21) - f/(-7) a multiple of 8?
True
Suppose 21 = 3*a - 3*t, -3*a + 3*t = -5*a + 4. Suppose -2*j + 82 = -2*v, 2*j - 23 = -a*v + 52. Is 10 a factor of j?
True
Suppose 0 = 6*n - 650 + 74. Is 4 a factor of n?
True
Let r = -8 - -11. Is 9 a factor of ((-1)/r)/((-1)/78)?
False
Let u(p) = -p**3 + 8*p**2 + p - 6. Let w be u(8). Let z be 2 - (0 - (-64)/w). Let x = -21 - z. Does 9 divide x?
True
Suppose 0 = -4*p + 3*n + 32, 2*n + 8 + 0 = 0. Suppose p*j + 5*a - 140 = 0, 2*j - a + 0*a - 50 = 0. Does 13 divide j?
True
Suppose 10*u - 11*u = 0. Suppose u = d - 0*d + t - 14, -d + 3*t = 2. Is d a multiple of 10?
True
Let v be (-1)/3 - 13/(-3). Let g = -2 + v. Suppose -32 = -d + 5*n, g*n + 1 + 28 = d. Is d a multiple of 10?
False
Suppose 4*d - 44 = -2*m, 2*m - 14 = -3*d + 34. Let z = 90 - m. Does 21 divide z?
False
Let m(t) = 2*t**2 + 8*t. Is m(-5) a multiple of 10?
True
Let r be -2 + 4 + (-1 - -3). Suppose 3*o = 2*p - 21, r*p = -o + 32 + 31. Is 5 a factor of p?
True
Suppose -2*k + 0 - 18 = 0. Let m = k - -9. Is 13 a factor of 26*(1 + m)/2?
True
Suppose -3*r + 0*r - 3*g = -51, 2*r + 4*g = 42. Let o = r + -4. Is 3 a factor of o?
True
Let i(n) = -n**2 + n. Let y(m) = 5*m**2 - 6*m + 32. Let f(k) = 6*i(k) + y(k). Is 16 a factor of f(0)?
True
Suppose -c + 15 - 5 = 3*f, 4*f - 2*c - 20 = 0. Suppose -2*r + 0 + f = 0. Suppose r = -2*h, -2*v - 3*h + 41 = -0*h. Is v a multiple of 11?
True
Suppose -4*c = -3*c + 30. Let b be (c/8)/3*-76. Suppose -14 = 3*m - b. Does 9 divide m?
True
Suppose 3*t = -d + 4, 5*d + 4*t - 15 = -6. Suppose 3*s + 13 = d, 0 = 5*v - 5*s - 40. Suppose -1 - 3 = -v*g, -4*g = 3*f - 34. Is 10 a factor of f?
True
Is (2 - 441/(-15)) + 10/(-25) a multiple of 5?
False
Let t(o) = 11*o**2 - 15*o + 7. Let c(d) = -5*d**2 + 7*d - 4. Let h(p) = -9*c(p) - 4*t(p). Is 12 a factor of h(-4)?
True
Let z be 1/(-2)*(1 - 3). Let g = z + 31. Does 20 divide g?
False
Suppose -195 = -4*c - c. Does 17 divide c?
False
Let k(q) = -42*q - 2. Let x be k(-3). Does 6 divide 4/(-6) + x/6?
False
Let a(p) = -2*p - 2 + p + p**3 + p**2 - 2*p**2. Let r be a(2). Suppose -t + 3*t - 34 = m, r = 3*t - 2*m - 53. Is 9 a factor of t?
False
Let w be 1/(2 + 17/(-8)). Is 15 a factor of (1*15)/(w/(-16))?
True
Is 4 a factor of (-5)/125*5 - 201/(-5)?
True
Let k be 3/1 - (-1 + 2). Suppose -k*y + 6 + 3 = -d, -y = -5*d - 18. Let m(c) = c**3 + c + 1. Does 12 divide m(y)?
False
Let k(i) = i**2 + i - 3 - 2*i - 30*i**3 + 2 + 15*i**3. Suppose 0 = -5*z - 2 - 3. Is k(z) a multiple of 10?
False
Suppose c - 164 = -5*n + 95, 3*n + 5*c = 173. Is n a multiple of 17?
True
Suppose -3*b - 130 = -8*b. Suppose -4*j - 10 = -b. Is 4 a factor of j?
True
Suppose 5*d - 2*d = -198. Let p be 2/8 + d/8. Is p*-3*(-2)/(-3) a multiple of 8?
True
Is (-12)/(-3) + -2 - -13 a multiple of 5?
True
Let d = -9 - -10. Suppose 4*t = -5 + d. Let y(l) = -14*l**3 + l**2 + 2*l + 1. Is y(t) a multiple of 6?
False
Let m(o) be the third derivative of -o**6/120 - o**5/60 - o**4/24 + 5*o**3/2 + 4*o**2. Suppose -2*u + 4 = 2*u - h, u = -3*h - 12. Is m(u) a multiple of 7?
False
Let g = -52 - -132. Does 21 divide g?
False
Let p(f) be the third derivative of f**8/10080 + f**7/720 + f**6/360 - f**5/30 + f**2. Let i(y) be the third derivative of p(y). Is i(-5) a multiple of 7?
False
Let h(f) = 9*f**2 + 3*f - 3. Is 23 a factor of h(2)?
False
Let y = 44 - 31. Is 4 a factor of y?
False
Suppose g + 4 = -5*d - 19, 23 = -5*g - 2*d. Let r be (g + 3)/((-1)/1). Suppose -72 = -r*b - 3*b. Is b a multiple of 13?
False
Suppose 0*m + 3135 = 19*m. Does 5 divide m?
True
Let t be (12/8)/((-1)/(-2)). Let c(n) = -8*n - 6*n**2 + n - 2*n**2 + t - n**3. Does 3 divide c(-7)?
True
Suppose 0 = -4*c + 3*x - 32 + 6, 3*x = 6. Is 4 a factor of (-28)/c + 2/5?
False
Suppose 0 = -0*q + q. Suppose -5*g + 82 = -0*r - 4*r, -3*g + 2*r + 50 = q. Does 6 divide g?
True
Let w = -10 + 134. Does 31 divide w?
True
Let d(u) = -5*u**2 + 3*u. Let t(f) = 14*f**2 - 8*f + 1. Let q(c) = 11*d(c) + 4*t(c). Is 10 a factor of q(-3)?
True
Suppose -2*s = 4*v - 588, 0*s + 2*s = 0. Is v a multiple of 16?
False
Let k(i) = i + 1. Let x be k(-1). Let l(h) = h**2 - h + 10. Let m be l(x). Does 8 divide (-134)/(-6) + m/15?
False
Let u(i) = i**2 + 5*i - 2. Does 4 divide u(-6)?
True
Suppose 2*a + 66 = 5*a. Is 10 a factor of a?
False
Suppose 2*l + 3 - 87 = 0. Let h = l - -4. Is 13 a factor of h?
False
Let s = 6 - 2. Suppose -3 = s*h + 5. Is 15/(2 + -1) - h a multiple of 15?
False
Suppose 4*d + 0 - 8 = 0. Suppose -c = -d*c + 4. Does 4 divide c?
True
Suppose -70 - 130 = -5*h. Is h a multiple of 9?
False
Let i(z) = -4 - 2*z**2 + 5 + 6 + z**2 + 6*z. Does 6 divide i(5)?
True
Is 12 a factor of 1*1*(27 + 4)?
False
Let k be 11/3 - (-8)/(-12). Let m = k - -1. Suppose m*q = -8 + 32. Is 2 a factor of q?
True
Let r(y) be the second derivative of y**5/20 - 2*y**4/3 + 3*y**3/2 - y**2/2 + 2*y. Is r(7) a multiple of 6?
False
Let b(y) = 2*y**2 + 11*y - 8. Let o(h) = -5*h**2 - 23*h + 17. Let a(l) = -9*b(l) - 4*o(l). Let x be a(8). Let q = -42 + x. Is q a multiple of 12?
False
Let b = -36 + 27. Let r = 13 - 26. Let z = b - r. Does 2 divide z?
True
Suppose 50 + 26 = 2*a. Suppose 4*i + i - 40 = -2*y, a = 5*y - 3*i. Is y a multiple of 7?
False
Let h(p) = 3*p**3 - 2*p**2 - p + 1. Let k(n) = -n**3 - n**2 - 6. Let s be k(0). Let b(z) = -z**3 - 6*z**2 + z + 8. Let w be b(s). Is 15 a factor of h(w)?
True
Suppose 174 = -4*h - 2*o, -2*h - 2*o = -4*o + 90. Let z = 76 + h. Is z a multiple of 11?
False
Let t = 57 - -42. Is t/24 - 2/16 a multiple of 3?
False
Let y be (2/3)/(10/30). Suppose y*j = -3*j + 290. Does 14 divide j?
False
Let j(m) = -m**3 - 17*m**2 - 3*m - 17. Let t be j(-17). Does 12 divide -3 + -2 + 7 + t?
True
Suppose -5*p - 3*q = 18, -7*q = -2*q + 5. Let l(v) be the first derivative of v**4/4 + 5*v**3/3 + v**2/2 - 3*v - 4. Does 6 divide l(p)?
True
Suppose -2*x - 3 - 5 = -5*s, 0 = 2*x - 2. Suppose 2*z + s*z = -576. Does 17 divide (2/4)/((-4)/z)?
False
Let c(o) = -2*o**2 - 7*o + 3. Let i(a) = -a**2 - 7*a + 2. Let g(d) = 2*c(d) - 3*i(d). Is g(6) a multiple of 3?
True
Let v(w) = w**3 + 12*w**2 + 28*w + 10. Let s be v(