?
False
Let b be (-2)/1 + (-120)/(-6). Suppose 3*x + 4 = -5. Let v = x + b. Is 15 a factor of v?
True
Let l(u) = 5*u**2 + 3*u + 2. Is 19 a factor of l(-3)?
True
Is 5424/40 - 4/(-10) a multiple of 34?
True
Suppose -v - p = -43, -49 = -0*v - v + p. Let f = 28 - v. Let a = 38 + f. Is a a multiple of 10?
True
Let d = -53 + 88. Suppose -k - 9 = -d. Suppose k + 9 = 5*g. Is g a multiple of 3?
False
Suppose -4*f = 4*n - 5*f - 132, 3*f - 84 = -3*n. Does 12 divide n?
False
Let w be 142*((-3)/(-6) + -1). Let j = 103 + w. Does 8 divide j?
True
Suppose -4*i + i = 4*v - 35, 4*i - 5 = 3*v. Suppose -v*c + 35 = -4*c. Is 9 a factor of c?
False
Does 13 divide ((-4)/(-10) - 0) + (-246)/(-10)?
False
Let v(d) = 2*d**2 - 8*d - 1. Is v(6) a multiple of 12?
False
Suppose l = -k + 4, 0*k + 5*k - 12 = 3*l. Suppose -k*i - 3*d = -189, -d = 3*i - i - 127. Is 16 a factor of i?
True
Suppose -4*j = 81 - 369. Is 12 a factor of j?
True
Suppose 2*m = 5*m + 6. Let t(x) = -4*x - 1. Let c(q) = 25*q + 6. Let h(n) = -6*c(n) - 34*t(n). Is h(m) a multiple of 13?
True
Is (-64)/16 + 4*7 a multiple of 6?
True
Is 4 a factor of 2/(8/(-12)) - -17?
False
Suppose 16 = 4*m - 16. Suppose -2*c + 3*c - m = 0. Does 5 divide c?
False
Is ((1 - 0) + 3)*736/23 a multiple of 11?
False
Let s(f) = 19*f - 1. Suppose -2*m = -5*m + 3. Does 18 divide s(m)?
True
Does 11 divide (-148)/(-28) + -5 - 1382/(-14)?
True
Let g(y) = y**3 - 3*y**2 + 2*y + 4. Is 4 a factor of g(3)?
False
Let v(u) = -u**2 - 11*u. Let n be v(-5). Suppose -y + n = y. Is y a multiple of 7?
False
Suppose -4*c - 88 = 4*g, -3*g - 2*c - 35 = 27. Let b = g + 60. Is 9 a factor of b?
False
Let t = 3 + -4. Let y(z) = -z**2 + z + 9. Let m be y(0). Let l = t + m. Does 8 divide l?
True
Let m = 17 - -88. Is 6/4 - m/(-2) a multiple of 18?
True
Let n = 175 - 21. Does 26 divide n?
False
Suppose 0 = 5*p + 6*x - x - 815, 0 = -p - 3*x + 169. Is 32 a factor of p?
True
Suppose -8 = -i + 2*w, -2*i + 3*w + 52 = 2*i. Is 9 a factor of i?
False
Let q(g) = -154*g**3 + 2*g**2 + g. Is q(-1) a multiple of 37?
False
Suppose 0 = -2*o + o. Suppose o = 3*t - 8*t + 15. Let d = t - -4. Is 7 a factor of d?
True
Let o be 0 - (4 - (4 - 0)). Suppose 2*a - 120 = -o*a. Is 20 a factor of a?
True
Suppose -o + 4 = o. Suppose 12 + 12 = o*k. Is 5 a factor of k?
False
Is (5 + -8 - -5) + 23 a multiple of 5?
True
Suppose 4*f = 3*r - 0*r + 96, -5*r = 0. Does 31 divide ((-496)/f)/((-2)/6)?
True
Let v(h) = -6*h**3 - h**2 + 11*h + 7. Let n(p) = -5*p**3 + 10*p + 6. Let b(z) = 5*n(z) - 4*v(z). Is 7 a factor of b(5)?
True
Let l = 4 - 0. Let q(g) = 4*g - 5. Let n(v) = 9*v - 11. Let o(z) = -6*n(z) + 14*q(z). Does 4 divide o(l)?
True
Let o(g) = -g**3 - 5*g**2 - g + 2. Suppose 4*k + 4*j = 8, 0 = -k + 3*k + 5*j + 2. Suppose 25 = -5*i + 3*v - v, -4*v = -k*i - 20. Is o(i) a multiple of 7?
True
Suppose 1 = m - 3*f + 2*f, 5 = 2*m - f. Suppose 0 = -0*o + m*o - 188. Is 12 a factor of o?
False
Let x(a) = -49*a + 4. Let p be x(-3). Let u(q) = -q**3 + 9*q**2 - 6*q - 11. Let j be u(8). Suppose -p = -j*n + 9. Does 16 divide n?
True
Suppose j - 6*j = -5. Does 16 divide (26/(-6))/(j/(-9))?
False
Let m(j) be the first derivative of j**3/3 + 3*j**2/2 - 3*j - 1. Suppose -3*r + 5*r = -2*k - 20, k = r. Does 7 divide m(k)?
True
Let q = 36 - 20. Does 6 divide q?
False
Let r be (-1)/(-6) - (-5)/(-30). Suppose 3*s + 0*d - 63 = 2*d, r = -2*d. Is 4/6*s/2 a multiple of 4?
False
Let s(h) = 2*h**3 + 7*h**2 + 4*h - 4. Let y be s(-4). Let o = -17 - y. Is o a multiple of 13?
False
Suppose -47 = s + 5*a - 210, -4*s = a - 671. Is 12 a factor of s?
True
Let p(k) = 4*k**2 + k + 4. Let t(g) = -g**3 + 3*g**2 + 3*g. Let z be t(3). Suppose 2*w = 5*w + z. Does 15 divide p(w)?
False
Let u = -113 + 195. Does 41 divide u?
True
Suppose -36*o = -39*o + 480. Is 16 a factor of o?
True
Let r = 32 + -22. Is 4 a factor of 6/(-15) - (-94)/r?
False
Let s = 158 - 113. Is 9 a factor of s?
True
Let z(i) = i**3 - i**2 + i + 2. Let f be z(0). Suppose -f*u = u - 54. Does 10 divide u?
False
Let c(u) = u**3 - u**2 - 17*u + 2. Is c(7) a multiple of 24?
False
Suppose 7*g - 44 = -5*r + 3*g, -4*g + 12 = r. Is 3 a factor of r?
False
Let q(a) be the second derivative of -a**7/420 - a**6/90 - a**5/40 - a**4/8 + a**3/3 + 2*a. Let v(b) be the second derivative of q(b). Does 12 divide v(-3)?
True
Let r(i) = -i**2 - i. Let t be r(0). Suppose -3*h + h + 62 = t. Is 8 a factor of h?
False
Suppose 3*g - 71 = -q, 0 = 5*q - g - g - 355. Does 26 divide q?
False
Let b(n) = -n**3 - 5*n**2 + 2*n - 3. Is b(-6) a multiple of 17?
False
Is (-14)/(-3) + -1 - 40/60 a multiple of 2?
False
Let f be (1/(-3))/((-5)/30). Let a be (0 - -3) + f + -4. Does 15 divide 15/((1 - 0)/a)?
True
Suppose 0 = -4*b + b - 3*j + 90, -4*b = -3*j - 85. Let v = 36 - b. Is v a multiple of 7?
False
Let n = 135 + -75. Does 28 divide n?
False
Let x(t) = t - 5. Let u be x(4). Is (0 + 5)/(u - -2) a multiple of 5?
True
Let z be (1/2)/((-1)/(-4)). Suppose z*j + 4 = 40. Is j a multiple of 9?
True
Suppose 15 + 75 = 5*d. Does 6 divide d?
True
Let m(c) = -c**3 + 3*c**2 + 2*c + 3. Let u be m(4). Is u*2/(-5)*10 a multiple of 14?
False
Let h be 2*(2 - 3)/1. Let u be -1 + (0 - h) + 1. Suppose 2*v = -2*v - 2*d + 14, u*v - 8 = -2*d. Is v a multiple of 3?
True
Let n = 44 - -32. Does 21 divide n?
False
Suppose 7 = 5*z - 8. Suppose -6*f + 108 = -z*f. Does 12 divide f?
True
Let g(c) = c**2 - 7*c + 3. Let d be g(6). Let s(u) = u**2 - 2*u - 3. Does 4 divide s(d)?
True
Suppose -3*h - h = -260. Is 19 a factor of h?
False
Let o(w) = 39*w - 9*w + 11*w + 2. Let l be o(-2). Is 8 a factor of (4/10)/((-2)/l)?
True
Suppose -5*v + 432 = -228. Is v a multiple of 11?
True
Let r(v) = v**2 + 2*v - 6. Suppose -2*f + 0*f - 12 = 0. Is 9 a factor of r(f)?
True
Suppose 3*m - 12 = 0, 0 = 3*b + m - 3*m - 280. Is b a multiple of 21?
False
Let a(u) = 3*u**3 + u**2 - 3*u - 1. Let h be a(3). Suppose -3*y + h = y. Does 10 divide y?
True
Suppose 0 = -3*c + 3*n, -3*c + 5*c - 4*n = -10. Is 10 a factor of (-4)/(-2) + (c - -21)?
False
Let l(n) = -n**2 + 4*n - 3. Let m be l(3). Suppose -5*a + m + 10 = 0. Suppose -a*q = q - 138. Does 17 divide q?
False
Suppose z - 3*z - 66 = -h, 188 = 3*h + 4*z. Suppose -p + h = -0*p. Suppose 0*n - 4*n + 2*y = -64, 4*n - y = p. Does 8 divide n?
True
Suppose 0 = -2*w - 2*r + 3 - 1, -4*w + 3*r = 31. Let p(m) = 2*m**2 - 2*m - 3. Is 13 a factor of p(w)?
False
Does 24 divide 141/6 - (-4)/8?
True
Suppose 0 = 4*z - 8 - 16. Suppose 2*w + 96 = z*w. Is w a multiple of 6?
True
Suppose -4*b + 9 = -11. Let n = b - -3. Is 11 a factor of 178/8 + (-2)/n?
True
Suppose 2*x = 3*l - 233, -403 = -3*l - 3*x - 145. Let m = 63 + -59. Suppose -l = -m*c + 31. Is 10 a factor of c?
False
Let i(s) = 3*s. Let a be i(1). Suppose -a*y + 5 = -16. Is y a multiple of 7?
True
Suppose -68 = -2*n - 0*n. Suppose 6*t - n = 4*t. Let f = -5 + t. Does 7 divide f?
False
Suppose 5*n = c + 2*c - 456, 4*c - 4*n - 600 = 0. Is c a multiple of 22?
False
Let n = -1 - -4. Suppose k - 3 - n = 0. Suppose k*b - 42 = 3*b. Is b a multiple of 9?
False
Let x be ((-2)/4)/(2/(-8)). Suppose 0 = -x*d + d + 7. Does 4 divide d?
False
Suppose 5*p - 89 = -2*y + 206, 0 = -y + 5. Is p a multiple of 19?
True
Let f(j) = j + 20. Suppose 9*k - 8*k + 10 = 0. Is 3 a factor of f(k)?
False
Let s(a) = 2*a**3 + 3*a**2 + a + 2. Let y be (1 - -4 - 3) + -4. Let n be s(y). Does 19 divide 9/(-2)*(-16 - n)?
False
Let s(v) = -4*v**2 + 0*v**2 - 5*v + 4 - v**2 - 6. Let r be s(-3). Let f = r - -53. Is f a multiple of 7?
True
Let t = -20 + 22. Is 0/t + 744/12 a multiple of 17?
False
Let x(n) = -2*n**3 + 3*n**2 + 2*n + 1. Is 17 a factor of x(-2)?
False
Suppose -2*c + 109 + 67 = 3*n, 4*c = n - 40. Does 14 divide n?
True
Let t be (-108)/(-4) + (1 - -1). Let a = -18 + t. Is a even?
False
Suppose 0 = y - 2. Suppose -5*x + 26 = y*n - 1, 4*x + 5*n - 25 = 0. Is 5 a factor of x?
True
Is ((-12)/(-9) + 2)/((-4)/(-216)) a multiple of 60?
True
Suppose 5*y = -5*w, -2*y - 2*y = -2*w. Suppose 0*t = -t - 2*j + 4, 4*t - 3*j - 16 = y. Is 76/10 + t/10 a multiple of 8?
True
Let s(x) be the first derivative of -5*x**2 - 3*x - 4*x**2 + x**2 - 2 + 0. Is s(-2) a multiple of 11?
False
Is ((-2)/(-3))/(4/144) a multiple of 15?
False
Suppose 5*u = -18 + 8. Let d be (-66 - -2)/u*-8. Is 9 a factor of d/(-14) - 6/21?
True
Let h = -23 + 14. Let m(b