 t be (-4)/24 + 77/(-6). Does 9 divide c(t)?
False
Let z = 639 + -345. Does 21 divide z?
True
Let l = -267 - -485. Does 58 divide l?
False
Is ((-2)/(-8))/((-47)/(-12972)) a multiple of 10?
False
Let x(j) = j**2 - 12*j - 38. Is 5 a factor of x(17)?
False
Let u = 18 - 15. Suppose -4*c = -t + 311, 0*c = u*t + 3*c - 888. Suppose -2*r + 0*q - q + 195 = 0, 5*q + t = 3*r. Is 29 a factor of r?
False
Let c be (12/(-9))/(-4)*0. Let u = 36 - c. Is 12 a factor of u?
True
Let j(f) = f**2 + 3*f + 619. Let b be j(0). Suppose -3*n + 369 = 3*p, -5*n - 6*p = -2*p - b. Is 9 a factor of n?
False
Let n = -107 - -167. Does 9 divide n?
False
Suppose 0*w - 14410 = 5*w + 5*n, -11528 = 4*w + 2*n. Does 18 divide 11/(-99) - w/18?
False
Let b(i) = -i**3 - 11*i**2 + 7*i + 16. Let s = -17 - -14. Let u = s - 9. Is 16 a factor of b(u)?
False
Let q(w) = -w + 36. Let v be q(11). Let o = v + 27. Is o a multiple of 26?
True
Suppose -5*c = -3*d + 140 - 533, -4*c - 2*d = -332. Is c a multiple of 9?
True
Let v = 1979 - -370. Is v a multiple of 13?
False
Suppose -9*u = 10*u - 11495. Does 41 divide u?
False
Let v(l) = 3*l**2 + 54*l + 549. Is 19 a factor of v(-22)?
False
Suppose 2*s + 4 = 12. Suppose -3*b = 2*y - 37 - 16, s*b = -4*y + 100. Is 10 a factor of y?
False
Let b(c) = c**3 + 10*c**2 + c - 1. Let q(s) = 4*s + 47. Let y be q(-13). Is 5 a factor of b(y)?
False
Suppose -24*l + 918 = -7*l. Is 2 a factor of l?
True
Suppose 0 = -105*y + 99*y + 1248. Does 16 divide y?
True
Let m(r) = 2 - r**3 + 9*r + 10*r**2 - 2*r - 4*r**2. Let q be m(7). Suppose q*u = -2*u + 96. Does 12 divide u?
True
Let y(r) = 2*r**2 - 10*r + 8. Does 44 divide y(9)?
False
Let b = 495 + -364. Does 8 divide b?
False
Suppose 0 = 6*o - o - 15, 0 = 2*r + 4*o - 580. Does 97 divide r?
False
Let r(x) = 2*x**2 + 4*x + 4. Let o be 12/4 + (1 - 0). Suppose 5*p - 3*y = -40 + 7, -o*p - 25 = -y. Is 13 a factor of r(p)?
True
Suppose 4*c = 70 + 722. Let h = c - 14. Suppose 2*p = -2*p + h. Does 25 divide p?
False
Let g = 968 + -636. Let c = 602 - g. Suppose -2*p = 3*a - 182, 5*p + 5*a - 195 = c. Does 27 divide p?
False
Suppose 42 = 2*j - 2*c - 212, -4*j = 4*c - 516. Is j a multiple of 10?
False
Suppose 0 = 3*u + 12 + 33. Let n be 352/20*u/(-6). Suppose -v - n = -5*v + 4*x, -2*x = v - 2. Is 8 a factor of v?
True
Let o = 25 + 10. Suppose -3*c - 15 = -63. Let m = o - c. Does 11 divide m?
False
Let a be (36/(-54))/(4/6). Let y be ((-18)/12)/(a/2). Suppose y*c + 2*h - 47 = 0, -5*c = -7*h + 2*h - 70. Is c a multiple of 5?
True
Let s be (2 + -1 - -9) + 3. Let x = s - 9. Suppose x*o - 28 = -4*w, 5*w - o - 41 + 0 = 0. Is 8 a factor of w?
True
Let g be 252/12*(-22)/4*2. Is g/(-3) - (-1 + -2) a multiple of 19?
False
Suppose -3*y + 41 = 5*x - 4*y, -x - 3 = -3*y. Suppose -184 = 5*m - x*m. Suppose j - m = -0*j. Is 23 a factor of j?
True
Let x(d) = d**2 + 5*d - 4. Let v be x(-6). Suppose 2*q + v*w - 305 = 69, -q + w = -191. Does 7 divide q?
True
Let s = -18 - -20. Let h be (1/s)/((-2)/(-28)). Is 5 a factor of h - 1/(-1)*3?
True
Suppose -2*g + 4*n + 8 = -4, -g + 2 = 2*n. Suppose 0 = -r - g, -4*r - 16 = 6*s - 2*s. Suppose 3*t = 5*o + 44 + 90, -4*t + 4*o + 184 = s. Does 23 divide t?
False
Let n(k) = -k**3 - 2*k**2 + 9*k - 3. Is 9 a factor of n(-6)?
False
Let l(s) = -65*s**3 + 4*s**2 + 12*s + 37. Does 15 divide l(-3)?
False
Let r(b) be the third derivative of b**7/2520 + 7*b**5/60 + b**4/6 - 3*b**2. Let k(c) be the second derivative of r(c). Does 5 divide k(0)?
False
Let b(f) = 239*f - 151. Does 73 divide b(5)?
False
Let i be 96/14 + 1/7. Let d(u) = 5*u - 10. Does 4 divide d(i)?
False
Suppose x - 9 = 5*g + 3, -4*g + 31 = 5*x. Let i = -18 + 20. Suppose i*j - x = j. Is 3 a factor of j?
False
Let z = -73 + 244. Let x = -90 + z. Let s = x - 46. Does 7 divide s?
True
Let x = 52 + -50. Is 29 a factor of ((-141)/(-10) + 4/10)*x?
True
Suppose 44 = r + 5. Is 15 a factor of r?
False
Let l(s) = -20*s**3 - 7*s**2 - 12*s - 32. Does 32 divide l(-4)?
True
Let r(z) = -z**3 + 12*z**2 - 19*z - 5. Let u = 40 - 31. Is 24 a factor of r(u)?
False
Suppose -q + 4 = q. Let w = q - 6. Does 16 divide (-1160)/(-25) + w/10?
False
Let t = -2033 - -2863. Let i = t - 560. Does 9 divide i?
True
Let k(w) = -w**3 + 3*w**2 - 2. Suppose -b - 4*b = -10. Let u be k(b). Suppose -3*o - 2*o + 101 = u*n, n - 48 = -2*o. Does 11 divide n?
False
Let r be (-32)/(-3) - 2/(-6). Suppose 0 = -6*d + r*d - 20. Suppose d*j - 5 = 2*a + 77, 4*j = -a + 79. Is 12 a factor of j?
False
Let u be 9/(-2)*4/(-6). Let c = u - -102. Is 12 a factor of c?
False
Let b(c) = -c. Let s be b(-5). Suppose 3*r = -4*i + 69, s*i - 27 = 4*r + 67. Is i a multiple of 6?
True
Let t be ((-30)/75)/((-1)/(-5)). Is (-4 - (-108)/2) + t a multiple of 11?
False
Let q = 34 - -195. Suppose 2*y = 4*k - 101 - q, -3*k + 246 = -y. Suppose 4*s = 3*c - 88, -2*s - k = -3*c - 5*s. Does 5 divide c?
False
Let z be (-1 - 2)*16/(-6). Suppose z*g = -33 + 169. Is 3 a factor of g?
False
Let z(a) = a**2 - 2*a + 7. Let k be z(-5). Is 3 a factor of (14/(-5) - -3) + k/15?
True
Let h be 12*(201 - -3)/4. Let p be (-18)/(-27)*h/2. Suppose 0 = 4*y + 5*q - p, -214 = -5*y - q + 41. Is y a multiple of 17?
True
Suppose -71*m + 73*m - 2*w - 702 = 0, w = -5. Is 9 a factor of m?
False
Let m be 10/(3 + 28/(-8)). Let l = m - -13. Is 17 a factor of (2/(-6))/(l/1407)?
False
Suppose 9*a = 19 + 1061. Is a a multiple of 12?
True
Is 268 + ((-160)/4)/(-5) a multiple of 5?
False
Let c be 30/8 - 6/(-24). Suppose -a + 2*a + 3*q - 85 = 0, -c*a - 4*q = -348. Does 19 divide a?
False
Let w = -6 + 8. Let t be (0 - 0)*20/100. Suppose t = 4*h + w*p - 92, -4*h = -0*h - 2*p - 100. Is 8 a factor of h?
True
Let g = 9 + -5. Suppose -2*j = -j - g. Suppose 2*k + j = 128. Is 31 a factor of k?
True
Let g(o) = -o + 2. Let v be g(-7). Let u = v - 7. Suppose 0*s + u*s = 48. Does 7 divide s?
False
Let d = 582 - 426. Does 13 divide d?
True
Let t(d) = -d**2 + 49*d + 23. Is 52 a factor of t(29)?
False
Let l(t) = -14*t**3 + 15*t**2 + 10*t + 26. Let i = 11 - 15. Let a(d) = -5*d**3 + 5*d**2 + 3*d + 9. Let v(c) = i*l(c) + 11*a(c). Does 21 divide v(7)?
False
Let r = 2 - -1. Suppose 2*d = -3*x + 82, r*x - 2*x = -3*d + 137. Is d a multiple of 9?
False
Suppose 5*u + 5*u = 50. Suppose -4*v = -3*t - 16 - 23, -t - 46 = -u*v. Is 3 a factor of v?
True
Let n = 92 + -192. Is 13 a factor of ((-42)/(-28))/((-3)/n + 0)?
False
Suppose 910 = 10*z - 15*z. Let j = -120 - z. Is 31 a factor of j?
True
Let h = -2132 + 3408. Is h a multiple of 43?
False
Let q(d) = d**3 - 4*d**2 - 10*d - 11. Let x be q(8). Let b be 0/4 + -3 + -1. Does 8 divide x/10 + (-6)/b?
False
Let l(f) = f - 8. Let x(c) = c - 7. Let j(s) = -3*l(s) + 4*x(s). Let q be j(6). Let w(p) = 14*p. Is w(q) a multiple of 13?
False
Let s(c) = 0*c**2 - 7 - 3*c**2 + 4*c**2 + 19. Does 37 divide s(5)?
True
Suppose -2*l = 8 + 48. Let s = 44 + l. Does 5 divide s?
False
Suppose 0 = -7*v + 74 - 32. Let i(a) = -a + 1. Let x(u) = -18*u + 7. Let d(r) = 6*i(r) - x(r). Is 22 a factor of d(v)?
False
Suppose 6*l - 66 + 216 = 0. Let f = 15 + l. Is 16 a factor of (-104)/(-20)*f/(-2)?
False
Let g(m) = 16*m + 1 + 37*m - 6*m + 23*m. Let x be g(1). Suppose 3*v - 49 - 8 = a, -4*v = -3*a - x. Is 12 a factor of v?
False
Suppose p + v + v - 252 = 0, 5*p = 3*v + 1273. Suppose -3*i = -p + 62. Let c = i + -13. Is 15 a factor of c?
False
Let h = 19 - 17. Suppose t + h - 49 = 0. Suppose x + t = 2*r - 8, 4*x + 4 = 0. Is r a multiple of 9?
True
Let w = 2 - -1. Let c be 1 + -4 - -2*w. Suppose q = -3*n + 29 + 28, 3*n - 201 = -c*q. Does 29 divide q?
False
Suppose 0 = -d - 184 - 35. Let r = d + 308. Is 19 a factor of r?
False
Suppose 0 = -3*l + 4*m - 32, -4*m + 7*m + 51 = -4*l. Does 5 divide -4 + (-51)/l - 318/(-8)?
True
Let x(a) = -44*a + 828. Is x(17) a multiple of 4?
True
Suppose -2*h - 148 = -3*h. Does 11 divide h?
False
Let q = -2 - -2. Let k(t) = t**3 + t**2 + 134. Let b be k(q). Suppose -68 = -2*r - 4*h + 6, -h + b = 4*r. Is r a multiple of 8?
False
Let b = 60 + -40. Suppose -4*u - 4 = -b. Does 2 divide u?
True
Suppose -5*t = -12*t + 4921. Suppose 0 = -12*m + t + 2129. Does 14 divide m?
False
Let x(d) be the first derivative of -4*d**2 + 3*d + 5. Let l be x(-4). Let h = -9 + l. Does 12 divide h?
False
Let p(d) = -d**3 + 4*d**2 + 5*d - 6. Let n be p(9). Let y = -182 - n. Is y a multiple of 46?
T