(m) = 16*m**3 + 4*m - 1. Let w(x) = -3*x - 17*x**3 + 2*x**2 - 2*x**2 + 1. Let v(h) = 5*u(h) + 6*w(h). Is v(-1) a multiple of 7?
True
Suppose x = 3*x + 3*h + 2, 0 = 5*x - h - 12. Suppose -4*q = -4*r - r - 372, 2*r + x*q = -138. Does 12 divide r/(-15)*(3 - -2)?
True
Let b = -1 + 5. Suppose -2*v + 6*v - 5*n - 75 = 0, b*v - 69 = 3*n. Is v a multiple of 4?
False
Let q = 99 - -48. Suppose g = 4*g - q. Suppose 0 = 2*b - g - 7. Is b a multiple of 9?
False
Suppose 4*t = -3*g + 356 - 87, -5*g = t - 471. Suppose 5*u - 27 = -i - 0*u, 3*i - g = -u. Is 16 a factor of i?
True
Let b be (-1 - 1)*1 + 2. Suppose -g + 11 + 9 = b. Does 8 divide g?
False
Let j be (-3 - 38/(-10))*5. Does 7 divide j + -2 - 12/(-1)?
True
Let p = -14 + 86. Is 31 a factor of p?
False
Suppose 2*s + 4*k - 60 - 30 = 0, -3*s + 3*k = -108. Does 4 divide s?
False
Suppose -3*b + 5*p = -78, -b + 4*p + 19 + 7 = 0. Suppose 0 = -3*h - 15, b = -q + 4*q - h. Suppose -3*f - 20 = -q*f. Is f a multiple of 2?
False
Let x be (-6)/(-4)*(-10)/(-3). Suppose x*s - 67 - 43 = 0. Is s a multiple of 7?
False
Let v = -5 + 8. Suppose 5*k + 17 = s - 15, 0 = s + v*k. Is 17 a factor of s/(-18) + 185/3?
False
Let j(v) = -v - 6. Let t = -9 + 3. Let r be j(t). Is 14 a factor of (-24)/(-2) - (r - 2)?
True
Let z(o) = 2*o - 1. Suppose 0 = 2*s + 2*s + 3*x - 9, 0 = 2*s + 4*x - 2. Let f be z(s). Suppose f = -v + 2*v. Does 3 divide v?
False
Let h = 9 + -5. Suppose -h*l - 168 = q, -2*l = 3*l + 2*q + 207. Let t = l - -102. Does 21 divide t?
False
Suppose -v - 148 = -2*b, 0 = -3*b - 2*b - 5*v + 385. Is 15 a factor of b?
True
Let z(x) = -x + 1. Let y be z(-3). Suppose -m - 21 = -2*c + 39, -3*c + 90 = y*m. Suppose 3*h - 12 = c. Is 14 a factor of h?
True
Suppose -4*a + 2*n + 57 = 25, -a = -4*n - 22. Suppose 3*k - 45 = -a*s + 3*s, 4*k - 71 = -5*s. Does 11 divide s?
True
Let p(g) = g**3 - 2*g**2 + 3*g - 4. Let m be p(3). Suppose 2*n + 3*h = 57, -n - m = 4*h - 50. Is 12 a factor of n?
True
Let m(z) = -18*z - 6. Let k(b) = -2*b + 1. Let i be k(2). Does 12 divide m(i)?
True
Let s = 25 - 13. Does 12 divide s?
True
Let w(b) = -2*b**3 + 2*b**2 + b. Let t be w(2). Is 18 a factor of t + 4 - 7*-7?
False
Let n(j) = j + 10. Let a be (2 - -16)*(-9)/3. Let k be 12/a - (-2)/9. Is n(k) a multiple of 10?
True
Suppose -5*m = -2*j - 696, 4*m - 249 = 3*j + 305. Suppose -6*b + b = -m. Is b a multiple of 14?
True
Let f = 52 + 15. Let s(x) = -x + 11. Let l be s(6). Suppose -f = -l*o - 17. Is 5 a factor of o?
True
Let u be -1 - (-3)/3*1. Suppose u*i - 3*h + 6 = 3*i, -i + 4*h + 27 = 0. Does 3 divide i?
False
Let b(y) = y**3 + 9*y**2 + 8*y + 3. Suppose 0 = 2*x + 3*f + 25, f + 14 = -x - f. Let n be b(x). Suppose 2*o = -n + 11. Is 2 a factor of o?
True
Let s be -1*(1 + -1*3). Suppose s*d + 2*d = 0. Does 11 divide (d + 2 + -1)*14?
False
Suppose 0 = 2*m + 5*u - 126, -5*m + 521 = -3*u + 144. Suppose -3 = -5*t - m. Let z = 26 + t. Does 6 divide z?
True
Let x(i) = i - 3. Let p(o) = -1. Let v(q) = -6*p(q) - x(q). Let f(h) = 4*h**3. Let r be f(1). Is 3 a factor of v(r)?
False
Let w = 122 + -67. Let z = w - 27. Is 14 a factor of z?
True
Let m(k) = -4*k**3 + 2*k - 1. Is 21 a factor of m(-3)?
False
Suppose 0 = 6*m + 1204 - 250. Let y = -99 - m. Is y a multiple of 12?
True
Suppose 0 = -6*t + 2*t + 496. Is t a multiple of 31?
True
Suppose 0 = -5*i - 5*f + 70, -2*i + 0*f + 3*f + 43 = 0. Is i - 4 - (2 - 1) a multiple of 4?
True
Let p = -5 + 7. Let w(j) = j**3 - 6*j**2 - 6*j - 4. Let g be w(7). Is g/6 + 3/p even?
True
Let c = 3 + 8. Suppose -64 = 7*h - c*h. Does 16 divide h?
True
Suppose 2*x - 6*x = -636. Is x a multiple of 33?
False
Suppose -6 = -4*l - a + 9, 5*a = -5*l + 15. Suppose -x + 2*q - 3*q + 66 = 0, -5*x + 327 = l*q. Does 21 divide x?
True
Let z(x) = -x**3 + 5*x**2 + 4*x + 6. Suppose -y - 3*a + 1 = 3*y, 15 = -3*a. Does 19 divide z(y)?
True
Suppose -8*w + 168 = -1512. Is w a multiple of 7?
True
Suppose 0 = n - 2*n + 144. Is 30 a factor of n?
False
Suppose 5*v - 24 = -0*i - 2*i, -22 = -3*v - 5*i. Suppose -54 = -5*u + t, -2*u - 32 = -v*u + 3*t. Does 4 divide u?
False
Suppose -1 = 3*b - 2*b - 5*a, 0 = -b + 3*a + 7. Suppose -4*h = -5*p + 5 + 95, 0 = -p + h + b. Is p a multiple of 13?
False
Suppose 33*n = 29*n + 360. Is n a multiple of 18?
True
Let z be 48/(-2) - (3 - 2). Suppose 5*v = -4*d - 204, -d - d = 5*v + 92. Let s = z - d. Does 13 divide s?
False
Suppose 2*y = 5*k - 24, 2*k = 2*y + 11 + 1. Let n = -37 + 52. Let o = n - y. Is o a multiple of 17?
True
Suppose 5*b + r = 582, b - 2*r - 123 = -0*r. Suppose -4*s + 289 = -5*v, -b = -4*s + 2*s - 3*v. Is 22 a factor of s?
True
Let y(u) be the second derivative of -7/12*u**4 + 0*u**2 + 0 - 3/2*u**3 - 1/20*u**5 + 3*u. Does 18 divide y(-6)?
True
Let d(p) = -p**2 + 6*p - 2. Let i be d(4). Suppose -5*s = -3*h - 216, h = 4*s - i*s + 93. Suppose -6*r + s = -r. Does 8 divide r?
False
Let y be (42/35)/(6/200). Let a = y - 10. Is 10 a factor of a?
True
Let i = -14 + 18. Let r(s) be the third derivative of 5*s**4/24 - 5*s**3/6 + s**2. Does 5 divide r(i)?
True
Is (-408)/(-15) - 3/15 a multiple of 6?
False
Suppose 5*t + 77 = 3*r, 4*r = -0*r + 3*t + 121. Let w(y) = -4*y - 2. Let l be w(-2). Let n = r - l. Does 14 divide n?
True
Is 10 a factor of (-2)/(-2) - (-6 + -3)?
True
Let a = -43 - -65. Is 9 a factor of a?
False
Let c(a) = a**3 + 3*a**2 - a + 1. Let t(k) = k**3 - 4*k**2 - 4*k. Let z be t(5). Suppose 1 = 3*v - z. Is c(v) a multiple of 7?
False
Let h(a) = -3*a - 11*a - 10*a + 4*a. Does 20 divide h(-2)?
True
Suppose 9*d = 2*h + 4*d + 8, -2*h = 5*d - 32. Suppose 50 = h*o - o. Does 8 divide -2 + (1*o)/1?
True
Let m = -7 - 2. Let k = -16 - m. Let w(z) = -z**2 - 7*z + 5. Does 2 divide w(k)?
False
Suppose 89 = 5*u + 19. Suppose 0 = -0*h - 2*h + u. Does 6 divide h?
False
Let p = -4 + -46. Let b = p - -96. Is 19 a factor of b?
False
Let d be -5*3*2/(-15). Suppose d*k - 5*z - 61 = 37, -4*k + 2*z + 228 = 0. Is k a multiple of 18?
False
Is 3 a factor of 1/(1/18 + 0)?
True
Is 11 a factor of 4/2*19/2?
False
Let v be -1 + (0 - (2 + -13)). Is 4 a factor of v + -7 + (-1 - -5)?
False
Let a(i) = -20*i + 8. Does 22 divide a(-4)?
True
Suppose -11*a + 770 = -a. Is a a multiple of 8?
False
Let k(m) = -28*m - 12. Is k(-2) a multiple of 34?
False
Let f = -18 - 0. Let z = 35 + f. Is z a multiple of 17?
True
Suppose -4*o - 4*c + 16 = 0, 2*o + 4 = o - 3*c. Is 8 a factor of o?
True
Let k be ((-27)/(-18))/(2/8). Suppose 2*w + 16 = 4*o, -3*o + 4*w + 8 = o. Does 11 divide (-4)/o - (-70)/k?
True
Let r(w) = -w**3 - 9*w**2 + 0 + 16*w**2 + 2*w + 3*w - 3. Is r(7) a multiple of 13?
False
Is 24 a factor of (20232/(-20))/(-6) + 3/(-5)?
True
Is (-4 + 0)/(4/(-12)) a multiple of 12?
True
Let n = 92 - -10. Is 6 a factor of n?
True
Suppose 3*a - a = -2*t + 236, -3*t + 114 = a. Suppose -4*v + 11 = q - 244, 2*q - a = -2*v. Is 21 a factor of v?
False
Let v(p) = -7*p**2 - 3*p. Let c be v(-2). Let l(f) = -f**3 - 3*f**2 - 2*f + 7. Let i be l(-5). Let a = c + i. Does 13 divide a?
False
Let w be 2 - 1 - (4 + -5). Let f = 11 - 8. Suppose w*x = p - f*p + 52, x = -3*p + 22. Does 18 divide x?
False
Let t(v) = -v**2 + v - 2. Let w be t(-2). Is 14 a factor of 9/12 - 242/w?
False
Suppose 2*o = -0*o - 266. Let w = 229 + o. Is 25 a factor of w?
False
Is 3/9 + (-68)/(-12) a multiple of 3?
True
Let r(a) = -11*a + 6. Is r(-3) a multiple of 13?
True
Let k(f) = f**2 + 6*f + 2. Let s be k(-6). Let g be (-6)/3*-3 - s. Suppose 7*m = g*p + 3*m - 44, -2*p - 5*m = -50. Is 7 a factor of p?
False
Let s = -71 - -28. Let f = 70 + s. Is 17 a factor of f?
False
Let t(u) = u**2 + 11*u + 15. Does 27 divide t(-12)?
True
Let l(h) = 5*h + 4. Let t be l(-3). Let c be (-4)/14 - 116/(-14). Is 22 a factor of 3*c/(-6)*t?
True
Let z be (-2)/(-6) + (-5)/(-3). Let i(c) = c**2 - 2. Let s be i(z). Suppose -y = 3*x + 2*y - 21, -s*x + 2 = -2*y. Is 2 a factor of x?
True
Does 3 divide -3 + 5 + 3*(4 - 1)?
False
Let l(z) = -98*z - 2. Is 16 a factor of l(-1)?
True
Suppose 86 = i + 5. Is i a multiple of 9?
True
Let u be (6/(-12))/((-2)/16). Suppose u*n = -d + 62 - 4, 83 = 5*n - 4*d. Is 6 a factor of n?
False
Suppose -5*f + 0*i = 3*i - 156, -5*f + 168 = -i. Is 4 a factor of f?
False
Let g = 6 + -1. Let k(s) = -6*s + 3. Let d be k(g). Let p = d - -51. Does 10 divide p?
False
Let a = 4 - 8. Let y be 4/10 + a/10. Suppose 0 = 3*h + 