q(3). Let y = k - -44. Suppose 0*j + 4*j = 4*h - 60, y = -2*h - j + 24. Is h a multiple of 3?
False
Suppose -13*z = -2*z + 374. Let a = -31 - z. Suppose -2*o - 3*o + 170 = a*i, -o + 34 = 3*i. Is o a multiple of 8?
False
Let v = 97 - 21. Let q = -53 + v. Suppose k - 13 = q. Is 6 a factor of k?
True
Let l(a) = -a**2 + 28*a - 12. Let v be l(8). Does 47 divide (-37)/v + (-1397)/(-4)?
False
Suppose 8*r = 6*r + 410. Suppose -5 + r = 5*j. Is j a multiple of 3?
False
Is 1384/7*4410/252 a multiple of 13?
False
Is ((-20)/4)/5*-2082 a multiple of 47?
False
Suppose -8530 = 4*w + 4*i - 156602, -4*w + 3*i = -148086. Is 15 a factor of w?
True
Is 19/(5681/46) - (-86877)/13 a multiple of 7?
False
Is (4/10)/((-8)/596160*-6) a multiple of 8?
True
Let f = -6 + 18. Suppose -65 = -13*o + f*o. Suppose 4*t = -t + o. Is t a multiple of 13?
True
Let n = -81 - -79. Let q be (n + -5)*(-350)/49. Suppose -4*d = -30 - q. Is 15 a factor of d?
False
Let c(o) = 23*o**2 - 137*o + 1884. Is 7 a factor of c(13)?
True
Suppose 14*s - 9*s = 515. Let b = s - 82. Is b a multiple of 19?
False
Let g(j) = -3*j**3 - 2*j**2 - 6*j - 4. Let c be g(-4). Suppose 0 = 4*f + 32 + c. Let o = -37 - f. Is 4 a factor of o?
True
Let h be (0 + 580/(-6))*(-21)/14. Let f = h + 47. Is 16 a factor of f?
True
Suppose 33*q - 18673 - 103097 = 0. Is 57 a factor of q?
False
Let t(a) = -a - 9*a + 11032 - 10915. Is t(9) a multiple of 3?
True
Suppose 0 = 4*m + 20, 4*y + 7*m - 6*m = 45835. Does 4 divide y?
True
Suppose -7*r + 8847 = -4257. Is r a multiple of 72?
True
Suppose -6 = 3*w - 21. Let a = 45 - 17. Suppose w*z + 192 = 5*d - a, 4*d - 206 = -2*z. Does 49 divide d?
True
Suppose 2*b = -83*v + 88*v - 59, 2*v - 26 = 2*b. Suppose v*a + 1267 = 12*a - 2*d, -2*a = -5*d - 2530. Is 75 a factor of a?
True
Does 14 divide (-30 - (-1001)/33)/((3/(-220878))/(-1))?
True
Suppose -3*o + 32126 = 4*u, 34*u = 33*u + 2*o + 8015. Is 29 a factor of u?
False
Suppose 28*m + 602 + 294 = 0. Does 7 divide (-234)/4*m/8?
False
Let w(t) = 5816*t - 4460. Is w(8) a multiple of 50?
False
Suppose 12 + 3 = 15*h. Let w be 351/13*-2*h. Let g = w - -93. Does 5 divide g?
False
Suppose -31*v - 78*v + 1925317 + 1972850 = 0. Is v a multiple of 29?
False
Let l(m) = m**2 + 2*m - 30. Let u be l(5). Suppose u*n + 3*n = 4368. Is 26 a factor of n?
True
Is (48/(-12))/(((-24)/(-4))/3) + 43888 a multiple of 10?
False
Let q be 2 + -5 - (8 + -18). Suppose -2 = 2*d - 3*r + q*r, -5*d - 2*r = -19. Suppose -d = 5*y, 2*b - 213 = y + 2*y. Is 7 a factor of b?
True
Let p = 18962 + -18845. Is p even?
False
Let c = -12872 + 14401. Is c a multiple of 2?
False
Let q = 515 - 515. Let d(s) = 2*s + 80. Does 10 divide d(q)?
True
Let p = 114 + -109. Is 15 a factor of (12 + -135)*(2 - p)?
False
Let d = 162 - 27. Let l = 262 - d. Suppose -l = -u - 112. Is u a multiple of 5?
True
Let a(n) be the third derivative of -n**6/120 + n**5/30 - 5*n**4/24 + 37*n**3/6 - 33*n**2 - n. Is 2 a factor of a(0)?
False
Suppose -1601*j + 1468*j + 3825479 = 0. Does 38 divide j?
False
Suppose -4*o - 3*g + 69 = 0, 26*o - 27*o = 2*g - 16. Is (-16)/3*((-99)/o + -11) a multiple of 4?
True
Let j(w) = -w**3 - 10*w**2 + 13*w + 29. Let c be j(-11). Let d(h) = 7*h + 4. Let g be d(c). Let f = g + -17. Is f a multiple of 33?
False
Let a be (2/5)/((272/(-120))/(-17)). Suppose -12*z + a*r = -8*z - 1385, -3*z - 4*r = -1020. Is z a multiple of 43?
True
Suppose 0 = -2*q - 19*q + 105. Suppose q*g - 5531 = -4*c, -c - 85 = -2*g + 2117. Is 50 a factor of g?
False
Let l(z) = -14 + 23 + 78*z - 5. Does 38 divide l(6)?
False
Suppose 0*q = 4*q - 8. Let k = 1129 - 1110. Suppose -59 = -q*c + k. Does 26 divide c?
False
Suppose -22*y - 108*y + 6406400 = 318*y. Is y a multiple of 55?
True
Does 11 divide 2724/(-9)*(-297)/36?
True
Suppose 18 = m - 5*l, 0*l + l + 2 = 0. Is 39 a factor of ((-82635)/(-25))/7 - m/(-10)?
False
Let n(q) = 38*q + 23. Let h = 82 - 77. Does 22 divide n(h)?
False
Suppose -4*t - 3*h - 311 = -1105, 10 = -5*h. Suppose v = -3*v + t. Does 9 divide 72/(-15)*v/(-4)?
False
Let d(g) = -26*g**3 - 2*g**2 - 5*g - 3. Let o be d(-2). Let x = o - 98. Let z = x + -61. Is z a multiple of 10?
False
Let o(v) = -23*v - 110. Let y(q) = q**3 + 6*q**2 + 9*q + 7. Let x be y(-5). Does 21 divide o(x)?
True
Suppose 9*o - 1666 = -298. Suppose 0 = o*q - 148*q - 184. Does 4 divide q?
False
Is (-108)/72*(-76146)/3 a multiple of 21?
True
Suppose 7*q = 5*x + 9*q + 10, -2*q = 4*x + 10. Is 2 + (x + (-276)/7)*-7 a multiple of 9?
False
Suppose 9280 = 1327*l - 1322*l. Is 32 a factor of l?
True
Suppose -10*k + 38725 + 4685 = -16650. Does 14 divide k?
True
Let v(w) = w**3 - 17*w**2 - 18*w + 3. Let i be v(18). Suppose 0 = i*o + 3*t - 122 - 217, t = 0. Suppose 0 = a - 24 - o. Does 16 divide a?
False
Let v = 5257 - 1505. Is 11 a factor of v?
False
Is 14/308 - 11703/(-22) a multiple of 24?
False
Suppose -4*n - 4*w = -12, 3*n - 14 = -5*w - 3. Let g(t) = -t**3 + 169*t**2 - 159*t**n + 8 + 0*t - 8*t. Does 4 divide g(9)?
False
Let a(x) = 21*x**2 + 5*x + 12. Let o = 202 + -204. Does 23 divide a(o)?
False
Let g = 348 - -651. Suppose 42 = 4*t + 2*z, -z = 2*z - 15. Suppose -x = t*x - g. Does 37 divide x?
True
Let u(c) be the first derivative of 3*c**5/40 - 11*c**4/24 - c**3/3 - 16. Let b(t) be the third derivative of u(t). Does 7 divide b(9)?
True
Let y(r) = r**3 + 5*r**2 - 13*r + 10. Let j be y(5). Suppose 32 = -191*b + j*b. Is b a multiple of 4?
True
Suppose 25*h = 7*h + 972. Suppose -4*q + 60 = 3*b - b, -b = -q - 33. Let u = h - b. Is u a multiple of 4?
False
Let r = -9611 - -10023. Is r a multiple of 3?
False
Suppose -25 = -5*o, -3*o = 3*s - 1742 - 2863. Let t = s - 979. Does 27 divide t?
False
Let y(x) = 3*x**3 - 52*x**2 + 183*x + 28. Does 14 divide y(13)?
True
Suppose -2*n + 3*n + 145 = -4*d, -5*d - 4*n - 195 = 0. Let a be (56/d)/(2/45). Is 28 a factor of ((-24)/a)/((-4)/(-714))?
False
Let u = 20568 + -12080. Is u a multiple of 141?
False
Suppose 26*r = 34*r + 2112. Let f = -216 - r. Is 14 a factor of f?
False
Let p(t) = -t**3 - 14*t**2 + 10*t - 45. Suppose 2*r + 53 = -3*o, -o - r + 0*r = 19. Is p(o) a multiple of 14?
False
Let s(d) be the third derivative of -d**5/60 - 17*d**4/24 + 10*d**3/3 + 33*d**2. Is s(-14) a multiple of 5?
False
Suppose 7*c - 3*c = -5*h + 11102, 5*c = 3*h - 6676. Is h a multiple of 40?
False
Let q = 26709 - -7457. Does 41 divide q?
False
Let a = -469 + 1036. Is 7 a factor of a?
True
Let y be (12/(-12))/(2/(-66)). Let l = y - 31. Suppose 0 = l*w + 13*w - 165. Does 3 divide w?
False
Suppose -f + 3*f = -0*f. Suppose -t - 3*t + 272 = f. Is 4 a factor of t?
True
Let u(z) = z**3 - 26*z**2 - 29*z + 43. Let b be u(27). Does 3 divide b/((-33)/18) - -42?
True
Let a = 52 + -34. Let m be (a/(-8))/(45/1320). Does 18 divide m/(-4 - -2) + 0?
False
Is 118 a factor of ((-9)/(-6))/((-7632758)/(-587132) - 13)?
False
Suppose 63597 = -19*f + 678627. Is 78 a factor of f?
True
Let i = 117 - 107. Does 81 divide ((-952)/(-35))/1*75/i?
False
Suppose -4*g - h + 427 = 0, 3*g - h - h - 334 = 0. Suppose 0*x = -5*n + 4*x + 244, 0 = -2*n - x + g. Does 2 divide n?
True
Is (-8 + 7)/(7/(-134260)*2) a multiple of 35?
True
Let u(l) = -l**3 - 3*l**2 + 13*l + 1. Let s be 30/(-8)*112/6. Let a be -9*(-4 - s/15). Does 31 divide u(a)?
True
Suppose 2*b = -2*s + 13262, 3*s - s - 26514 = -4*b. Suppose 0 = 14*u - b + 60. Does 31 divide u?
False
Suppose -5*f + 5*t + 43870 = 0, t = -f + 11015 - 2243. Is f a multiple of 6?
False
Let d(o) = o + 9. Let n be d(4). Suppose -1650 = -2*m - n*m. Is 5 a factor of m?
True
Suppose -11948 + 38641 + 5344 = 177*u. Does 15 divide u?
False
Let z(b) = b**2 - 4*b - 52. Let m be z(-4). Does 38 divide ((-45576)/15)/(-4) - 8/m?
True
Let o(v) be the first derivative of v**2/2 - 23*v - 5. Let w be o(9). Does 17 divide (-508)/w + 28/(-98)?
False
Let k(j) be the third derivative of -j**6/40 - j**5/4 + 5*j**4/24 - j**3 + 18*j**2. Let p = -4 - 3. Does 45 divide k(p)?
False
Let k(y) = 7*y + 30. Suppose 12 = 4*b - 28. Let u be k(b). Suppose h = 2*s - 101, 3*s - 5*h - 62 = u. Is s a multiple of 4?
False
Let p(f) = 16*f**2 - 18*f + 121. Let h be p(8). Let q = h - 540. Does 75 divide q?
False
Suppose -14*d + 100095 = 9090 + 12269. Is d a multiple of 4?
True
Is -7 + (-49674)/(-9) + -8 + 138/18 a multiple of 8?
True
Is 219 a factor of (2786/(-84))/((-7889)/(-19