v + 20 = 4*j, 0 = v + 2*v - 2*j + 10. Does 13 divide s(v)?
False
Suppose 0 = -4*z - 4, 2*z + 2 = 3*v + v. Suppose -5*d + 0*d = -185. Is 14 a factor of (-3 - -3) + d + v?
False
Suppose 2*i - 2*w - 312 = 254, 2*i - 554 = -w. Suppose 4*g - i = -5*z, 5*z = g + 3*g + 271. Does 19 divide z?
False
Suppose -2*s + 17 = -25. Suppose 4*n - 8 = -0*n. Does 11 divide n + -2 + 1 + s?
True
Let o(f) = -2*f**3 + 3*f - 7. Let u(r) = -r**3 + r - 4. Let t(h) = 2*o(h) - 5*u(h). Let g be t(0). Suppose 0 = -2*w + g*w - 48. Is 9 a factor of w?
False
Let k(b) be the first derivative of -b**3/3 + 4*b**2 + 2*b - 4. Is k(5) a multiple of 6?
False
Let p = 5 - -67. Is p a multiple of 9?
True
Suppose 6 + 9 = 3*r. Suppose -f + 5*n - 13 = 2*f, r*n - 37 = -3*f. Suppose 5*d = f*t - 30 + 3, 4*t = -4*d + 72. Is 9 a factor of t?
False
Let k = -4 - -7. Suppose 0 = -3*p - 2*v + 66, k*v + 22 = p + 6*v. Is p a multiple of 10?
False
Suppose -1 = -3*w + 5*i - 10, 5*w - 2*i - 4 = 0. Suppose -3*t + t = -10. Suppose 6*d - t*d + 4*z = 39, -4*d = w*z - 184. Is 13 a factor of d?
False
Suppose 5*a - 141 = 4*z, 2*z + 33 = -a + 2*a. Is a a multiple of 7?
False
Let l(i) = 10*i - 2. Let z be l(3). Suppose -4*m - 16 = z. Let o = 5 - m. Is o a multiple of 8?
True
Let y = -4 - -159. Does 31 divide y?
True
Let h be (-231)/(-14)*(-4)/(-3). Suppose u = h + 5. Does 9 divide u?
True
Let m be 73 + (-1 - -1 - 3). Suppose 0 = 2*s - g - m, -7*s + 4*s + 104 = -g. Is s a multiple of 17?
True
Let y(h) = 3*h**2 - 7*h + 9. Is y(2) a multiple of 3?
False
Let c be (1/3)/(4/24). Suppose 5*i + 42 = 3*u, 0 = c*u + 2*i - 3*i - 21. Is 9 a factor of (2/(-1))/((-2)/u)?
True
Suppose 4*x - 74 - 210 = 0. Does 14 divide x?
False
Let b(g) = 4*g + 2. Is b(0) even?
True
Let d = 155 + 168. Is 19 a factor of d?
True
Let k(z) = -2. Let f(y) = -y + 3. Let q(l) = 3*f(l) + 4*k(l). Let s be q(-5). Is 7 a factor of (-21)/(-2)*s/12?
True
Let x(w) = -5*w**3 - 3*w**2 - 17*w + 5. Let v(b) = -b**3 - b**2 - 4*b + 1. Let k(g) = -9*v(g) + 2*x(g). Is 7 a factor of k(3)?
True
Let v = -19 + 22. Suppose j - k = -v*k + 22, k - 1 = 0. Is 5 a factor of j?
True
Suppose 5*x + 0*x = 280. Is 28 a factor of x?
True
Suppose -2*t = 5*p + 85, 3*t - 5*t = p + 73. Let f be -5 + 2 + t/(-5). Is 12 a factor of (0 - f)*(-48)/8?
True
Let h(v) = -v**3 - 3*v**2 - 3. Let p be h(-4). Let y be 2/4 + p/2. Suppose 3*d - y*d = -12. Is d a multiple of 3?
True
Let d(v) = -133*v**3 - v**2 - 2*v. Does 6 divide d(-1)?
False
Let b = 16 + 0. Let v = 4 + b. Is 10 a factor of v?
True
Let g(k) = 2*k**2 + 2*k**3 - k**3 + 6 + 5*k**2 + 3*k. Let f be g(-6). Suppose s - 2*s + f = 0. Is s a multiple of 15?
False
Let i = 15 - 24. Let r = -15 - i. Is 237/6 + r/4 a multiple of 10?
False
Suppose 0 = -j - 4*z - 9, -3*z + 8*z + 24 = 3*j. Suppose -2*m = -5*d - 3 - 42, -j*d - 65 = -5*m. Does 10 divide m?
True
Suppose -3*l + 4*y + 968 = 0, l - 4*y = -4*l + 1608. Let u be (-2)/(-11) - l/(-55). Is (3 - (-3)/u)*2 a multiple of 2?
False
Let u(n) = -n**2 + 24*n - 20. Is u(16) a multiple of 3?
True
Suppose -i = 2 + 4. Is 16 a factor of (-2)/i + 146/3?
False
Suppose -13 = -2*m - 3*w, -2*w - 3 = 3*m - 15. Let d be m/4 + 15/10. Suppose -d*y - y + 45 = 0. Does 6 divide y?
False
Let y(g) = -4*g + 4. Let k be y(-5). Suppose -5*q = 4*p - 0*p + k, -3*p = -2*q + 41. Does 21 divide 2/(-11) + (-431)/p?
False
Suppose 0 = 3*v - 16 - 2. Suppose 0*r - v = -r. Is r a multiple of 6?
True
Let x be (-3 - -4) + 1 + -74. Let i = -136 - x. Is 16 a factor of 1*i*(-1)/2?
True
Let n(z) = -z + 1. Let i be n(-2). Suppose -i*u = -2*g + g - 58, 4*g - 48 = -2*u. Let f = 37 - u. Is f a multiple of 11?
False
Let l(g) = 4*g**3 - 3*g**2 + 7*g - 4*g - 1 - 1. Let a be l(2). Let m = a - 16. Does 8 divide m?
True
Suppose 0 = -0*o + 2*o - 4. Suppose 18 = m + o*m. Is 5 a factor of m?
False
Suppose -x - x + 4 = 0. Let k = x - 0. Suppose 5*i + k = 47. Is 7 a factor of i?
False
Let z = -11 - -3. Let u = 22 + z. Is u a multiple of 7?
True
Let v(c) = -c**3 + 9*c**2 - 5*c - 4. Is 9 a factor of v(4)?
False
Suppose 0 = 4*z + q + q + 48, -20 = -5*q. Let o be 32/14 + 4/z. Suppose o*x + 96 = 6*x. Does 8 divide x?
True
Let p = -89 - -123. Suppose -5*r + r = -28. Let y = p - r. Does 9 divide y?
True
Let g be -3*(1 - (-15)/(-9)). Suppose 3*a - 8*a = 4*t, t = -a. Suppose -2*q - g*q + 12 = a. Is 2 a factor of q?
False
Let v = -17 + 24. Let a be v + (0 + -2 - 0). Suppose -3*x = -22 - a. Is x a multiple of 9?
True
Let s be (-24)/(-9) - 4/6. Suppose -1 = -s*v + 3. Suppose v = 2*a - 6. Is a a multiple of 3?
False
Let y = 56 - 20. Is y a multiple of 9?
True
Suppose 3 = l - 2. Let q(o) = 5*o**2 - 8*o + 4. Let n be q(5). Suppose -2*w + 18 = a + 3, -l*a + 4*w + n = 0. Is a a multiple of 11?
False
Let o be 0/((-2)/2) + 2. Let w be 2*(-2 + 27/6). Suppose 3*i + 7 = -o, 106 = w*b + 3*i. Is 8 a factor of b?
False
Suppose 3 + 2 = -h. Let y = 10 + h. Is y a multiple of 2?
False
Suppose -2 = -u - 1. Let d = -45 - -53. Let w = d - u. Is w a multiple of 4?
False
Suppose 0 = -5*o + 4*m + 593, 2*o + 0*m + m = 232. Does 13 divide o?
True
Suppose 5*f = -2*a + 14 + 17, -5*a = -5*f + 10. Let h be (16/20)/((-4)/(-20)). Suppose -f*c + 5 = 0, -3*q - h*c + 36 = -q. Does 8 divide q?
True
Suppose 0*o + 8 = 2*o. Does 13 divide (-5)/o*(1 + -41)?
False
Suppose -5*k = 3*h - 26, 0*h - 16 = -4*h - 2*k. Suppose -c = h*c. Is 12 a factor of (c/(-3) - -1)*24?
True
Let j = 84 + -34. Is 37 a factor of j?
False
Suppose -m + 62 = -0*m + 5*c, 0 = -4*m + 3*c + 271. Is m a multiple of 4?
False
Let w be (-9)/(-45) - 469/(-5). Suppose -4*d = -w - 58. Is d a multiple of 17?
False
Let q = -16 + 11. Is (12/14)/(q/(-210)) a multiple of 12?
True
Let x(k) = k - 8. Let f be x(10). Suppose c = -4*p - 1, -f*c + 1 = 2*p - 15. Is 11 a factor of c?
True
Let i = 125 - 237. Let g = i + 157. Does 15 divide g?
True
Suppose -8 = -3*y + 4. Suppose -3*d - 27 = 2*k, k = 5*k + y*d + 64. Let x = k + 43. Is x a multiple of 11?
True
Let t be ((-4)/(-10))/(9/45). Suppose -2*v + 4*x = -138, 3*v + t*x = 4*x + 219. Is 24 a factor of v?
False
Suppose -h = 4*h - 365. Suppose 0*r + r - 23 = -g, h = 3*g + r. Does 16 divide g?
False
Let z(r) = -r - 4. Let j(a) = 1. Let o(l) = 10*j(l) + 5*z(l). Is o(-11) a multiple of 22?
False
Let v = -2 + 11. Is 5 a factor of v?
False
Let i be ((-8)/(-10))/((-5)/300). Let j = i + 70. Does 13 divide j?
False
Let i(s) = s**2 - s - 1. Let o(v) = 4*v**2 - 5*v - 5. Let a(x) = 6*i(x) - o(x). Let d be a(-1). Suppose -84 = -2*q - d*q. Is q a multiple of 21?
True
Let n(c) = c - 4. Let x be 1/(-6) + (-74)/(-12). Let y be n(x). Suppose -2*a = 2, y*u - 13 = -0*u + a. Does 6 divide u?
True
Suppose 0 = 5*a - 2*l + 33, -5*a + 3*a - 16 = 2*l. Let g = 40 - a. Is 13 a factor of g?
False
Let l = 228 + -156. Is 6 a factor of l?
True
Let n = -30 + 56. Let o(a) = a**2 - 15*a + 11. Let m be o(17). Let z = m - n. Does 6 divide z?
False
Let x(t) = t**2 + t + 4. Suppose 10 = -5*g + 3*g. Does 6 divide x(g)?
True
Let l(z) = -z**3 - 2*z**2 + z + 3. Let x be l(-5). Suppose 0*k - x = -k - p, -4*k + 2*p = -304. Let v = 124 - k. Does 17 divide v?
False
Suppose 0 = -x - 4*x + j + 89, 4*x - 3*j - 80 = 0. Suppose 4*g - i - x = 0, -5*i + 7 = -4*g + 44. Suppose -70 + 7 = -g*n. Is 10 a factor of n?
False
Suppose 3*p - 2 + 26 = 0. Let h = p + 18. Suppose -4*n + h = -6. Is n even?
True
Is 20/(-6)*54/(-6) a multiple of 15?
True
Let y = -20 - -20. Suppose -9 = g + 4*a, -g + 2*g + a = y. Is g a multiple of 3?
True
Suppose 0 = -8*i + 7*i + 98. Does 16 divide i?
False
Suppose -5*c - 434 = -4*n, 2*n = -n + 5*c + 323. Is n a multiple of 35?
False
Let c(v) = 4*v**2 - 1 + 5*v**3 - 4*v**2 - v**2 + 2. Let g = 2 - 1. Does 3 divide c(g)?
False
Suppose -2*l + 6*l - 5 = b, 2*b = -l - 10. Let u(g) = g**2 + 5*g + 2. Let r be u(-3). Is (l - 3/r)*8 a multiple of 3?
True
Is 356*(7/4)/7 a multiple of 16?
False
Suppose 4*f - 12 = -120. Let y = f + 59. Is y a multiple of 10?
False
Suppose -3*t - 2 = 4. Let o be 1/t + 18/4. Suppose -o*h - 3*r = -31, -h + 2*r + 13 = -3. Is 4 a factor of h?
False
Suppose 2*g + 2*g = 304. Does 13 divide g?
False
Let q(z) be the first derivative of 8*z**2 + z + 3. Is 11 a factor of q(1)?
False
Let p(b) = b**2 + 8*b + 3. Let k be p(-5). Let l = 18 + k. Suppose 18 - l = 2*a. Is a a multiple of 6?
True
Let i = -7 - 0. Let o = 5 + i. Is (30