be x(c). Let y(j) = j**3 - 7*j**2 - 9*j + 14. Is y(g) a multiple of 19?
True
Suppose 4*t - 5*r + 80 = 0, -2*r = 2*t + 3*t + 100. Let o(w) = 3*w**2 - 14*w - 10. Let b be o(5). Is -1 - b/(t/(-692)) a multiple of 42?
False
Let z = -53 - -57. Suppose -a = -2*v + z, 8 = 2*a - 3*v + 7*v. Suppose a = -0*q - q + 5*s + 52, -3*q = -2*s - 117. Does 6 divide q?
False
Suppose -o + 3*y + 15 = 0, -o + 3*y = 2*y - 5. Does 17 divide -102*(-2 - o/4 - -1)?
True
Suppose 0 = 43*i - 19*i - 87984. Is 78 a factor of i?
True
Let w be -4 + (-3 - -2) - -1. Let t = w + 36. Let h = 4 + t. Does 6 divide h?
True
Let w = -13139 + 18683. Does 11 divide w?
True
Let o be ((-20)/(-60))/(6/(-2826)). Let b = -1 - 15. Let q = b - o. Is q a multiple of 16?
False
Is 18 a factor of 528/(-14)*3213/(-34)?
True
Let w(k) = -54 + 67*k + 209*k + 51*k. Is w(2) a multiple of 10?
True
Suppose 86*k - 15*k = 187559 + 54125. Is k a multiple of 52?
False
Is 8880/(9*28/1134) a multiple of 108?
True
Let b(k) = -k - 7. Let o be b(-6). Let x(t) = t**3 + 13*t**2 + 14*t + 14. Let p be x(-12). Is (-362)/4*o - (-5)/p a multiple of 18?
True
Let s = 10 - 5. Let y be -19 + (2 - -118) + -1. Suppose 0 = s*r - 25 - y. Is r a multiple of 2?
False
Suppose -59*j - 5904 = -11*j. Let v = -134 - -264. Let d = j + v. Is d a multiple of 2?
False
Let c(x) = -14*x**2 - x - 1. Let m(j) = 27*j**2 + j + 2. Let d(r) = 5*c(r) + 2*m(r). Let i be d(-2). Is 40/(-24)*(-1 + i) a multiple of 6?
False
Let u = -12 + 29. Suppose 5*l = 162 - u. Is 15 a factor of -1 + 8/4 + l?
True
Let l = -41 - -43. Suppose c = -l*x - 11 - 42, -3*c = -3*x + 159. Let n = -26 - c. Is n a multiple of 5?
False
Let k be (-8)/(-6)*6/4. Let x = -9872 - -9910. Suppose -5*b - x = -v + 52, 3*b = k*v - 180. Is v a multiple of 18?
True
Let f(n) = -n + 109. Let i(m) = m + 1. Let w(s) = f(s) + 2*i(s). Is 42 a factor of w(-29)?
False
Suppose 0 = -10*i + 327 + 503. Let p be i*(-4)/(4/3). Let l = 25 - p. Is 32 a factor of l?
False
Let i = -10526 - -17803. Does 34 divide i?
False
Let r be (-2 + 10/(-6))/(32/2688). Let q = r - -600. Is q a multiple of 13?
False
Suppose 0 = -2*t - k + 13, -4*t + t + 3 = -4*k. Suppose -5*g - 25 = 0, -c + t*c + g = -17. Is (-4 + 78/c)/(-1) a multiple of 5?
True
Let l be 0*(-1 + -1 - 60/(-40)). Suppose l = -7*f + 17*f - 3090. Is 10 a factor of f?
False
Let z be (-1230)/(-9) + (84/(-18))/7. Let l = z + -46. Does 9 divide l?
True
Let i(k) = 19*k**2 + 17*k + 24. Let v(z) = 8*z - 104. Let y be v(12). Is i(y) a multiple of 16?
True
Let w be (-122 + 20)/((-4)/46). Suppose 0 = 11*g - w - 4723. Is 21 a factor of g?
False
Let v(x) = 424*x**3 + 2*x**2 + 10*x - 23. Is v(3) a multiple of 11?
True
Is 105 a factor of 6/(-16) + ((-33828)/64)/(9/(-6))?
False
Suppose -22*q = -19*q + 4*h + 30, 3*q + 9 = 3*h. Is 6 a factor of (5 + q)*1*-198?
True
Let q(n) = -3*n - 10. Let u be q(-3). Is u*(-211 + (-4 - -8)) a multiple of 23?
True
Let k be ((-15)/3 - 1) + 2. Let p(a) be the first derivative of -a**4 - 2*a**3 - 4*a**2 - 8*a + 41. Is 23 a factor of p(k)?
True
Let z(p) = -p**3 + 39*p**2 - 30*p - 170. Let q(h) = 7*h - 11. Let t be q(7). Is z(t) a multiple of 11?
False
Let j(u) = u**2 - u + 7. Let c be 4 - (-1 + 3)*-4. Let s be (-9)/c*(-3 + -5). Is j(s) a multiple of 32?
False
Let f be 4/(-10) + (-729)/(-135). Let z(o) = 11*o**2 - 17*o + 29. Is 31 a factor of z(f)?
False
Let l(o) = o**3 + 5*o**2 - 16*o - 10. Let h be l(-7). Suppose -9*f = -h*f - 40. Suppose 0 = -f*s + 4*s + 112. Is s a multiple of 13?
False
Is 160/(-24)*(18/30 - 6561/10) a multiple of 14?
False
Let i(g) be the first derivative of -13*g**2/2 + 50*g - 30. Does 11 divide i(-15)?
False
Let s(u) = 67*u + 4. Let i be s(2). Suppose 6*b - 1014 = i. Is b a multiple of 12?
True
Let t = 144 + 37. Let i = 436 - t. Is i a multiple of 10?
False
Let a(p) = 2*p**2 - 8*p - 40. Let w be a(-3). Suppose w*t + 1782 = y, 3*y = -4*t - t + 5379. Does 15 divide y?
False
Suppose 21*j + 12262 = -36*j + 59572. Does 7 divide j?
False
Suppose -3*g + 8 = 5, 2*a + 2*g = 126. Suppose -a*p = -67*p + 225. Does 6 divide p?
False
Let l be 8/((-120)/5) + 164/6. Suppose 12*p - l*p = -2925. Is 13 a factor of p?
True
Is 89 a factor of (2/19 - 510678/(-38)) + 0/(-1)?
True
Suppose -5*n = 5*u - 500, 3*n - 2*u = u + 324. Suppose -r + 108 = -5*o - 22, -4*r + n = -4*o. Let b = 46 - o. Is b a multiple of 15?
False
Let d = 16865 + -14451. Is 34 a factor of d?
True
Let w = -1624 + 3990. Let r = w - 854. Does 18 divide r?
True
Suppose -19*g - 72627 = -192270. Suppose -9*h + 4890 = -g. Does 9 divide h?
False
Suppose 2*q - 4*n - 15 = 39, -3*n = -2*q + 51. Let a = -21 + q. Suppose -3*w + 247 = 2*o, a = 2*o + 5*w - 130 - 127. Is 29 a factor of o?
True
Let o(u) = -u**3 - 25*u**2 - 34*u + 45. Let w be o(-24). Suppose 0 = 6*v - 2883 + w. Is v a multiple of 19?
False
Suppose 3*y - 2*z - 29 = 0, 2*y - z = -y + 25. Let s = -2 + y. Suppose 5*l + 30 - 110 = -5*j, -4*l = s*j - 82. Does 3 divide j?
True
Let o = 563 - 251. Suppose -22*w + o = -10*w. Does 4 divide w?
False
Is 3 + 6/(-1) - (-55757)/39*9 a multiple of 100?
False
Let c(g) = -5*g**2 + 14 + 4 - 9*g + 9 - 2*g**2 - g**3. Is 42 a factor of c(-10)?
False
Let k(c) = 1475*c - 321. Is k(3) a multiple of 24?
True
Let r = 110207 + -48983. Is r a multiple of 21?
False
Let t(q) be the first derivative of 46*q + 30 - 1/2*q**2. Is t(-20) a multiple of 7?
False
Let a(r) = -2*r**3 + 11*r**2 - r + 39. Let j be a(6). Is 26 a factor of (-195)/(-10)*(-20)/j?
True
Suppose -7584 = -9331*l + 9329*l. Is 79 a factor of l?
True
Suppose -7*w + 2576 = 196. Let s = -202 + w. Suppose -3*b = 5*v - 135, 3*v = 3*b + 7*v - s. Is b a multiple of 10?
True
Suppose 5*t - 8 = -4*x - 10, -5*x = -2*t - 14. Suppose x*b - h - 1231 = 0, -3*h - 2583 = -4*b - 122. Does 22 divide b?
True
Let x(v) = v**3 + 7*v**2 - 14*v - 8. Let g = -46 - -37. Let k be x(g). Let b = k - -136. Is b a multiple of 23?
True
Suppose -6*m + 7*m = 2. Let j be 48/30*295/m. Let v = -95 + j. Does 42 divide v?
False
Let t be ((0/(-1))/(-3))/2. Let d = 2565 - 2565. Suppose d*p - 10*p + 200 = t. Is p a multiple of 7?
False
Let h = 311 + -302. Is (-8)/(-3)*(h - (-324)/9) a multiple of 24?
True
Let i = -3209 + 3989. Is i even?
True
Suppose 5*f = 4*k + 2, k + 3*f + 9 + 0 = 0. Let a(o) = -89*o - 118. Does 10 divide a(k)?
False
Let h(i) = i**3 - 2*i**2 - 47*i - 6. Let w be h(-8). Let q = 59 - w. Is 11 a factor of q?
False
Let x(h) = 91*h**2 + 7*h + 6. Let l be x(-1). Does 16 divide 6012/21 - (l/21 - 4)?
False
Let g(l) be the third derivative of -l**4/3 + 21*l**3/2 - 6*l**2 - 6*l. Is g(-23) a multiple of 13?
True
Let r(y) = -2*y - 23. Let b be r(-16). Suppose 4*z = -b + 17. Let i = z + 3. Does 5 divide i?
True
Does 65 divide (-225967)/(-57) + 7/((-105)/(-10))?
True
Suppose g = 3*i - 5*i + 31, -5*g = 4*i - 71. Let t(p) = p**3 - 13*p**2 - 9*p - 33. Is 2 a factor of t(i)?
False
Suppose w + 5*z - 7 = 0, 12*w + 6 = 17*w - 4*z. Suppose 5*l - 462 = r, -4*l + 4*r = w*r - 366. Is l even?
False
Let i be 32/10*40/16. Suppose -i*f + 4*f = -204. Does 4 divide f?
False
Let m = 172 + -169. Suppose -2*n - 2*n - p = -1765, m*p = -n + 455. Is 11 a factor of n?
True
Suppose 0 = 5*f - 4*r - 98 + 16, f = r + 16. Suppose -10*j = -j - f. Is 9 a factor of ((-215)/(-5) + j)*1?
True
Let z = -301 + 303. Suppose 5*y - 4*i = 1283, 5*i + 491 = z*y - 29. Is 31 a factor of y?
False
Does 47 divide (-17)/(-187) - (758816/(-88) - -5)?
False
Let p(z) = 1289*z - 15. Let q be p(3). Suppose 0 = -7*t - 597 + q. Does 7 divide t?
False
Let d(a) be the second derivative of 277*a**4/12 + a**3/6 + a**2/2 - 26*a. Is 42 a factor of d(-1)?
False
Let a(o) = 24*o**3 + o**2 + 10*o - 37. Let g(s) = s**3 - 23*s**2 - 48*s - 47. Let z be g(25). Is 66 a factor of a(z)?
False
Suppose 6*n = 11*n - 90. Suppose 0 = 4*h - 2*m + 72, -5*m + n = -4*h + 3*h. Is 9 a factor of h/(-2)*-2*(1 - 7)?
True
Let q be (-1)/(-5) - (-216)/45. Suppose -1 = -4*w - q*s + 29, -2 = -s. Suppose 6 = 3*r, 0*r - 131 = -3*c + w*r. Does 12 divide c?
False
Suppose 3 = 4*c - 29. Is 12 - (c/6)/((-24)/72) a multiple of 8?
True
Suppose 3*q - 18240 = -3*n, 3*n + 36*q = 39*q + 18252. Is 10 a factor of n?
False
Let l(t) = -71*t + 15. Suppose 2*s + 11*w + 7 = 10*w, -3*s - 30 = -5*w. Is l(s) a multiple of 42?
False
Suppose -21*o - 2*w + 47424 = -17*o, 4*o = w + 47406. Is o a m