 c?
False
Let a(x) = -316*x**3 - 4*x**2 - 2*x + 3. Is a(-3) a multiple of 135?
True
Let z(k) = 14*k - 7*k**2 - 69 + 78 - k**3 - 3*k. Let d be z(-8). Is 54 a factor of ((-3834)/(-7))/3 + d/(-35)?
False
Suppose 2*i - 14*m - 810 = -10*m, -5*i = -3*m - 2053. Let s = 557 - i. Is 12 a factor of s?
True
Let r(a) = -12*a**3 - 18*a**2 - 30*a - 90. Is r(-10) a multiple of 20?
False
Let x(l) be the second derivative of l**4/12 + 5*l**3/3 - 33*l**2/2 - 102*l - 4. Suppose -4*u - 80 = u. Is x(u) a multiple of 9?
True
Suppose -2*m + 23556 + 35296 = 0. Is 96 a factor of m?
False
Suppose -5*j = -2*o + 5, j - 15 = -3*o + 6*j. Does 17 divide (o*124)/(-4)*(-3)/6?
False
Let z = -138 - -146. Let u be (-18)/z*-3*3440/45. Let v = u - 244. Is v a multiple of 10?
False
Let r = 2691 - -69. Does 60 divide r?
True
Let b = -9 - -34. Suppose 3*g - 2*g + 20 = -5*q, 4*q + 2*g + 10 = 0. Is 22 a factor of q + (-3 - -5) + b?
True
Suppose -3 = 4*f + 21. Let b(a) = 96*a**2 - 6*a - 7. Let l(u) = -96*u**2 + 5*u + 6. Let q(p) = f*l(p) - 5*b(p). Is 18 a factor of q(-1)?
False
Let f(d) = 3*d**3 + 36*d**2 + 43*d + 57. Let q = 92 - 103. Let j(t) = -t**3 - 12*t**2 - 14*t - 19. Let i(u) = q*j(u) - 4*f(u). Does 39 divide i(-12)?
False
Let m(v) be the third derivative of -v**4/8 + 286*v**3/3 - 74*v**2 + v. Is m(0) a multiple of 44?
True
Let x(g) = -g**2 + 3*g + 2. Let q be x(3). Is 2/10 + (q - 789/(-5)) a multiple of 20?
True
Let t(i) = i**3 + 4*i**2 - 2*i - 6. Let j be t(-4). Let s be (((-972)/(-16))/9)/(j/(-16)). Let x = s - -84. Is x a multiple of 16?
False
Let g(k) = -k**3 + 9*k**2 - 6*k + 19. Let z be g(9). Let n = z + 38. Suppose -3*f - 5*h + 269 = 0, -n*f = -4*h - 184 - 76. Is f a multiple of 8?
True
Let t(z) = -3650*z - 585. Does 40 divide t(-4)?
False
Let l be -2 + ((-16)/4 - -9). Suppose 0 = 2*x, 5*x = -5*d - 0*x + 25. Suppose -5*z + 271 = -l*h + 834, 4*z = -d*h + 926. Does 23 divide h?
False
Suppose -6097 - 47701 = -48*h + 34954. Is 166 a factor of h?
False
Let t(c) = 2*c**2 + 8*c + 8. Let h(i) = 0*i**2 - 47 + 24 + 5*i + i**2. Let u be h(-7). Is t(u) a multiple of 14?
True
Let m(j) be the first derivative of j**4/4 + 14*j**3/3 - 2*j**2 + 15*j - 2. Let c be m(-14). Suppose 28 = h - c. Does 12 divide h?
False
Let a = 849 + -846. Is 9 a factor of a/15 + (85896/(-40))/(-3)?
False
Suppose 2*u + u - 7198 = -4*a, -5*u - 5384 = -3*a. Does 4 divide a?
False
Let i = 37821 + -35155. Is 31 a factor of i?
True
Let b(p) = -3*p + 18. Let s be b(0). Let u(n) = n - 12. Let m be u(s). Suppose -3*w - 147 = -m*w. Is 10 a factor of w?
False
Does 48 divide (-5)/(-20) + 22/8 - -6381*1?
True
Suppose -3*h - 3*q = -726, -q + 4*q + 489 = 2*h. Suppose g + 3*p - h = 6*p, p + 3 = 0. Does 13 divide g?
True
Let u = -90068 + 133163. Does 362 divide u?
False
Suppose -48 = 146*t - 150*t. Suppose -1068 = -5*o - 16*x + t*x, 0 = 4*o - 3*x - 873. Does 36 divide o?
True
Let x = -465 + 1997. Suppose 0 = -4*c - k + 2048, x + 4 = 3*c - 3*k. Does 13 divide c?
False
Let m(x) = 623*x + 8684. Does 25 divide m(54)?
False
Let v(q) = q**2 - 6*q - 11. Let l(a) = a**2 - 11. Let o(i) = -i**2 + i + 11. Let w(g) = 4*l(g) + 5*o(g). Let r(z) = -4*v(z) - 5*w(z). Is 16 a factor of r(-5)?
False
Suppose -g + 7451 = 3*x - 908, 3*g = -2*x + 25091. Is g a multiple of 23?
False
Suppose -b - 447 = -5*g, -b = -2*b + 3. Suppose g = 10*o - o. Does 10 divide o?
True
Let j(s) = 293*s**2 - 60*s + 123*s - 62*s. Is j(1) a multiple of 9?
False
Does 49 divide 26/(-312) + 122548/48?
False
Let w be 3/(4/(18 - -2)). Suppose w*d = 18*d + 54. Let k = d - -95. Does 30 divide k?
False
Let b = 356 + -327. Suppose -b*u + 385 = -22*u. Does 3 divide u?
False
Suppose 4 = 7*w - 171. Suppose -3 = -s - w. Does 23 divide (-1346)/(-22) - (-4)/s?
False
Let j = 4296 - 2459. Does 130 divide j?
False
Suppose 1382*w = 1366*w + 47280. Is 15 a factor of w?
True
Let q = 9482 + -1953. Is q a multiple of 19?
False
Does 14 divide 63344/14 + 1272/(-2226)?
False
Let t(o) = -o**3 + 46*o**2 + 10*o + 52. Let a(h) = 3*h**3 - 92*h**2 - 19*h - 105. Let v(s) = -2*a(s) - 5*t(s). Is v(-46) a multiple of 15?
False
Let l(i) = -36*i**3 - 2*i**2 + 71*i + 74. Is 18 a factor of l(-8)?
False
Let a(q) = -q**2 + 25*q + 13. Let n(i) = -i**3 - 6*i**2 + 6*i + 1. Let r be n(-7). Let j be (r - 2) + 3 + 3. Is 10 a factor of a(j)?
False
Let i = 31 + -49. Let m = i + 206. Does 25 divide m?
False
Let m = -2962 + 6589. Is 39 a factor of m?
True
Let z = 104 + -153. Let r = 52 + z. Suppose 0 = -r*i - 45 + 93. Is i a multiple of 2?
True
Does 5 divide 1917 + 24/(-2) + 23?
False
Let x = 1234 - 451. Does 75 divide x?
False
Suppose 5758 - 1966 = 2*n - 2*b, -7552 = -4*n - 4*b. Does 16 divide n?
False
Let s be (-11178)/(-15) - (-18)/(-90). Let y = 970 - s. Is y a multiple of 25?
True
Let q(a) be the third derivative of -a**5/60 - a**4/2 - 17*a**3/6 - a**2. Let l = -3323 - -3316. Is q(l) a multiple of 9?
True
Let k = -10 + 14. Suppose -3*t = -k*y - 0*t + 13, -4*y - t = -17. Suppose -y*l + 832 = 2*g, 5*l = -2*g - g + 1040. Is 26 a factor of l?
True
Let y(k) = -5*k**2 - 14*k + 9. Let t be y(-6). Let c = 89 + t. Suppose -c*v - 2*w + w + 127 = 0, 0 = -3*w - 15. Is 20 a factor of v?
False
Let u(a) = 20*a**2 + 4*a. Let g be u(-1). Suppose -982 = -g*f + 2634. Is 3 a factor of f?
False
Let o(i) = -27*i**3 - 42*i**2 - 2*i - 12. Is o(-6) a multiple of 45?
True
Let u(g) be the second derivative of 21*g**5/10 - g**4/12 + g**3/2 - g**2/2 - 9*g. Suppose b + 2*b - 1 = m, -4*b - m = -6. Is u(b) a multiple of 12?
False
Suppose -3*y + 1392 = 9*y. Let z = -103 + y. Is z a multiple of 2?
False
Let q be (1 - (-3)/(-6))/((-6)/72). Is 5 a factor of (1/5*q)/(12/(-1480))?
False
Let d(q) = 12*q**2 - 8*q - 71. Let h be d(-10). Let i = h + -529. Is i a multiple of 65?
False
Suppose -s - k + 837 = 0, -12*k = -2*s - 16*k + 1670. Let l = s - 158. Is l a multiple of 39?
False
Let n = 64 - 67. Let q be 3/(-3)*n/((-2)/2). Is -1 + 396/(q/(-1)) a multiple of 12?
False
Let l = 2666 + 538. Does 18 divide l?
True
Let g(z) = -z**3 + 9*z**2 - 5*z - 20. Let w be g(8). Suppose -976 = -w*d + 4*k, 2*k = 4*d + 104 - 1078. Let a = d - 149. Is 7 a factor of a?
False
Suppose -7 = -4*j + 9. Suppose 1490 + 238 = j*l. Does 59 divide l?
False
Suppose i = 3*z - 276, -4*z + 4*i + 366 = 2*i. Let p = 96 - z. Suppose 0 = -p*d - 2*d + 45. Is 2 a factor of d?
False
Let l(k) = -43 + 355*k + 10 - 375*k. Is l(-9) a multiple of 21?
True
Let o(n) = -5*n**3 - n**2 + 158*n + 4. Is 152 a factor of o(-13)?
False
Suppose 3*g - 21099 = -5*q, 2*g - 14065 = 6*q - 9*q. Is g a multiple of 14?
True
Suppose -36 = -6*t - 18. Suppose -49 = -t*f + 41. Is 10 a factor of f?
True
Let i(k) = 19*k + 7. Let d be i(6). Let t = -107 + d. Is 10 a factor of t?
False
Let v(b) be the third derivative of 23*b**4/24 - b**3 + 133*b**2. Let x be (-2)/6 + 38/6. Is v(x) a multiple of 19?
False
Suppose -4*x + 25 - 81 = 0. Let d(j) = -3*j**2 - 43*j + 31. Does 3 divide d(x)?
True
Suppose -2*w + 321 = -4757. Suppose 14*k - w = 3271. Is 33 a factor of k?
False
Suppose 12*f - 15181 = -5*f. Suppose p = -3*u + 5*p + 651, 3*p - f = -4*u. Is u a multiple of 17?
True
Let d be (-60)/(-75)*345/(-6). Is 32 a factor of d/(-69) - (-3459)/9?
False
Suppose 22*z + 258 = 28*z. Suppose 5*r - 2*c = z, -2 - 18 = 5*c. Does 7 divide r?
True
Let l(j) be the third derivative of j**6/40 - 2*j**5/15 + j**4/4 + 2*j**2 + 5. Is l(7) a multiple of 14?
False
Suppose 26*p - 1174267 = -140949. Does 13 divide p?
False
Let w(y) = 9 - 6 + 104*y**2 + 4*y + 84*y**2. Let k be w(-1). Suppose 5*z = 453 + k. Does 29 divide z?
False
Suppose 4*f - 24 = 2*z - 0*z, -3*z - 3 = 5*f. Let b(y) = -4*y**3 - 2*y**2 + y - 30. Does 14 divide b(z)?
True
Suppose 0 = 62*q - 71*q + 549. Is q a multiple of 3?
False
Is 28 a factor of 306/(((-4)/(-91))/(1455/105 - 13))?
False
Let t(j) = 6*j**2 + 79*j + 18. Let w be t(-13). Suppose -w*o - 3*c + 5987 = 1222, o + 5*c = 975. Is 70 a factor of o?
False
Let z be (-1 - 0)/(6/(161 + 1)). Let j = 95 + z. Suppose 304 = j*k - 66*k. Is 26 a factor of k?
False
Let b = 526 + -640. Let n = 140 + b. Is n a multiple of 26?
True
Let k = -821 - -2042. Does 33 divide k?
True
Let i be -1 + (-5 - 0) - -606. Suppose 0 = -2*k + 10*k - i. Does 25 divide k?
True
Let l = -7520 - -11467. Is 12 a factor of l?
False
Suppose -7*b + 14*b + 1589 = 0. Let i = 