32?
True
Suppose -5 = 2*g - 3. Let j be g*(3 - (8 - 2)). Is 16 a factor of 3/j + (-45)/(-3)?
True
Let y = -40 - -220. Let b(c) = -c**2 + 3*c + 19. Let r be b(-10). Let v = y + r. Is v a multiple of 23?
True
Suppose 5*b + 2*d = 3 + 1, -b + 8 = -2*d. Suppose 3*l + b*l - 75 = 0. Is 6 a factor of l?
False
Let o(g) = -273*g**3 - 4*g - 3. Let r be o(-1). Let h = r - 63. Is h a multiple of 45?
False
Let u(x) = 4*x**2 + 5*x + 9. Let c(g) = 5*g**2 + 4*g + 10. Let y(f) = -2*c(f) + 3*u(f). Is 18 a factor of y(4)?
False
Let p(z) = 4*z**2 + 6*z**2 + 20*z + z**3 + 13 - 33*z. Let m be p(-11). Let t = m + 19. Is 18 a factor of t?
True
Let x(b) = -b**3 + 3*b**2 - 2*b + 3. Let w = -2 + 4. Let a be x(w). Is (-3)/a - (1 + -46) a multiple of 20?
False
Let c(j) be the second derivative of j**4/3 - 2*j**3/3 - 9*j**2 + 13*j. Is c(-3) a multiple of 9?
False
Let o(x) = -x**3 + 16*x**2 - x + 7. Let m be o(16). Let g = 27 + m. Is g a multiple of 12?
False
Does 3 divide (193 - -1)/(38/19) - 1?
True
Suppose -5*m = -5, 6*r - m + 121 = 3*r. Is 30 a factor of (90/(-40))/(3/r)?
True
Suppose 4*o = -0*o + 12, 0 = d - 3*o + 15. Does 7 divide (-130)/d + 20/(-30)?
True
Suppose -5 = u - 9. Suppose u*d + d = 210. Is d a multiple of 16?
False
Let s = -14 + 13. Does 22 divide s/(-3) + (-510)/(-9)?
False
Let z be (6 - -5)/(2/4). Suppose 2*v + 33 = -5*s + 5*v, -4*s - 3*v - 48 = 0. Let w = s + z. Is w a multiple of 3?
False
Suppose -18 = 10*h - 16*h. Suppose 3*o - 182 = -14. Suppose f - 6*g - 14 = -h*g, -4*f - 4*g = -o. Is 14 a factor of f?
True
Let n be (129/6)/((-2)/(-4)). Suppose 3*d = h + n, -3*h = 5*d - 84 - 11. Is d a multiple of 8?
True
Let h(i) be the third derivative of -i**5/60 + 17*i**4/24 - 6*i**2. Let o be h(16). Suppose -3*w + 29 + o = 0. Is w a multiple of 15?
True
Let q(t) = 2*t**2 - 17*t - 5. Let b be q(9). Is 18 a factor of (-1)/(-4)*-6 + 726/b?
True
Let q = -47 - -47. Suppose q = 5*j + 5, -j + 163 + 96 = 5*x. Does 13 divide x?
True
Let z = 1876 - 355. Does 15 divide z?
False
Let z(q) = -7*q + 14. Let c(h) = -6*h + 13. Let n(f) = -6*c(f) + 5*z(f). Let l be n(6). Is l - (-2)/(2/23) a multiple of 7?
True
Let f(y) = y**2 + 5*y + 1. Let n be f(-6). Let u = n + -7. Suppose -5*z + 3*z + 44 = u. Is 11 a factor of z?
True
Suppose 7*u - 1194 = 1515. Does 24 divide u?
False
Let y = 33 + -42. Is (-178)/y + 2/9 a multiple of 4?
True
Suppose 4*t = 8*t - 60. Suppose -5*n - t = 2*m, 2*m + 4*n = 4*m - 12. Let z = m - -5. Is z a multiple of 3?
False
Let h(q) be the first derivative of -q**4/4 - 4*q**3/3 + 5*q**2/2 - 3*q - 19. Is 4 a factor of h(-6)?
False
Suppose 5*d = 4*d + 4. Suppose -o - s = s - 99, 393 = d*o + 5*s. Is o a multiple of 31?
False
Let b = 5 + 13. Suppose 2*q = q + b. Does 7 divide q?
False
Is 11 a factor of 14060/133 - (-3)/(21/2)?
False
Let m be (0 - 0) + 1 + 72. Let f = m + -21. Is 12 a factor of f?
False
Suppose -12 = 2*n - 5*i, -3*n + i + 28 = 5*i. Suppose -n*w = -2*w. Suppose -5*p + 89 = -4*x, 5*p - 4*p - 2*x - 13 = w. Is p a multiple of 9?
False
Let u(r) be the second derivative of -r**7/120 + r**5/40 + r**4/8 + 7*r**3/6 - 2*r. Let i(q) be the second derivative of u(q). Does 13 divide i(-2)?
False
Let c = -477 + 2938. Is c a multiple of 107?
True
Let n(t) = 13*t + 15. Let b = -31 + 34. Suppose -b*k - 4*u + 29 = 2*k, -k + u = -13. Is 44 a factor of n(k)?
True
Let c(p) = 6*p**2 - 3*p + 2. Let h be 6/(-10) - 198/45. Is c(h) a multiple of 15?
False
Let v be -1*1/(-4)*(0 - 4). Is (v + (0 - -2))*(53 - -6) a multiple of 19?
False
Does 4 divide (-4 - -11) + (-1154)/(-1)?
False
Let b(x) = -29*x - 168. Let d be b(-6). Let o = 1 + 123. Suppose 0 = f - d - o. Does 26 divide f?
True
Let u = -23 - -37. Does 9 divide ((-68)/u + 0)*-7?
False
Let u be (2 + 22)/(-3)*132/(-16). Suppose u = 5*i - 99. Does 7 divide i?
False
Let b(o) = o**2 - 3*o - 4. Let l be b(3). Is 14 a factor of 39 - (-2 - (-4 - l))?
False
Suppose 0 = 2*m + 5*j - 36, 2*j - 6 + 42 = 2*m. Is 204/(-136)*3/(m/(-368)) a multiple of 25?
False
Let b(r) = r**3 + 13*r**2 - 4*r - 2. Let k be b(-13). Suppose -9*n = -7*n - k. Is 9 a factor of n?
False
Suppose 4*w = w + 396. Does 12 divide w?
True
Let q(k) be the first derivative of 1/3*k**3 - 2*k - 4 + 1/2*k**2. Does 9 divide q(-8)?
True
Let z = 8 + -6. Let t be 3/((-9)/(-6))*z. Let d(q) = 2*q**2 - 6*q. Is 3 a factor of d(t)?
False
Suppose 7*i - 4*i = 9. Suppose 4*a + 11 = i*o, -25 = -6*o + o + 5*a. Suppose 3*w - o - 13 = -2*d, 5*w = -5*d + 50. Does 8 divide d?
True
Suppose -4*r + 3*d = -278, -4*d = -5 - 3. Suppose -g + r = -5*a, 3*g - 263 = -g - a. Does 11 divide g/(1 + 4/8)?
True
Let o = 3130 - 1776. Does 23 divide o?
False
Let c = 13 + -24. Let m = -27 - c. Is 6 a factor of (15/(-2))/5*m?
True
Let f(n) be the second derivative of n**4/12 + 5*n**3/6 - 22*n**2 - 10*n. Does 4 divide f(6)?
False
Let w(k) = -2*k**3 + 19*k**2 + 6*k. Let c(l) = -l**3 + 18*l**2 + 5*l + 1. Let n(j) = -3*c(j) + 2*w(j). Is n(-16) a multiple of 32?
False
Let n = 154 - 49. Is (72/(-42))/((-3)/n) a multiple of 15?
True
Is (35 + (-1)/(-1))/(63/420) a multiple of 30?
True
Suppose 95*j = 102*j - 5292. Is 27 a factor of j?
True
Let b be (-146)/4*864/(-16). Is 28 a factor of 7/(-28) - b/(-12)?
False
Suppose -10*u - 9 + 49 = 0. Is 20 a factor of (u + 2)/(3/70)?
True
Let b(i) = i. Let f be b(3). Suppose -f*u + 106 = c, 2*c + 0 = 2. Is u a multiple of 7?
True
Let m(o) = 3*o - 25. Let g(l) = -2*l + 12. Let h(s) = -5*g(s) - 2*m(s). Does 33 divide h(19)?
True
Suppose -2*j - j = -5*q + 26, 2*q = -j + 6. Suppose 3*u = 5*u - 14. Suppose r + q = u. Is r a multiple of 3?
True
Let l(j) = -j**3 + 8*j**2 + 3*j - 5. Let r be (2 + 18)*4/(-20)*-2. Does 10 divide l(r)?
False
Let p(z) = -z**3 + z**2 + 7*z + 5. Suppose 3*a = a + 12. Let j = -10 + a. Does 18 divide p(j)?
False
Suppose 0 = -33*q + 25*q + 7200. Is q a multiple of 12?
True
Is ((-1755)/260)/(2/(-200)) a multiple of 5?
True
Let r(t) be the second derivative of -t**4/12 - t**3/2 - 2*t**2 + t. Let y be r(-3). Let b = y + 16. Is 6 a factor of b?
True
Suppose -10830 = -37*w + 26355. Is 61 a factor of w?
False
Suppose -15 = -5*t + 2*r, -t - 2*r = 2*t - 25. Suppose t*a - 3*a = 0. Let h = a - -8. Is h a multiple of 6?
False
Suppose -v + 16 = b - 3*v, 0 = 4*b + v - 64. Does 12 divide (0 - 60/b)*-16 - 3?
False
Let k = -2 + 12. Suppose 5*w = k*w - 635. Is w a multiple of 34?
False
Let v = 101 - 97. Suppose 0 = 2*w - 68 - v. Does 4 divide w?
True
Let a be 10/(1 - (2 + 0)). Let h be ((-6)/(-4))/(156/(-3328)). Let t = a - h. Is t a multiple of 6?
False
Let c(n) = -n**2 + n + 4. Let g be c(0). Let q = g - -50. Is 18 a factor of q?
True
Suppose -12 = -3*v, -2*n - 2*v + 20 = 2*v. Let z(i) = -6*i**n + 6*i**3 - i**3 - 2 - 4*i**3 - 2*i**3 + 9*i. Is 23 a factor of z(-8)?
False
Let c(x) = 2*x**2 - 7*x - 7. Let d be c(9). Let w = d - 59. Is 19 a factor of w?
False
Let u(a) = -161*a**2 + 11*a - 9. Let w be u(-7). Does 33 divide -1 + (6/(-27) - w/45)?
False
Suppose -8*s + 5*s = -87. Is 29 a factor of s?
True
Let a(q) = -q + 12. Let i be 1 + 4 + -12 - -1. Let h be a(i). Suppose 5*l = 6*l - h. Is l a multiple of 6?
True
Let x(v) = 185*v - 1. Let t be x(1). Suppose -3*f + 7*f = t. Does 7 divide f*4/8 - 2?
True
Let m(r) = -r**2 + 5*r - 6. Let a be m(4). Let t(v) = 18*v - 7. Let w(b) = 19*b - 6. Let n(c) = 4*t(c) - 5*w(c). Is n(a) a multiple of 14?
False
Let u be (-4)/22 - 284/11. Let x = -8 - u. Let o = x + -3. Does 15 divide o?
True
Let a(f) = -f - 1. Let c be a(-7). Let k be (0 - 14)*(-9)/c. Is 321/k + 4/(-14) a multiple of 5?
True
Suppose -9681 = -15*j + 23694. Is 67 a factor of j?
False
Let x = -22 - -27. Is 2 a factor of 33/55*(0 + x)?
False
Let s = 8 - 11. Let o(q) = 2*q**2 + 5*q. Let w(p) = p**2 + 4*p - 1. Let u(k) = 3*o(k) - 4*w(k). Does 22 divide u(s)?
False
Does 101 divide -1 + (-15336)/(-3 - 9)?
False
Let k(p) = 0 + 7 + 2*p - p. Let m be k(7). Does 11 divide (-932)/(-28) + (-4)/m?
True
Suppose 3*x = -3*b + b + 2, -5*b + 22 = -x. Let y be x*1*(-15 - 4). Suppose y - 248 = -5*q. Is q a multiple of 14?
True
Let g = 78 - 128. Is 6 a factor of 4 - g - (-4 + 2)?
False
Let w = -43 + 89. Suppose -w = -r - 12. Is r a multiple of 17?
True
Let g(i) = i**3 + i**2 + 4. Let m be g(0). Suppose -m*v = -6*v. Suppose v = -s + 19 + 6. Is 7 a factor of s?
False
Let k(w) = -7*w + 4. Let u be k(-3). Le