(h) = -h**3 - 18*h**2 - 69*h - 105. Is 17 a factor of o(-15)?
True
Let t(p) = -21*p - 5*p - 7*p + 4 + 3*p. Is 31 a factor of t(-5)?
False
Suppose 0*o = o - f - 39, 0 = o + 2*f - 30. Suppose 0 = d - 2*b - 68, -18*b + 4 = -17*b. Suppose 4*q - o = -h, 0 = h + 2*q - 6*q - d. Does 28 divide h?
True
Let h = 5 - 2. Suppose 0 = -3*v - 4*y - h + 4, -16 = -4*v + 2*y. Suppose v*u - 10 = 41. Is 9 a factor of u?
False
Suppose v = 5*b - 155, 0*v + 79 = 2*b + 3*v. Is b a multiple of 16?
True
Suppose 0 = -5*k - 2*z + 4384, 4*z = -k + 3*z + 878. Does 67 divide k?
False
Let x(g) = -11*g + 20. Let z(c) = 11*c - 21. Let s(r) = 3*x(r) + 4*z(r). Does 5 divide s(7)?
False
Let r(y) = -7*y**2 + 6*y + 1. Let n(a) = -6*a**2 + 7*a + 3. Let j(z) = 6*n(z) - 5*r(z). Let x be 4/16 - (-47)/4. Is j(x) a multiple of 4?
False
Let j be ((-2)/(-4))/(3/6)*-1. Let l(h) be the first derivative of -9*h**2 + 2*h - 1. Does 7 divide l(j)?
False
Let m(l) = l**3 + 17*l**2 - 26*l - 1. Let t be (-441)/24 - (-21)/56. Does 21 divide m(t)?
False
Suppose -2*o = -4*n - 10, 0*n - 60 = -3*o - 3*n. Suppose -4*r = r + o. Does 20 divide ((-40)/(-12))/(r/(-36))?
True
Let o = -26 - -30. Is (57/(-4))/(6*o/(-128)) a multiple of 12?
False
Let y(v) = 18*v - 15. Let t be y(-12). Let c = t - -343. Is c a multiple of 16?
True
Let b(m) = -m**3 - m**2 + m + 2. Let u be b(0). Let n = -8 + 8. Suppose n = -2*j - u, -2*r - 3*j - 6 = -31. Is r a multiple of 14?
True
Let m = 1922 - 735. Is m a multiple of 27?
False
Let t be 10/5*150 - 1. Suppose 0*f = -4*f - i + t, i = 5*f - 385. Is 13 a factor of f?
False
Let m(f) = -f**3 - 12*f**2 - 20*f + 11. Let d be m(-10). Suppose h - 5*x = d, -2*x = h - 4*x - 8. Is 6 a factor of h?
True
Let h be (4 - -101) + (-4)/1. Suppose -h = -3*q - 2*l, 0 = -2*q + 2*l - 7*l + 60. Suppose q = -v + 4*v - m, v - m = 13. Does 5 divide v?
False
Let f(s) = -1290*s - 48. Is 12 a factor of f(-4)?
True
Let f = 212 + -145. Is f a multiple of 67?
True
Let v(k) be the second derivative of -7*k**3/3 - 2*k**2 + 10*k. Is v(-3) a multiple of 19?
True
Let c = -10 + 10. Suppose 2*d - 41 = -5*i - 0*d, -5*i + d + 47 = c. Suppose 5*s = 6*s - i. Is s a multiple of 2?
False
Is (-2595)/(-12) + (-2)/8 + 1 a multiple of 31?
True
Let z = 198 - 300. Suppose 3*i = 38 - 230. Let r = i - z. Is 12 a factor of r?
False
Let g(m) = -m**2 + 8*m - 2. Let v be g(6). Suppose v*j - 171 = 7*j. Is j a multiple of 10?
False
Let c = 101 - 22. Is c even?
False
Suppose -3*b + 406 = -4*t, -t + 459 = 4*b - 76. Is 33 a factor of b?
False
Let l = -183 - -1287. Is l a multiple of 15?
False
Let b(h) = -h + 2. Let y be b(4). Let o = y + 18. Let z = o + 24. Is 20 a factor of z?
True
Suppose -11*v + 7 = -4. Suppose 31 - v = 2*x. Does 2 divide x?
False
Is (-38)/(-8)*2 + 84/(-56) even?
True
Is 13 a factor of (1620/(-25))/(15/(-50))?
False
Suppose -4*o - 6748 = -7*o - 2*d, 2*o - 4498 = -2*d. Is 25 a factor of o?
True
Suppose -u - 3*a = 8, a + 1 = -u - 1. Suppose 2*y = -3*q + u + 5, 2*y = -2*q + 8. Does 16 divide y*6/(-9)*-12?
True
Let h be 19*1 - (-15)/(-5). Suppose -3*k + b - 4 = 0, k - 4*b + h = 5*k. Suppose 0 = -k*z - 2*z + 68. Is 17 a factor of z?
True
Suppose 4*k = -k - 20. Is (-306)/k*8/12 a multiple of 10?
False
Let f(p) = p**3 - p**2 + p - 1. Let z be f(2). Suppose 0 = -5*x - r + 266, -4*x - 4*r + 220 = -z*r. Is x a multiple of 3?
True
Suppose -3*y + 20 = 5. Is 27 - (-2 + 2 + 5/y) a multiple of 26?
True
Let u(r) be the third derivative of 1/120*r**6 - 3/2*r**3 + 11/60*r**5 + 1/4*r**4 + 0*r - r**2 + 0. Is u(-10) a multiple of 14?
False
Let k = -9 - -33. Does 12 divide k?
True
Suppose i + 15166 = 5*z, 115*z - 2*i = 114*z + 3026. Is z a multiple of 49?
False
Suppose -161 + 49 = 2*d. Let p = -11 - d. Does 10 divide p?
False
Let m(x) = -4*x + 150. Let w(f) = f - 30. Let j(r) = 2*m(r) + 11*w(r). Is 5 a factor of j(13)?
False
Suppose -2*x - 3 + 11 = 0. Suppose 5*o - 5 = 0, -z - 3*o = -11 - x. Does 6 divide z?
True
Let m(w) = -260*w + 952. Does 28 divide m(0)?
True
Let h = -69 - -161. Let t = -58 + h. Is t a multiple of 17?
True
Suppose -2*v + w = -0*v - 5, -5*v + 4*w = -11. Suppose 0 = -2*o - q + 102, 0 = v*o - 2*q + 4*q - 154. Let b = -21 + o. Is 8 a factor of b?
False
Suppose 10*p + 3*w - 4071 = 5*p, -4*p - 2*w + 3258 = 0. Is p a multiple of 34?
True
Suppose 0 = 5*a + 11*l - 6*l - 230, -5*a = l - 214. Is a a multiple of 5?
False
Let a be (26/(-6))/(7/21). Let x = a - -32. Does 3 divide x?
False
Let r(z) = -4*z + 33. Let g be r(5). Suppose -g*m - 13 = -247. Does 18 divide m?
True
Let w(i) = i**3 - i**2 - 3*i + 2. Let h be w(2). Suppose h = -4*u + m + 70, -1 = 3*m + 5. Suppose 3*r = -2*v + u, -r + 6 = 2*v - 9. Is v a multiple of 3?
False
Let m = 15 + -9. Suppose 0 = -m*c - 3*c + 648. Is 12 a factor of c?
True
Suppose -18*f = -7*f - 19866. Is 26 a factor of f?
False
Let a(l) = 42*l - 15. Let v be a(-11). Let f be v/6*2/3. Does 17 divide 3 - 7 - (f + 0)?
False
Suppose 45 + 175 = 5*b. Let d be (0 - 0)/(8/8). Suppose -o + 2*v + b = -66, d = 5*o - v - 505. Is o a multiple of 25?
True
Suppose -h - 3*h = -n + 4, -4 = 4*h + 3*n. Let v(t) = 82*t**2 + 2*t + 1. Does 7 divide v(h)?
False
Let z(w) = w**3 - 2*w**2 - w + 42. Does 6 divide z(0)?
True
Suppose 3*k + 3 = 0, -5*k - 14 = -5*o + 71. Let l be 0*(o/(-6) - -3). Suppose -30 = -l*u - 3*u. Is 3 a factor of u?
False
Let t = 168 + -87. Does 4 divide t?
False
Suppose 0 = 32*s - 20*s - 12960. Does 18 divide s?
True
Suppose -54*y + 10084 = -68864. Is y a multiple of 34?
True
Suppose 18*i - 14*i + 3*v - 257 = 0, 262 = 4*i - 2*v. Is i a multiple of 7?
False
Suppose 0 = 6*z - 154 - 296. Is z a multiple of 9?
False
Suppose -k - 1 = 0, 5*k + 1 = 3*i - 4. Suppose -2 + i = 2*z. Let m = z + 15. Is 14 a factor of m?
True
Let q be (-2256)/(-9) + -2 - 1/(-3). Suppose -4*x - 77 = -q. Is 10 a factor of x?
False
Let n = -3 - -8. Suppose 0 = -n*u + 355 - 35. Is 13 a factor of u?
False
Suppose j + 2*l = -1, 0 = -3*l - 10 + 1. Suppose 3*g - 3 = -v, j*v + g = v + 45. Does 12 divide v?
True
Suppose 0 = -3*z - 3*o + 543, -193 = -3*z + 2*z - 5*o. Suppose -x = 48 + 43. Let r = x + z. Is r a multiple of 23?
False
Let c = 324 + -184. Suppose -5*v - c = 25. Let k = v + 57. Is 16 a factor of k?
False
Let u(y) = y - 1. Let r be u(-3). Let i(g) = 2*g**2 + 4*g - 3. Is 7 a factor of i(r)?
False
Let s = 9 - 6. Suppose -2*v = -3*v - s. Let a(p) = 2*p**2 + 4*p. Is 2 a factor of a(v)?
True
Let m(a) = -40*a - 51. Does 91 divide m(-22)?
False
Let r = 9 - -3. Let b be 3*(8/r)/1. Suppose -28 = 5*i + b*p - 404, -2*p - 384 = -5*i. Is 16 a factor of i?
False
Suppose -670 = -2*i + 5*q, -4*i + 6*i - 4*q = 670. Is 6 a factor of i?
False
Let z(s) = 3*s**2 - 9*s + 60. Is z(-15) a multiple of 12?
False
Let d(y) = 3*y - 6. Suppose 0 = 14*p - 15 - 27. Is d(p) even?
False
Let u = 3773 - 2627. Is u a multiple of 39?
False
Let b = -79 + 83. Suppose -2*t + 29 = s, -8*s - 10 = -t - b*s. Does 7 divide t?
True
Suppose -5*c + 9837 = -3*x, x + 7864 = -170*c + 174*c. Is c a multiple of 15?
True
Does 33 divide (-6)/(-10) + (-3624)/(-60)?
False
Suppose -3*a = 6, -2*b = 3*b - a - 5462. Does 21 divide b?
True
Suppose 61 = 5*b - 3*d - 0*d, b - 3*d - 17 = 0. Let n be 76/(-24) - (-1)/6. Let w = n + b. Is 7 a factor of w?
False
Let i = -25 + 29. Suppose -w + 0*w + 26 = 2*s, -2*s + 74 = i*w. Is 16 a factor of w?
True
Suppose 3*t = 5*t - 10. Suppose 5*n + l - 15 = 0, t = 5*n + l - 2*l. Suppose 0 = n*i - 0*i - 50. Is 25 a factor of i?
True
Suppose 10*v = 2*v - 152. Let c = v + 95. Does 25 divide c?
False
Let u = 112 + -111. Let m(x) be the third derivative of 13*x**4/12 - x**2. Does 13 divide m(u)?
True
Suppose -3*k = 2*f - 121, 0*f + 2*k - 179 = -3*f. Suppose -3*o + 8*o = 2*y - 7, -o - f = -4*y. Is y a multiple of 8?
True
Suppose 0 = -3*p - 36 + 45, 2*g + 2*p = 902. Is g a multiple of 64?
True
Let o(h) = -h**2 - 10*h + 4. Let a be o(6). Let z = 192 + a. Is z a multiple of 13?
False
Let y = 2 + 1. Suppose -u = -y*t + 94, 44 = 3*t - 4*u - 53. Is t a multiple of 31?
True
Let t(l) = 24*l**2 - l - 1. Suppose 2*h + 7 = 5. Does 10 divide t(h)?
False
Let b(z) = -42*z + 36. Is 66 a factor of b(-7)?
True
Let d = -776 + 1226. Is d a multiple of 10?
True
Let v(m) = 4*m + 4. Let o be v(-11). Let y = o + 70. Does 6 divide y?
True
Let i(z) = z + 16. Let n be i(-12). Suppose n*y + y + 44 = 