oes 17 divide q(12)?
False
Let s = -41 + -9. Let a = -41 - s. Is 32 a factor of 3/a*-3*-45?
False
Suppose -3*o - 15 = 3*q, 0 - 10 = -2*o + 2*q. Let y(a) = -a**3 - a**2 + 2*a + 708. Is y(o) a multiple of 13?
False
Let i(x) = -2*x - 35. Let b be i(-26). Let l(y) = 9*y - 51. Let g(q) = -6*q + 34. Let w(f) = 7*g(f) + 5*l(f). Is 17 a factor of w(b)?
True
Suppose 157 = 2*z + 4*q - 3*q, -4*z = 3*q - 309. Let f = z + -4. Does 5 divide f?
False
Does 3 divide (2/4)/(8/568) + (-80)/32?
True
Let g(k) = -20*k - 85. Suppose 10*c - 28*c = 198. Is 27 a factor of g(c)?
True
Suppose 4*d + 0 - 80 = 0. Suppose -3*j = 11 - d. Suppose -85 - 53 = -z - j*l, 4*z - l = 500. Is z a multiple of 18?
True
Let z be ((-99)/(-110)*-2)/((-1)/5). Does 20 divide (z/(-1))/((-2)/72)?
False
Let n = -3436 + 3451. Does 13 divide n?
False
Suppose -67*m = -38*m + 58. Let s(i) = -852*i - 38. Is s(m) a multiple of 34?
True
Let p be (-8)/(40/15)*(-111)/9. Suppose 3*o = 2*n - p + 7, 0 = 3*o - 12. Is n a multiple of 7?
True
Let f = -63 + 67. Is (31 - f)/(6/42) a multiple of 5?
False
Suppose -2*m - 20 = 3*s + s, -3*m + 5*s = -25. Suppose -3*h + 66 = -m*t + 3*t, 74 = 3*h - 5*t. Is h a multiple of 23?
True
Let y(t) = 2841*t + 314. Is y(2) a multiple of 12?
False
Let u = 13777 + -6911. Is u a multiple of 27?
False
Suppose 438 = -5*m - 272. Let l = m + 154. Is 24 a factor of (10/l + (-5)/(-10))*54?
True
Is (1311/(-76) - -17)/((-2)/15928) a multiple of 20?
False
Suppose 5*r - 12 = 2*t - 65, -3*t + 54 = r. Let u(c) = -c**2 + 22*c - 43. Let q be u(t). Is 27 a factor of (-36)/q*(4 + -25)?
True
Is (-21 - 2320/(-110)) + 7/(77/97866) a multiple of 217?
True
Let z(l) = 11*l**2 + 28*l + 13. Let q(w) = 57*w**2 + 139*w + 64. Let a(b) = -2*q(b) + 11*z(b). Is a(-5) even?
True
Let w = 12 + 56. Let t be (-11)/(-55) - w/(-10). Suppose -4*q + 2*z + 102 = 0, 2*z - t*z = -5. Is 22 a factor of q?
False
Is 18 a factor of (-176546)/(-16) + (-22)/(-9 + 185)?
True
Let m be ((-12)/(-7))/(4 + (-108)/28). Let j be 0 + (-2)/12 + (-358)/m. Is 3/(-15) + 282*(-8)/j a multiple of 5?
True
Suppose 2*q + 3*m - 43 = 0, -5*q + 4*m = -0*q - 96. Suppose q*y - 16*y = -100. Let a = -10 - y. Does 15 divide a?
True
Suppose 6*h = -4*h - 280. Let u be -3 + 1 - -6 - h. Suppose 36*w - 220 = u*w. Does 20 divide w?
False
Let a = 36 - 4270. Let s = a - -6605. Suppose 10*f - 9 = s. Is f a multiple of 18?
False
Let h(j) = j**3 - 12*j**2 - 28*j + 5. Let y be h(14). Suppose -10 = t - 6*t - y*o, 0 = -3*t - 5*o. Suppose t*f = 0, 5*f - 131 = -4*m + 37. Is 6 a factor of m?
True
Let l = 28521 + -10437. Is l a multiple of 11?
True
Suppose -487*q - 126390 = -497*q. Is 33 a factor of q?
True
Let n = 668 + 808. Suppose 0 = -11*l + n + 240. Is l a multiple of 3?
True
Let q(z) = 7*z + 6*z**2 - 6*z**2 + 11*z**2 - 14 + 17. Does 3 divide q(-3)?
True
Let w(d) = -50*d - 35. Let u be w(-6). Does 13 divide (5 + 46/(-10))*u?
False
Let l be ((-6)/30*-5)/(2/24). Suppose -4*z + l = 0, -5*u - z = 237 + 50. Let w = u + 82. Is 9 a factor of w?
False
Let v = 28 + -31. Let b = v + 8. Suppose 2*f + b*q - 109 = 0, -q - 211 = -3*f + q. Is f a multiple of 15?
False
Let a(v) = 706*v**2 + 206*v - 1515. Is 111 a factor of a(7)?
True
Let s(z) be the first derivative of 1/3*z**3 + 4*z - 1/4*z**4 + 13 + z**2. Does 4 divide s(-2)?
True
Let i(a) = 2*a + 12. Let u be i(-6). Suppose u = 28*t - 19*t. Suppose -2*p - 41 = -t*o - 3*o, o = -p + 7. Is 11 a factor of o?
True
Let f(m) = -154*m**3 - m**2 + 12*m + 23. Does 94 divide f(-3)?
True
Suppose 2*g + 15*y - 13*y - 8 = 0, -4*g + y = -6. Is (90/35)/(g/392) a multiple of 7?
True
Suppose -z + 2*z - 4*z = 0. Suppose z = -4*d + 2*d + 148. Let q = d + -70. Does 4 divide q?
True
Let h(l) = -l + 13. Let a be h(16). Let p be 2/(-10) - (a - (-926)/(-5)). Suppose -p = -4*c + 100. Is 8 a factor of c?
True
Let p be 4/(-18) - 100/(-45) - -530. Let r = -263 + p. Suppose 0 = -6*z + r + 19. Is z a multiple of 8?
True
Let m = 46 - 19. Let d(w) = w - 25. Let u be d(m). Does 15 divide (4/16)/(u/472)?
False
Suppose 34800 = 99*a - 69*a. Is a a multiple of 40?
True
Let p(m) be the third derivative of m**5/12 - m**4/24 - 13*m**3/3 + 2*m**2. Let s(g) be the first derivative of p(g). Does 12 divide s(9)?
False
Let s(y) = 3*y**2 + 18*y + 26. Let r be s(-11). Let c = 133 + -256. Let o = r + c. Does 31 divide o?
False
Suppose 1370229 + 419781 + 508258 = 79*c. Is 23 a factor of c?
False
Let r(j) = 45*j + 2826. Is 16 a factor of r(77)?
False
Let l(h) = h**3 + 75*h**2 - 197*h - 1949. Is l(-77) a multiple of 6?
True
Suppose 0 = 18*q - 98713 + 5437. Is q a multiple of 223?
False
Suppose 0 = 5*p + 3*m - 15 - 22, -p - 3*m = -17. Let f(j) = 2*j**2 - 3*j + 8. Let b(c) = c - 4. Let g(o) = 5*b(o) + 2*f(o). Is g(p) a multiple of 10?
False
Let w(k) be the third derivative of k**5/30 - 5*k**4/24 - 3*k**3/2 - 16*k**2. Let m be w(5). Let h = 66 - m. Is 7 a factor of h?
False
Suppose -4*l = 256 - 660. Suppose 5183 = -87*i + 1094. Let z = i + l. Is 5 a factor of z?
False
Let b be 2 - (27 - 22 - (1 + 2)). Suppose b = 65*h - 62*h - 138. Is h a multiple of 3?
False
Let l be 2 - (-7)/(7/(-48)). Let m = l - -48. Suppose m*g + 2*f = 198, 0*f - f = -g + 105. Is g a multiple of 23?
False
Let k be ((-6)/(-8))/((-15)/(-80)). Suppose k = 2*b - 0. Suppose -219 = -b*i + 85. Is 36 a factor of i?
False
Let r be -644 - 21 - (-24)/(-3). Let z = 110 - r. Does 27 divide z?
True
Suppose 53*u = -83*u + 1234880. Is 4 a factor of u?
True
Let l(b) = -4*b - 8. Let x be l(-5). Suppose 0*w - 720 = -x*w. Is 15 a factor of w?
True
Suppose -4*c + 117844 = -4*i, -32*c + 29*c + 5*i + 88385 = 0. Does 20 divide c?
True
Let x = -48 + 51. Suppose -7*r = x - 10. Does 23 divide ((-1)/(-4) - (-815)/20)/r?
False
Let d(v) = -7*v**2 + 8*v - 59. Let o be d(12). Let t = o + 1367. Is t a multiple of 66?
True
Suppose -x - 4*l = -29700, -5*x - 2039*l = -2037*l - 148410. Is 14 a factor of x?
True
Let d(a) = 4 - 118*a**3 + 2*a + 18*a**2 + 10*a**2 - 29*a**2. Does 5 divide d(-1)?
False
Suppose -12*h = -30072 + 444. Is h a multiple of 68?
False
Let x(n) = -2*n**2 + 4*n**2 - 38 + 23 + 13*n. Let v be x(-11). Let l = 315 - v. Is l a multiple of 21?
True
Let v(m) = 60 + 39 + 6*m**2 + 20*m - 4*m**2 + 49 - 10. Is 29 a factor of v(-28)?
False
Let f be 32 - -2 - (1 - -3). Let y be (34/(-51))/(1/(f/(-4))). Is y/(0/(-4) - 3/(-3)) a multiple of 5?
True
Suppose -7*h = -0*h + 196. Let q = -16 - h. Suppose 11*d - q*d = -74. Is d a multiple of 11?
False
Let l = -597 - -598. Is 35 a factor of 1266 - (l + (-5)/(-1))?
True
Let s(h) = 41*h + 2. Let q(f) = 122*f + 6. Let a(i) = -4*q(i) + 11*s(i). Does 10 divide a(-6)?
True
Let y(p) = -2*p**3 + 7*p**2 - 4*p + 1. Let s be y(3). Suppose -r - 2*r + 3*h + 105 = 0, -5*r + 2*h = -172. Does 3 divide 1/s - 0 - (-459)/r?
False
Suppose -3*g + 6 = 0, 4*o = -0*o + 5*g + 582. Suppose -j + 18 + o = 0. Is j a multiple of 7?
False
Let x(i) = -28*i + 22. Let n be 1*(-4 + (7 - 6)). Is 3 a factor of x(n)?
False
Let x(k) be the second derivative of k**4/12 - k**3 + 3*k**2/2 - 7*k. Let f be x(6). Let a(n) = 2*n + 2. Is 8 a factor of a(f)?
True
Let b(h) be the third derivative of -h**6/120 - h**5/12 + h**4/6 + 5*h**3/3 - 15*h**2. Let l be b(-5). Does 2 divide 4/l + (-171)/(-15)?
False
Suppose 17*b - 13*b - 8 = 0. Let t(x) = x + x**3 + 34*x**b - 3*x**3 - 29*x**2 + 2*x + 8. Does 41 divide t(-4)?
False
Let m(y) = 29*y - 198. Let t be 6*15/(360/64). Is 5 a factor of m(t)?
False
Suppose -11*d + 360 = -333. Let i = d + -34. Is 3 a factor of i?
False
Let r = -770 - -772. Is 8 + -1 + -3 - (-552)/r a multiple of 28?
True
Let i(o) = 71*o**2 + 372*o + 46. Does 28 divide i(-13)?
False
Suppose -2*x + 1 = -u - 3, 4*u - 32 = -4*x. Suppose 7*k - 9 = x*k. Is 31 a factor of (0 + -86)/(1/(-6)*k)?
False
Let c(o) = 98*o**3 + o**2 + o - 1. Let n(w) be the first derivative of 3*w**2/2 - 2*w + 15. Let d be n(1). Does 12 divide c(d)?
False
Suppose -4*y = 12, -129*c + 10902 = -127*c - 4*y. Is c a multiple of 48?
False
Let w(l) be the first derivative of -l**4/4 + 5*l**3/3 + 7*l**2/2 - 8*l + 7. Let j be w(6). Is (-3 - 4 - 3)*j a multiple of 8?
False
Let w = 19 + -16. Suppose -b - b - 1618 = -5*d, -3*d + w*b = -969. Suppose 10*u - d = 4*u. Does 8 divide u?
False
Suppose 2*q - 15 - 3 = -5*x, -4 = -2*x. Suppose m - 2 + q = 0. Does 8 divide 3/((-76)/(-32) 