or of c?
True
Let b(r) = -r**3 - 12*r**2 + r + 9. Let p be b(-12). Let q(t) = -t**2 - 4*t - 3. Let i be q(p). Suppose i = 2*z + 3*z - 185. Does 27 divide z?
False
Let y = 181 - 120. Suppose -y*f = -66*f + 120. Does 7 divide f?
False
Let k(m) = 31*m - 37. Is k(19) a multiple of 13?
False
Let u = -3 - -7. Let d(r) = 3*r - 5. Let q be d(u). Suppose -q*j - 5*v + 85 = -2*j, -5*j + 82 = 4*v. Is j a multiple of 7?
True
Let s = -97 + 176. Suppose 3*i = 4*n - 23, -3*n - 26 + s = -5*i. Let g = i - -37. Is g a multiple of 6?
True
Let q(m) = 2*m**2 + 46*m + 442. Is 8 a factor of q(0)?
False
Let o(g) = -g**3 - 4*g**2 - 5*g - 4. Let t be o(-3). Suppose y - t*y + 24 = -w, -4*w = y - 4. Is y a multiple of 4?
True
Let s(i) = 115*i**3 - 7*i**2 + 5*i + 6. Is s(2) a multiple of 67?
False
Suppose 4*w - f - 10 = 0, -6*f + 3*f = -4*w + 6. Suppose w*o - 315 = -2*d - d, -d = -o + 111. Does 27 divide o?
True
Let v = -51 + 157. Suppose -2*g = 3*p - 98, 2*g - v = -p - 4*p. Is g a multiple of 11?
False
Suppose -2*x - 31*o + 29*o + 90 = 0, -5*o + 5 = 0. Does 22 divide x?
True
Suppose 4*p - 2*p = 712. Does 11 divide p?
False
Suppose -7*s + 720 = -4*s. Suppose s = 5*k + 5*y, -3 = -2*y + 3. Is k a multiple of 11?
False
Let d(b) be the third derivative of -b**4/12 + 7*b**3/3 - b**2. Suppose 5*a + 5*k - 3 + 13 = 0, -3*k - 18 = 5*a. Is d(a) a multiple of 26?
True
Suppose 87*m - 34272 = 24*m. Does 36 divide m?
False
Let d(r) = r**3 - 17*r**2 - 17*r + 139. Is d(18) a multiple of 29?
False
Suppose 5*j = 9*j + 12. Does 30 divide (-2)/(-1) + j - -75?
False
Does 24 divide (-5)/(-5)*864 - 0?
True
Suppose g = 3*a + 35 + 181, -4*g + 2*a + 854 = 0. Is g a multiple of 4?
False
Suppose 3*s - 16 = 50. Let f = s + 37. Is 10 a factor of f?
False
Let l = 20 + -12. Suppose t = -p - l, 0 = -p - t + 2*t + 2. Does 13 divide p/((18/92)/(-3))?
False
Let a(p) = p + 20. Let s be a(0). Is -4*s/(-8) - (-4 - -6) a multiple of 2?
True
Let d be 8/(-64) - (-209)/8. Suppose -230 = -4*b - d. Does 10 divide b?
False
Let u be (60/(-9))/((-6)/(-9)). Does 23 divide (-8071)/(-35) + (-4)/u?
False
Let w be (1/(-5) - 24/(-20))*2. Is (144/(-14))/(w/(-14)) a multiple of 13?
False
Suppose 5*n - 4 = 3*n. Suppose -94 - 156 = -n*a. Suppose 5*g - a = -2*y + 47, -3*g + 2*y + 116 = 0. Does 18 divide g?
True
Let h(o) = 229*o**2 - o - 1. Let t be h(-1). Suppose 469 = 4*a - 5*n, 2*a + 0*n + 3*n - t = 0. Does 29 divide a?
True
Let p be 7 + 7/(28/12). Let d = p + 3. Is d a multiple of 11?
False
Let a(j) = j + 4. Let g(h) = 2*h - 1. Let o(p) = 3*a(p) - g(p). Let b = 0 - 4. Is 3 a factor of o(b)?
True
Let w(q) = 1316*q**2 - 24*q - 24. Is w(-1) a multiple of 47?
True
Suppose 7*u = 3*u + 5*m + 16, 0 = 3*u + m - 12. Suppose -2 = v - u. Is -12 - -23 - 4/v a multiple of 3?
True
Let z(x) = 4*x**3 - 6*x**2 + 4*x. Let t be z(4). Let c = t + 54. Suppose 2*p - 4*g - 92 = -7*g, 5*p - 5*g = c. Is 16 a factor of p?
False
Let i(w) = -w**3 + 7*w**2 - 6*w. Let c be i(6). Suppose c = 4*d - 9*d + 20. Suppose -d*f + 259 = 31. Is f a multiple of 19?
True
Let v = 13 + 80. Suppose -12 = 3*w, 0 = -4*d + 8*w - 4*w + 28. Suppose -z - 175 = -2*h - 3*h, -d*h = -3*z - v. Is 7 a factor of h?
False
Suppose 33 - 6 = y. Let z = -10 + y. Let m = 4 + z. Is 9 a factor of m?
False
Suppose 0 = 34*w - 38*w + 5264. Is 22 a factor of w?
False
Let u(k) = k**3 + 20*k**2 + 14*k - 20. Let x be ((-57)/12)/(-3 + 13/4). Is u(x) a multiple of 17?
False
Let x = -228 - -432. Does 6 divide x?
True
Let j(d) = 4*d**2 + 2*d + 7. Let f(b) = 5*b + 7 + 5*b**2 + b - 3*b. Let i(r) = -2*f(r) + 3*j(r). Is i(5) a multiple of 19?
True
Suppose 2914 = -5*l - 6566. Let n(j) = -2*j**3 + 2*j**2 + 5*j + 2. Let b be n(-2). Does 25 divide ((-4)/6)/(b/l)?
False
Let p = -1908 + 3678. Is 15 a factor of p?
True
Let n = 35 + -32. Suppose -n*z = -8*z. Suppose z = b - 5, 4*b - 14 = u. Is u a multiple of 3?
True
Suppose 0 = -3*j + j - 2*x + 418, -5*j = 2*x - 1039. Is j a multiple of 11?
False
Let h = -210 - -558. Does 29 divide h?
True
Suppose 19*h = 31*h - 2688. Is h a multiple of 14?
True
Suppose 3*t + 142 - 475 = 0. Is 3 a factor of t?
True
Is -62*-3*(-5)/(-10) a multiple of 6?
False
Let d(s) = -s**3 - 28*s**2 - 59*s - 26. Let k be d(-26). Suppose 2*f = -3*y + k, -4*y - 2*f + 185 = -7*f. Does 12 divide y?
False
Suppose 4*s - x = 427, 3*s - 3*x - 319 = -x. Is 18 a factor of (1 + s)*6/9?
True
Suppose t + 3 = 5. Suppose 2*y - 2 = -5*v, t*v + 1 = 9. Is 3 a factor of (y/6)/(3/(-6))?
True
Suppose 0*u = -5*u - n + 29, 6 = 2*u - n. Suppose -u*h = -12 - 3. Suppose h*l + 380 = 5*y, -4*y + 233 = 3*l - 98. Does 23 divide y?
False
Let f(d) = -d**2 + 5*d + 3. Let n be f(5). Suppose 12 = -n*t + 7*t. Does 8 divide (32/t)/(5/15)?
True
Let n be (-15)/(0 + 18/(-8))*-3. Is 16 a factor of 8/n + (-708)/(-20) + -3?
True
Let o(n) be the first derivative of 3*n**4/2 + n**2/2 + 5. Let v be o(-2). Let l = v + 117. Is 18 a factor of l?
False
Let q(d) = d**2 + 11*d. Let g be q(-12). Suppose 0 = -g*w + 15*w. Suppose w = 3*m + 2*m - 50. Is m a multiple of 3?
False
Let j(k) = 23*k**2 - 3*k - 2. Let o be j(-1). Let g = 46 + -25. Let b = o + g. Is 15 a factor of b?
True
Suppose 198*h = 202*h - 888. Is h a multiple of 23?
False
Suppose -3*x + 7*x = 12. Let h be 1/x + 42/(-18). Does 7 divide (7 + h)/(-5)*-49?
True
Suppose 2*h - 4 = h. Suppose -6 = -4*b - 2*m, -h*b - 4*m = -3*b + 16. Suppose b*p - 78 = 3*p. Is 24 a factor of p?
False
Let q(m) = -m**2 - 15*m + 16. Is q(-11) a multiple of 6?
True
Let v(o) = -5*o**2 + 6*o + 3. Let j be v(3). Let u = j - -55. Does 9 divide u?
False
Let i(c) = 2*c**2 + c + 3. Is i(4) a multiple of 10?
False
Let s(g) = -g**3 + 11*g**2 + g - 6. Let y be s(10). Suppose -z + 3*i + 32 + y = 0, 130 = z - i. Is z a multiple of 41?
False
Let y be (-2)/(-8)*40/30*0. Suppose 2*z + y*u + 4*u - 98 = 0, -u = 3. Does 5 divide z?
True
Let u be 1*(-1 - 0 - -2) - 1. Suppose -i - 3*i + 20 = u. Is i a multiple of 4?
False
Suppose 4*l = 2*l + 46. Suppose -5*q = 3*y - 75, 0*q - q + l = -y. Is 9 a factor of q?
True
Suppose 0*a = -a + 584. Suppose 7*b - 3*b = a. Is b a multiple of 9?
False
Suppose -10*a + 5*a + 70 = 0. Let j = 77 - a. Is j a multiple of 7?
True
Suppose -4*x = -12, 0 = -2*i + 3*x - 8 + 3. Suppose 185 = i*u - 7*u. Let h = u - -56. Does 12 divide h?
False
Suppose 5*x + m - 4728 = 0, 36*x - 5*m = 33*x + 2820. Is 32 a factor of x?
False
Let c(y) = -y**3 + 14*y**2 - 8*y - 5. Let o be c(14). Let r be 1300/18 + 26/o. Let t = r - 44. Is t a multiple of 28?
True
Suppose -j + 3*i + 28 = -2*i, 4*i + 14 = -2*j. Suppose 0 + j = d. Is (-2)/(10/(-215)) - d a multiple of 19?
False
Let g(o) = 11*o**3 - o**2 - o + 1. Let m be -3*(-4)/6 + -1. Let c be g(m). Let r = 19 - c. Is r even?
False
Let y = 133 + 42. Does 3 divide y?
False
Let c(o) be the second derivative of o**6/360 + o**5/12 + 19*o**4/24 - o**3 - 3*o. Let x(p) be the second derivative of c(p). Does 3 divide x(-8)?
True
Suppose -507 + 1867 = 8*b. Suppose -109 = -2*i - 3*s, 13 = -3*i + 2*s + b. Is i a multiple of 12?
False
Let h(s) = 5*s + 4. Let j be h(13). Suppose -t = -2*v - v + j, -15 = 5*t. Is 6 a factor of v?
False
Let q(i) = 32*i - 74. Is q(22) a multiple of 45?
True
Let o = -1784 - -2538. Does 66 divide o?
False
Let o(z) = 3*z**3 - 9*z**2 + 14*z - 259. Does 50 divide o(11)?
False
Let x = 282 - 142. Suppose -3*l + 203 + 16 = 0. Let v = x - l. Is v a multiple of 20?
False
Let b = 53 + -35. Suppose -8 = 2*l + 3*j, 0 = 3*l - 2*j - j - b. Does 8 divide 343/21 + l/3?
False
Let a(l) = -63*l + 96. Is a(-8) a multiple of 8?
True
Suppose -5*z - 371 - 279 = 0. Let c be 37/((-2)/(-10)*1). Let a = z + c. Is a a multiple of 19?
False
Let y = 49 - 2. Let n = -6 + 29. Let g = y - n. Is 12 a factor of g?
True
Let c = 20 - 13. Let q be 8*(-10)/120*30/(-4). Suppose -q*a + c*a = 70. Does 7 divide a?
True
Let x = 869 + -721. Does 64 divide x?
False
Let o(k) = -k**3 - 4*k**2 - 2*k - 5. Let g be o(-4). Suppose 8*p - g*p = 0. Does 3 divide (p + 14*-1)/(-2)?
False
Suppose 4*m = 3*f - 20, 4*f + 0*f - 14 = -m. Suppose 2*u - 2*c + 7*c = 53, -3*u + f*c = -45. Is u a multiple of 2?
False
Suppose r - 12 = -2*o, -18 = -2*r - 0*r - 2*o. Suppose -t + 3*t - 2*d = -42, 5*t + 3*d + 97 = 0. Let i = r - t. Is i a multiple of 13?
True
Let u = -73 - -44. Let d = u - 19. Let i = d - -82. Is i a multiple of 14?
F