12?
False
Suppose 3*q - 31 = -46. Let i(m) be the first derivative of m**4/4 + 5*m**3/3 - m**2 + 5*m - 1. Is 4 a factor of i(q)?
False
Let g = 100 + -720. Let a = g - -974. Is 60 a factor of a?
False
Let w(h) = 59*h**3 - 2*h**2 + h - 11. Is w(3) a multiple of 23?
False
Let n(s) = -24*s**3 + s**2 + s. Let h be n(-1). Suppose -h + 184 = 4*y. Suppose -4*r - y = -8*r. Does 3 divide r?
False
Let n = 8623 - 7820. Does 3 divide n?
False
Let a be (3 + 4)*3 - 5. Let n be -16 - (a/(8/(-2)) - -2). Let z(d) = -8*d - 42. Does 14 divide z(n)?
True
Let v(x) = -x**2 + 48*x + 63. Let u be v(22). Let y = u - 235. Does 9 divide y?
False
Let j = 26881 - 15475. Is 6 a factor of j?
True
Let z(r) = 34*r + 2023. Is z(12) a multiple of 13?
True
Let c(m) = -30 + 42*m + 2*m**2 + 6*m**2 + m**2 - 7*m**2. Does 34 divide c(-25)?
True
Let b(f) = -8*f - 45. Let m(x) = x**2 + x - 1. Let d(t) = 4*t**2 + 9*t + 15. Let l(v) = d(v) - 5*m(v). Let z be l(8). Is b(z) a multiple of 17?
True
Suppose 53*i + 130*i = 17*i + 9549648. Does 197 divide i?
False
Suppose -599 = 6*o - 5951. Let r = o + -295. Is r a multiple of 28?
False
Let r = -43 + 56. Suppose -2615 - 1818 = -r*p. Is p a multiple of 31?
True
Suppose -4*o - 2*v + 295 = 57, -4*o = 4*v - 236. Suppose 0 = a - 117 - o. Does 49 divide a?
False
Suppose 0 = -3*n - 2*v + 126, -2*v + 4*v = 0. Does 5 divide (n - (-6 - -9)) + 6?
True
Let a(q) = 16*q**3 - 6*q**2 + 183*q - 1612. Is 274 a factor of a(10)?
True
Let h(b) = b**2 + 21*b + 529. Is 79 a factor of h(-55)?
False
Let g(r) = 2*r + 1. Let k be g(1). Suppose -k*v + 559 = -2*v. Is 21 a factor of v?
False
Let k = -2 - -2. Let g = 274 + -43. Suppose 4*w + 5*y - 38 - g = k, 0 = -3*w - 5*y + 198. Is 9 a factor of w?
False
Suppose 24 = -13*o + 16*o. Does 4 divide 36 - 4*(26/o - 4)?
False
Let n be 594/(-45)*((3 - 74) + -4). Suppose -16*l + n = -10*l. Is 9 a factor of l?
False
Suppose 0 = d - 320 - 234. Suppose 5*r - 7*r = -d. Let o = 394 - r. Does 13 divide o?
True
Let c(b) = 2*b**2 - 5*b - 18. Let t(u) = 2*u**2 - 6*u - 17. Let p = 1 + -5. Let z(m) = p*c(m) + 3*t(m). Is 2 a factor of z(0)?
False
Let m(h) = h + 8. Let f be (-10)/4*48/30. Let r be m(f). Suppose 0 = -r*i + 2*i + 16. Is i a multiple of 2?
True
Suppose 4*m - 7505 = -l - 4*l, 0 = -m - 2*l + 1874. Does 10 divide m?
True
Let i(d) be the third derivative of 1/6*d**4 + 1/60*d**5 + 0*d + 0 + 5/2*d**3 + 11*d**2. Is 12 a factor of i(-9)?
True
Suppose -16*i = -15*i + 2*q - 1670, -4*i + 6725 = -q. Does 48 divide i?
True
Suppose -34*h - 5*r = -32*h - 41, -r = 5*h - 45. Suppose -3*g - 5*y + 799 = 0, 0 = 4*g - h*g + y + 1096. Is g a multiple of 10?
False
Let z(m) = -860*m + 2071. Is 23 a factor of z(-5)?
True
Suppose -86*m + 224086 = -223630. Does 52 divide m?
False
Let z(m) = 7491*m - 709. Does 85 divide z(3)?
False
Let n = 5275 - -8538. Does 113 divide n?
False
Let b = -184 + 1254. Suppose 39*y - b = -368. Is y a multiple of 9?
True
Let a = 142 - -119. Suppose -216 = 3*x - a. Is 8 a factor of x?
False
Let o(r) = -11*r**2 + 11. Let g(h) = 12*h**2 + h - 11. Let m = 17 - 22. Let x(p) = m*o(p) - 4*g(p). Is 24 a factor of x(5)?
True
Suppose m - 37 = -5*v, -8*v + 48 = 2*m - 11*v. Is (m/4 - 5)*544 a multiple of 28?
True
Suppose -3*g = 3*c - 1050, -706 = -351*g + 349*g + 4*c. Is g a multiple of 149?
False
Let g be (2 + -1 - -48)*3/1. Let b = 397 - g. Is 11 a factor of b?
False
Let u(w) = -316*w + 2512. Does 98 divide u(-25)?
False
Suppose -4*j + 2153 = -5*m, -4*m + 2640 = -156*j + 161*j. Is j a multiple of 14?
True
Suppose 4*v + 8*g = 4*g + 24292, -12*v + 72862 = -2*g. Is v a multiple of 23?
True
Let w(b) = -1406*b + 10509. Is w(-6) a multiple of 58?
False
Suppose 0 = 50*n - 122*n + 820728. Is 6 a factor of n?
False
Let m(a) = a**2 - 7*a + 11. Let v be m(6). Suppose -5*x = u - v*u - 143, 2*x - 109 = 3*u. Let g = -17 - u. Is g a multiple of 4?
True
Suppose -158802 = 211*r - 50*r - 915502. Is r a multiple of 22?
False
Suppose 5*q - 65 = 4*x, 0 = -5*q + 2*x + 55 + 20. Suppose 2*o - 38 = 5*y - 123, -y - o + q = 0. Suppose 3*l + y = g + 6*l, 0 = -3*l - 9. Is g a multiple of 13?
True
Suppose 15*b + 2160 = -0*b. Let x = b + 147. Suppose -213 + 723 = x*l. Is l a multiple of 11?
False
Let k(w) be the third derivative of -w**5/60 - 43*w**4/24 + 169*w**3/6 - 4*w**2 + 9*w. Is k(-26) a multiple of 49?
False
Suppose -31 = -4*j - i, -j = -6*j + 4*i + 65. Let f(h) = 5*h + j - 20 - 9*h**2 - h**3 - 3*h. Is f(-10) a multiple of 5?
False
Suppose -193 = 19*c - 744. Is 5 a factor of c?
False
Suppose 7*t = 8*t + 54. Let u be 3/12 - (0 - t/(-8)). Suppose u*d - 354 = 220. Does 22 divide d?
False
Let n = -71 - -92. Let p = -8 - n. Let b = 45 + p. Is 8 a factor of b?
True
Let b(q) = -39598*q + 656. Is b(-1) a multiple of 323?
False
Suppose 1007 + 166 = -69*w. Let v(f) = -5*f**2 - 112*f - 31. Does 4 divide v(w)?
True
Is (-590)/4*4080/(-300) a multiple of 59?
True
Let f(g) = -g**3 - 5*g**2 + 15*g + 9. Let p = -90 - -83. Let n be f(p). Suppose 2*c - 7*w + 2*w - 268 = 0, -n*w + 584 = 4*c. Is c a multiple of 34?
False
Suppose 3*n = d + 7258, 34*d = -5*n + 37*d + 12098. Is 10 a factor of n?
False
Suppose 5*a - 28 = -38. Does 17 divide 49/(-98) - 467/a?
False
Suppose 70*x - 701604 = -7*x - 176464. Does 31 divide x?
True
Let z = 30396 + 1999. Is z a multiple of 95?
True
Suppose -25*k + 22*k = 0. Suppose k = -8*w + w + 252. Suppose 33 = 3*b - v, 0*b - 4*b + 4*v = -w. Is b a multiple of 12?
True
Is 84 a factor of (-388)/(-8)*90 + 3?
True
Let u(d) = -3*d - 5. Let k be u(-3). Suppose k*w - 42 = 2. Suppose -2*i - 5*n + 36 = 0, 5*n - 1 = i + w. Is i a multiple of 4?
True
Is 37 a factor of (1935675/(-10))/(-15) + 10 - (-6)/(-4)?
True
Let q(z) = -z**3 - 4*z**2 + 7*z + 12. Let o be q(-5). Let d = -4 - o. Let n = 71 - d. Is n a multiple of 7?
True
Let o(y) = -y**2 + 19*y + 3. Suppose 9*h - 5*h - 72 = 0. Let z be o(h). Let a = 33 + z. Is 27 a factor of a?
True
Suppose v = 3*x - 20, 2*x - 16 = 4*v - 6. Suppose 45 = 16*f - x*f. Suppose 8*o - 508 = 3*o + 3*z, -f*z - 500 = -5*o. Is o a multiple of 32?
False
Let u(y) = -y**2 + 22*y + 11. Let g be u(20). Suppose g = 3*c - 3*o, -2 - 13 = -3*o. Is 13 a factor of (c + 4)*15/6?
True
Let f(z) = 11*z**2 + z - 66. Suppose 6*y + 88 = -5*y. Does 18 divide f(y)?
True
Let l(f) = -220*f + 608. Is l(-19) a multiple of 7?
True
Let k(a) = 735*a**2 - 5*a + 9. Does 5 divide k(-4)?
False
Suppose -2*j + 42547 = -3*p, -118*j = -114*j - 3*p - 85079. Is j a multiple of 98?
True
Let x(s) = -s - 26. Let d be x(-10). Is ((-3600)/(-18))/((-2)/d*1) a multiple of 8?
True
Let v be (-1)/(-5) + -3 + (-116613)/(-35). Suppose -13*s - 118 = -v. Does 19 divide s?
True
Let j(d) = 5*d + 265. Let f be j(-53). Suppose -178*i + 187*i - 7281 = f. Is i a multiple of 14?
False
Let i = -12421 - -15157. Is i a multiple of 4?
True
Does 38 divide -206*((-4)/(-30) + 7436/(-195))?
True
Let i = 1085 + -489. Suppose 3*p = -4*n + 600, 0 = 3*n - p - i + 146. Is n a multiple of 5?
True
Let z(l) = l**3 + 8*l**2 - 30*l - 7. Does 15 divide z(12)?
False
Suppose 2*j + 3*g + 217 = 0, g = -j - 4*g - 126. Let n be j/(-4) + (-13)/52. Does 15 divide (2/((-30)/n))/((-1)/36)?
True
Let b = -3972 - -4444. Does 12 divide b?
False
Suppose -3 = 3*t + 9, n + 3*t = 6657. Is n a multiple of 20?
False
Suppose 0 = -1038*t + 1043*t - 6*s - 37434, 0 = -2*t - 2*s + 14978. Is 83 a factor of t?
False
Suppose -307 = -a + 4*j, -3*j = -0*a - a + 309. Let t be 70/a - (1 + (-38)/(-9)). Is 78 - (t/1 + 7) a multiple of 8?
False
Is (646/(-114))/((-13)/8286) - 2/(-13) a multiple of 21?
True
Let d be 11485/(-35) + 0 + 1/7. Does 16 divide (-2818)/(-16) + 41/d?
True
Let y(q) = -q**3 - 2*q**2 + 3*q - 10. Let h be y(-3). Does 7 divide (252/90)/((-4)/h)?
True
Let z(d) = 560*d**2 + 432*d + 3816. Does 8 divide z(-9)?
True
Let a = 4471 - -2581. Is a a multiple of 82?
True
Suppose 2*s = 2*c - 6746, -188*c + 185*c - 3*s = -10083. Is c a multiple of 91?
True
Suppose -2*m + 198 = 4*m. Let i(v) = 11*v - 3. Let f(d) = -56*d + 14. Let c(l) = m*i(l) + 6*f(l). Is c(3) a multiple of 11?
True
Let s be 176/12 - (-1)/3. Let r be 114/s + (-3 - 36/(-15)). Let f(c) = -c**2 + 11*c - 1. Is f(r) a multiple of 3?
True
Let n = 32 + -32. Suppose -8 = -5*l + 2. Suppose n = -5*o - l*r + 130, 3*r - 168 = -4*o - 57. Is 3 a factor of o?
True
Let k(h) = -h**2 - 14*h - 33