-2*v = 4*y - 26. Suppose 0 = -0*h - 2*h + 82. Suppose 31 + h = y*j. Is j a multiple of 18?
True
Let k be (1/2)/((-4)/(-8)). Let t be k*(1 - 1)*1. Suppose t*s + 5 = s, 5*i - s = 70. Does 5 divide i?
True
Suppose -83 = -29*i + 1512. Does 28 divide i?
False
Suppose -u + 1 = 4. Is 2 + (1 - -43 - (5 + u)) a multiple of 11?
True
Let w(r) = 19*r**2 - 4*r - 32. Does 6 divide w(-5)?
False
Let p(o) = -o**3 + 13*o**2 - 15*o - 7. Is p(8) a multiple of 4?
False
Let t = -59 + 65. Suppose 72 - 294 = -t*f. Is 26 a factor of f?
False
Let t be (60/50)/((-2)/(-10)). Suppose j - 5*j + t = 3*v, 15 = 2*v - j. Suppose 2*r = -y + v, -5*y - 5*r + 39 = -6. Is 4 a factor of y?
True
Let q = 408 - 288. Suppose -13*c - q = -15*c. Does 20 divide c?
True
Let d(v) = 19*v - 7. Let n be 0 - (-4 + 4/(-1)). Does 19 divide d(n)?
False
Suppose 41*w - 8 = 45*w. Does 31 divide (-748)/(-12) - w/(-6)?
True
Let w(z) = 8*z - 10. Suppose -9 = 4*b + 3. Let u be -3 - -6 - (b - -1). Is w(u) a multiple of 26?
False
Let u(i) = 35*i + 13 - 22*i - 9*i. Suppose 5 + 1 = h. Is 19 a factor of u(h)?
False
Let q be (3/(-6) + 3)*(-4 - 6). Is 17 a factor of (1/(20/q))/((-4)/288)?
False
Suppose 10764 = -18*n + 22*n + 2*c, n = -c + 2692. Is 37 a factor of n?
False
Suppose -4*g - 2*y + 116 = -g, -4*y = 2*g - 88. Let q = 38 - g. Suppose 177 = q*n - 3. Is n a multiple of 18?
True
Is 17 a factor of 32/272 + 1*(-24937)/(-17)?
False
Let x(l) = 11*l - 4. Suppose 3 = -4*f - 5. Let t = 6 + f. Is 10 a factor of x(t)?
True
Let k be (-8)/(0 - (-4)/28). Is 3094/k*(-4 + 0) a multiple of 13?
True
Let v(c) = -4*c**3 - c**2. Let o be v(-1). Suppose 5*f = -o - 2. Let g = f + 11. Does 5 divide g?
True
Let o(d) = 2*d**2 - 6*d - 72. Is 32 a factor of o(-24)?
False
Let l(x) = 54*x**2 + x. Let c = -12 + 13. Is 11 a factor of l(c)?
True
Let h(n) = -2*n - 8. Let m be h(-7). Is 24 a factor of (-24)/(-2 - (-9)/m)?
True
Suppose -2*u = m - 202 - 547, 0 = 4*u - 3*m - 1483. Let t = u - 186. Does 21 divide t?
False
Suppose 3*f + 0*f = 15. Suppose 0*h = f*h - 210. Is h a multiple of 29?
False
Let b = 204 - -1460. Is b a multiple of 52?
True
Suppose -4*a + 6 = o, 3*o + 0*o = 4*a + 2. Suppose 98 = o*k - 200. Suppose -3*u - 2*z = -k, 0 = z + 2. Does 18 divide u?
False
Let d = 6 + -156. Let y be 4/(-6)*d/20. Suppose -5*b - 2*x + 220 = 2*x, 0 = y*b - 4*x - 180. Does 20 divide b?
True
Let p(i) = 2*i - 32. Is 2 a factor of p(38)?
True
Let p(i) = 436*i + 21. Let d be p(-3). Does 3 divide d/(-45) + (-2)/(-5)?
False
Let o = 944 - 722. Does 3 divide o?
True
Let w = 62 - 45. Let b = w - -47. Is 12 a factor of b?
False
Let w(h) = 16*h**3 - 12*h + 12. Is 10 a factor of w(1)?
False
Suppose 4*p = -12, 0*y + 15 = -y - 5*p. Suppose -2*c = -y*c - 8. Suppose -4*t = 3*n - 289, 3*n + 223 = c*t - 48. Is t a multiple of 23?
False
Let b(r) be the second derivative of -23*r**5/20 - r**4/6 - 2*r**3/3 - r**2 + 16*r. Is 2 a factor of b(-1)?
False
Let a(m) = -2*m - 7. Let s = -16 + 10. Let j be a(s). Suppose -j*u = -u - 16. Does 4 divide u?
True
Let x(z) = -z**2 - 2*z - 12. Let k(d) = -d**2 + d + 1. Let w be 2/18 - (-64)/72. Let c(f) = w*x(f) - 3*k(f). Is 28 a factor of c(-6)?
False
Does 11 divide (-25)/(-2)*(-110)/(-25)?
True
Let q = -262 - -257. Let o = 3 + -18. Does 12 divide q/25 - 738/o?
False
Suppose -2*g + 8 - 2 = 0. Suppose 4*b - 17 = -3*x - b, -g*x + 5*b + 37 = 0. Does 9 divide x?
True
Let q(n) = 337 + 17*n**2 - 4*n - 311 - 7*n - n**3. Is 24 a factor of q(16)?
False
Let n(j) = -j**2 - 17*j - 7. Let c be n(-15). Let w = -11 + c. Is 6 a factor of w?
True
Suppose 0 = 213*o - 219*o + 408. Is o a multiple of 4?
True
Let f = -9 + 19. Suppose -4*r - f = -4*k + 106, -2*k = 5*r - 44. Let u = 33 - k. Does 6 divide u?
True
Let b = -108 + 112. Suppose 0 = -b*s + 5*j + 106 - 27, -s + 4*j + 28 = 0. Does 2 divide s?
True
Let h = -7 + -28. Is (h/28)/((-3)/120*2) a multiple of 21?
False
Suppose k = 6*k - 210. Suppose -k = p - 58. Is 4 a factor of p?
True
Let d(z) = z - 12. Let u(o) = -2*o + 25. Let n(s) = 11*d(s) + 6*u(s). Is n(10) a multiple of 7?
False
Let l = 561 + -231. Does 5 divide l?
True
Suppose -4*t + 4 = g - 1, -g = t - 8. Suppose 12 = 2*d + 2. Suppose g = -c - d*m + 1, -3*m = 12. Is c a multiple of 12?
True
Suppose -3*b + b = 72. Let c be ((-12)/b)/(2/(-6)). Does 20 divide (c + -5)/(3/(-40))?
True
Let w = 62 + -57. Suppose -7*q = -w*q - 30. Does 15 divide q?
True
Let m = 553 + -394. Suppose -s = -m - 11. Is s a multiple of 34?
True
Suppose -19 = -12*j + 17. Suppose -351 = -0*v - j*v + 3*b, 0 = 3*v + 5*b - 351. Does 13 divide v?
True
Let i(p) = p - 6. Let f = -10 - -18. Let y be i(f). Let b(v) = 5*v**3 - 3*v**2 + 2*v - 2. Is 15 a factor of b(y)?
True
Let j(o) = -o**2 - o - 7. Let q be 6/(-24) - 21/(-4). Let s be j(q). Let g = 79 + s. Does 14 divide g?
True
Let h be (-84)/8*2/(-3). Let a(k) = -5 - 2*k + k**2 + k + h*k. Is a(-9) a multiple of 11?
True
Let q(b) = -b - 11. Let v(f) = 2*f + 10. Let r(i) = -4*q(i) - 5*v(i). Let y(j) = j**2 + 9*j + 7. Let z be y(-6). Is r(z) a multiple of 15?
True
Suppose s - 3*s = 0. Suppose -5*j - 69 = -3*a - 0*j, 2*j = 3*a - 69. Suppose s*f + f + 2*c - 17 = 0, -a = -f - 4*c. Does 5 divide f?
False
Let v = 83 + 60. Does 11 divide v?
True
Suppose 4*j = -22 + 6. Let x(b) = 8*b - 1. Let c(h) = -h**2. Let n(v) = j*c(v) - x(v). Is n(5) a multiple of 29?
False
Let y(g) = -29*g - 87. Let c be y(-3). Let r be ((-4)/5)/((-2)/5). Suppose r*t + c*t = 198. Is t a multiple of 14?
False
Suppose -2166 = -2*c + 4*u, -3*u = 3*c + 2*c - 5402. Does 31 divide c?
False
Let j = -67 + 35. Is 4/(j/(-30) - (-4)/(-6)) a multiple of 2?
True
Is 20 a factor of 33/88 - (-1525)/8?
False
Let d = 1380 - 1075. Does 33 divide d?
False
Suppose -4*m = -0*m + 28. Let r(k) = -k**3 - k**2 + 6*k + 3. Let v be r(m). Suppose -2*t + 6*t - 3*j = 197, v = 5*t + 5*j. Is 25 a factor of t?
True
Suppose 41*w = 35*w + 30. Suppose -2*u - 61 = -w*r, 2*r + u + 14 = 3*r. Is 8 a factor of r?
False
Let w(x) = 42*x + 97. Does 79 divide w(16)?
False
Suppose -r = -1 - 4. Suppose -6*y + 35 = -y - r*w, y = -3*w - 9. Suppose 5*i + l - 106 = 0, -y*i = i - 4*l - 104. Is 11 a factor of i?
True
Let n(m) = m**2 + 4*m - 1. Let h(o) = 5*o**2 + 17*o - 4. Let c(l) = 2*h(l) - 9*n(l). Let x be c(1). Suppose -y + 18 + 12 = x. Is y a multiple of 15?
True
Let j(h) = h**2 + 13*h + 42. Let i be j(-8). Let w be ((-1)/2)/((-2)/100). Suppose -i*p + w = -p. Is 25 a factor of p?
True
Let c(f) = 22*f**2 - 13*f + 2. Is c(4) a multiple of 11?
False
Let x(v) = 25*v**3 - 3*v**2 + 4*v. Does 75 divide x(3)?
False
Let c = 334 - 309. Does 25 divide c?
True
Suppose 2*i + 2*p + 5 = 3, -7 = 4*i + 3*p. Is 37 + (0 - 4/i) a multiple of 7?
False
Let r = -4 + 214. Suppose -r = -2*t + 4*t. Let d = t - -150. Is 9 a factor of d?
True
Let s = -39 - -37. Does 35 divide s/(-7) - ((-53024)/(-56))/(-4)?
False
Suppose -2*j = 5*x + 57, -x + 2*j - 15 = 6*j. Let m = x + 11. Suppose m = 3*c + 2*c - 10. Is c even?
True
Let v = 1647 - 979. Suppose -v = -3*i - i. Let l = i + -100. Is 17 a factor of l?
False
Suppose -9*h + 416 = -1528. Does 4 divide h?
True
Let u(x) = 2*x - 5. Let y be u(5). Suppose -y*o - 8 = -6*o. Is 5 a factor of o?
False
Let q(t) = t**3 + t**2 - t - 1. Let k be q(1). Suppose 5*h - 7*h + 170 = 4*y, k = 2*y + 8. Is 14 a factor of h?
False
Let t(f) = -f**3 + 2*f**2 + 3*f + 1. Let j be t(3). Let u(s) = -2*s**2 + 1. Let n be u(j). Let a = 12 - n. Does 8 divide a?
False
Suppose -q = 0, -2*q + 88 = 5*d - 387. Is d a multiple of 13?
False
Let f = 914 + -354. Does 10 divide f?
True
Suppose 4*s + 26 = 266. Suppose -2*c + 4*w = -s, 2*c + c + 2*w - 66 = 0. Does 5 divide c?
False
Let g be (-7)/(28/24) + 3. Let m be g/(-2)*30/(-45). Is (m/(-3))/((-9)/(-297)) a multiple of 4?
False
Suppose 10*i + 5*x = 7*i + 1268, 2*i = -2*x + 840. Does 16 divide i?
True
Let c = -2 - -3. Let l(u) be the second derivative of 23*u**4/12 + u**2/2 + 20*u. Does 6 divide l(c)?
True
Let y = 560 - 360. Does 8 divide y?
True
Let w = -72 - -78. Suppose 5*a = 4*a + w. Is 4 a factor of a?
False
Is (-10)/((-90)/81) - -879 a multiple of 37?
True
Let h = 24 - 18. Suppose -2*d = 4, -h*d + 1 = r - d. Is 6 a factor of r?
False
Let o = -373 - -622. Is o a multiple of 18?
False
Let j = 110 + 116. Let v = -153 + j. Let z = v - -15. Is 22 a factor of z?
True
Suppose -p - 597 = -4