uppose -8*r - 4*d - 288 = -4*r, 2*d = 4*r + 276. Let l = 292 + r. Let o = l + -128. Is o a multiple of 19?
False
Is 11/(-7 + -26) - 662/(-6) a multiple of 5?
True
Let n = 852 + -284. Is n a multiple of 3?
False
Let b(t) = 17*t - 19. Let d be b(11). Let a = d - 98. Is a a multiple of 18?
False
Let t(f) = f**2 + 8*f - 4. Let r be t(-9). Suppose r*b = -0*b + 25. Suppose a = -2*a + 9, -b*a = 4*m - 155. Is 7 a factor of m?
True
Suppose 0 = -w + 4*w - 1035. Suppose 5*a - 2 = 3*a, -w = -5*u - 5*a. Does 17 divide u?
True
Let h(u) = u**2 + 13*u + 7. Let a be 0*(-4)/8*1. Suppose a = -z + 4*z + 39. Does 7 divide h(z)?
True
Let u(k) = -k**3 - 11*k**2 - 9*k + 10. Let g be u(-10). Let v = 15 + g. Let q = 31 - v. Is q a multiple of 9?
False
Let d(v) = 2*v**2 + 12*v - 100. Is 23 a factor of d(26)?
True
Suppose 2*j + 32 = -4. Let p = 23 + j. Suppose 4*k - 19 = p. Is 6 a factor of k?
True
Let r be 8/(-10) - 24/(-30). Let f = r - -6. Is ((-36)/(-15))/(f/135) a multiple of 27?
True
Suppose -3*o - 2531 + 2855 = 0. Is 12 a factor of o?
True
Suppose -2594 = -2*v - 2*q, 2*v - 5*q + 200 = 2759. Is v a multiple of 34?
True
Is 50 a factor of 3/(9/2) - 383700/(-900)?
False
Let z = -862 + 1324. Is 22 a factor of z?
True
Suppose 47*l - 21878 = 9894. Is 52 a factor of l?
True
Let p = -8 + 13. Let z(i) = 7*i**2 + 13*i + 16. Let o(r) = 10*r**2 + 20*r + 24. Let a(d) = p*o(d) - 7*z(d). Is 2 a factor of a(-9)?
True
Let j = -15 + 17. Let g be 1 + 3 + -2*j. Suppose 2*n - v + 4*v - 11 = g, -2*v = 5*n - 33. Is 4 a factor of n?
False
Let d(i) = 6*i - 6 - 4*i + i**2 - 4*i - i. Let s be d(5). Suppose -s*x - 45 = -9*x. Does 8 divide x?
False
Suppose 14*g - 18*g = -84. Is g a multiple of 21?
True
Let j(d) = -d**3 + 8*d**2 + 11*d - 26. Let w be j(9). Is (-2)/w + 140/16 a multiple of 2?
False
Let h = 25 + -12. Let p(t) = 4*t - 3*t - h*t**3 + 36*t**3 - t**2 + 9*t**3. Is 16 a factor of p(1)?
True
Let u = 683 + -386. Does 27 divide u?
True
Let o = 48 + -32. Let p(w) = 3*w**2 - 44*w - 8. Is 8 a factor of p(o)?
True
Let f = -172 + 205. Is f a multiple of 2?
False
Suppose 0*m - 105 = m. Let q = -58 - m. Is q a multiple of 19?
False
Let h be ((-2)/(2 + 0))/1. Let y(t) = 82*t**2 + t. Is 27 a factor of y(h)?
True
Is (-2)/(-7) + (-1980)/(-28) a multiple of 6?
False
Suppose -19*l - 29910 = -49*l. Does 90 divide l?
False
Let m(l) = -7*l + 4. Let r(c) = 6*c - 4. Let n(w) = 5*m(w) + 6*r(w). Let v be n(7). Is 12 a factor of v - (-71 + (5 - 3))?
True
Let v(c) = 3*c**2 - c - 4. Suppose 2*j + 0 = 26. Let k = 9 - j. Is 16 a factor of v(k)?
True
Suppose 40*a = -11*a + 25398. Is a a multiple of 83?
True
Let d = -4 - -4. Suppose 5*t - 3*o - 143 = -d*t, 0 = -t - 4*o + 47. Is t a multiple of 12?
False
Suppose 2*v - 3*n - 228 = -8*n, 5*v - 3*n - 508 = 0. Let k = v + 163. Is k a multiple of 21?
False
Let u = -417 + 504. Is u a multiple of 13?
False
Suppose 9*g - 5*g = 0. Let j be (-38 - g)/(-2 + 0). Suppose l - j = 5. Does 12 divide l?
True
Is 340/(-102)*(-216)/10 a multiple of 5?
False
Let s(o) = 8 - 8*o**2 + 3*o**3 + o - 5*o**3 - 2*o**3 + 3*o**3. Let d be s(-8). Suppose 2*b - 6*h + 3*h = -4, -3*b + 5*h - 8 = d. Is 2 a factor of b?
True
Suppose n = 3*w - 8*w + 4, -22 = -3*n - 5*w. Let d(o) = 9*o - 20. Is 20 a factor of d(n)?
False
Suppose -7*c = -2082 - 697. Suppose 7*m - c - 170 = 0. Is m a multiple of 31?
False
Suppose 4*z - 2254 - 4822 = 0. Does 24 divide z?
False
Suppose 0 = q - 2*d + 18, -4*d + 18 = -5*q - 84. Let z = q + 18. Is 17/(-4*z/32) a multiple of 17?
True
Let o(d) = -d**2 - 10*d + 15. Let y be o(-16). Let b = -19 - y. Let u = 1 + b. Is u a multiple of 21?
True
Suppose -4*l = 126 + 22. Is (l + -2)*18/(-27) a multiple of 6?
False
Let s be 1 + 0 + -4 + -3 + 10. Suppose 707 - 1790 = -5*f + 3*h, -5*h = s*f - 859. Is f a multiple of 24?
True
Let f = -65 - -80. Suppose -3*o + 25 = 2*o. Suppose 6*i - o*i - f = 0. Does 15 divide i?
True
Suppose -q + 818 = -26*s + 29*s, 2 = -2*q. Is s a multiple of 18?
False
Let b be (180/16)/((-3)/(-336)). Let r = b - 2940. Is r/(-36) + 2/6 a multiple of 9?
False
Suppose -9*d = -24*d + 3960. Is d a multiple of 9?
False
Let i be (2/3)/(5/(-75)). Let a(y) = -3 + 2 - 10*y**2 - y**3 + 4 - 2*y + 2. Does 25 divide a(i)?
True
Is (-8)/48 - (-408425)/102 a multiple of 8?
False
Let f(i) = -i + 13. Let p(w) = w**2 + 3*w - 10. Let q be p(-5). Let r be f(q). Suppose 3*d + 3*j = 30, -r = 2*d - j - 48. Is d a multiple of 15?
True
Suppose 1589 - 573 = 8*m. Is 12 a factor of m?
False
Let h = -576 + 816. Is h a multiple of 15?
True
Let v = -31 - -33. Let s(l) = 33*l - 1. Is s(v) a multiple of 26?
False
Let d(v) = v - 44. Let g(j) = 22. Let f(l) = -3*d(l) - 5*g(l). Does 3 divide f(-5)?
False
Suppose -54 = 3*k + 5*u, 2*k + 58 = -3*u + 22. Let t = k - -15. Is (-4)/(t/(-5) + -1) a multiple of 10?
True
Let j(o) = 12*o - 3. Is j(1) a multiple of 2?
False
Suppose -2*u = 2*x - 7*u - 9, 0 = -5*x - 4*u + 6. Suppose 5*n = -4*o + 5*o + 342, -3*o - 142 = -x*n. Is 38 a factor of n?
False
Is 5 a factor of (-9 + 264/40)*(-70)/3?
False
Let m(y) = -y**3 + 6*y + 3. Let o be m(-4). Suppose -38*g + o*g = 250. Is 9 a factor of g?
False
Is 168/(((-9)/(-3) - 2)/1) a multiple of 12?
True
Let z(r) = -r**3 + 4*r**2 + 8*r - 6. Suppose 4 = 3*q - 5*q, 3*u = -q + 13. Let g be z(u). Is g/15 - 486/(-15) a multiple of 11?
True
Does 7 divide (-5 + -6475)/(-10) + 1*3?
True
Let n = -4 - -9. Suppose -8 - 12 = -n*v. Suppose -v*l - 2*d + 92 = 0, l + l = -5*d + 38. Is l a multiple of 6?
True
Suppose 208 + 152 = 6*j. Is j a multiple of 5?
True
Let z = 542 - 276. Is z a multiple of 14?
True
Suppose 0 = -18*q + 13*q - 650. Is 3 a factor of 78/q - (-43)/5?
False
Suppose -3*w + 2*t + 2677 = 0, -875 = -w + 10*t - 5*t. Is 18 a factor of w?
False
Let t(v) = -v**3 - 3*v - 1. Let f be -6 + (-9 + 1)/(-2). Is t(f) a multiple of 13?
True
Suppose -9*a = -11*a + 942. Let b = 11 - -4. Suppose a = b*m - 12*m. Does 42 divide m?
False
Let g = -3801 + 6513. Does 88 divide g?
False
Let k(d) be the second derivative of 5*d**3/6 - 9*d. Is k(6) a multiple of 10?
True
Suppose 0 = -2*z + 36*z - 63206. Does 9 divide z?
False
Let o(y) = -378*y + 2. Does 10 divide o(-1)?
True
Suppose -43 = -3*b + 242. Let y = b - 62. Is y a multiple of 11?
True
Let r(q) = q**3 - 6*q**2 + 4*q + 7. Let t be r(4). Let p(b) = b**3 - 3*b**2 + 3. Let l be p(4). Let c = t + l. Does 3 divide c?
False
Let s = -2015 + 2500. Does 20 divide s?
False
Let g = -11 + 7. Let f = g + 2. Let a = 9 - f. Is 5 a factor of a?
False
Let v be (2 - 4) + 1 + 7. Let x(o) = -o**3 + 7*o**2 - 3*o - 11. Let a be x(6). Does 13 divide v*((-273)/(-6))/a?
True
Let n(z) = 30*z**2 - 6*z - 27. Does 9 divide n(-6)?
True
Suppose -v - 150 = v. Let b = 91 + v. Is b a multiple of 4?
True
Suppose 4*q + 0*q = 60. Suppose q = 3*h + 3. Suppose -2*f + 4 = 0, 153 = h*i - 5*f - 9. Does 14 divide i?
False
Let b = 1 - -3. Suppose -2*q = -q - b. Suppose 0 = -g + a - 0*a + 20, -a + 70 = q*g. Is 9 a factor of g?
True
Let c(l) = 25*l + 1 - 13*l - 10*l - 118*l**3 + 2*l**2. Does 33 divide c(-1)?
False
Let h be ((-4)/8)/(1/(-138)). Suppose 2*m = -3*g + 284, 4*m + h + 35 = g. Does 16 divide g?
True
Suppose -28*y = -23*y - 9225. Does 9 divide y?
True
Let s(b) = -2*b**3 + 54*b**2 - 21*b - 32. Is 9 a factor of s(26)?
True
Is 8 a factor of (24/10)/(6*3/1890)?
False
Is 37 a factor of (-8 - -2)*((-984)/18 - 7)?
True
Suppose 3*f = -2*u + 4*u - 180, 0 = f. Let z be (u/(-36))/((-2)/20). Let d = 52 - z. Does 9 divide d?
True
Is 5/(90/(-768))*(-117)/6 a multiple of 16?
True
Suppose 18 = 3*s - 12. Let l = s + 25. Does 3 divide l/10*2/1?
False
Is 41484/42*(-70)/(-20) - 2 a multiple of 129?
False
Is 67 a factor of 10 + 5 + -8 - -529?
True
Suppose 2*b - 1295 = -5*o, 5*b + 9*o = 6*o + 3285. Does 22 divide b?
True
Is 650 - (1 + (2 - (7 + 0))) a multiple of 16?
False
Suppose -79*f - 1404 = -82*f. Is f a multiple of 113?
False
Suppose 13*v + 4032 = 29*v. Is v a multiple of 18?
True
Let f = 381 + -194. Is 6 a factor of f?
False
Let i = -987 + 1646. Let t = i + -424. Does 47 divide t?
True
Suppose 0 = -3*w - 5*f - 1, f - 4*f - 15 = 0. Suppose 2*o - w = -14. Is (o/5)/((-3)/75) a multiple of 3?
True
Let z(m) = m**3 - 5*m**2 - 6*m - 2. Let i be z(6). Let k(o) = o**2 + 2*o - 14. Let h be k(7). Let u = h - i. Is u a multiple of 17?
True
Suppose z = -3*u + 804