 c?
False
Let j(b) = -b + 97. Is j(20) a multiple of 37?
False
Suppose -72*j + 202 = -70*j. Does 32 divide j?
False
Let l(v) = -v**3 - 15*v**2 - 40*v + 22. Is l(-12) a multiple of 19?
False
Suppose 10*t - 3*t - 21 = 0. Suppose -t*u + 55 = -0*u - b, 0 = -u - 5*b + 45. Is 3 a factor of u?
False
Suppose -r + 4*s - s = -195, -3*r + 624 = 4*s. Is r a multiple of 12?
True
Let f be (-130)/(-14) + (-6)/21. Suppose -2*b = 6, -f - 45 = -u - 3*b. Is u a multiple of 9?
True
Let k be ((-1)/2)/((-2)/20). Suppose -476 + 6 = -k*p. Is p a multiple of 18?
False
Suppose -3*l - 4*q - 3 = 2, -2*q = -2*l + 20. Suppose -4*t + 2*t + l*p + 126 = 0, 0 = -5*t - 4*p + 315. Does 26 divide t?
False
Suppose 0 = 431*h - 428*h - 840. Is h a multiple of 28?
True
Suppose v - 10 = -5*f, -4*v = -0*v + 20. Let l be (-3)/(f + 54/(-16)). Let x = 2 + l. Is x a multiple of 10?
True
Suppose -4*b = 3*c - c + 2, 3*b + 1 = -2*c. Let g be (6 - (6 + -3))/b. Let o(w) = -4*w + 1. Is o(g) a multiple of 13?
True
Suppose 8*p - 3238 = 4642. Is 45 a factor of p?
False
Let s(v) = -v**2 + 11*v - 7. Let x(q) = -q**3 - 10*q**2 - 12*q - 6. Let c be x(-9). Suppose -4*i = -i - c. Is 9 a factor of s(i)?
False
Let v be 208/36 - 2/(-9). Let u be 51/(-2) + v/(-4). Is ((-9)/u)/(2/48) a multiple of 8?
True
Let t(m) = 2*m**2 - 38*m - 87. Is 17 a factor of t(29)?
True
Suppose 4*s - 998 = -k, k = 2*k - s - 978. Is k a multiple of 16?
False
Suppose 0 = -2*b - 5*p + 8*p + 253, -5*b = -5*p - 635. Does 8 divide b?
True
Suppose 0 = -2*q - 5*f + 19, 2 = 4*q - 2*f - 0*f. Let w be (3/2)/(q/20). Is (-3)/15 - (-78)/w a multiple of 3?
False
Let p(g) = g**2 - 8*g - 19. Let s be p(11). Suppose -10*w + s*w - 576 = 0. Does 7 divide w?
False
Let a(d) = -3 + 9*d - 11 - 7*d. Let q(n) = 3*n - 27. Let f(w) = 7*a(w) - 3*q(w). Does 24 divide f(11)?
False
Let a(v) = v. Let l be a(-5). Let g(m) = 2*m + 6 + 2*m + 6*m**2 - 16*m**3 + 17*m**3. Is 11 a factor of g(l)?
True
Let m(g) = -2286*g**3 - 5*g**2 - 12*g - 7. Does 20 divide m(-1)?
False
Suppose -y = -6*y. Suppose -3*n + 36 + 111 = y. Is 7 a factor of n?
True
Let t(w) = 24*w**3 - 5*w**2 + 11*w + 9. Does 2 divide t(3)?
False
Suppose -4*y = -8, 0*n - 2*y = -3*n + 869. Let k = -183 + n. Suppose 6*r = k - 6. Is r a multiple of 17?
True
Suppose 0 = -i - 12 + 17. Suppose -g - 608 = -0*f - 3*f, 0 = -i*f - 5*g + 1040. Does 18 divide f?
False
Suppose 3145 = 5*v - 2*r, 4*v - 2*r - 1747 = 771. Suppose 5*o - 178 = v. Suppose 0 = -5*h - 2*s - 68 + 228, 5*s + o = 4*h. Does 17 divide h?
True
Let a = -1 - -12. Suppose -3*w = 3*r - 39, -5*r + a + 4 = 0. Suppose -2*s + 56 = n + w, 89 = 2*n + s. Is n a multiple of 22?
True
Suppose 0 = 5*a + 3*t - 2958, 2*a = 3*t - 7*t + 1186. Is a a multiple of 3?
True
Suppose 3*a = 4*h - 73 - 136, 5*h + 5*a - 270 = 0. Let t = -61 + 24. Let p = t + h. Is 16 a factor of p?
True
Let v = 12 + -6. Let g be ((-8)/12)/(v/(-27)). Suppose 3*j = g*z + j - 28, 5*j + 25 = 3*z. Is z a multiple of 10?
True
Let o(t) be the first derivative of t**5/20 - 5*t**4/6 - 3*t**3/2 - 7*t**2 - 4*t - 10. Let n(q) be the first derivative of o(q). Is n(11) a multiple of 2?
True
Suppose -8*k + 9*k + 328 = 0. Is 4/20 - k/10 a multiple of 2?
False
Let j = -179 - -145. Suppose -g + 5*d = -76, 0*d + 3*d + 192 = 3*g. Let s = g + j. Is s a multiple of 9?
True
Is (9/(-4))/((-15)/1180) a multiple of 24?
False
Suppose 0 = -67*p + 65*p + 850. Does 17 divide p?
True
Suppose -3*m + 3 = -3. Let r(j) = 4*j**3 - 2*j**3 - j - j**3 - 7 - j + 8*j**m. Does 5 divide r(-8)?
False
Let y(f) = 5*f**3 - 6*f**2 - 5*f + 34. Let b(q) = -9*q**3 + 13*q**2 + 9*q - 69. Let p(r) = -6*b(r) - 11*y(r). Does 2 divide p(-12)?
True
Suppose 2*x - 3*u - 5 - 13 = 0, 0 = x + 2*u - 16. Suppose -17*o + x*o = -65. Is o a multiple of 4?
False
Let i = 25 - 21. Suppose 457 = i*q + k, 2*q - 2*k = 172 + 44. Is q a multiple of 29?
False
Let k be (35/2 - 3)/(5/10). Suppose -35*c + 654 = -k*c. Is 14 a factor of c?
False
Let l = -329 + 610. Suppose 379 = 3*f - b + 123, 4*b = -3*f + l. Does 5 divide f?
False
Let h(j) = -j**3 + 8*j**2 + 12*j - 7. Let i = 13 + -4. Does 17 divide h(i)?
False
Let u(n) be the third derivative of -1/60*n**5 + 0 + 2*n**3 - n**2 + 0*n + 7/12*n**4. Does 4 divide u(14)?
True
Let r(o) = -3*o + 31. Let q(j) = 5*j - 62. Let y(a) = -4*q(a) - 7*r(a). Does 8 divide y(16)?
False
Suppose -15*h + 5689 = 3*u - 11*h, -3*u - 3*h = -5685. Is 31 a factor of u?
True
Let u = 22 - 23. Let m be 0 + 4 + u + -2. Let x(q) = 24*q**3 + q - 1. Does 6 divide x(m)?
True
Let f = -4 + -3. Let c(l) = l**3 + 5*l**2 - 3*l + 9. Let m be c(f). Let b = -40 - m. Does 11 divide b?
False
Suppose 3*y + 4*u - 55 = 0, 3*y - 2*u - 35 = 50. Let b = y + -15. Is (-20)/(0 + b/(-5)) a multiple of 7?
False
Suppose d + 3*d - 8 = 0. Suppose 6*x - d*x + 4 = 0. Does 28 divide 82 - (0 + (x - -2))?
False
Suppose 0 = g + a - 1590, 18*a - 20*a = 8. Does 47 divide g?
False
Suppose 4*f + 141 + 5507 = 0. Is 10/(-45) + f/(-36) a multiple of 13?
True
Let v(s) = -2*s**2 + 2*s + 7. Let c(n) = -4*n**2 + 4*n + 15. Let w(m) = 4*c(m) - 9*v(m). Let b = -233 + 238. Is w(b) a multiple of 14?
False
Let s be 3/4 - 387/(-12). Is (-1)/(-2) - s/(-2) a multiple of 6?
False
Suppose 0 = -h - 4, -2*w - 4*h + 93 = 7. Let z(k) = k + 33. Let v be z(-5). Let x = w - v. Is 7 a factor of x?
False
Let p(z) = z**3 + 5*z**2 + 3*z - 8. Let v be p(-4). Let t(g) = -g**3 - 3*g**2 + 3*g - 2. Let a be t(v). Is (-15)/((-3)/6*a) a multiple of 5?
True
Suppose -187*o = -172*o - 9030. Is 73 a factor of o?
False
Suppose -115*t + 95*t = -6600. Is 33 a factor of t?
True
Let p be 7992/33 + 2/(-33)*3. Suppose t - 4*o = -3*o + p, -3*o = 6. Is t a multiple of 12?
True
Let y(j) = 6*j**3 - 3*j**2 + 4*j - 2. Let v be y(2). Suppose -3*x + 5*c = -43 - 27, x = -3*c + v. Does 15 divide x?
True
Let u(h) = 2*h**2 + 15*h + 27. Suppose 5*b - 3*q + 72 = -5*q, b = 5*q - 9. Is u(b) a multiple of 19?
True
Let s(f) = 3*f**2 + 25*f - 7*f - 43*f - 5*f**2 + 9. Is s(-12) a multiple of 5?
False
Let g be ((10/(-8))/(-5))/(3/36). Let x be 18/2*10/(-6). Is 7 a factor of (-170)/x*g/2?
False
Suppose 4 + 74 = 3*k. Is (k/3)/((-48)/(-72)) a multiple of 13?
True
Suppose 0 = 4*y - 4*v + v - 10, 6 = 3*y - 3*v. Suppose -y*t + 12 = 4. Suppose t*m - 116 = -2*b, 2*m + 244 = 3*b + b. Is 17 a factor of b?
False
Let a = 5 - 5. Let y be 1*10 + (a - 1). Suppose -2*x = -5*x + y, -2*w - x + 151 = 0. Is 28 a factor of w?
False
Let l(o) = 7*o**3 + 9*o**2 - 3*o - 1. Let q(x) = -20*x**3 - 26*x**2 + 8*x + 3. Let b(p) = 11*l(p) + 4*q(p). Is 37 a factor of b(-4)?
False
Let n be (12/(-21))/((-2)/7). Is (-94*n)/4*-1 a multiple of 14?
False
Let z = 404 - -16. Does 15 divide z?
True
Suppose -24*t = -3659 + 1115. Is t a multiple of 13?
False
Suppose -4*i - 5*x = -1177, -2*i - 38*x + 39*x + 571 = 0. Does 18 divide i?
True
Does 5 divide (1 - (3 + -8)) + 79?
True
Let u(w) = -w**3 - 44*w**2 + 93*w + 65. Let g be u(-46). Let l = -8 + 45. Let a = g + l. Is a a multiple of 28?
True
Suppose -9*v = -5*v - 28. Suppose -2*p = -v*p + 95. Is 7 a factor of p?
False
Suppose 2*u + 2*q = 4, 2*q - 4 = -2*u + q. Let z = -8 + 13. Suppose 7*v = 3*m + u*v - 197, v = z*m - 343. Is 23 a factor of m?
True
Suppose 3*g + j = 394, 2*g + j + 46 = 309. Does 6 divide g?
False
Is 476/6*(-216)/(-84) a multiple of 15?
False
Let h = -134 + 458. Is 36 a factor of h?
True
Suppose 0 = 3*k + k. Suppose 4*h + k*h - w - 368 = 0, 0 = -3*w. Is h a multiple of 32?
False
Suppose 4*b = -0*b - 12. Let y be ((-16)/b)/(6/(-288)). Does 10 divide y/(-26) + (-8)/(-52)?
True
Let q = 2 + -6. Let o(x) = 5*x**3 + x**2 + 5*x + 6. Let s(y) = 6*y**3 + y**2 + 5*y + 7. Let p(z) = 7*o(z) - 6*s(z). Is 30 a factor of p(q)?
True
Suppose 4*q = q + 12. Suppose 5*g = -0*a - q*a - 4, 5*g + 16 = -a. Is 8 a factor of 4 + -4 + g - -20?
True
Suppose 0 = -0*q + 3*q - 3*p - 600, -3*p = q - 192. Is q a multiple of 22?
True
Let b be 2 + (-3 - 1)*1. Let o be (-2)/1*1*-1. Is 35 + (-5 - b/o) a multiple of 6?
False
Let n(h) = -6*h - 128 + 135 + 13*h. Does 21 divide n(14)?
True
Suppose y - 10*y + 126 = 0. Is y a multiple of 7?
True
Suppose -3*z = 33*j - 35*j + 283, -3*z - 3 = 0. Is 20 a factor of j?
True
Suppose 0 = -k + 4*k + 9, 0 = 4*g - k - 59. Suppose g*w - 12*w = 140. Is w a multiple of 35?
True
Suppose -1258 = -7*v - 47. Suppose -v + 32 = -3*y. Is y a multip