-57. Let j = l + 50. Is 3 a factor of j?
False
Let n(s) = -4*s**2 - s + 2. Let y(z) = 3*z**2 + 2*z - 1. Let t(i) = -5*n(i) - 4*y(i). Is 13 a factor of t(-3)?
False
Suppose 2*i - 278 = -l - 27, -1227 = -5*l - 3*i. Is 9 a factor of l?
True
Let f be 77 + (1 - (-2)/(-1)). Suppose -f = 10*q - 14*q. Let h = q - 3. Is h a multiple of 4?
True
Let j be (-13452)/(-60) - 2/10. Suppose 2*p = 6, 5*y + 4*p - 365 = 1287. Let a = y - j. Does 18 divide a?
False
Suppose -11*t - 527 = -12*t + 3*o, t = 2*o + 526. Is t a multiple of 30?
False
Let a = -5 + 1. Let k be 42*(3 + a/4). Suppose -b + k = b. Is 14 a factor of b?
True
Suppose 0*b - 4*b - 3*j + 43 = 0, -b + 5 = -5*j. Suppose 5*d - b*d + 230 = 0. Is d a multiple of 23?
True
Let s = 476 - 164. Does 52 divide s?
True
Suppose -3*z - 6*z = -1476. Does 2 divide z?
True
Suppose 3*y = 5*l - 28, 0 = 8*l - 3*l + 2*y - 23. Suppose l*t = 14 + 16. Let s = t - -58. Does 10 divide s?
False
Let y(s) be the first derivative of s**3 - s**2 - 8*s + 11. Let p be y(6). Suppose 6*q - 38 = p. Does 7 divide q?
True
Suppose 0 = 2*x + 8, 4*a - 2*x = -724 + 3276. Is 46 a factor of a?
False
Let m = 25 + -25. Let l(r) = 0*r + m*r - r**2 + r + 35 - 4 - r**3. Is 9 a factor of l(0)?
False
Suppose 16 = -4*s, 716 = 2*q - 28*s + 29*s. Is 6 a factor of q?
True
Suppose -2*p + 2658 = 434. Is p a multiple of 8?
True
Let v = -87 - -89. Suppose 0 = -3*b - v*b + 420. Is 42 a factor of b?
True
Let v be 14/(-21)*(-3)/1. Suppose 3*a + 0*a - 63 = -2*k, 32 = k + v*a. Is 15 a factor of k?
True
Let b(t) = t**3 + 4*t**2 - 5*t - 29. Let m(a) = -a**3 - 3*a**2 + 4*a + 30. Let z(l) = 4*b(l) + 5*m(l). Suppose -2*v - 3*v = 0. Does 29 divide z(v)?
False
Is 16 a factor of (-941)/(-1) + (-3)/(-11 - -8)?
False
Is (-5504)/24*(12/(-8))/1 a multiple of 33?
False
Suppose 628 = 2*r - 5*x, 19*r - 23*r = 2*x - 1280. Does 11 divide r?
True
Suppose -3*m - 4*g = -7*g + 39, -2*m = 4*g + 26. Let a = 20 - m. Is a a multiple of 6?
False
Let m = 52 + 44. Is 32 a factor of m?
True
Does 19 divide -4 + (-26)/(-6) + (-4760)/(-21)?
False
Let j(h) = 3*h**3 + 4*h**2 + 12*h - 48. Is 13 a factor of j(7)?
True
Suppose 41 = m - 2*d + 7, -3*d = -m + 35. Suppose -4*a + a + h = -m, -2*a - 5*h + 10 = 0. Does 6 divide (0 - 10)*(-12)/a?
True
Let r be (-4)/(-4) - (-12)/3*-1. Is 19 a factor of -3 + 55 - 4 - r/(-1)?
False
Let f(g) = g**3 + 4*g**2 - 7*g - 7. Let z be f(-5). Suppose -5*t - 3*o + 235 = 0, -4*t + 225 = -z*o - 2*o. Suppose t = 2*a - 10. Is 15 a factor of a?
True
Is (((-1690)/4)/(-5))/((-4)/(-8)) a multiple of 2?
False
Suppose -9*v = -12*v + 6. Suppose -v*f = -50 - 106. Is 29 a factor of f?
False
Let h be (-46)/(-5) - 3/15. Let a = h - 2. Suppose 45 = z + a. Does 19 divide z?
True
Suppose -5*h - 35 = -0*h. Let n = -49 - h. Let a = n - -83. Is 20 a factor of a?
False
Let u be (-60)/(-24) - (-10)/(-4). Suppose 179 = 2*y - 3*n + 65, -5*y + 5*n + 290 = u. Does 20 divide y?
True
Let q = 913 - 296. Does 26 divide q?
False
Let b(g) = g + 2. Let o be b(4). Let p(w) = -w**2 + 13*w + 2. Let k be p(o). Let y = k + 25. Does 23 divide y?
True
Let r(i) be the third derivative of i**7/1260 - i**6/120 + i**5/60 - 4*i**2. Let y(h) be the third derivative of r(h). Does 17 divide y(10)?
True
Suppose 2*u + 144 = z, -u - 5*z - 46 = 15. Let t = u + 139. Does 8 divide t?
False
Let g(f) = 67*f**2 - f + 3. Let q be g(-2). Suppose 6*k + q - 1371 = 0. Suppose -3*j + 26 = y, 4*y + 2*j = k - 29. Does 13 divide y?
False
Suppose 3*k + 187 - 73 = 0. Does 11 divide 12530/95 - 4/k?
True
Let o(k) = k**2 + 32*k - 174. Does 17 divide o(9)?
False
Let l be 2/4*(-16)/(-2). Let h be ((-6)/l)/(21/(-28)). Suppose 4 = k - h. Is k a multiple of 4?
False
Let u(c) = c**3 + 10*c**2 + 6*c - 3. Let k be (24/20)/((-1)/5). Let p be k*(15/6 + -1). Is u(p) a multiple of 24?
True
Suppose -5*m + 3 = -17. Suppose 0 = -m*p + 8*p + 48. Is 15 a factor of (80/(-32))/(1/p)?
True
Is 6/4*20/15 - -5609 a multiple of 31?
True
Let w(v) = -v**3 + 4*v**2 + 13*v - 2. Let b be w(6). Suppose -b*m - 3*m = -504. Is m a multiple of 9?
True
Let a(p) = -37*p + 2. Let r(c) = -13*c + 1. Let g(l) = 3*a(l) - 8*r(l). Let x(y) = -4*y. Let m be x(2). Is 18 a factor of g(m)?
True
Let n(g) = -g**2 - 3*g + 63. Let t be n(0). Suppose 2*l = 5*l - t. Is l a multiple of 8?
False
Let s(z) = 3*z + 6. Let t be s(12). Suppose 4*y - 5*q = -0*q + 171, t = y - q. Is 7 a factor of y?
False
Let v(t) = -5*t**2 - 4*t - 5. Let j be v(-5). Let q = 206 + j. Let n = -65 + q. Is n a multiple of 21?
False
Suppose -58 = -6*f - 10. Let x be (6/(-4))/(1/(-48)). Suppose -x + f = -4*g. Does 6 divide g?
False
Let i = 1062 - 840. Does 8 divide i?
False
Let a = -4325 - -6621. Is 38 a factor of a?
False
Suppose 0*c + 4*u + 190 = 3*c, -3*c = 3*u - 162. Let m = c + -20. Is 38 a factor of m?
True
Suppose -3*g = 6, k + 3*g - 6 = -0*k. Does 30 divide (45/k)/((-3)/(-24))?
True
Suppose 4*g - 17 + 41 = 0. Suppose a + 2*a = 4*t + 8, 0 = 2*t + 2*a - 10. Is (-10)/6*g*t a multiple of 10?
True
Let k(p) = 14*p - 60. Is 6 a factor of k(9)?
True
Let g = -572 - -622. Does 25 divide g?
True
Suppose l - 12 = -8. Let v(o) = -2*o**3 + 9*o**2 + o - 1. Is 12 a factor of v(l)?
False
Let r(v) = -v - 5. Let p be r(-7). Suppose p*c - 18 = 22. Does 20 divide c?
True
Let v(o) = o**2 - 22*o + 13. Does 10 divide v(-16)?
False
Does 12 divide (-14)/5*280/(-16)?
False
Let y(p) = 3*p**3 + p**2 - 8*p + 11. Is 53 a factor of y(5)?
True
Suppose 4*r - 82 = 2. Suppose 23 = -4*n - r. Let t = n + 14. Does 3 divide t?
True
Let y be ((-5)/(-4))/(10/80). Suppose 3*n + y = -17. Let r(u) = u**2 + 7*u - 4. Is r(n) a multiple of 10?
False
Let w = 247 - 67. Does 9 divide w?
True
Let u(c) = -c**2 - 25*c - 26. Suppose j + 7*j = -104. Is u(j) a multiple of 26?
True
Let t(j) be the first derivative of -j**4/4 + 2*j**3/3 - 3*j**2/2 - 4*j + 31. Is 4 a factor of t(-2)?
False
Suppose 2825 = 4*k + 5*a, 3*a + 3495 = 5*k + 2*a. Does 52 divide k?
False
Let p be -3*(2 - 5/2)*2. Suppose -m = -6*m + p*i + 1261, 2*i = m - 248. Does 36 divide m?
False
Suppose -w + 0*l = -2*l - 56, 4*w = 3*l + 219. Let d be (-2324)/9 - (-12)/w. Is (4/6)/((-4)/d) a multiple of 15?
False
Suppose -u - 8 = 17. Let w = 250 - u. Suppose -2*m - w = -7*m. Is m a multiple of 13?
False
Suppose 2 = 2*b, -4*w = -2*w + 2*b + 8. Let a(j) = -25*j + 5. Is 7 a factor of a(w)?
False
Let g be -3*(-4)/3 - -4. Suppose 0*b = -g*b + 312. Is 36 a factor of b?
False
Is 22 a factor of 6 - (-3 - 430) - (0 + -1)?
True
Suppose -2*i + m + 424 = 0, 5*i - m - 326 - 728 = 0. Does 30 divide i?
True
Suppose -50 - 46 = -3*h. Suppose -25 = 5*k, 188 - h = 2*g - 4*k. Is g a multiple of 17?
True
Suppose -19*f = -17*f + l - 3136, 6284 = 4*f + 5*l. Does 27 divide f?
True
Let a(n) = -261*n - 21. Is 75 a factor of a(-1)?
False
Does 73 divide (-146)/((-2)/(-60)*-4)?
True
Let k(t) = -t**2 + 2*t - 44. Let g(c) = -4*c**2 + 6*c - 133. Let n(l) = 2*g(l) - 7*k(l). Is n(0) a multiple of 2?
True
Let c = 109 - 145. Let r = c - -83. Does 41 divide r?
False
Suppose -739 = -q - 3*d, -4*d = 2*q - 9*d - 1522. Let i = q + -432. Is 25 a factor of i?
False
Suppose -46*j = -43*j - 6. Does 12 divide (j - (-14)/(-4))*-24?
True
Suppose -13*d + 8*d = -90. Is 2 a factor of d?
True
Suppose -2*c - 4 = -34. Suppose -2 - c = -3*m - 4*p, -2*p + 26 = 4*m. Suppose -8*f + 24 = -m*f. Is 8 a factor of f?
True
Let b(w) = w**3 - 4*w**2 + 4*w + 5. Suppose 0 - 9 = -3*c. Is 3 a factor of b(c)?
False
Suppose 15*q - 8*q - 5712 = 0. Is q a multiple of 17?
True
Let d(x) = 4*x + 48. Let o be d(-11). Suppose 5*z - 2*a = 32, o*z - 10 = -3*a + 11. Is 4 a factor of z?
False
Let f be 4/(6/(-9) - -2) + -281. Let r = f - -465. Is 19 a factor of r?
False
Let n = 3 + 50. Let x = -17 + n. Is 12 a factor of x?
True
Suppose -2*r - 4*b = 78, -3*r - 5*b = -2*r + 27. Let n = r + 52. Is n a multiple of 4?
False
Let w be (0 - (-10)/8)*4. Suppose w*y - 151 = 24. Suppose s = y + 9. Does 22 divide s?
True
Let d(s) = -11 + 30 - 3 + 19*s + s**2. Let c be d(-18). Is 13 a factor of (8/24)/(c/(-78))?
True
Let i(p) = -7 + 10*p**2 - 11*p**2 + 9*p - 3. Let q(c) = c + 3. Let r be q(4). Does 2 divide i(r)?
True
Let g = -38 + 53. Let k be (4/(-5))/((-6)/g). Suppose k*i + 1 = 13. Is 6 a factor of i?
True
Let c(b) = -b**3 + 8*b**2 - 10*b + 8. Let v = 1 + 5. Is c(v) a multiple of 20?
True
Suppose -2*k 