e
Suppose -g + 285 = 93. Is 24 a factor of g?
True
Suppose 0 = p - 17 + 8. Suppose -5*f + p = -1. Suppose 11 + 39 = f*o. Is o a multiple of 5?
True
Let d = 111 + -161. Let z = -737 + 807. Let a = z + d. Is 8 a factor of a?
False
Suppose 1 = 5*y - 4. Let x(a) = 91*a**3 - 2*a**2 + 2*a - 1. Is x(y) a multiple of 18?
True
Let t be (-67)/(-3) + (-4)/(-6). Suppose 0 = r - 0*r - 2. Suppose 0 = 5*k + 15, -2*k + t + 61 = r*h. Does 9 divide h?
True
Suppose 0 = -7*l + 4*l + 15. Suppose -7 = -w - i - 4*i, -l*i = -10. Let q(y) = -3*y + 7. Is q(w) a multiple of 5?
False
Let w = -23 + 27. Suppose -3*c = 2*v - v - 41, 4 = -w*v. Does 4 divide c?
False
Let v(q) = -q**3 + q - 1. Let b be v(0). Let y = -1 + b. Does 3 divide -17*(-1 - 2 - y)?
False
Let h = -51 - -60. Let m be (-9)/(-2)*(-2)/(-3). Let r = h + m. Does 12 divide r?
True
Let x = -12 - -26. Suppose 1 = -5*j + 61. Suppose -x*q = -j*q - 14. Is 7 a factor of q?
True
Suppose 0 = 2*r - 3*q - 6 - 2, 4 = r + 5*q. Suppose k - 3 = c, r*k + c - 21 = 2*k. Let d(j) = -j**3 + 9*j**2 - 6*j + 8. Does 12 divide d(k)?
True
Does 11 divide 22*((-4)/10 + 921/15)?
True
Suppose -f + 1 + 2 = 0. Suppose 4*p + f*g - 27 = 0, -5*p + 0 = 3*g - 30. Does 3 divide (-14*(4 - p))/(-2)?
False
Suppose -15 - 101 = -4*y. Is 9 a factor of y?
False
Is -6 + 116 - (2 - 2) a multiple of 5?
True
Suppose -123 + 332 = 11*l. Does 5 divide l?
False
Let k = -85 - -91. Is 8 a factor of (-1)/(k/375)*32/(-40)?
False
Let s(q) = 8*q - 41. Let m be s(7). Suppose 0 = 3*w + m, -2*y - y = 5*w - 158. Does 16 divide y?
False
Let i = -1501 + 1525. Is 10 a factor of i?
False
Let l(r) = -4*r + 5 - 2 - 142*r**2 + 144*r**2. Is 13 a factor of l(-11)?
False
Let y be ((-6)/9)/((-2)/171). Let i = y + -26. Let h = i + -5. Is h a multiple of 13?
True
Let u = -214 + 493. Is 13 a factor of u?
False
Let t(m) = 1. Let q(w) = w + 7. Let n(a) = q(a) + 4*t(a). Let b be n(-9). Does 4 divide 80/(-24)*(-1 - b)?
False
Let y(t) = -437*t. Let q be y(-1). Suppose 0 = 3*c - q + 59. Suppose -2*j + 2*f = -c, 2*j - 4*f = 7*j - 324. Is 16 a factor of j?
True
Suppose 5*x + 2*z = 277, x + 0*z - 61 = z. Let l = 8 + x. Is 23 a factor of l?
False
Suppose -12 = -17*s + 56. Let j(y) = 191*y**2 + 2*y + 1. Let u be j(-1). Suppose -38 = s*a - u. Is 19 a factor of a?
True
Let c be (-44)/6 + 2/(-3). Let x(i) = 3863 - 3878 + 3*i - 9*i. Is x(c) a multiple of 21?
False
Let w(d) = -4*d**3 + 5*d**2 - d - 12. Let k(y) = 7*y**3 - 11*y**2 + 3*y + 25. Let i(r) = -3*k(r) - 5*w(r). Is i(6) a multiple of 20?
False
Suppose 0 = -2*r + 4*h + 212, -56*h + 60*h = 16. Is r a multiple of 2?
True
Suppose 375*v - 377*v + 152 = 0. Does 4 divide v?
True
Does 42 divide (-1682)/(-4) - (-4)/(-8)?
True
Let z be 1883/49 + 6/(-14). Let n be (z/(-8))/((-9)/144). Suppose w + 4 = n. Does 18 divide w?
True
Let p = 61 - 25. Does 10 divide (p/(-10)*-3)/((-2)/(-20))?
False
Suppose 0 = -2*s + 6*s + 72. Let v be 12/s - 23/(-3). Let i = 15 - v. Is i a multiple of 3?
False
Let f(x) = 4*x**2 + 24*x - 45. Is f(6) a multiple of 9?
True
Let z = 39 - 25. Suppose z*t - 9*t = 60. Is 12 a factor of t?
True
Suppose -w - 9602 = 2*d - 5*w, w + 3 = 0. Let v = 98 + -144. Does 16 divide d/v + 2/(-4)?
False
Let b = -21 - -109. Does 4 divide b?
True
Let y = 86 + -122. Let b = y - -125. Let t = 11 + b. Is 26 a factor of t?
False
Let h(c) = 4*c**2 + 8*c + 7. Let n be h(-5). Suppose 0 = 2*g + 19 - n. Is (-1)/(-3) + 400/g a multiple of 17?
True
Let u(i) be the first derivative of i**4/4 - 13*i**3/3 + 2*i**2 - 15*i - 13. Is u(13) a multiple of 4?
False
Let w = -836 + 1409. Is w a multiple of 49?
False
Does 19 divide 6/15 + (-19166)/(-10) + 2?
True
Let m be (-90)/(-4)*(-4)/5. Let d = 22 + m. Suppose 0 = -2*k - d + 40. Does 5 divide k?
False
Let s(c) = c**2 - 6*c + 2. Let h be s(6). Suppose -h*u + 0*k + 3*k + 28 = 0, 4*k + 52 = 4*u. Is u a multiple of 2?
False
Let l(o) = 72*o - 255. Is 4 a factor of l(13)?
False
Let v(x) = -8*x**3 + 77*x**2 - 55*x - 100. Let z(s) = -3*s**3 + 26*s**2 - 18*s - 33. Let h(m) = -4*v(m) + 11*z(m). Is h(-23) a multiple of 6?
True
Let v be ((-2)/(-4))/(1/10). Let f be 19 + -15 - (-3)/3*0. Suppose 3*x = f*n - 41 - 118, 4*n + v*x = 183. Does 12 divide n?
False
Let v(i) = 2*i**2 - 7*i - 13. Suppose 0 = 4*a + 17 + 3. Does 9 divide v(a)?
True
Let h(f) = f**3 - f**2 + f - 1. Let l(r) = -6*r**3 + 5*r**2 - 6*r + 51. Let j(t) = 5*h(t) + l(t). Does 11 divide j(0)?
False
Let v be 18/(-10)*100/(-30). Is 2*(-57)/v*-2 a multiple of 19?
True
Let j(o) = 11 - o - 10 + 6. Let p be j(4). Is p/(-6)*6 - -30 a multiple of 13?
False
Let m(g) = -16*g**3 + 2*g**2 - 5*g + 7. Is 57 a factor of m(-4)?
True
Let q be 6/(-2) + 30/6. Let n be (-242)/(-2)*1 - q. Is 1/(3 - n/40) a multiple of 16?
False
Let f be (-20)/50 + (-4)/(-10). Suppose 4*y - 62 - 38 = f. Does 4 divide y?
False
Suppose 3*n - 2760 = -7*n. Let t = n + -191. Does 17 divide t?
True
Let m(d) = 17*d + 35. Is m(7) a multiple of 35?
False
Let v = -532 - -246. Let y = -130 - v. Is y a multiple of 26?
True
Suppose 0 = -3*c - 3, -2*r + 5*c = -77. Is r a multiple of 12?
True
Let z be 159/5 - 12/15. Let b = 38 - z. Suppose -11*o = -b*o - 224. Is o a multiple of 8?
True
Suppose 0 = -2*y - 0*y + 4*g - 2, -2*y - 2*g + 22 = 0. Let p(d) = -d**3 + 6*d**2 + 10*d. Let f be p(y). Suppose 2*l - f = -l. Is l a multiple of 7?
True
Suppose 3*v - 2*l - 1759 = 0, 4*v = 8*v + 3*l - 2317. Does 11 divide v?
True
Let u be 2/5 - (2 + 36/(-10)). Is (704/(-33))/(u/(-6)) a multiple of 10?
False
Suppose 4*z = -4*p - 0*p + 12, 0 = 3*p - 3. Suppose -2*x = z - 56. Let m = x + -18. Is 4 a factor of m?
False
Suppose 5*n - 613 = -4*u + 153, 0 = 3*n + 6. Suppose -4*b + 114 + 10 = 2*i, 3*i = -4*b + u. Does 13 divide i?
False
Suppose 0 = 55*k - 53*k - 1132. Does 17 divide k?
False
Suppose -503*x = -497*x - 3744. Is 52 a factor of x?
True
Suppose 0 = 4*j, j - 2 = y - 4. Suppose c + y*c - 18 = 5*m, 3*c - 3*m - 18 = 0. Is (-126)/(-8)*16/c a multiple of 7?
True
Suppose -10 = 5*d, -6*c + c + 4*d + 338 = 0. Does 22 divide c?
True
Suppose 44*s - 46*s + 934 = 0. Does 57 divide s?
False
Suppose 6*j = 4*j. Suppose j = -a - 3, -4*b + 0*a + 510 = -2*a. Is b a multiple of 14?
True
Let c = -1064 - -1808. Is c a multiple of 31?
True
Suppose 46*u - 52*u = -4260. Is u a multiple of 20?
False
Let o be (((-2124)/3)/4)/((-6)/(-4)). Let i = o + 174. Does 8 divide i?
True
Let l = 1594 - 634. Is 80 a factor of l?
True
Suppose v = 5*y - 3395, 3*v + 2*v - 2716 = -4*y. Is 97 a factor of y?
True
Let o = -26 + 13. Let k = o - 41. Let n = 25 - k. Is n a multiple of 10?
False
Suppose -27*n + 31*n - 52 = 0. Is 33 a factor of (16835/10)/n + 6/4?
False
Let w(o) = 2*o**3 - 1 + 6*o + 1 + 4*o**2 - 6 - 3*o**3. Let c = 5 + -1. Does 7 divide w(c)?
False
Let i be (-1 - (-9)/6)/((-1)/(-860)). Let z = 702 - i. Is z a multiple of 37?
False
Let j be (5 + -4)*(0 - 1). Does 33 divide j/(-2) + 1773/18?
True
Let z = -21 - -22. Does 18 divide (-1308)/(-32) + z/8?
False
Let m = 31 - -583. Is m a multiple of 111?
False
Let f(h) = 3*h. Suppose 4*c - 40 = -c. Does 24 divide f(c)?
True
Suppose 4*b - 712 = 4*n, -b - 4*n + 31 = -137. Suppose 11*t - b - 374 = 0. Does 50 divide t?
True
Suppose -5*q + 2*u = -u - 582, 3*u - 120 = -q. Let w = 4 + -2. Suppose -3*g = -w*m + 60, q + 3 = 3*m + 3*g. Is m a multiple of 18?
True
Suppose -2*t + 4*t = -3*i - 5, 2*t = -2. Is ((-12)/4 - 26)*(-2 - i) a multiple of 9?
False
Let y(s) = -s**3 - 21*s**2 + 43*s + 37. Is y(-23) a multiple of 12?
False
Let z(k) = -k**3 - 6*k**2 - 17*k - 14. Is z(-6) a multiple of 15?
False
Let g(w) = 21*w**3 + w**2 + w - 4. Is g(3) a multiple of 25?
True
Let v(r) = -29*r + 3. Suppose -3 = 3*a + 6. Is v(a) a multiple of 9?
True
Suppose 5 = -k + 10. Let x(r) = -1 + 8 + 2*r**2 - 1 - k*r. Is 28 a factor of x(6)?
False
Suppose -i + 18 = -26. Let a = -4 + i. Is 10 a factor of a?
True
Suppose 4*x - 30 - 66 = 0. Let u = 27 - x. Is 3 a factor of u?
True
Let u(q) = 2*q**2 - 10*q - 93. Does 2 divide u(14)?
False
Suppose -2*i = 2, 5*i + 3208 - 8819 = -4*a. Does 13 divide a?
True
Let b = 89 + -74. Does 25 divide (-6 + 10 + 14/(-6))*b?
True
Suppose 5*m = 15 + 5. Let y be (1/3)/((-6)/288*-8). Suppose -76 = -m*s - y*h, -47 = -2*s - s - 4*h. Is s a multiple of 15?
False
Suppose -2*c = 3*b - 428, 14 + 6 = -4*c. Suppose 2 = 2*x - b. Does 8 divide x?
Fal