2 - 6*f + 5. Let w be c(4). Let n = w - -751. Suppose 4*k - 44 - 126 = -2*s, s = -5*k + n. Is k a multiple of 15?
True
Does 4 divide 12*(-1 - -6) - (-2 + -2)?
True
Suppose -19048 = -9*i - 3118. Is i a multiple of 30?
True
Suppose 723 = 6*r - 777. Does 25 divide r?
True
Let i = 43 - 27. Is 25 + i - 2*1 a multiple of 13?
True
Suppose -1661*z = -1650*z - 9581. Is 9 a factor of z?
False
Suppose 5*q - 2*j + 5*j - 1119 = 0, 2*q - 4*j = 458. Is 19 a factor of q?
False
Does 11 divide 2004/(-8)*-4 - 1?
True
Let r be (4 + -5)/(3/(-12)). Let m be (-35)/(-7)*(-52)/5. Let a = r - m. Is a a multiple of 28?
True
Suppose 3*g - 1351 = 4*o + 1265, -882 = -g - 2*o. Is 12 a factor of g?
True
Suppose 16*o - 4323 - 2253 = 0. Does 32 divide o?
False
Let y be (4 + -176)/(3/(6/(-4))). Suppose y + 34 = 2*k + u, -k + 60 = -u. Is 6 a factor of k?
True
Suppose 5*y + u = 22, 14 = -3*y + 4*y + 5*u. Suppose 0 = i + y*i. Let p(l) = -l**2 + 3. Is 2 a factor of p(i)?
False
Let f be 9/12 - 15/(-12). Suppose 0 = -u - 3*s - 133, -f*u - 3*s - 266 = -0*s. Let g = -80 - u. Does 21 divide g?
False
Let h = 12 + -8. Suppose 3*l - 65 = h*d, 3*l - d - 52 - 25 = 0. Is 9 a factor of l?
True
Let k(f) = -2*f**3 + 9*f**2 + f - 18. Let m be k(4). Suppose -q = -m*j - 156, -2*q = -3*j - 285 - 22. Is 14 a factor of q?
False
Suppose -7 = -3*g + 2*g + 4*t, 5*t = -15. Let p(w) = -w - 1. Let f be p(g). Suppose 31 = 3*k + f. Is 9 a factor of k?
True
Suppose -5*w + 3 = -7. Does 4 divide 57/w - 1/(-2)?
False
Suppose -44*p = -50*p + 132. Is p a multiple of 2?
True
Suppose -2*t - 38 = 5*a - 12, -8 = a - t. Let v = -14 - a. Let h = 28 + v. Is h a multiple of 10?
True
Let m(a) = -86*a + 40. Is m(-4) a multiple of 32?
True
Suppose -2*a + 4*m + 880 = 3*a, 5*m + 704 = 4*a. Is 22 a factor of a?
True
Let i = -460 - -735. Let m = 189 - i. Let b = 121 + m. Is 10 a factor of b?
False
Suppose 16 = 2*p + 4*l - 0, -8 = -p + l. Let g = p - -20. Is 19 a factor of g?
False
Let k(y) = 2 + 2*y**3 - 7*y + 5*y - 1 + y**2. Let s = 6 + -4. Is k(s) a multiple of 17?
True
Suppose -3*y + 74 = 3*l - 2*y, -5*l - y = -122. Let f = l - 5. Is f a multiple of 19?
True
Let a = 31 - 52. Let j(y) = y**2 + 9*y + 55. Let o be j(-6). Let i = o + a. Does 12 divide i?
False
Let y(p) = -p**3 - 13*p**2 - 12*p - 13. Let w be y(-12). Let s(h) = h**2 + 8*h + 6. Is s(w) a multiple of 26?
False
Let s = -43 + -8. Let v = s + 99. Does 12 divide v?
True
Let j be ((-12)/(-9))/((-10)/(-315)). Let n = 262 - j. Is n a multiple of 20?
True
Suppose 547 = 30*v - 29*v. Is 15 a factor of v?
False
Suppose 4*c + 130 = -5*j + 1, 2*c + 66 = -4*j. Let b = c + 99. Is 17 a factor of b?
True
Suppose -7*o - 1 = -8*o, u + 5*o - 3473 = 0. Does 102 divide u?
True
Let m = -357 - -1185. Is m a multiple of 18?
True
Suppose 39*s = 38*s + 176. Is 16 a factor of s?
True
Suppose 0 = -0*y + 3*y + 12. Let h be y/(-12) - 143/(-3). Suppose 0 = -3*c - 2*s + 94, 40 = 3*c - s - h. Does 20 divide c?
False
Suppose -5*u + 1340 = 2*q, 10*u = 5*u - q + 1335. Is 38 a factor of u?
True
Suppose 2*y = -3*y + 440. Suppose 0 = -y*f + 91*f - 231. Is f a multiple of 20?
False
Let f(z) = 3*z - 9. Let g be f(7). Let n(m) = m**3 - 12*m**2 + 3*m - 18. Is n(g) a multiple of 3?
True
Let q be 16/(-2)*(-2)/4. Suppose 4*i + 2*y = 160, 0 = -3*i + q*y - 4 + 113. Does 13 divide i?
True
Let j = -127 + 125. Suppose -5 = -4*k + 3. Does 17 divide 38 - (4 + j)*k?
True
Let b(w) = w**3 - 7*w**2 + 6*w. Let m be b(6). Suppose 15 = 3*c - m. Suppose -3*g + 2*z + 55 + 1 = 0, -z = -c*g + 91. Is g a multiple of 6?
True
Let i(n) = 119*n**2 + 1. Let v be i(1). Is v/(-28)*28/(-6) a multiple of 4?
True
Let q(b) = 6*b**2 + 2*b + 4. Suppose 3*x + 7 = -4*m, -m + 2*m + 10 = 2*x. Suppose 4*v - 13 = x. Does 27 divide q(v)?
True
Suppose -4*w - 4*m + 1436 = 0, 2*m + 3*m - 706 = -2*w. Is w a multiple of 56?
False
Let k(w) = -16*w - 10. Suppose 3*t = -4 - 8. Is k(t) a multiple of 6?
True
Suppose -4*y = 8, -4*d + 3*y = 7*y - 76. Does 7 divide d + 4/12*-3?
False
Suppose 8*a - 5915 = 2533. Suppose -b + 7*b - a = 0. Does 13 divide b?
False
Let d be (12/18)/(2/12). Suppose 26 = 2*p - 4*z, 0 = 5*p + d*z - 5 - 4. Suppose -128 = -p*x + 2*w, -4*w = 2*x + 5 - 37. Is 5 a factor of x?
False
Let z(r) = r**3 + 8*r**2 - 7*r - 8. Let m be z(-8). Does 3 divide 1/4 + 276/m?
True
Suppose -3*u + 5*k - 16 = -4*u, -2*k = 4*u - 28. Let j = u - 4. Let w(z) = 5*z**2 - 2*z. Does 3 divide w(j)?
False
Let q(p) = -5*p**3 - 3*p**2 + p - 4. Let u be q(-4). Let i be 19/(171/(-36))*46. Let s = u + i. Does 10 divide s?
True
Suppose 33 = -2*y - 3*d, -3*y - 4*d - 55 = -4. Let l = 17 + -32. Let q = l - y. Does 4 divide q?
False
Suppose -553*f = 3*q - 552*f - 2739, -4*q + 5*f = -3633. Does 22 divide q?
False
Suppose 2546 = 4*s + 566. Is 41 a factor of s?
False
Let t(x) = 2 + 4*x**2 + x - 2*x**2 + 14 - x**2. Does 8 divide t(0)?
True
Let w = 1329 - 757. Is w a multiple of 63?
False
Is (-7 + -14)/(-1)*(-36)/(-14) a multiple of 9?
True
Let a be (-1)/((-2)/(-22)*-1). Let g = -9 + a. Suppose 23 = -g*w + 63. Is 20 a factor of w?
True
Let d be (-225)/(-120) - (-2)/16. Let r be d/(-9) - 248/18. Let o = r - -26. Is 3 a factor of o?
True
Let k be ((-5)/(-3))/(5/15). Suppose 7*v = 3*d + 4*v, 0 = k*d - 2*v - 3. Let w(g) = 45*g. Does 15 divide w(d)?
True
Suppose 47*j + 2715 = 52*j. Is 13 a factor of j?
False
Suppose -2*p = -5*h + 27, 3*p + 8 = -2*h + 3*h. Suppose -h*j + 4*y + 376 = 0, 5*j - 477 = 2*y - 109. Does 18 divide j?
True
Suppose -v = -2*q - 26, -3*v = -2*v - 4*q - 32. Suppose u = -4*w + 85, v = w - 6*u + 5*u. Does 4 divide w?
False
Suppose 725*c + 1040 = 726*c. Does 80 divide c?
True
Is 44 a factor of (61 - -5)*9/((-9)/(-4))?
True
Let v = 10 + -6. Let f(d) = 7*d**2 - 4*d + 6. Does 17 divide f(v)?
True
Let a = -158 - -483. Suppose 5*y - o - 14 = 0, 0 = 5*y + 4*o - 15 - 4. Suppose 2*j = -y*j + a. Does 18 divide j?
False
Let t = -22 - -4. Let c = 118 - t. Suppose -2*g + c = 6*g. Is g a multiple of 4?
False
Suppose 3*i - 6 = 0, 0*i - 2*i = -2*x + 64. Suppose 36*b - 52 = x*b. Is 11 a factor of b?
False
Does 129 divide 3115 + 21 + -11 - 9?
False
Suppose 4*k + 6 - 14 = 0. Suppose k*g = -3*g - 2*u + 690, -5*u - 585 = -4*g. Is 14 a factor of g?
True
Let c(s) = s**2 - 18*s - 2. Does 19 divide c(20)?
True
Let c(p) = -330*p - 43. Does 6 divide c(-1)?
False
Suppose -x = -4*k + 12, -4*k + 5 = 5*x + 17. Suppose b - 13 = 2*g, -3*g + 0*g = k*b - 33. Suppose -b = -u - 5. Is u a multiple of 5?
True
Suppose 0 = -v - 3*r + 7, v + 3*v - 11 = 5*r. Suppose -v*d + 514 = -446. Is d a multiple of 12?
True
Let k(g) = 40*g - 108. Does 2 divide k(5)?
True
Let z = 135 - -365. Does 42 divide z?
False
Let x = 74 - 64. Is x a multiple of 4?
False
Let q(c) = 2*c**2 + 17*c + 122. Does 29 divide q(24)?
True
Suppose -12*o = -227 + 2915. Let d = o + 363. Does 11 divide d?
False
Let c = -3 - 2. Let h(n) = -n**2 - 16*n - 8. Let t(s) = s**2 + 17*s + 9. Let w(u) = c*t(u) - 6*h(u). Is w(-11) a multiple of 2?
False
Suppose 2*g = -0*g. Suppose g*m = -2*m + 192. Does 16 divide m?
True
Let g(w) = 4*w + 19. Let q(m) = -m - 6. Suppose -4*r = -r + 42. Let n(v) = r*q(v) - 4*g(v). Does 8 divide n(-4)?
True
Suppose 71*b - 19207 = 12530. Does 29 divide b?
False
Suppose -4*o = -0 - 8. Suppose d + 26 = o*d. Let y = d - 4. Is 4 a factor of y?
False
Let n(x) = -2*x**3 - x**2 + 116. Does 29 divide n(0)?
True
Suppose -3*b = 2*b + 110. Let w be (b/(-2))/(2/10). Suppose -5*j = -w - 0. Is 11 a factor of j?
True
Let w = -2629 - -3805. Does 24 divide w?
True
Let x be 20*(15/(-6) - -2). Let d = x - -7. Is 14 a factor of d + 0 + -1 - -70?
False
Let t be -8 - -1*(2 - 0). Let v(f) = 6 + 2*f - 3*f - 9 - 3*f. Is 17 a factor of v(t)?
False
Suppose -12 = -3*o, 3*o + 1644 = 6*h - 2*h. Does 18 divide h?
True
Let q = 2257 - 1717. Is q a multiple of 12?
True
Let a be (-2)/(-2) + (-1851)/(-3). Suppose 0 = -20*h + 17*h - 3*x + 15, 3*h + 2*x - 16 = 0. Is h/(-24) + a/8 a multiple of 16?
False
Suppose -2*b + 72 = -2*p, b = -3*b - 4*p + 184. Does 2 divide b?
False
Let g(f) = f**3 - 5*f**2 - 3*f + 1. Let l be g(4). Let x be l/(-6)*-2*-5. Does 21 divide x - (0 + -1 - -4)?
True
Let a = 543 - -752. Does 37 divide a?
True
Let a(z) be the third derivative of 7*z**4/24 + 2*z**3/3 + 4*z**2. Let o be 21/6 + (-2)/4. Is a(o) a multiple of 13?
False
Suppose 3*s - 49 = -2*