h(4). Let l = 17 + f. Suppose l*b = b + 96. Is 16 a factor of b?
True
Let k(c) = -3*c**3 - 1 + 2 + 19*c**2 - 33*c**2 - 30*c**2 - 21*c. Let b(m) = m**3 + 15*m**2 + 7*m. Let o(y) = -11*b(y) - 4*k(y). Does 6 divide o(-10)?
False
Let z(a) = -a**3 - 2*a**2 + 12. Let t(w) = -2*w**3 - 3*w**2 + w + 12. Let l(b) = -2*t(b) + 3*z(b). Is 10 a factor of l(0)?
False
Let a(w) = 5*w**2 - 5*w + 1. Let d(c) = 3*c + 27. Let j be d(-10). Does 8 divide a(j)?
False
Let h = 1 + -2. Let z(w) = 13*w - 1. Let o be z(4). Is (-1)/(h - o/(-54)) a multiple of 9?
True
Let y(d) = d**2 - 16*d + 1. Let h be y(16). Is (-90)/(-50)*h*15 a multiple of 9?
True
Does 4 divide (-11 - -25)*(-1108)/(-14)?
True
Suppose b + 20 = -b. Let a = -7 - b. Suppose 29 = a*o - 16. Is o a multiple of 8?
False
Let a(t) = 81*t**2 - 29*t - 76. Does 10 divide a(-3)?
True
Suppose 0 = 5*a + v - 2293, 133 = a - 2*v - 330. Is a a multiple of 27?
True
Is 38 a factor of -2 + 24/6 + 407?
False
Let r(k) = 8*k - 171. Is r(39) a multiple of 35?
False
Let c(f) = f**3 + 3*f**2 - 1. Let m be c(-2). Does 60 divide (m + -3 - 1) + 391?
False
Let u = -28 - -276. Let b = 632 - u. Is 32 a factor of b?
True
Is -30*((-105)/(-28) - 4)*62 a multiple of 31?
True
Let v(m) = 39*m**2 + 24. Is v(-6) a multiple of 14?
True
Let d(f) = -15 + 2*f + f - f - f. Let o(u) = 2*u - 14. Let n(b) = -3*d(b) + 2*o(b). Is n(-8) a multiple of 3?
True
Let w = 1270 + -35. Does 11 divide w?
False
Let a(y) be the third derivative of y**5/6 + y**4/6 + 8*y**3/3 + 2*y**2 + 7*y. Is a(-4) a multiple of 8?
True
Suppose 0 = 4*c - h - 21, -1 = -3*h - 16. Suppose -4*k = -9*k + 2*s - 43, -c = -s. Let o(y) = -4*y + 12. Is o(k) a multiple of 10?
True
Suppose -4*f - 1142 = -3*t, 4*t - 5*f = 2*t + 766. Is 15 a factor of t?
False
Let w = 735 - 393. Is 18 a factor of w?
True
Let m = 2792 + -1325. Is 27 a factor of m?
False
Let v be (-52)/(-3 + 4 + 0). Let g = -17 + 91. Let z = v + g. Is z a multiple of 5?
False
Suppose 4 = -3*r - 2. Is (14 + r)/((-30)/(-345)) a multiple of 18?
False
Suppose 0 = -3*k - 2*k + 2*x + 24, x + 18 = 4*k. Suppose 2*l + 5*m = 35, 35 = 5*l - 3*m + 5*m. Suppose -j - 27 = -l*a + 91, k*j = -3*a + 57. Does 12 divide a?
False
Let d = -1229 - -1354. Does 77 divide d?
False
Let v(o) = 13*o + 34. Let u be v(-8). Is 35 a factor of (u/3)/(1 - 33/27)?
True
Let a = 709 + 338. Is a a multiple of 4?
False
Let j = 7 - 13. Let y be (-465)/(-12) + 1/4. Does 9 divide y - 5/((-10)/j)?
True
Let f = 43 - 53. Is 30 a factor of (-1502)/f + 2/(-10)?
True
Suppose 4*b - p + 4 = -3*p, 4*b = p - 4. Is 3 a factor of (4 - 2 - 5)/b?
True
Suppose -3*r = 6*s - s - 134, 4*r - 144 = 2*s. Suppose 0 = -2*c + i + 67, -i - r = -c - 2*i. Is 13 a factor of c?
False
Let v = 559 - 349. Does 30 divide v?
True
Suppose -3*u = -3*f + 1965, u = -2*f + 2*u + 1305. Does 50 divide f?
True
Is (-1)/(0 + 9/(-3042)) a multiple of 8?
False
Suppose -d = -4*g - 212, g = 6*g + 25. Is 8 a factor of d?
True
Let x = 19 - 19. Suppose 2*n - 12 = -x*n. Is 11 a factor of n/(-15) - (-424)/10?
False
Let b(l) = -l + 28. Let h be b(20). Let a(u) = -u**2 + 12*u + 12. Is 22 a factor of a(h)?
True
Suppose 3*f - 296 = 2*d, 0 = -2*f - d + 25 + 177. Does 3 divide f?
False
Let q(k) = 96 + k + 15 - 24. Does 27 divide q(0)?
False
Let h = -2 - 1. Let t = h - -54. Does 22 divide t?
False
Let a = 412 - 600. Let z = 110 + a. Let g = z - -112. Is g a multiple of 9?
False
Let r(a) = -4*a**2 - 4*a - 9. Let k be -1*(12/3 + -1). Let g(q) = 9*q**2 + 9*q + 19. Let p(b) = k*g(b) - 7*r(b). Does 9 divide p(3)?
True
Let u = -14 - -15. Suppose 37 - u = -t. Let j = 58 + t. Is 17 a factor of j?
False
Let k = -369 + 2245. Is 14 a factor of k?
True
Let w = 1 - -2. Suppose -4*q + 234 = w*m, 5*q + 7 = -4*m + 300. Suppose 3*x - q = -0*d + 5*d, 2*x = -5*d + 13. Does 14 divide x?
True
Let b = 208 - 148. Suppose -3*g = -0*g + 4*q - 180, -g + b = -2*q. Is 20 a factor of g?
True
Let w(s) = s + 9. Let i be w(7). Let o(r) = 4*r**2 + 11*r + 6. Let h(c) = c**2 - c. Let n(v) = -5*h(v) + o(v). Is 2 a factor of n(i)?
True
Let r(l) = -68*l - 7. Is 13 a factor of r(-3)?
False
Let f = 16 - 4. Suppose 0 = 3*t - 3*s, -13 = -5*s + f. Suppose g + 3*g = -t*z + 328, 4*g - 136 = -2*z. Is 16 a factor of z?
True
Suppose 4*n = -g + 146, 75 + 356 = 3*g + 5*n. Is 9 a factor of g?
False
Let a be (8/6)/(2/3). Suppose 0 = 3*h - h + a. Does 5 divide (-4 + -6)*(h - 0)?
True
Let q = 50 - 41. Suppose -3*l = -q - 99. Is l a multiple of 9?
True
Let p = 40 - 38. Suppose -p*v - 13 + 63 = 0. Does 5 divide v?
True
Let w(x) = -4*x**2 - 7*x - 14. Let n(u) = 2*u**2 + 4*u + 1 - 4 + 10 + 0*u. Let a(p) = -5*n(p) - 3*w(p). Is 13 a factor of a(-3)?
False
Suppose 28 = 5*t - 147. Suppose t = n - 2*x, n - 3*x = -20 + 58. Does 3 divide n?
False
Let v(p) = -24*p - 24. Is 4 a factor of v(-5)?
True
Let z = -559 - -2779. Suppose -13*c = -8*c - z. Is c/16 + (-2)/(-8) a multiple of 7?
True
Suppose 0 = 5*l - 3*p - 14788, -49*l + 48*l + 3*p + 2948 = 0. Does 11 divide l?
False
Let g(m) = -m - 3. Let k be g(-8). Suppose 4*n + k*i = 224, 2*n - 2 = 3*i + 88. Does 3 divide n?
True
Suppose k - 3 = s, -s = 5*k - 5*s - 12. Suppose 3*p + k*p - 12 = 0. Suppose -24 = -3*q - 3*u, 0*u = 5*q + p*u - 36. Is 4 a factor of q?
True
Suppose -806 = -2*m + 4*w, 3*m = 7*w - 9*w + 1225. Is m a multiple of 83?
False
Let b = 702 - -34. Does 46 divide b?
True
Let y = -240 - -40. Let h = 319 + y. Suppose 5*t - 26 = 4*t - l, -l = -4*t + h. Is t a multiple of 15?
False
Suppose x - 14 = -5*u + 2*u, -5*x + 16 = -3*u. Suppose -r - u*r + 252 = 0. Is r a multiple of 9?
True
Suppose -4*g - 5 - 11 = 0. Is 21 a factor of 2/(8/(-110))*g?
False
Is 7 a factor of 94*(10/(-30) + (-118)/(-12))?
False
Suppose 493 = 2*i - 2133. Is i a multiple of 25?
False
Let t be ((-50)/(-4))/((-10)/20). Let l be (-10)/t + 46/10. Suppose -9*p + l*p = -368. Is 23 a factor of p?
True
Suppose 18*x - 23*x + 140 = -5*v, 4*x = -v + 97. Is 3 a factor of x?
False
Suppose 3*s = 2*s - 5. Let h be ((-6)/2)/(-3) + 0 + 1. Let z = h - s. Is z a multiple of 2?
False
Suppose -2*n - 19 = -3*z, -2*z - 5*n = -0*z. Suppose 4*m - 16 = -4*y, y - 8 = -3*y. Suppose z*h = -2*p + 38, 4*p + p = m*h + 66. Does 3 divide p?
False
Suppose -23*j + 8037 + 54638 = 0. Is 18 a factor of j?
False
Let l(z) = -151*z - 1. Let y be l(-1). Suppose 1084 = 5*n - 3*x, -x = n - 5*x - 210. Let a = n - y. Does 17 divide a?
True
Suppose 4*s - 3736 = -4*q - s, -3*s = 12. Is q a multiple of 54?
False
Let i(p) be the first derivative of 193*p**3/3 + 3*p**2/2 + 2*p + 31. Is i(-1) a multiple of 24?
True
Let r(g) = 2*g**3 - 7*g**2 - 2*g + 4. Let o(d) = 2*d + 4. Let q be o(1). Let l be q - (3 - (0 - -2)). Is 23 a factor of r(l)?
True
Let j = 41 + -39. Is j/20*-5*(-361 - 1) a multiple of 10?
False
Let x be 108 - 1 - (2 + 3). Let l = 36 + x. Is l a multiple of 46?
True
Let m(d) = 13*d + 40. Let r be m(12). Suppose -4*f + 4*t + r = -0*t, -5*t + 223 = 4*f. Is 4 a factor of f?
True
Let h be ((-15)/(-6) + -1)*10. Let v(d) = -d**2 + 12*d + 15. Let j be v(h). Is 2 a factor of j/(-4)*(-4)/(-5)?
True
Suppose 4*c = 2178 - 270. Suppose 3*w + c = 12*w. Is w a multiple of 10?
False
Let n be (-46)/(1/(-7) + 0). Suppose -5*j - 37 = -n. Suppose -5*m = 3*a - 94, 3*m + a + a = j. Does 6 divide m?
False
Suppose 32*y = 41*y - 2052. Is y a multiple of 4?
True
Suppose -4*y + 3*g + 809 + 1446 = 0, g = -5*y + 2795. Is y a multiple of 14?
True
Does 18 divide 1/((0 - (-6931)/990) + -7)?
True
Let c(s) = s**3 - 1. Let z(d) = 6*d**3 - d**2 - 5*d - 1. Let b(u) = 4*c(u) - z(u). Is b(-4) a multiple of 11?
True
Let o = 2 - -95. Is o a multiple of 2?
False
Let h(t) = 6*t**2 - 2*t - 3. Let l(p) = p**3 + 6*p**2 + 2*p - 10. Let c be l(-5). Suppose c*n - 12 = n. Does 15 divide h(n)?
True
Let b be (-5 - (-8 - -3))/1. Suppose 9*f - 6*f + 2*n - 85 = b, 5*f + 4*n - 139 = 0. Does 2 divide f?
False
Let c(h) = h**2 + 11*h + 1. Let d = -39 + 33. Let a be c(d). Let b = a + 49. Is 10 a factor of b?
True
Suppose 5*w + 3*v + 3 = 0, 0 = 2*w + 4*v - 0 + 4. Suppose w = -3*i - i - 40. Let r(b) = b**2 + 10*b + 6. Does 4 divide r(i)?
False
Does 8 divide 2 + 1408 + (4 - 14)?
True
Let a(x) = x**2 - 19*x - 42. Let u be a(19). Let m = u + 57. Is 5 a factor of m?
True
Let a(k) = 11*k**2 + 9*k + 57. Does 49 divide a(9)?
True
Let x be -3 + 13/(26/12). Let z = x - -23. Supp