 17 - 29 + 13 + 10*a. Is f(-12) a multiple of 3?
True
Is 64 a factor of 817 + -16 + 10 + -1?
False
Let t = -735 - -1047. Is t a multiple of 13?
True
Let s = -1621 - -2301. Does 34 divide s?
True
Let x be 24/3 + 1 - 4. Suppose m = 5, x*r - 3*m = 2*r + 39. Let i = 44 - r. Is 13 a factor of i?
True
Let v = 517 - 495. Is 4 a factor of v?
False
Suppose -9*w = -10*w + 2. Let q be (-5)/(-15) + (-119)/(-3). Suppose -4*h + q = w*m - 26, 18 = h - m. Does 3 divide h?
False
Let o = -200 - -294. Let l = o + -51. Is l a multiple of 24?
False
Let s(w) = 2*w**2 + 8*w + 2. Let u be s(-2). Let y be 2*(-1 + 35/2). Let j = y + u. Is j a multiple of 17?
False
Let o = -6 - 0. Let n be (-6)/9 - (-2)/o. Let t(m) = 49*m**2 - 3*m - 2. Is 14 a factor of t(n)?
False
Suppose 3*y = 6 - 3, -13 = -4*j - 5*y. Suppose 0 = 5*x - x - 8. Suppose 2 + 4 = -j*l, -x*l = -4*d + 342. Is 14 a factor of d?
True
Let g(p) be the first derivative of p**3/3 + 9*p**2/2 + 9*p + 11. Let j be g(-7). Is ((-9)/3)/(1/j) a multiple of 15?
True
Let l be 1/(5 - (2 + 2))*-6. Is 12 a factor of 1242/9 + (-6)/(-3) + l?
False
Let c(i) = 4*i**2 - 5*i**2 - 48 + 60 - 10*i. Let r be 46/(-5) + (-2)/(-10). Is 21 a factor of c(r)?
True
Let g(t) = -t + 3. Let c be g(-3). Suppose -4*s + c = -2. Suppose -v + 96 = s*v. Is 8 a factor of v?
True
Let b = 41 - 36. Suppose 4*u + 8 - 109 = -b*l, -5*l + 4*u + 109 = 0. Is l a multiple of 2?
False
Suppose -3*o + 1 = -0*c - c, -3*o - 2 = 2*c. Suppose o*y + 4*y = 32. Suppose -b + 18 = y. Is b a multiple of 10?
True
Let j be 883/2 - 18/12. Suppose -4*v + j = -3*q, -v + 43 + 62 = -2*q. Suppose k + 25 = v. Is k a multiple of 23?
False
Suppose -13*q + 125 = -1487. Is 4 a factor of q?
True
Let v(o) = 2*o + 2. Let s be v(-3). Let r be (-6)/8*s + 825. Suppose 4*a + 2*a = r. Is 35 a factor of a?
False
Is (-63)/(-147) + 4768/14 a multiple of 66?
False
Let c(v) = 29*v**3 - v. Let d = -23 + 13. Let u = -9 - d. Is 16 a factor of c(u)?
False
Let h be -2*(-7 + 1)/2 + -2. Suppose d + 3*d + 144 = h*g, 5*g = 3*d + 174. Does 33 divide g?
True
Suppose -57*u + 187860 = 3*u. Is u a multiple of 31?
True
Let d be -1 + (1 - -1) - 76. Let z = -19 - d. Is z a multiple of 16?
False
Let i = 28 - 24. Let o(p) = -i*p**2 - 18*p - 16 + p**2 + p**2 + p**2. Does 16 divide o(-8)?
True
Suppose 0 = 4*i + 5*a - 44, -i - 28 = -3*i - 4*a. Suppose n - 5*k = i*n - 5, -2*n - k = -3. Let j = n - -40. Is 6 a factor of j?
True
Let h be (-7)/5 - 15/125*5. Is 47 a factor of (-1850)/(-15)*((7 - 2) + h)?
False
Suppose 18*b = 21*b - 996. Suppose -2*a + h = -2*h - b, -498 = -3*a + h. Is a a multiple of 55?
False
Suppose 0*h + 2*t + 149 = h, 5*t = -5*h + 745. Suppose 0 = -6*i - 23 + h. Is 21 a factor of i?
True
Suppose -3*g - 3 = -4*g. Suppose n - 32 = -n - g*r, 0 = 3*r + 12. Is 17 a factor of n?
False
Let t be (-9)/(-9) - (4 + 1). Does 50 divide 3/4 + (-981)/t?
False
Suppose 0*c = -4*w - c + 926, 5*w + 5*c = 1150. Suppose -w = -9*b - 43. Is 2 a factor of b?
False
Suppose 0 = 8*j + 27 + 37. Let t(d) = -23*d - 76. Does 6 divide t(j)?
True
Let r(q) = -q**3 + 4 - 3*q**2 + 0 - q**2 - 3*q. Let h be r(-3). Suppose 3*d - h = -5*p, 40 = d + 2*d - 4*p. Is d a multiple of 3?
False
Let c(g) = -g**3 + 9*g**2 - 9*g + 2. Suppose -44 = 3*y - v, 14 - 42 = y - 3*v. Let h = y + 19. Is c(h) a multiple of 28?
True
Suppose 4*g = 2*g - 2*m + 1870, -g = -4*m - 960. Is g a multiple of 20?
True
Suppose -10*x + 15624 = 21*x. Does 7 divide x?
True
Let f(i) = -11*i**3 + i**2 - 4*i + 16. Let j(h) = 5*h**3 + 2*h - 8. Let s(d) = 6*f(d) + 13*j(d). Let r be s(6). Suppose 2*t + 46 = r*t. Is 9 a factor of t?
False
Does 47 divide 3007/4 + (-63)/(-252)?
True
Let a(t) = 11*t**2 - 7*t - 4. Is a(-8) a multiple of 16?
False
Let x(j) = 376*j**3 - 2*j - 1. Let l be x(-1). Let t = l - -133. Does 7 divide -1*3 + t/(-11)?
False
Suppose 0 = -2*i + 3*i + 45. Let t = i - -23. Let z = t + 56. Is 7 a factor of z?
False
Let x(v) = 3*v - 4. Let r be x(5). Suppose z = r - 6. Suppose 0 = 2*n - n + 2*p - 26, 0 = z*p + 5. Does 7 divide n?
True
Suppose 3*x - 8 = 4. Let y be 6/4 - 18/x. Is 26 a factor of y*3*-2*3?
False
Let j(q) = -67*q + 5. Is 39 a factor of j(-4)?
True
Suppose 3*b - 2*h = 2359, -3*b - 909 + 3269 = -h. Is 15 a factor of b?
False
Let i(j) = 3*j**2 - j**2 + 4*j + 2*j**2. Is i(6) a multiple of 22?
False
Does 50 divide ((-140)/120)/((-7)/14658)?
False
Let i be (-20)/(-10) - (3 + 0). Let m(v) = 35*v**2. Let b be m(i). Does 14 divide b*(1 - 4/20)?
True
Let f be 29/(-4) - 4/(-16). Let o = f + 8. Is ((-9)/(-12))/(o/24) a multiple of 11?
False
Let p = 44 + -2. Let x(m) = m - 33. Let b be x(33). Suppose b = 3*c - 168 + p. Does 21 divide c?
True
Let k be 0 + 3 + (-2 - -2). Let n(x) = -x**2 + 8*x - 2. Let j be n(3). Let m = j + k. Does 4 divide m?
True
Suppose -4*r + 60 = 5*q - 15, -15 = -q + r. Suppose p - 19 = -5*v + 4*p, -q = -5*v + 5*p. Suppose 5*n = -l - 2*l + 12, n - v*l - 8 = 0. Does 3 divide n?
True
Suppose 3*m = 2*m. Suppose m + 3 = 5*w - 2*y, -2*w - 22 = 5*y. Does 12 divide 3 - (4 - w) - -38?
True
Let o(v) = 4*v**2 - 5 - v**2 - 15*v - v**2 - 3*v**2. Does 12 divide o(-9)?
False
Suppose -80 = -9*d + 5*d. Suppose 15 = 5*i + 5*u - d, 6 = -3*u. Is 4 a factor of -1 - 3*(-15)/i?
True
Let b = 179 - 108. Does 13 divide b?
False
Let w(q) = -12 - 14 + 24 + 2*q**2 - q. Let f be w(2). Suppose -f*c + 183 = 3*i - 9*c, -i = -4*c - 54. Does 22 divide i?
True
Suppose -58*z + 12802 + 33482 = 0. Does 8 divide z?
False
Suppose -401 = -5*i - 1. Is i a multiple of 8?
True
Suppose -2*s - 2*j = -s - 60, -3*j + 260 = 4*s. Suppose 5*r - 25 = 2*b, 0 = 2*r - 2*b - 16. Suppose -r*m + s = m. Is 9 a factor of m?
False
Let d = 686 + -415. Is 10 a factor of d?
False
Let n(g) = -17*g**3. Let l = 0 + 2. Let a be (-2)/(-4)*(-4 + l). Does 17 divide n(a)?
True
Suppose 15*y - 63*y + 192 = 0. Let q = 15 + -10. Suppose y*m - q*t = 56, 2*t + 0*t = 5*m - 87. Is 14 a factor of m?
False
Let d be 4*(-1)/(-4)*0. Let w(h) = h**3 - h**2 - 11. Let l be w(d). Let z = l + 16. Is z a multiple of 3?
False
Suppose 0 = -0*n + 3*n + 4*r - 641, 5*n + 5*r = 1070. Does 13 divide n?
False
Let v = 184 - 172. Let f be (1*-3 - -2)*-45. Let s = v + f. Is 19 a factor of s?
True
Let j(a) = -12*a - 35. Let v = -117 - -112. Is j(v) a multiple of 2?
False
Let v(d) = 149*d - 22. Is 17 a factor of v(9)?
False
Let q = 15 - -160. Suppose 10 + 19 = w. Suppose 0 = a + 2*o - w, -5*o - q = -4*a - a. Does 5 divide a?
False
Is 2 a factor of 63/36*(-5 + 29)?
True
Let a be ((-2)/(-3))/((-4)/(-132)). Suppose 3*p = -5*j - 0*j + a, p = -3*j + 14. Suppose 0*h - 80 = -j*l + 4*h, 16 = l + 4*h. Is 8 a factor of l?
True
Is 22 a factor of ((-36)/(-8) - 3)/((-10)/(-1980))?
False
Let s be 3 - (-1)/(-3 + 2). Let d(m) = 37*m + 2. Does 14 divide d(s)?
False
Suppose -3*l + 360 = -3*y, -2*l + 5*y = -0*l - 252. Is 13 a factor of l?
False
Suppose 2420 = 10*z - 1420. Is 12 a factor of z?
True
Suppose 8*m - 4*k + 484 = 12*m, -4*m - 5*k = -481. Is 3 a factor of m?
False
Let s(j) = j**3 - 13*j**2 + 3*j + 4. Let n be s(13). Let a = n - 14. Let l = a - 18. Is 11 a factor of l?
True
Let l be (20/30)/(1/9). Suppose 2 = -m - l. Is 30/4*m/(-6) a multiple of 7?
False
Suppose 27 + 9 = -4*n. Let h = n - -8. Let q(j) = 51*j**2 - j. Does 14 divide q(h)?
False
Let o(u) = -10*u - 15. Is 25 a factor of o(-9)?
True
Suppose -o = 3*g - 3, 0 = o - 0*o + g - 9. Suppose 20 = -o*h + 17*h. Suppose 0 = 2*f + 2*s - 26, h*f - 2*f = -s + 27. Is f a multiple of 7?
True
Suppose -2*d + 2307 = n, 3473 = 3*d - 5*n + 9*n. Is 28 a factor of d?
False
Does 6 divide ((-126)/(-12))/((-3)/(-14))?
False
Let z = 81 - 126. Let r = z - -53. Does 8 divide r?
True
Suppose 12150 = -136*u + 142*u. Is 9 a factor of u?
True
Suppose 12*i - 979 = 1865. Is 5 a factor of i?
False
Suppose 0 = p - 5*w - 3 + 1, -3*p = -4*w - 6. Let u(r) = -9*r + 4 - 6*r - r**p - 2*r. Is u(-8) a multiple of 17?
False
Suppose -10982 = -5*l - 4*o, 4373 = -155*l + 157*l - 5*o. Does 66 divide l?
False
Suppose 0*h - 28 = -4*h. Suppose -399 = -4*q + s, 3*s = h*s - 4. Suppose 0 = 5*x + 25 - q. Is x a multiple of 6?
False
Let i be 1/(30/(-16) + 2). Suppose h = 3*a - i*a + 94, -3*a = -h + 134. Does 17 divide h?
True
Suppose -3*x = -5*v + 1141, -3*v + 2*x + 691 = -3*x. Suppose -3*r - 53 = -4*r + 3*a, -5*r + v = 4*a. Does 28 divide r?
False
Suppose -2*