or of x(g)?
False
Let r(t) = -49*t + 29. Is 49 a factor of r(-9)?
False
Let h(r) = -16*r + 14. Is h(-8) a multiple of 16?
False
Let p(d) = -d**3 - 3*d**2 + 18*d + 13. Let o(g) = -g**2 - 24*g + 17. Let b be o(-25). Is 29 a factor of p(b)?
False
Let v(m) = 22*m + 8. Let p(w) = -w**2 + 9*w - 18. Let j be p(4). Is v(j) a multiple of 10?
False
Suppose -2*u = -4*u + s + 8, -u - 5 = -5*s. Suppose -u*i + m + 214 = -0*m, 2*i - 76 = -2*m. Suppose -2*p - p = -i. Is 7 a factor of p?
True
Let d(n) = -n**2 - 12*n + 11. Let o be d(-13). Let v(i) = 2*i**3 + 3*i**2 - 3. Let g(h) = h**3 + h**2 - 1. Let b(x) = o*v(x) + 6*g(x). Is b(2) a multiple of 8?
True
Suppose 25 = -8*x + 13*x. Does 13 divide (2 - x) + 176 + -1 + -3?
True
Let r = 2 - 2. Let a be 90 - (1 - r/3). Is a/5 - (-1)/5 a multiple of 9?
True
Let i = 16 - 6. Let w = -10 + i. Suppose w*p - p = -25. Does 14 divide p?
False
Let n(g) = -2*g**3 + 3*g**2 - 11*g - 10. Does 6 divide n(-4)?
True
Suppose -16*x + 30520 - 11512 = 0. Does 44 divide x?
True
Let t(k) = -20*k + 15. Let x(n) = -19*n + 14. Let b(c) = 6*t(c) - 4*x(c). Does 30 divide b(-4)?
True
Let r(j) = j**3 - 8*j**2 - 6*j - 44. Is 16 a factor of r(10)?
True
Let o(q) = -8*q - 3. Let d be o(-3). Suppose -d - 12 = -j. Is j a multiple of 24?
False
Let j be 62/(-4) - 1/2. Suppose 5*o - 152 = -4*v, 2*v + 83 + 51 = 5*o. Let q = j + o. Is 6 a factor of q?
True
Let y(c) = 24*c. Let m be y(-1). Let l be 1/(76/m - -3). Let v = 12 - l. Is 18 a factor of v?
True
Let z be (-4)/(-10) + 62/(-5). Let n = -9 - z. Suppose 0 = n*f - 5*f + 130. Is 21 a factor of f?
False
Let d = -1459 - -1729. Is d a multiple of 11?
False
Is 1 + (-328)/(-14) - (-117)/(-273) a multiple of 4?
True
Suppose -3038*o + 55803 = -3027*o. Does 19 divide o?
True
Let b = 33 + -29. Suppose 3*s = 4*m + 384, b*m = 8*s - 3*s - 648. Suppose -t + s = t. Is t a multiple of 20?
False
Let x(w) = 3*w**2 - 55*w - 149. Is x(31) a multiple of 21?
True
Is (-105)/1*(-100 - -95) a multiple of 28?
False
Let s(z) = 5*z**2 + z + 2. Suppose -2*i = -4*a - 2, 4*i + 2*a + 27 = 1. Let r = -2 - i. Is 17 a factor of s(r)?
False
Let x = 6 - 21. Let h = 15 + x. Suppose h = -2*z + 5*z, -44 = -2*f - 3*z. Is f a multiple of 11?
True
Let n(t) = 3*t**2 - 3*t + 17. Let c(l) = 4*l**2 - 4*l + 17. Let x(k) = 4*c(k) - 5*n(k). Let m be x(12). Suppose -5*w + m = -35. Is 10 a factor of w?
True
Suppose j - 3*j - 3 = a, 0 = -3*a - 4*j - 1. Suppose a*t - 2*t = 6. Suppose -172 = -4*q - 7*n + 3*n, t*q = -3*n + 90. Does 14 divide q?
False
Let k(p) = -9*p**2 + 10*p - 5. Let a(u) = 4*u**2 - 5*u + 2. Let t(l) = -7*a(l) - 3*k(l). Let b be t(4). Suppose y - 9 = -b*v + 12, -3 = v. Does 9 divide y?
True
Is -1 + 12/36*1497 a multiple of 45?
False
Let t(k) = 16*k**3 - 1. Let l be t(-1). Let h = 18 + l. Does 8 divide (30/25)/(h/20)?
True
Does 17 divide (-7)/(-2) - (-683445)/230?
True
Let l(b) = 8*b - 20. Let t be 2 + 64/(-3 + 4). Suppose 0 = 4*j + 4, 2*j - t + 8 = -4*u. Is l(u) a multiple of 20?
True
Suppose 3*v = -3*j - 9, -3*v + 2*v + 4*j - 3 = 0. Let t be -1 - v*(3 + -1). Let m = 44 - t. Does 9 divide m?
False
Let f(w) = -4*w + 32. Let h be f(19). Let q = h + 174. Does 26 divide q?
True
Suppose -2542*x = -2525*x - 2397. Is 20 a factor of x?
False
Let j(b) = -b**2 + 9*b - 7. Let c(y) = -y**3 + 7*y**2 + 11*y. Let x be c(8). Suppose -x = 3*w - 7*w. Is 11 a factor of j(w)?
True
Let l(o) = o**3 + 10*o**2 - 15*o - 12. Suppose 65 = 2*q + 3*q. Let t = q + -24. Is l(t) a multiple of 18?
False
Suppose 0 = 2*b + 8, 1283 = -3*z + b - 3*b. Is 23 a factor of (-4)/16 - z/4?
False
Let b = 1 - -239. Is 2 a factor of b?
True
Suppose -4*z = -2*z + 8, -62 = -5*u - 2*z. Let d = 31 + u. Let n = d + -25. Is n a multiple of 6?
False
Suppose -3*w - 2*w + 575 = 0. Let i = -13 + w. Does 17 divide i?
True
Let c(g) = -20*g**3 + 2*g**2 + 3*g**2 + 2*g + 21*g**3. Is c(-4) even?
True
Let j = 158 - 89. Is 4 a factor of j?
False
Suppose -68 = -5*t + 7. Suppose -3 + t = 3*f. Suppose -3*d - f*g = -43, 0*d + g = -5*d + 100. Is 12 a factor of d?
False
Let g = -1055 - -1620. Let d = g - 397. Suppose -d = -3*j - j. Does 15 divide j?
False
Suppose b - 5*j + 33 = -b, -b + 5*j = 14. Suppose -12 - 20 = z. Let d = b - z. Is d a multiple of 13?
True
Let k(n) = 2*n**2 - 9*n + 21. Let y(t) = 2*t**3 + 12*t**2 + 7*t. Let l be y(-5). Does 48 divide k(l)?
True
Suppose 2*r = n - 62 + 6, -6 = 2*r. Let y be ((-4)/(-14) - 1) + 6/(-21). Is 18 a factor of 3 + (n + y)/1?
False
Let u = 1 - -9. Let q = u + -10. Suppose q = o + 4, -5*o = 4*h + h - 170. Is 19 a factor of h?
True
Let s(y) = y**2 + 11*y - 16. Let q be s(-12). Let d = q - -22. Suppose 0 = 3*k - d - 0. Is k a multiple of 4?
False
Let y(r) = -61*r**3 - 2*r**2 + 1. Suppose s - 5*s = 12. Let j be s/(-12) + 10/(-8). Does 9 divide y(j)?
False
Suppose -9543 - 4365 = -12*s. Is 68 a factor of s?
False
Suppose -15*v + 41769 = 2*v. Is v a multiple of 98?
False
Let l(x) be the first derivative of -x**4/4 + x**3 + 2*x - 2. Let b be l(3). Suppose -5*r + 3*n = -150, -3*r + 2*n = -b*r - 37. Is 7 a factor of r?
False
Let h(p) = 2*p**2 + 3*p - 3. Let z be h(2). Let s(v) = -8*v + 13. Let j(m) = 7*m - 13. Let w(b) = 6*j(b) + 5*s(b). Is 6 a factor of w(z)?
False
Suppose -21*r + 7974 = -5844. Is r a multiple of 47?
True
Let x(u) be the third derivative of u**4/4 - 5*u**3/6 - 2*u**2. Suppose -2*s + 2*z + 3*z = 7, -4*s = -3*z - 7. Is x(s) a multiple of 15?
False
Let o(q) = q**2 - 4*q + 4. Let c be o(-7). Let n = c + 155. Let x = n + -158. Does 24 divide x?
False
Let o(i) = 2*i + 27. Let g be o(-7). Suppose -5 = -2*b - g, 862 = 5*k - 3*b. Does 17 divide k?
True
Let d(k) = k - 16. Let h be d(18). Suppose 30 = m + h*m. Is m a multiple of 2?
True
Let d = -263 - -378. Let u = d - 76. Is 13 a factor of u?
True
Suppose 2*u - 6 = -u - 5*n, 10 = 5*u - n. Suppose 0 = 3*p - u*p + h - 39, 0 = 3*h - 3. Suppose -5*f + 160 = -c - 3*c, -f + 2*c = -p. Is 15 a factor of f?
False
Let a be (6 - 3 - 8)*-1. Suppose 4*g + 2*p - 124 = -g, -a*g + 4*p = -112. Does 24 divide g?
True
Let j(u) = 32*u**3 - u**2 - 4*u + 4. Does 3 divide j(1)?
False
Suppose -s + 15*s - 4914 = 0. Is s a multiple of 7?
False
Suppose 4*w - 5*n = 971, 500 = 2*w - 2*n + 16. Suppose -5*z + w = 64. Suppose -z = -3*u + 16. Is 17 a factor of u?
True
Let a(m) = -5*m**2 + 6. Let h(c) = 6*c**2 + c - 5. Let q(k) = 5*a(k) + 4*h(k). Is q(3) even?
False
Let t(p) = -9*p**3 - p - 1. Let y be t(-1). Suppose -j = -5*h + 36, -2*j = -h - y + 36. Is 8 a factor of (5 + j)/(9/(-48))?
True
Suppose -2*d + 0*d = 0. Let s be 71 + (5 + d - 2). Let v = 114 - s. Is 20 a factor of v?
True
Suppose -a = -2*j + 1845, 1841 = 5*j + 2*a - 2767. Is 74 a factor of j?
False
Suppose y - 3*y = 226. Let l = -81 - y. Does 16 divide l?
True
Let j be 17/6 + 12/72. Suppose -4*n = 3*i - 88, j*n - 66 = 5*i - 10*i. Suppose 79 = 3*o + n. Is 14 a factor of o?
False
Suppose -3*y - 2*y = 55. Let a = 21 + y. Is a even?
True
Let z(n) = 4*n**3 - 3*n**3 + 11 + 5*n**2 + 4*n - 5 + 0*n**3. Let j be z(-4). Does 9 divide 238/j + (-4)/(-12)?
False
Suppose 23*s - 13*s - 1800 = 0. Is s a multiple of 7?
False
Let n(p) = p**2 - 5*p + 6. Let b be n(4). Let a be (-2)/(1 + (0 - b)). Suppose -3*w = -4*r - w + 98, a*w = -4*r + 94. Does 12 divide r?
True
Suppose b - 18 - 3 = 0. Let s be -11*(-1)/(-1)*1. Let t = s + b. Is t even?
True
Let k = 6 + -68. Let z = 182 + k. Is 12 a factor of z?
True
Let v be (13/(-39))/(2/6). Let z be (-1)/(1/(-69)) - 0. Is 10 a factor of (z/(-6))/(v/4)?
False
Let q(j) = -52*j + 49*j + 3*j**2 - 2*j**2. Is 9 a factor of q(-6)?
True
Is 6049 - (198/3)/(-6) a multiple of 15?
True
Let g be (1 - 166)*(-8)/(24/3). Let b = g + -147. Does 2 divide b?
True
Let u = -368 + 510. Does 5 divide u?
False
Is 27 a factor of (930/18)/((-5)/(-15))?
False
Let g = 704 + -90. Does 15 divide g?
False
Let j be -415 + 4 - 9/3. Let m = 583 + j. Let x = m + -92. Does 21 divide x?
False
Let q(n) be the first derivative of -3/2*n**2 + 2*n + 5. Is q(-1) even?
False
Let z be 1*(1 - (-1 + 2)). Let h be -8*(-2 + -3 + 7/2). Suppose 5*u + 5*g = 215, z = g + 3*g - h. Is u a multiple of 15?
False
Suppose 7*f + 352 = -5. Let c = f + 103. Is c a multiple of 13?
True
Let x be 1*((-5)/(-1) - (3 - 0)). Does 4 divide 4*(-9)/(-2) - (x + -4)?
True
Suppose 15 = -3*i + 3*j, -4*j + 25 = -4*i + j. Let c(g) = -2*g +