4 - (4 + -1)?
False
Let k(i) = 51*i**2 + i - 8. Suppose 0 = -v - 4, 10 = j - 5*v - 15. Does 12 divide k(j)?
True
Suppose 2*h - 732 = 4*u - 9054, -2*u + 4159 = h. Suppose 0 = -35*y + 25*y + u. Is 26 a factor of y?
True
Suppose 18*c + 61725 - 305931 = 0. Does 22 divide c?
False
Let q(m) be the second derivative of -31*m**4/6 + m**3/3 + m**2 - 3*m. Let d be q(-2). Let x = d + 420. Does 34 divide x?
True
Let d be (-246)/(-2) + -1 + 2. Suppose -4*u = -4*h - d, 2*u = h + 4*h + 71. Let k = u - -2. Is k a multiple of 20?
False
Let v = 6278 + -4730. Is 36 a factor of v?
True
Suppose 0 = 5*a + w - 1505, 101*w - 1205 = -4*a + 100*w. Does 3 divide a?
True
Let g(b) = 190*b - 61. Let x be g(6). Let a = 1588 - x. Is 6 a factor of a?
False
Suppose h = 4*h + j - 16, -41 = -3*h + 4*j. Let t be 2/(-5) + (-82)/(-5). Let b = t - h. Is 2 a factor of b?
False
Suppose 0 = -13*n + 17458 + 15055. Does 7 divide n?
False
Suppose 5*a - a = 16. Let w = -2571 - -2894. Suppose -5*k + 5 = -a*k, 3*g + k - w = 0. Does 6 divide g?
False
Let y(c) = 7*c**3 - 25*c + 39. Does 22 divide y(12)?
False
Let s = -26804 + 50879. Is s a multiple of 15?
True
Let l(q) = q**3 - q**2 - 7*q + 5. Let i be l(3). Suppose i*g = g + 317. Let z = g + -173. Is z a multiple of 9?
True
Let z = -8790 - -17490. Is z a multiple of 50?
True
Let c(k) = 7*k + 68. Let g be c(-21). Let b = g - -300. Is 29 a factor of b?
False
Let k be (-378)/36*4/6. Let x(h) = h**2 + 5*h - 10. Let a be x(k). Suppose -a*f + 38 = 5*q, f + 3*f = 3*q + 54. Is f a multiple of 6?
True
Let u(q) = -1563*q**3 - 7*q - 6. Is 5 a factor of u(-1)?
False
Let a = -150 + 254. Let f be -1 + a + (-7 - -3). Suppose -y = -3*j - f, 0 = -5*y - 6*j + j + 595. Is y a multiple of 19?
True
Does 80 divide (96/5)/(1431/1550250)?
True
Let q = -65 + 186. Suppose -y - 2*y = 246. Let s = q + y. Does 32 divide s?
False
Suppose 10*x + 10 - 50 = 0. Suppose -3*j + 6*j + 2*v - 9 = 0, -x*v = j + 7. Suppose -633 = -j*u - 2*h + 4*h, h = -u + 128. Is 31 a factor of u?
False
Let d(f) = 3*f - 7. Let v be d(4). Suppose 7*l + 10 = v*l. Let m(q) = -12*q - 3. Does 13 divide m(l)?
False
Let r = -60 + 64. Suppose r*y - y - 6 = 0. Suppose y*f - 36 = w, -4*f - 2 = 2*w - 90. Is 20 a factor of f?
True
Let i be (-4 - -3)*(12 - 4). Let f(q) = -q**3 - 9*q**2 - 17*q - 8. Does 16 divide f(i)?
True
Let w(p) = -275*p - 2029. Is 35 a factor of w(-46)?
False
Let z = 183 + -539. Let o be -2*(2/4 - z/(-8)). Suppose 4*f + 4*f = o. Does 2 divide f?
False
Let v(x) = -6*x - 98 + x**2 - 97 + 189. Let t be v(7). Is 3 a factor of (t - 16 - -3)/(-2)?
True
Suppose 2*x + 0*x = -3*o + 105, -2*o = x - 52. Suppose -53*k + x*k = 88. Suppose 9*m = 128 + k. Is m a multiple of 12?
True
Let w = 52 + -183. Let h = -126 - w. Suppose -b + 117 + 31 = 4*m, -h*m - 4*b = -196. Is m a multiple of 4?
True
Suppose 4*f - 22 = f + 2*z, 2*f = -3*z + 6. Suppose x = 5*k + 181, f*k + 20 = 2*k. Is x a multiple of 39?
True
Is 15 a factor of (12 - 8) + 5964 + 7?
False
Suppose 129*d - 109890 - 552267 = 0. Does 41 divide d?
False
Let k(v) = -8*v**3 + 23*v**2 - 21*v - 26. Let w(h) = -2*h**3 + 8*h**2 - 7*h - 9. Let m(a) = 6*k(a) - 17*w(a). Is 4 a factor of m(-2)?
False
Let d(q) = q**2 + 15*q - 26. Is 2 a factor of d(13)?
True
Suppose 0 = 5*k + 3*v - 852, -v = 3*k - 5*k + 332. Let s be 3/(k/7) + (-2514)/16. Let d = s - -265. Does 12 divide d?
True
Let b(s) = -s**3 + 5*s**2 - 17*s + 1204. Does 338 divide b(-21)?
False
Suppose -9*i + 13*i - 220 = 0. Suppose 5*m + 6*m - i = 0. Suppose -2*d + 2*h = 18 - 42, 0 = h - m. Does 4 divide d?
False
Suppose -9*y + 8*y - 4*w = -719, 2876 = 4*y - w. Suppose -10*t = 59 - y. Is t a multiple of 7?
False
Let h(n) = n**3 - 38*n**2 + 105*n - 2. Let g be h(35). Is (825/10)/(g/(-8)) a multiple of 10?
True
Suppose 0 = -45*u + 1008058 + 1078412. Is 194 a factor of u?
True
Let w = 12732 - 8385. Is w a multiple of 27?
True
Suppose -30*j + 26*j = -100. Suppose j = 4*s + s. Suppose 0 = s*a + a - 366. Is 30 a factor of a?
False
Suppose 0 = 7*h + 14, -32*i = -27*i - 5*h - 224920. Does 25 divide i?
False
Let o(z) = z**2 - 3*z + 7. Let v be o(6). Suppose 2*g = -v - 37. Let k = 43 + g. Does 12 divide k?
True
Suppose -59*o = -57*o - 174. Suppose 88*v = o*v + 90. Is v a multiple of 6?
True
Suppose -2*n = -4*y - 1296 + 292, 3*n = 2*y + 1510. Is 21 a factor of n?
True
Let s(u) = 407*u**2 + 519*u + 9. Is s(-4) a multiple of 9?
False
Let n(i) = -4*i**3 - 3*i**2 - 30*i - 178. Is n(-9) a multiple of 35?
True
Suppose -498*f = -500*f + 66. Suppose 0 = 3*k + f*k - 11412. Is k a multiple of 7?
False
Let l be -24 - (5/5 - 0). Is (-1 - 74)*-1*(-10)/l a multiple of 5?
True
Let c be (-700)/(-15) - 8/(-6). Let h be (1 - 4)/(c/(-4480)). Suppose 0 = -j, 5*t + 6*j = j + h. Does 14 divide t?
True
Let i(w) = 15 + 22*w + 109 - 3*w. Does 25 divide i(6)?
False
Let g = 2466 + -1397. Does 5 divide g?
False
Suppose u + 9871 = 2*g, 5*u = 11*g - 8*g - 14789. Does 159 divide g?
False
Suppose -80*l - 33120 = -112*l. Does 2 divide l?
False
Let j(b) = -27*b**3 - 94*b**2 - 986*b - 33. Is j(-11) a multiple of 22?
True
Let s(r) = 566*r - 17. Let b be s(10). Suppose 11*g - 22*g + b = 0. Suppose -5*n + g + 187 = 0. Is 20 a factor of n?
True
Does 31 divide (-31*(-8 + 10))/(3 - (-5974)/(-1990))?
True
Let c(z) = 4*z**2 - 26*z + 23826. Does 57 divide c(0)?
True
Let i be 20/(-90) - (-583)/(-9). Let v = 23 - i. Suppose -4*b = 5*w - w - v, 2*b - 68 = -3*w. Is 8 a factor of w?
True
Suppose 15 = -3*h, 3*g = g + h + 5. Suppose 12*d + g*d - 1476 = 0. Let t = -42 + d. Is 12 a factor of t?
False
Let i(y) = y - 12*y**3 + 11*y**2 - 5*y + 11*y**3 + 9. Is i(6) a multiple of 33?
True
Suppose 0 = -0*g - 18*g + 91008. Suppose -24*a + 8*a + g = 0. Does 33 divide a?
False
Let h be (4 - 11)*2/(-14)*2. Suppose -x - 3 - 8 = -3*d, -h*d + 4 = x. Suppose -l + d*g + 122 = 5*g, g = 5*l - 654. Is 13 a factor of l?
True
Let p(f) = -f + 5. Let y be p(5). Suppose y = 42*g - 38*g - 16. Is 980/12 - 1 - g/6 a multiple of 16?
True
Let h = -180 - -93. Let q = 67 - h. Does 22 divide q?
True
Suppose 0 = 3*l + 4*a - 1106, -3*a = -l - 49 + 422. Is l a multiple of 14?
False
Suppose 38*p + b - 458 = 37*p, 0 = -5*b. Is p a multiple of 2?
True
Let t = 199 - -3052. Does 37 divide t?
False
Let z(b) = b + 3. Let j be z(-2). Let y be (-48 + 0)/(5/15 - j). Suppose 0*o - y = -2*f - 2*o, o + 36 = f. Is f a multiple of 36?
True
Suppose -34*v - 10 = -k - 35*v, -5*v = -25. Suppose 3*b - 9 = 0, 0 = -k*d - 34*b + 31*b + 5889. Is 24 a factor of d?
True
Let x(s) = -170*s + 120. Let u(q) = -10*q + 7. Let n(y) = -70*u(y) + 4*x(y). Is 29 a factor of n(15)?
True
Let b(y) be the second derivative of 41*y**3/6 + 25*y**2/2 - 56*y. Is b(7) a multiple of 24?
True
Let g(z) = z**2 + 4*z - 3. Let c be g(-6). Let p = -337 - c. Is (-3)/(-6) + p/(-4) a multiple of 40?
False
Let n be -1 + (-2 - -1) - -21. Suppose 0 = -26*h + n*h + 602. Is 10 a factor of h?
False
Let a(p) = p**2 - 12*p - 47. Let h be (6/(-1))/((-3)/9). Is a(h) a multiple of 2?
False
Is ((-3931428)/(-84) - (-20)/(-28)) + -3 a multiple of 10?
False
Suppose 4*d + 32 = -4*d. Does 57 divide d/6 + (-4110)/(-9)?
True
Suppose -5*j = 3*v - 110, v + 5*j + 100 = 5*v. Let s(h) = 15*h + 8*h - v - 35*h + 16*h. Is 14 a factor of s(17)?
False
Let d(j) = 2*j + 2627. Does 71 divide d(0)?
True
Let w(t) be the second derivative of 23/6*t**3 - 7/2*t**2 + 3*t + 0. Is 14 a factor of w(7)?
True
Suppose -899880 = -68*z + 863700. Is 19 a factor of z?
True
Let t be (-2)/12 + 161/(-6). Let b be (4 - t/12*-2)*0. Suppose -3*u + 4*x + 830 = b, -3*u + 4*x + 820 = 2*x. Does 27 divide u?
True
Suppose 18*w - 2*f = 22*w - 9990, -2*f - 12510 = -5*w. Is w a multiple of 161?
False
Let p(m) = 3*m**2 - 6*m - 19. Let q be ((-4392)/81)/(-8) - 4/(-18). Does 43 divide p(q)?
True
Let g be (-3)/(-3)*(-3)/3. Let o(h) = 24*h + 5. Let w be o(g). Let t(x) = -x**2 - 22*x - 23. Is t(w) a multiple of 7?
False
Let h(m) = 2*m**2 - 4*m + 5. Suppose w - 1 - 3 = 2*l, -4*w = -5*l - 13. Let o be h(w). Suppose 3*v = 5*f - 367, -f - o*v = f - 153. Is f a multiple of 37?
True
Suppose 5*l + 3*v - 17889 = -0*v, -l + 3591 = 5*v. Suppose l = 9*d - d. Is 46 a factor of d?
False
Let b(o) = 27*o + 38. Suppose -18 - 12 = -6*p. Is 11 a factor of b(p)?
False
Let f = 8454 + -4102. Does 64 divide f?
True
Is 40 a factor of (((-32)/(-5