e -3*p + 0*p + 12 = 0. Suppose -3*w + 157 = -5*z, z = -p*w - r + 252. Is w a multiple of 17?
False
Suppose -6*r - 13774 = -11*r + j, -3*r + 8266 = -j. Is 19 a factor of r?
False
Let o(p) = -p**2 + 9*p + 2. Let a be o(9). Is 7/(-21)*(-17 + a) a multiple of 4?
False
Suppose -t = 4*s - 7*s + 6, 0 = 5*s - 3*t - 14. Let i be (-4)/2 + 4 + s. Suppose 6 = 2*c - i*c + 5*o, 0 = -c + 3*o + 2. Is c a multiple of 14?
True
Suppose 6*s - 165 = s. Does 9 divide 1 - (-1 + s/(-1))?
False
Let v = -16 - -49. Let t = v + -46. Does 22 divide 8/(-52) - 860/t?
True
Suppose 700 = 2*s + 4*h, 4*s + 0*h - 1400 = -3*h. Let o = s + -187. Does 12 divide o?
False
Let f(y) = -y**3 - 3. Let n be f(0). Suppose -2*v = -10 - 8. Let w = n + v. Does 2 divide w?
True
Suppose 0 = -65*b + 5*b + 52680. Is 25 a factor of b?
False
Let d(f) = -81*f - 133. Is d(-14) a multiple of 8?
False
Let v(q) = -9 + 13*q + 5 + 4*q - 3*q. Let y be v(5). Is 3 a factor of (y/9)/(2/3)?
False
Suppose -670 = -3*z + 764. Is 3 a factor of z?
False
Let u = 93 + -90. Suppose 5*l - 135 - 9 = u*o, 21 = l + 2*o. Does 3 divide l?
True
Let b(i) = 2*i**2 + 6*i**3 - 21*i**3 + 5*i + 7 + 16*i**3. Is b(5) a multiple of 21?
False
Suppose 14*l - 63 - 21 = 0. Is 1225/l + (22/12 - 2) a multiple of 48?
False
Let m(w) = -3*w**3 + 11*w**2 + 5*w - 9. Let j(q) = 5*q**3 - 17*q**2 - 8*q + 14. Let a(v) = 5*j(v) + 8*m(v). Let b be a(-3). Does 9 divide (0/b - 1)*-10?
False
Suppose 11*i - 6*i = 45. Suppose 12*l = i*l. Suppose 4*y - 9*y + 80 = l. Is y a multiple of 14?
False
Suppose -6 = -2*m - 0. Suppose -2*f + 110 = z - 19, 0 = -3*f - m*z + 201. Does 14 divide f?
False
Suppose 48 = -4*k - 52. Suppose 0 = -7*c - 333 - 10. Let m = k - c. Does 23 divide m?
False
Let s = -259 + 243. Let l = 45 + -25. Let p = s + l. Does 4 divide p?
True
Let k be (-48)/(-14) + (-6)/14. Is 4 a factor of ((-11)/3)/(k/(-9))?
False
Suppose -2*q + 711 = 3*r + 3*q, 251 = r - 3*q. Does 2 divide r?
True
Does 23 divide (-45 + 43)/(2/(-161))?
True
Suppose 2*q + 14 - 6 = -2*b, -3*q - 20 = 5*b. Is (b + 185/10)*2 a multiple of 29?
True
Let d(v) = -3*v - 4. Let i(b) = 6*b + 9. Let m(q) = 5*d(q) + 2*i(q). Is m(-15) a multiple of 11?
False
Suppose l - 4*v - 362 = 0, 0 = -0*v - v - 2. Suppose 84 - l = -a. Is a a multiple of 15?
True
Suppose 11*i = 75 - 328. Let k = i - -36. Is 13 a factor of k?
True
Let a(g) = -8*g + 9*g + 10*g + 5*g**2 - 4 - 2. Does 13 divide a(5)?
False
Let s(k) = 2*k + 31. Let y be s(-17). Is 6 a factor of (y + (-55)/(-15))*(1 + 41)?
False
Let h(f) = -3*f**3 + 2*f**2 + f - 1. Let j be h(-2). Let q = 18 - j. Let o = 35 + q. Is o a multiple of 8?
True
Suppose -4*p = 4*l - l - 6, -3*l - 3*p + 6 = 0. Suppose 3*u - 54 = -4*o, -o + 54 - 13 = l*u. Is u a multiple of 11?
True
Let h = -187 - -281. Suppose -k = k - h. Is k a multiple of 5?
False
Let f be (-28)/(-42)*6*1. Suppose 0 = -2*s - f, 5*p - 170 - 69 = 2*s. Is 7 a factor of p?
False
Let q be (7 + -5)*2/4. Let o(k) = k. Let r be o(q). Is (121 - (5 + -2))*r a multiple of 21?
False
Let y be -3 - (3 + -3 - 5). Let r = y - -43. Is 9 a factor of r?
True
Let b(p) = 2*p + 20. Suppose 4*k - 5*i - 26 - 33 = 0, 0 = 2*k + i - 47. Let t = k + -6. Is 32 a factor of b(t)?
False
Let w = -8 + 12. Let r be 0/(w*1/(-2)). Suppose r = 2*l + 3*l + 4*f - 81, l = 4*f + 21. Does 7 divide l?
False
Let y be (-6)/21 - (-2804)/14. Let s be 1/(3/12)*33. Let r = y - s. Is 18 a factor of r?
False
Suppose -2*c = -7 + 3. Suppose 23 = -c*j - 9. Let s = j + 25. Is s a multiple of 4?
False
Let n(z) = -z**2 + 8*z + 11. Let t be n(9). Suppose -5*b - t*k = -720, 3*b + 4*k - 232 = 200. Is 18 a factor of b?
True
Suppose 72*k - 23834 = 26710. Does 6 divide k?
True
Suppose -5*g - 920 = -g. Let p = g - -434. Does 12 divide p?
True
Let j = 66 + -60. Does 11 divide j/(-51) - (-1230)/51?
False
Let k(g) = g**2 - 5*g. Let z(o) = o**2 - 4*o. Let u(c) = 4*k(c) - 3*z(c). Let h be u(8). Suppose -4*y + 20 + 16 = h. Is 7 a factor of y?
False
Let a = -173 - -330. Is 37 a factor of a?
False
Let z(c) = 2*c**2 + c. Let d be z(-1). Suppose 0 = 2*p + 2*p + 12. Does 22 divide 88*(p/(-6))/d?
True
Is 79 a factor of 4/14 + ((-36216)/(-56) - 15)?
True
Let k(n) = 2*n**3 - 10*n**2 - n - 13. Let m be (3 - (-28)/(-8))/(2/(-28)). Is 25 a factor of k(m)?
False
Let a be ((-85)/(-51))/((-1)/(-3)). Suppose -i + a*h + 22 = -41, -4*i = 3*h - 275. Does 4 divide i?
True
Let t = -399 - -490. Is t a multiple of 7?
True
Does 22 divide 1 - 0/1 - -263?
True
Suppose 29*b - 2148 = 2550. Is 27 a factor of b?
True
Suppose -1436 = 4*r - 5*p, -p + 359 = -r - 5*p. Let h = r - -563. Suppose -68 - h = -4*u. Does 34 divide u?
True
Is 4 a factor of (-8)/(-3)*11/(-44)*-102?
True
Suppose 2 = 2*b, 8*h - 9*h + 3*b + 5454 = 0. Is h a multiple of 17?
True
Suppose -489 = -3*f + 1293. Is f a multiple of 22?
True
Let j = 1536 - 1512. Does 15 divide j?
False
Let p be (4 - 20/6)/(2/15). Let q = 12 - -4. Suppose z + p - q = 0. Is z a multiple of 3?
False
Suppose 5*t - 538 - 3647 = 0. Is t a multiple of 9?
True
Let b be 3 - (13 - 3 - 3). Is -18*(1/(-6))/((-2)/b) a multiple of 2?
True
Is 11 a factor of 4184/10 + -5*(-2)/(-25)?
True
Suppose -4*x + 3*s + 59 = 0, -2*s = -5*x + 3*x + 32. Is 24 a factor of (3/2)/(x/792)?
False
Let t(f) = 4*f + 8. Let x be t(0). Let p be ((-4)/x)/((-2)/12). Suppose -5*a + p*b + 525 = 0, 4*b + 132 = 2*a - 64. Is a a multiple of 27?
True
Let f = -747 - -1275. Is f a multiple of 24?
True
Let k(o) = -o**2 + 7*o + 11. Let h be k(8). Let d(w) = 5*w + 71 + h*w - 76. Does 11 divide d(2)?
True
Let i be 30/5*1/2. Suppose 0 = i*r + 10 - 1. Is -1*(-2 + -4 - r) a multiple of 3?
True
Suppose -2*r + r - 139 = 0. Let q = r - -201. Suppose q = 5*w - 58. Is w a multiple of 6?
True
Let v(x) = 2*x**3 - 9*x**2 + 75*x + 48. Does 44 divide v(9)?
True
Let z be 1*2 - (-1)/1. Let b(h) = -12 + h**2 + h - 4*h - z*h + 4*h. Does 3 divide b(6)?
True
Let r(w) = w**2 - w - 267. Let j = 3 - 3. Let q be r(j). Is 15 a factor of q/(-9) + 1/3?
True
Let f be 2/(7/21*(-6)/(-38)). Suppose 33*b = f*b - 105. Is 3 a factor of b?
True
Let j(n) = 7*n - 21. Let f be j(6). Suppose 5*o + 2*o = f. Does 10 divide o/(-2)*120/(-9)?
True
Let a(r) = 8*r**2 + r - 1. Let x be (-125)/(-45) + 4/18. Suppose 3*i + 0*n - 5*n = -34, x*i + 4*n - 11 = 0. Is 21 a factor of a(i)?
False
Let l(s) = s**3 - 7*s**2 - 1. Let w be l(7). Let p(d) = -174*d**3 - d**2 - 2*d - 1. Let c be p(w). Suppose -4*f + c = -54. Is 19 a factor of f?
True
Let u(c) = c**2 - 7*c - 101. Does 5 divide u(15)?
False
Let k be -4 - (-4)/2 - 4. Let r(w) = w**3 + 6*w**2 + w + 14. Is r(k) a multiple of 8?
True
Does 15 divide (2/(-5))/((-27)/20250)?
True
Suppose -u + 20 = 3*u. Suppose u*v - 25 = 5*m, 2*m + 0*m = 3*v - 14. Suppose -25 = -v*b + 55. Is b a multiple of 20?
True
Let n = 625 + -449. Is n a multiple of 44?
True
Let f(z) be the second derivative of z**5/20 + 5*z**4/6 + 11*z**3/6 - 5*z**2/2 - 3*z. Let u be f(-9). Let q = -10 - u. Is 6 a factor of q?
False
Let b(c) = 5*c**2 - 5*c - 5. Suppose 17*s + 10 = 12*s. Is 25 a factor of b(s)?
True
Let p(k) = 22*k - 158. Is 9 a factor of p(15)?
False
Is 25 a factor of (-21876)/(-30) - (-7)/(-35)?
False
Suppose -10*t + 6*t = -20. Suppose a - 158 = 2*m - 37, 0 = 4*a - t*m - 496. Is 43 a factor of a?
True
Is 3 a factor of (32/(-3))/((-24)/1260)?
False
Let x be ((-3)/45*-5)/(2/30). Is 9 a factor of ((-4)/x)/((-8)/(-180)*-1)?
True
Let p(d) = 2*d**2 - 13*d + 9. Is p(10) a multiple of 4?
False
Let j = 70 + 961. Does 125 divide j?
False
Let v(a) = 44*a**2 - 36*a + 168. Is 56 a factor of v(5)?
False
Suppose -2*s - 3*y - 205 = 0, -2 - 3 = y. Let b = -65 - s. Does 10 divide b?
True
Suppose 72*s = -s + 21827. Does 14 divide s?
False
Suppose -k = -0*k. Suppose 3 = 2*m + 5*c - 2, 2*c - 2 = k. Suppose -2*z + 126 = -m*z. Is 21 a factor of z?
True
Suppose 4 = -p + 12. Suppose -3*n + p*n - 120 = 0. Suppose -r - 3*q + 24 = 0, -2*r + 0*q + 2*q + n = 0. Does 15 divide r?
True
Let f(r) = -r**2 + 4*r - 2. Let m be f(4). Is (-2)/(16/(-324)) + 1/m a multiple of 5?
True
Let c(r) = r**2 + r + 1. Let y(h) = 4*h**2 + 12*h - 3. Let g(q) = 3*c(q) - y(q). Let t = -17 + 10. Is 10 a factor of g(t)?
True
Suppose 20*s = 239 + 8761. Is s a multiple of 5?
True
Let d be (3 - 4)/(1/(-40)). Suppose 5*m + 3*x - 11 = 0, 0*m - 4*m = x - 13. Suppose -m*y - y + d = 0. Is 4 a facto