
False
Let c = -44 - -241. Is 6 a factor of c?
False
Let l be ((-2904)/55)/(3/10). Let g = 100 - 177. Let x = g - l. Is x a multiple of 17?
False
Let x = -203 - -377. Is x a multiple of 6?
True
Let n be (13 - 14)*(-6 - (-2)/2). Let d = 1 - -2. Suppose -g - 3*k = -90, 328 = n*g + d*k - 74. Is 26 a factor of g?
True
Let x = -81 + 58. Let a(c) = -c**3 - 23*c**2 - c + 47. Is a(x) a multiple of 23?
False
Let k(v) = -v**2 + 6*v - 2. Let y = 13 - 8. Let m be k(y). Suppose -8*g = -m*g - 45. Is 9 a factor of g?
True
Let h = 1289 + -1044. Does 5 divide h?
True
Let j = 6 + 1. Let x be (-2)/(-7) - (-96)/j. Suppose -104 = -n - x. Is n a multiple of 28?
False
Let w be 2/5 - (-56)/10. Let v be w/(-3)*(-1 - 1). Suppose v*t = 2*y + 220, -2*t + y - 261 = -7*t. Does 21 divide t?
False
Is 22 a factor of (5/(10/(-92)))/((-9)/18)?
False
Suppose 5*a - 1902 = -4*k + 55, 4*k + a - 1937 = 0. Is k a multiple of 37?
False
Let w = -350 + 1200. Is w a multiple of 36?
False
Suppose n = 3 - 1. Let t(m) = 11 - 5*m + 4*m - n. Is t(-7) a multiple of 16?
True
Let d(t) = t**3 + 12*t**2 - 26. Let j be d(-12). Let f = 7 - 20. Let m = f - j. Is 9 a factor of m?
False
Suppose -2*x - 19 = -v - 4*x, 0 = 2*v - 2*x - 26. Let m = -4 + v. Does 2 divide m?
False
Is 72 a factor of (7 + (-13)/3)*27?
True
Let u(c) = -5*c + 7. Let z be u(5). Does 11 divide (1180/15)/(3/(z/(-4)))?
False
Suppose -4*g + 5*r = -3014, 13*r - 18*r - 2263 = -3*g. Is 10 a factor of g?
False
Suppose 3*u + 5*g - 453 = 843, 4*u - 3*g = 1728. Is 12 a factor of u?
True
Suppose -62472 = -53*t - 4*t. Is t a multiple of 19?
False
Let i(w) = -w**2 - 4*w + 16. Let o be i(-6). Suppose 0*q - 1 = -o*q - 3*v, 4*q + 5*v = -9. Is 4 a factor of q?
True
Let l = 34 + -31. Suppose -67 = -3*s - 5*f, -4*s - 2*f = -l*f - 97. Is s a multiple of 8?
True
Let c(t) = -t**2 - 3*t + 2. Let x be c(-3). Let w(a) = -3*a + 2. Let d(o) = 16*o - 11. Let p(j) = -6*d(j) - 33*w(j). Does 3 divide p(x)?
True
Let l(d) = d - 8. Suppose -28 = -4*o + 4. Let s be l(o). Suppose s*m = 5*g + m - 344, g - 72 = -m. Does 17 divide g?
True
Let k = 146 - 76. Is 12 a factor of k?
False
Suppose 66 = 5*r + 26. Let p(t) = t**2 - 8*t + 7. Let x be p(r). Let c = x - -37. Does 27 divide c?
False
Let v be (-2 - -6)*19/(-4). Let y(h) = h**3 + 18*h**2 - 21*h + 33. Is 17 a factor of y(v)?
False
Suppose -7*p = 4*p - 264. Is 22/(-6)*36/p*-6 a multiple of 14?
False
Suppose 0 = 25*o + 140 - 2665. Is 9 a factor of o?
False
Let s(t) = -t**2 + 4*t + 2. Let y be s(4). Suppose -4*b - 3*f = -97, 0 = -y*b + 4*f + f + 29. Does 22 divide b?
True
Let m(f) = 1092*f**3 - 2*f**2 + 11*f - 9. Is m(1) a multiple of 91?
True
Let a(c) = 5*c**2 - 21*c + 10. Is a(8) a multiple of 18?
True
Let a(i) = i**3 + 3*i**2. Let o be a(-4). Let w = -11 - o. Suppose -370 = -w*k - 5*z, -2*k + 3*z + 25 + 98 = 0. Is k a multiple of 23?
True
Let m = -1281 - -1617. Does 74 divide m?
False
Suppose 5*u - 5*b + 5 = 0, -2*u + 0*u + 4*b - 8 = 0. Let x(q) = 16*q - 3. Let w be x(u). Suppose 5*o - 197 = a, -o - 3*a - 2*a + w = 0. Does 24 divide o?
False
Let c = -262 + 421. Is 7 a factor of c?
False
Suppose -3*u + 2*c + 202 = -3*c, -5*u + 328 = -4*c. Does 16 divide u?
True
Let z(k) = -40 - 10*k + 8*k + 27*k. Is 15 a factor of z(7)?
True
Suppose 3*q - 5*m = q - 25, 5*q - 3*m = -15. Let a(u) = -5*u**2 - 3*u - 31. Let x(f) = -6*f**2 - 4*f - 32. Let j(i) = -5*a(i) + 4*x(i). Does 9 divide j(q)?
True
Let a(u) be the second derivative of u**3/3 - u**2 + 11*u. Does 17 divide a(10)?
False
Suppose 102 - 90 = n. Is n/(-6) + 135 - 1 a multiple of 44?
True
Let p(q) = 3*q**2 - 3*q - 34. Is p(9) a multiple of 2?
True
Let q(j) = 25 + 37*j - 29*j - 28*j. Is 12 a factor of q(-5)?
False
Let q = -50 - -40. Is 8 a factor of 6*(1 - 15/q)?
False
Suppose -4*i + 5*z - 12 = -5*i, -16 = -3*i - 5*z. Is 10 a factor of -8 - -6 - (-40 - i)?
True
Let m(v) = v + 1. Let o be m(11). Let a = o - 10. Does 13 divide a + 144/((-4)/(-1))?
False
Suppose 0 = 4*o + 3*o - 42. Does 4 divide o?
False
Let o = 187 + -64. Is o a multiple of 2?
False
Let r = -770 - -922. Is 38 a factor of r?
True
Let r(d) = -3*d**3 + d**2 + 6*d + 4. Does 2 divide r(-3)?
True
Suppose 0 = -5*r + 2*y - 23, -5*r - 4*y = -r - 4. Is 6 a factor of 14/((1 - r) + 21/(-6))?
False
Suppose 3*m = 629 + 250. Does 9 divide m?
False
Suppose -2 = 44*p - 45*p. Is 2 a factor of p?
True
Let p = 768 - 743. Is p a multiple of 6?
False
Let u(n) = -63*n + 32. Is u(-8) a multiple of 67?
True
Let h = 10 - 7. Let p(x) = -h*x + 15 + 5*x - 5*x. Is 13 a factor of p(-8)?
True
Let w = 740 - 516. Does 32 divide w?
True
Does 73 divide ((-56)/(-252) + (-2624)/(-18))*2?
True
Suppose 19*z + 2951 = 9221. Does 10 divide z?
True
Suppose -5*l - l + 36 = 0. Suppose 4*y - 318 = 4*p + l*y, -5*y = 3*p + 228. Let h = -17 - p. Is 12 a factor of h?
False
Suppose 2*k = -k + 5*f + 26, 0 = 4*k + 5*f + 12. Suppose -s + 7 = 2*j, -s - 3*j + 12 = k*s. Suppose s = 5*r - 109. Does 7 divide r?
False
Suppose 0 = 7*h - 8*h. Suppose 2*q = -q + 9. Suppose h = q*w - 28 - 5. Does 5 divide w?
False
Let g(y) = 8*y**3 - 15*y**2 + 9*y - 4. Is 38 a factor of g(4)?
True
Suppose 0 = -2*q + 2*s + 8, 2*s - 1 = -3*q + 26. Suppose -2*w - 3*i - 7 = 0, 0 = -3*w + 4*i - 2*i + 9. Is 4 a factor of w/q + 110/14?
True
Let g = -46 + 65. Suppose -3*b = -4*i - 51 - 6, 0 = b - 5*i - g. Is 12 a factor of b?
False
Suppose 7*n = 1 + 6. Does 27 divide (18/(-4))/(n/136*-6)?
False
Let c(g) = g**2 - 8*g + 2. Let n be c(8). Suppose -3*i = 4*a - 152, -2*i - 54 = -3*i - n*a. Is i a multiple of 22?
True
Suppose d - 6*d = 10. Suppose 4*s - 18 = -5*o, -5 + 25 = 5*o + 5*s. Is 1/o*d*-7 a multiple of 6?
False
Suppose 4*c + g + 3*g = -8, 4*g = -2*c - 4. Let d(y) = 6*y + 4. Let i be d(c). Let l = i - -49. Is 15 a factor of l?
False
Let x be (3/2)/((-1705)/244 - -7). Let t = x + -32. Is t a multiple of 13?
False
Let r(t) = -312*t**2 + 27*t. Let d(v) = 24*v**2 - 2*v. Let c(k) = 27*d(k) + 2*r(k). Suppose -2*i - 3*w + 8 = 0, -5*i + 0*i - 3 = -4*w. Is 8 a factor of c(i)?
True
Let g be (-2)/(-4) - 732/(-8). Suppose -g = 4*b - 6*b. Is b a multiple of 7?
False
Let i = 2092 + -1280. Is i a multiple of 7?
True
Suppose -174*p - 154 = -181*p. Is 10 a factor of p?
False
Suppose -2*c + 87*l - 86*l = -1315, 2*l = -4*c + 2650. Does 55 divide c?
True
Let q(t) = -t**3 + 23*t**2 + 77*t - 3. Is 8 a factor of q(25)?
True
Let l(b) = -41*b + 1. Let d(o) = -o**2 - 8*o - 5. Let y be d(-7). Let s be l(y). Let z = -45 - s. Does 12 divide z?
True
Suppose -66*h - 10140 = -79*h. Does 12 divide h?
True
Suppose 4*b - 2*b - 5 = d, 0 = 3*b - 3*d - 9. Suppose b*f - 84 = 2*j, f - 6*j - 36 = -7*j. Is f a multiple of 13?
True
Let n be ((-5)/(-10) + 2)*12. Let l = n - 18. Is l a multiple of 4?
True
Let j(o) = o - 5. Let y = -3 + 12. Let p be j(y). Suppose -4*m = p*q - 160, 4*m - 177 = q + 8. Is 15 a factor of m?
True
Suppose -5*p = -0*j - 5*j + 435, -3*p + 9 = 0. Suppose -3*m + 438 = j. Does 19 divide m?
False
Is 95 a factor of -15 + 275282/56 + 6/(-8)?
False
Suppose 2*y = 2, -8*y = w - 3*y - 5. Let b(l) = l**3 + l**2 + l + 57. Is 34 a factor of b(w)?
False
Let p(v) be the first derivative of 16*v**3/3 - v**2 + v - 17. Does 2 divide p(1)?
False
Let q(b) = -5*b + 4. Let y(v) = 4*v - 3. Let k(d) = -3*q(d) - 4*y(d). Let s be k(7). Is 2192/28 + 2/s a multiple of 20?
False
Let t(f) = -f - 3. Let h be 1/(-2) - (-14)/(-4). Let q be t(h). Suppose c = 4*u - 5, 3*c + q = 3*u + 13. Is c a multiple of 6?
False
Suppose 0 = 37*s - 39*s - 22. Let w = s + 15. Is w even?
True
Let m be -53*(-60)/(-5)*-1. Suppose 312 = r - 5*q, 3*r - r - m = 4*q. Is 23 a factor of r?
True
Let a(f) = -f**2 - 18*f - 2. Let n be a(-10). Let b be (10/(-4))/((-2)/4). Suppose -3*q + n = b*u, -2*q - 2*q + 90 = 2*u. Is q a multiple of 7?
True
Suppose 2*f + 3*f - 20 = 0. Suppose -3*z = -f*o + 17, -3*o + 5*z - 5 = -26. Does 16 divide (5 - -75) + (o - 3)?
False
Is 14 a factor of 40/(-100) - (-3810)/25?
False
Let c(z) = 990*z**2 - 64*z - 64. Is c(-1) a multiple of 33?
True
Let h(x) = x**2 - x + 1. Let c(a) = 4*a**2 + 3*a + 19. Let q(g) = -c(g) + 5*h(g). Let w be q(11). Let z = 7 + w. Does 10 divide z?
False
Suppose 3*b - 3*n - 477 = 0, -3*b + 2*n + 512 = 6*n. Does 30 divide b?
False
Let t(o) = -o**3 - o**2 - o + 10. Let d be -3 + -6 + 4 + -10. Let y = 15 + d. Does 10 divide t(y)?