False
Suppose -23*g + 21049 = -16*g. Is 97 a factor of g?
True
Suppose -3*u + 476 = 3*a - 901, 5*u = a - 441. Does 19 divide a?
True
Suppose 3*w + 4*o - 18 = o, -w - 5*o = -26. Let u be w/(-5) - 96/(-30). Suppose u*j - j - 12 = 0. Is j a multiple of 3?
True
Suppose -2*s - 1515 = -y, -58*y = -61*y + s + 4540. Is 89 a factor of y?
True
Let b = 5 - 5. Suppose 0 = -2*u + 5*h + 178, -5*u + 0*h - 5*h + 480 = b. Is u a multiple of 8?
False
Let q be 14*1*(-6)/(-4). Let f = q + -21. Is 17 a factor of 0 + f + 2 + 66?
True
Let c(l) = -6*l + 3. Let j be 78/5 - (-2)/5. Suppose 1 - j = 5*p. Is c(p) a multiple of 10?
False
Let w(b) = -b - 3. Let z be w(-12). Let p = 12 - z. Does 2 divide p?
False
Let x(o) be the first derivative of -o**3/3 + 4*o**2 - 7*o - 8. Let i be x(7). Let u = 35 + i. Is u a multiple of 7?
True
Suppose 0 = -4*h - a - 174 + 889, 5*a = -25. Suppose 12*z = 17*z - h. Does 6 divide z?
True
Let a(c) = 3*c + 22 - 19 - 2*c. Let w be a(9). Let r = 23 - w. Is 3 a factor of r?
False
Let k be 2/11 + (-126)/(-33). Suppose -156 = 5*a + 8*a. Is 18 a factor of k/(40/(-55))*a?
False
Let u(q) = -5*q**2 - 96*q - 6. Does 6 divide u(-18)?
True
Suppose -12*x - 4284 = -29*x. Does 9 divide x?
True
Let l = -2 + 9. Suppose -2*i + 13 = -l. Let q(g) = -g**3 + 10*g**2 + 3*g + 2. Is 8 a factor of q(i)?
True
Let c be -3 + 1*(5 + 0). Does 31 divide (-1 - -126) + (1 - c)?
True
Let i(v) = 3*v**2 - 4*v - 3. Is 8 a factor of i(-5)?
False
Suppose 4*p - i = 1634, 1817 = 5*p - 2*i - 227. Is 17 a factor of p?
True
Suppose 8*c - 4631 = -1799. Is c a multiple of 7?
False
Let g(f) = -431*f - 812. Does 11 divide g(-7)?
False
Let x be 8/12*72*5. Does 15 divide (x/(-28))/(1/(-14))?
True
Let a = -1 + 123. Suppose -2*l = 2*l + 16. Does 8 divide 12/8 - a/l?
True
Let m(a) = a**3 + 6*a**2 + 8. Let b be m(-6). Let u be b/28 - (-61)/7. Is u/(-4 + 7) + 117 a multiple of 18?
False
Let h = -38 + 35. Is 35 a factor of h - -6 - (0/4 - 32)?
True
Let b = -445 - -2027. Is b a multiple of 7?
True
Let q(c) = 34*c - 14*c - 17*c - 10. Is q(7) a multiple of 11?
True
Suppose -13*x = -14423 - 13540. Does 9 divide x?
True
Suppose 3*i + 109 = 2*t, 2*i - 210 = -4*t - 0*i. Does 11 divide t?
False
Suppose 0 = -4*w + 3*j - 16, 5*w - j + 39 = -2*j. Is (-4 + -4 + 7)*w a multiple of 5?
False
Suppose 603 = m - 1125. Does 108 divide m?
True
Let h(r) = 256*r - 104. Let n be (28/(-4))/1 - -2. Let l(z) = 27*z - 11. Let u(k) = n*h(k) + 48*l(k). Is 12 a factor of u(4)?
False
Suppose 1151 = 8*s - 9249. Is s a multiple of 25?
True
Suppose 5*z - 45 = -5*x, z + 9*x - 21 = 11*x. Let t(u) be the second derivative of u**3/3 + 3*u**2 + u. Is 21 a factor of t(z)?
False
Let j = 17 + -13. Let o be (-64)/(-24)*102/j. Suppose -3*a + o = a. Does 4 divide a?
False
Let w = -74 - -144. Suppose 3*a - 5*d - w = 0, -a - 3*d + 5*d = -24. Does 6 divide a?
False
Suppose -2*g - w = -824, 4*g + 4*w + 271 - 1919 = 0. Does 10 divide g?
False
Let n be (5/(-2))/((-6)/36). Suppose 3*t - n = -2*t. Suppose -t*b - b = -280. Is 20 a factor of b?
False
Let s be (-87)/(-6) + (-9)/(-6). Let l be s/(-128) - 818/(-16). Does 10 divide (-2)/(-4)*-6 + l?
False
Let h = 377 - -171. Is 4 a factor of h?
True
Suppose 24 = 11*i - 7*i. Let v be 13*i + (-5 - -2). Let j = v + -27. Is j a multiple of 18?
False
Suppose 3180 = 3*x - 2*r, 6*r - 5300 = -5*x + r. Is x a multiple of 20?
True
Let h(u) = 3*u**2 - u + 22. Let d = 2 + -12. Does 36 divide h(d)?
False
Let b = 77 - -108. Is 14 a factor of b?
False
Let b = -2587 - -3089. Does 17 divide b?
False
Let i = 419 + -172. Suppose -b - i + 767 = 4*v, 0 = -v - 5*b + 130. Is v a multiple of 26?
True
Let z(f) = 2*f - 1. Let x be z(0). Is 24 a factor of (x + 325/(-35))/((-2)/14)?
True
Suppose -x - 4*d + 16 = 0, -3*x - 10 = -3*d + 2. Let j be (-4 - 16) + x - 1. Is ((-4)/4 - j) + 1 a multiple of 11?
False
Suppose -g - 5*r + 728 = 0, -4*g + 62*r - 63*r + 2855 = 0. Is g a multiple of 23?
True
Suppose 3*g = 21 + 15. Suppose y + 0 = g. Is 3 a factor of y?
True
Suppose 4*o + 42 = n - 5, -3*o - 3*n = 39. Let p = 42 - 24. Let m = p + o. Does 5 divide m?
False
Suppose 4*m - 3 + 59 = 0. Let y be (-5424)/56 - (-2)/m. Let b = y - -166. Is 23 a factor of b?
True
Let i = -102 - -494. Is 28 a factor of i?
True
Let h = -92 + 181. Suppose 2*j - 6*c - 5 = -3*c, 0 = 4*c - 4. Suppose 3*r - h = -j*v, -r + 0*v - 2 = -5*v. Is r a multiple of 23?
True
Let c(w) = -2 + 2*w + 3*w - 4*w. Let u(f) = -7*f + 12. Let q(z) = -34*c(z) - 6*u(z). Is q(2) a multiple of 5?
False
Suppose 4*p = 3*y + 257, y + p - 2*p = -87. Let v = 227 + -397. Let o = y - v. Does 26 divide o?
False
Let x = 2499 - 1445. Is x a multiple of 31?
True
Is 6 a factor of (-8 - 249)/(-3*5/30)?
False
Suppose -4*b - 36*b + 50000 = 0. Does 25 divide b?
True
Suppose 5*y = -14 - 31. Let v(s) be the third derivative of s**5/30 + s**4/3 + 2*s**3/3 - 73*s**2. Is v(y) a multiple of 22?
False
Let w = -20 + 38. Suppose -r + 4*s = -15, 5*r - 63 + w = 5*s. Suppose 2*j - r = 79. Is 8 a factor of j?
False
Let t = 3762 + 1482. Is 21 a factor of t?
False
Let x(r) = -r**2 - 15*r + 11. Let c(l) = 3*l - 19. Let k be c(8). Suppose -k*a + 19 = -2*b, b = -0*a + a - 8. Is 13 a factor of x(b)?
False
Let i(l) = -l**3 - 12*l**2 + 6*l + 13. Let s(a) = -4*a**2 + 15*a + 12. Let w be s(5). Is i(w) a multiple of 13?
True
Let h(i) = i**3 - 19*i**2 - 19*i - 17. Let j be h(20). Let x(v) = -v**3 + 5*v**2 + v + 6. Let a be x(j). Suppose 9 = 3*m - a. Does 3 divide m?
True
Suppose 4 + 5 = 3*r. Let z = 7 + -7. Suppose r*c - 6*c + 120 = z. Does 15 divide c?
False
Let a be 3*-1 + 280/(-14). Let b = -12 - a. Is b a multiple of 6?
False
Suppose -4 = -3*o + 5. Is (-53)/(o*3/(-18)) a multiple of 15?
False
Let y(z) = -z**3 - 12*z**2 - 14*z + 5. Let o be y(-9). Let n = -46 - o. Is 11 a factor of n?
True
Suppose 5*x - 32 = -12. Suppose 8*y - 192 = x*y. Suppose r = -r + y. Does 12 divide r?
True
Suppose -2*s = -4*h - 5*s + 1233, 634 = 2*h - 2*s. Suppose -14*u + 18*u + h = 0. Does 19 divide 910/12 - 13/u?
True
Is -5 + (5980/25 - (-4)/(-20)) a multiple of 39?
True
Let y(g) = g**2 - 9*g + 2. Let h be y(9). Suppose 3*i - 15 = -3*f, -5*i = h*f - 3 - 13. Suppose 0 = d - f*d + 96. Is 16 a factor of d?
True
Suppose -3*h - 3*p = -21, 4*h - 4*p - p - 46 = 0. Let n(f) = -2*f + 20. Let i be n(h). Suppose i*o - 4*o = -44. Is 8 a factor of o?
False
Is (-17952)/(-72) + 8/12 a multiple of 10?
True
Does 24 divide 120/175*10*8*7?
True
Suppose -w - 1617 = -3*k, 7*k - 1065 = 5*k + 5*w. Does 60 divide k?
True
Let a be 4*3*4/(-8). Let t = -1 - a. Let f(g) = -g**3 + 5*g**2 + 2*g - 5. Does 4 divide f(t)?
False
Suppose -24 = q + 5*d, 3*q + 13 = -5*d - 9. Let m(w) = 211*w**3 - w**2 + 2*w - 2. Is m(q) a multiple of 14?
True
Let v(t) = t**3 + 2*t**2 - 4*t - 2. Let u be v(-3). Is 3 a factor of u - -1 - 270/(-15)?
False
Let c be ((-2)/4)/((-1)/566). Suppose 8*r - c - 293 = 0. Does 36 divide r?
True
Let q(y) = y + 157. Let x be q(0). Suppose -3*b - x = -520. Let h = 177 - b. Does 12 divide h?
False
Let t(c) = -c**3 + 8*c**2 + 7*c - 8. Suppose -b - 5*b = -48. Does 10 divide t(b)?
False
Let k(j) = -j**3 + 29*j**2 + 7*j - 16. Let o(a) = -a**3 + 7*a**2 - 2*a - 11. Let l be o(4). Does 11 divide k(l)?
True
Suppose -17*d + 18*d = 2. Does 2 divide ((-1)/d - 1 - -2)*4?
True
Let m = 159 + 125. Let l = -202 + m. Is l a multiple of 41?
True
Suppose 2*f - 4*f = 4*b + 1374, b + 339 = -2*f. Is (8/12)/((-5)/b) a multiple of 7?
False
Let s be -3*(-2)/(-2 - 0) - -7. Let w(r) = 16*r - 9. Does 14 divide w(s)?
False
Is (-1 + 7*2)/((-49)/(-2548)) a multiple of 52?
True
Suppose -2089*f + 18920 = -2084*f. Is 120 a factor of f?
False
Let w be (-2)/3 - 69570/(-27). Let o(i) = -15*i**3 + 2*i**2 - i. Let c be o(1). Does 16 divide ((-8)/c)/(32/w)?
False
Suppose -4*s + g = -5, -11 = -s - 0*g - 3*g. Suppose -3*t - s = -a - 5*t, -a = -t - 11. Let r(u) = 2*u + 7. Does 9 divide r(a)?
False
Suppose 190 = 5*h + 4*s, 4*h - 3*s = -8 + 160. Is h a multiple of 17?
False
Suppose 8*b - 1735 = 1345. Is b a multiple of 19?
False
Suppose 4*u - 4*s + 128 = 0, 52 = -2*u + 5*s - 12. Suppose 192 = -8*l + 5*l. Let n = u - l. Is 16 a factor of n?
True
Suppose 5*f - 207 = 3*h, 3*h + 10 = -2. Let n = -3 + f. Is 15 a factor of n?
False
Let y = -8 - -3. Let c = y - -22. Suppose -43 - c = -3*n + 3*g, n = 5*g + 20. Is n a mul