18 + 23. Suppose 0 = -0*v - l*v + 180. Is v a multiple of 12?
True
Is (-23474)/(-55) - (2 + (-33)/15) a multiple of 22?
False
Let p be 0 + 60 - (7 - 11). Suppose 0 = -4*i + 2*f + p, -26 = -4*i - 5*f + 24. Is 5 a factor of i?
True
Let v be 32/(-4) - (2 - 2). Let m = v - -11. Let s(z) = 5*z + 2. Is 10 a factor of s(m)?
False
Suppose -53*d + 80*d - 23004 = 0. Does 37 divide d?
False
Let d(o) = -o**2 + o + 7. Let f be d(0). Suppose 0 = -f*l + 633 + 277. Does 49 divide l?
False
Suppose -d + 3*h - h + 5 = 0, 5*d - h = 25. Suppose d*i - 5*x = 800, 3*i = -7*x + 2*x + 448. Suppose -w - w = -i. Is 32 a factor of w?
False
Let x(m) be the third derivative of -5*m**4/24 - 4*m**3/3 + 14*m**2. Is 12 a factor of x(-7)?
False
Suppose f - 4 = -4. Suppose 3*j - 98 - 64 = f. Is j a multiple of 19?
False
Let c be (-1)/((3/19)/(-3)). Let p = c + -15. Suppose p*v + 4*k + 33 = 5*v, -5*k = 5*v - 65. Does 13 divide v?
False
Let q(f) = -f**3 + 6*f**2 + 16*f + 1. Let u be q(8). Let x(p) = 12*p**3. Is x(u) a multiple of 12?
True
Let q = -650 - -1200. Is q a multiple of 22?
True
Suppose -4*f + 977 = -3*l + 4*l, 238 = f - l. Suppose 45 = 2*u - f. Suppose -3*v + 119 = 5*o, -o - u = -3*v - 31. Does 19 divide v?
True
Let s(n) = -2*n + 12 - 3 + 10. Let y be (-2)/(-8) + 1/(-4). Does 8 divide s(y)?
False
Suppose 3*z + g - 20 = 0, -3*z - 2*g + 14 = -11. Suppose z*o - 6 = -2*b, -3*b + 9 = -2*o - 3*o. Suppose b*h - 15 = -2*h. Is 2 a factor of h?
False
Let g(r) = 2*r - 2. Let a be g(5). Let n(f) = f**3 - 6*f**2 - 8*f + 2. Is n(a) a multiple of 11?
True
Suppose 4*k - 3*k = -4*k. Suppose 6*f + 2*f - 920 = k. Is 10 a factor of f?
False
Suppose 1431 = -i + 10*i. Suppose -3*o + 5*a = -i + 13, o - 46 = a. Does 12 divide o?
False
Suppose 5*k = 15 - 5. Suppose 0*p = -k*p + 10. Suppose -p*w + 50 = d, 2*w - w - 181 = -4*d. Does 15 divide d?
True
Suppose 9*b - 12895 - 10352 = 0. Is 10 a factor of b?
False
Is 29 a factor of 18811/26 + (-6)/(-4) + 0?
True
Let k = -11 - -11. Let m = k - -5. Suppose -70 - 34 = -5*v + p, m*v = -5*p + 80. Does 4 divide v?
True
Suppose j - r + 7 = 0, -r = -0*j + 2*j + 5. Let v be 4/(-14) + j/(-14). Is 12 a factor of (-20 + 17)*(v - 12)?
True
Let i(q) = 5*q + 1. Let w be i(1). Is 7/(-21) + 350/w a multiple of 29?
True
Suppose 1 = -g + 3. Suppose 5*j - 8 + 36 = 2*q, -g*j - 16 = -2*q. Does 2 divide 0/((-4)/j) + 7?
False
Let n = 91 - 159. Suppose -8*x = -3*x + 520. Let p = n - x. Does 18 divide p?
True
Let v be (-10 - 2)*(-2)/6. Let z be v - (-2 - (7 - 1)). Is 25 a factor of 10*-10*(-3)/z?
True
Suppose -56*f + 55*f + 575 = 0. Does 36 divide f?
False
Let o(i) = -i**3 + 9*i**2 - i + 12. Let s be 2*(-7)/(28/(-18)). Let g be o(s). Let b = 14 - g. Is b a multiple of 2?
False
Suppose 0 = 63*c - 65*c + 2*z + 1302, 0 = c + 5*z - 633. Is c a multiple of 27?
True
Let r(p) = p**2 + 16. Let w = 62 - 72. Is r(w) a multiple of 17?
False
Let l(s) = 7*s - 115. Let q be l(16). Let c(z) = 2*z - 4. Let a be c(3). Does 10 divide 42 + a*(2 + q)?
True
Let j(n) = 247*n - 19. Does 46 divide j(1)?
False
Let p be (12/(-10))/((-4)/(-160)). Let m = -7 - p. Suppose 2*c - 17 - m = 0. Is 9 a factor of c?
False
Let f(t) = -14*t**2 - 2 - t**3 + 2*t**2 + 11*t - t**2. Is f(-14) a multiple of 6?
False
Let k(b) = b**2 + 41*b + 97. Is k(-41) a multiple of 6?
False
Suppose -5*p = -4*u - 1788, -3*p - 2*u = 3*u - 1095. Is 12 a factor of p?
True
Suppose -4*u = -9 - 11. Let v(w) = 3*w**2 - 7*w + 6 - 9*w**3 + 8*w**3 + u*w**2. Is v(6) a multiple of 9?
True
Suppose x + 2*x = -m + 20, 5*m - 23 = -4*x. Let p be (-8 + x)*(2 - -10). Does 21 divide (-758)/p + 8/(-48)?
True
Let i = -39 + 39. Is 5 a factor of (-192)/(-3) - (i - -1)?
False
Let s(g) = 2*g - 17. Let i = 18 - 9. Let f be s(i). Is 16 a factor of (3 - f) + (69 - 23)?
True
Let c = 3026 + -1972. Is c a multiple of 17?
True
Let k(b) = -b**2 + 4*b + 7. Let z be k(10). Let a = 238 - 341. Let p = z - a. Is p a multiple of 25?
True
Let n = 5 - 1. Suppose n*y = -2*g + 75 - 11, -2*g + y = -59. Is 26 a factor of (26/5)/(2/g)?
True
Let h be -1 - -5*5/(-25). Does 24 divide (6/4)/(h/(-32))?
True
Suppose -1 = -g + 3*d + 1, 4*g = -d + 34. Suppose 33 = -g*z - 111. Let s(q) = -q**3 - 18*q**2 - 4*q + 10. Is s(z) a multiple of 20?
False
Let h be -1 - ((-2)/(-11) + 48/(-22)). Is -9*(2 - 25/h) a multiple of 56?
False
Is 41 a factor of (-2)/(8/36 - (-1160)/(-5139))?
False
Suppose -2*w = 3*w, -2*r + 218 = -2*w. Is r a multiple of 2?
False
Let f(k) = -k**2 + 15*k - 10. Suppose -s + 1 = -1. Suppose 3*w + s*w - 40 = 0. Does 13 divide f(w)?
False
Suppose -b + 1104 = 11*b. Suppose -2*g + 118 = b. Is 2 a factor of g?
False
Let r(w) = w**3 - 23*w**2 + 24*w - 24. Let o = 18 - -4. Is 4 a factor of r(o)?
True
Suppose 15 = 3*q - 3*w, -2 = 5*w + 3. Suppose 2*h - 76 = -h + 2*r, -4*h + q*r = -96. Is 24 a factor of h?
False
Let b(y) = -y**2 - 15*y + 4. Let g be b(-13). Suppose g + 70 = 2*p. Does 10 divide p?
True
Suppose -2*s - 20 = -6*s + 2*m, 0 = 2*m + 8. Suppose -s*j - 3 = -3*z, 5*j + 2*z - 2 = 2*j. Suppose j*p + 120 = 3*p. Does 15 divide p?
False
Is 41 a factor of 33620/82*(-10)/(-4)?
True
Let c = 190 - -188. Does 9 divide c?
True
Suppose 3*f + 2*l - 2 = 7*l, -22 = -4*f - 3*l. Suppose -2*j + 384 = f*j. Is 17 a factor of j?
False
Let u = -13 + 116. Let x = u - 19. Does 21 divide x?
True
Let u = -653 - -822. Is u a multiple of 25?
False
Let v(a) = -a**2 - 25*a + 25. Let q be v(-26). Is (-8)/4 - (-384)/(q - -4) a multiple of 14?
True
Let a be (-2 + 6/4)*(-50)/5. Is 3/(-2)*(a - 98/6) a multiple of 2?
False
Let k be (-40)/(-30)*87/2. Let u(r) = -r**2 - 2*r - 4. Let z be u(4). Let v = z + k. Is 13 a factor of v?
False
Let i(j) = 2*j + 7. Let k be i(12). Suppose -4*l - k = -123. Suppose -6*v + 373 + l = 0. Does 11 divide v?
True
Let i be 3 - 3/6*4. Let x be (-2 - (-3)/1)*i. Suppose 11 = a - x. Is a a multiple of 6?
True
Let t = -83 - -83. Is ((-178)/(-2))/(1 + t) a multiple of 22?
False
Let x = 15 + 2. Let p be x/4 + (-4)/16. Suppose -b + 33 = -0*m - m, -3*b - p*m = -134. Does 8 divide b?
False
Suppose -101*d + 40 = -96*d. Suppose 3*p + 330 = d*p. Is 31 a factor of p?
False
Let h = -1552 - -2162. Is h a multiple of 56?
False
Suppose -15141 + 5651 = -26*u. Does 13 divide u?
False
Let l(z) be the third derivative of -z**6/120 - z**5/30 + z**4/24 + 2*z**3/3 + 6*z**2 - 1. Let m be (-40)/22 + 4/(-22). Is 2 a factor of l(m)?
True
Suppose 0 = -565*i + 560*i + 3160. Is i a multiple of 9?
False
Let z(a) = -2*a**2 - 12*a + 12. Suppose 0 = 2*r - 3 + 13. Does 2 divide z(r)?
True
Suppose 10*l = 4*l. Suppose -2*c + l*c + 6 = 0. Is 2 a factor of c?
False
Let k(h) be the third derivative of -h**4/24 + 5*h**3/6 + 3*h**2. Let d be k(5). Does 2 divide (-12)/(-4) - (d + 0)?
False
Is 45 a factor of (2 - 364)*(-3)/1 - 6?
True
Suppose 3*o + 15 = 3*x, 0*o = -5*o + 20. Let n(d) = -x*d - 1 - d + 0. Is 3 a factor of n(-1)?
True
Suppose 5*m + 47 = -w + 18, 3*w - 3*m - 3 = 0. Let f be (-14)/w + (-2)/(-4). Suppose 0 = 3*x + 5*y - 54, -2*x - y - 23 = -f*x. Does 10 divide x?
False
Suppose 5 + 11 = 4*d. Suppose r - 65 = -d*r. Does 13 divide r?
True
Let z = -353 + 548. Is z a multiple of 15?
True
Let p(y) be the first derivative of -y**5/60 + 5*y**4/12 + y**3/3 - 7. Let f(k) be the third derivative of p(k). Does 9 divide f(-8)?
False
Let l(k) = -96*k - 4. Let f be l(-2). Suppose 15*j - f = 7. Is 13 a factor of j?
True
Suppose -4*v + 2*y + 4707 = -3*y, y = v - 1177. Is v a multiple of 62?
True
Let m = -53 + 103. Suppose 8*c = m + 38. Is 2 a factor of c?
False
Suppose -3*r = 2*r - 50. Let k(c) = 7*c**3 - 11*c**2 - 5*c + 12. Let s(u) = -u**3 + u. Let b(h) = -k(h) - 6*s(h). Does 21 divide b(r)?
False
Let k be (-8)/(-12)*(-1338)/(-4). Let y = -95 + k. Suppose 0 = 5*h + 3*z - 350 - 254, -y = -h + 3*z. Is h a multiple of 26?
False
Let j(v) = -8 + 22*v - 7 + 16. Let s be j(1). Suppose -3*p + s = t, -2*p = 4*t - 68 - 14. Is 16 a factor of t?
False
Let m = 0 - 11. Is (0 - m)/(195/48 - 4) a multiple of 44?
True
Let j(f) be the third derivative of f**5/60 + f**4/6 + f**3/3 + f**2. Let c be j(-5). Suppose -c*y = -121 - 299. Is 15 a factor of y?
True
Suppose 0 = 3*s + 259 - 49. Let k = s - -98. Suppose -k = 4*q - 6*q. Is 7 a factor of q?
True
Suppose 6*n + 5*j - 25 = n, 5*j - 25 = -2*n. Suppose 8*r + r - 3060 = n. Is 25 a factor of r?
False
Let 