 2*u**2 - 3*u - 2. Let m be b(p). Is 2 a factor of (2/m)/((-1)/17)?
False
Let p = -12 + 15. Is 43 a factor of ((-43)/p)/(27/(-243))?
True
Suppose 3*c = 4030 + 662. Is 23 a factor of c?
True
Suppose 46 = -2*s - 38. Let v = 72 + s. Is v a multiple of 6?
True
Let x(y) be the first derivative of -y**2/2 + 8*y + 2. Is 2 a factor of x(4)?
True
Let p = -25 - -29. Does 3 divide (-33)/(-6) + 5 + 2/p?
False
Suppose 6*g - y + 111 = 9*g, 0 = -2*g - 4*y + 74. Suppose 0 = -45*s + 46*s - g. Is 37 a factor of s?
True
Let y = 54 - 50. Suppose -y*d + 198 = i, -3*i = -3*d + 171 - 15. Does 10 divide d?
True
Suppose 9*b + 24 = 15*b. Is (b/3)/(-3 - 218/(-72)) a multiple of 24?
True
Let u = -177 + 502. Is u a multiple of 25?
True
Let l be 1*1/(-2) + 10/4. Suppose -46 = 2*u - l*t - 154, -2*u = -t - 108. Is 27 a factor of u?
True
Let h(o) = -130*o**3 - 2*o**2 - 33*o - 67. Does 8 divide h(-2)?
False
Let t(x) = -2*x**2 + 40*x + 58. Is t(19) a multiple of 12?
True
Let x = 112 + 8. Suppose 0 = g - 3, -195 - x = -4*i - 5*g. Is 25 a factor of i?
True
Suppose -2299 = -22*k + 1155. Is 6 a factor of k?
False
Suppose 4*k - 163 = k + s, k = -3*s + 71. Let p = k + -18. Suppose 12 = -2*c + p. Is 8 a factor of c?
False
Let l(c) = -c**3 - 11*c**2 - 3*c - 10. Does 20 divide l(-14)?
True
Let q = -77 - -118. Suppose q = 6*m - 5*m. Is 10 a factor of m?
False
Suppose 3*l - 1521 = -a, 9*l + 5*a = 10*l - 491. Is 22 a factor of l?
True
Suppose -30*w = -39*w + 1161. Does 6 divide w?
False
Is 20 a factor of (-8)/(-192)*30*752?
True
Let m = 0 - -3. Suppose -m*h + 45 = -2*h. Is h a multiple of 6?
False
Let f be (-4)/6 + (-2 - 40/(-6)). Is 28/f - (2 - (1 - 1)) even?
False
Suppose 0 = -2*g - 1 - 1. Let j be g + (-2 - -4) - -2. Suppose -j*z = -k - 15, -z + 4*k - 4 = 2. Is z a multiple of 6?
True
Suppose -2*h + 124 = -4*t + 36, 3*h + 4*t - 152 = 0. Let o = -19 + h. Is 5 a factor of o?
False
Let x = 19 + -14. Let b = 17 - x. Is b a multiple of 2?
True
Let j(w) = w**3 + 11*w**2 - 14*w - 16. Let z be j(-12). Does 13 divide 833/z + (-1 - 7/(-8))?
True
Let a(k) = k + 10. Let c be a(-10). Suppose -4*d + 225 + 7 = c. Let r = 7 + d. Is 20 a factor of r?
False
Let o be ((-12)/10)/((-5)/150). Let b(w) = w - 1. Let z be b(0). Is 18 a factor of ((-1)/2)/z*o?
True
Let k(r) = -r**3 + 17*r**2 + 45*r - 11. Is k(18) a multiple of 39?
False
Let l(z) = -2*z**2 + 37*z - 5. Is l(15) a multiple of 3?
False
Suppose -2*q - 3*q = -1560. Suppose 3*o + 0*o = q. Is 8 a factor of o?
True
Does 13 divide (-297 + 21/3)/(2/(-8))?
False
Let n(h) = 2 + 8 + 11*h**3 - 10*h**3 - 9*h - 11*h**2. Let d be n(12). Suppose -4*j + d = -3*j. Is j a multiple of 23?
True
Let i(b) = b**3 - 5*b**2 + 3*b - 5. Let j be i(4). Let o = -3 + j. Does 6 divide o/(-2*2/2)?
True
Suppose -3*q = -4*o - 20, -3*q - 2*q + 5*o = -35. Let n = q - 15. Is (-275)/n + 6/(-21) a multiple of 13?
True
Suppose g = 5*x - 33, 5*g + 85 = 6*x - x. Let m = -79 - g. Let j = m - -99. Does 11 divide j?
True
Suppose -47*x + 21*x = -24882. Is x a multiple of 87?
True
Let u = -546 - -899. Suppose 0 = -7*h + 1110 + u. Is 19 a factor of h?
True
Suppose x = 5*g + 15 + 10, g = -4*x - 5. Is (-13 + 1)*(x + (-21)/28) a multiple of 4?
False
Let c be (78 - (10 - 5))/((-1)/(-1)). Let n(g) = -5*g**3 + 2*g**2 + g. Let a be n(-1). Let z = c - a. Is 24 a factor of z?
False
Let w be (18/(-21))/((-2)/28). Let i = w - 10. Suppose q = -i*q + 18. Is 6 a factor of q?
True
Let k(r) = -r**2 + 19*r - 29. Is k(7) a multiple of 40?
False
Suppose 2*r = -4*b, -5*r - 10 = 5*b - 0*r. Suppose 0 = -4*z - 2*m + 232, -4*z + 242 = -m - b. Does 10 divide z?
True
Suppose -7*j + 8*j + 1 = 0, 0 = -5*o - 5*j + 5715. Is o a multiple of 8?
True
Let w(m) = -3*m + 14. Let b be w(3). Suppose 0 = -b*v - 5*x + 65, 2*x + 19 = v + 6*x. Does 2 divide v?
False
Let r(o) = -85*o**2 + o. Let h be r(2). Let y = 478 + h. Does 35 divide y?
True
Let t(m) = -50*m + 740. Is 48 a factor of t(-29)?
False
Let t(w) = 7*w**3 - 1 + 6*w**2 + 3 - 7*w**3 + w**3. Let c be t(-6). Suppose -q + 17 = 2*q + y, y + 8 = c*q. Is 2 a factor of q?
False
Let l be (-3 + -7)*(-6)/10. Suppose 3*o - l*o = 45. Let m = 20 - o. Does 14 divide m?
False
Suppose -3*w + 8 = -2*r - 28, 2*r = 4*w - 40. Let y = r + 54. Let j = 140 - y. Does 30 divide j?
False
Does 4 divide 226/(7*4/42)?
False
Let n(p) = -11*p**3 + 18 + 14*p**2 + 14*p + 6*p**3 + 4*p**3. Let t be n(15). Suppose -t*f + 115 = 2*f. Is 23 a factor of f?
True
Let h(s) = -3*s**2 + 2*s. Let f be h(2). Let i(g) = -8*g - 10. Let c be i(f). Suppose c = 8*a - 5*a. Does 9 divide a?
True
Suppose -2072 = 15*l - 62. Let j = -14 - l. Is j a multiple of 15?
True
Let s be 4 + (2/(-4))/((-6)/(-336)). Does 10 divide (-2290)/(-12) - 4/s?
False
Let l(r) = 6*r - 2. Let u(t) = -t + 1. Let g(s) = -l(s) - 5*u(s). Let p be g(-5). Let x = p + 8. Is x a multiple of 5?
True
Let r = -25 + 18. Let n = r - -4. Is 16 + (-2)/(-1 - n) a multiple of 10?
False
Let u(b) = 20 - b**2 - 19*b - 33 + 13. Does 15 divide u(-10)?
True
Let y(z) = -z**2 - 12*z + 5. Let v be y(-10). Let j = 28 - v. Suppose 0*w + j*w + 137 = 4*a, a + 2*w = 48. Is a a multiple of 6?
False
Suppose 11*b + w = 6*b + 3310, -3*w = 0. Is 10 a factor of b?
False
Suppose 4*i = 2*i + 156. Is 26 a factor of 64/36*i - (-4)/(-6)?
False
Suppose 5*q + 2*c = -49, 4*q + 38 = -0*q - 2*c. Let h(t) = -t**3 + 8*t**2 + 2*t + 2. Let y be h(8). Let o = q + y. Is o even?
False
Suppose 0 = -3*u - 4*p + 520, -2*p + 68 - 396 = -2*u. Suppose 4*w + 24 = u. Is w a multiple of 12?
True
Let i(o) = -o**3 + 32*o**2 - 132*o - 11. Is i(21) a multiple of 47?
True
Let i be 2 + 2 + -2 - -2. Suppose -i*o - 3*z + 351 = 0, 5*z + 70 = 2*o - 125. Is (12/30)/(1/o) a multiple of 19?
False
Suppose -399 = -3*f + 1371. Does 33 divide f?
False
Let v(p) = -p**2 + 4*p - 1. Let g be v(3). Suppose g*q = -2, -5*q = 4*k - 9 + 2. Suppose k*b - 2*o - 11 = 6, 0 = 4*b - 3*o - 24. Is 3 a factor of b?
True
Let o = -20 - -25. Suppose 4*d = 3*d + o*k + 97, -5*d + k = -413. Is d a multiple of 14?
False
Let y(d) = 159*d + 2. Suppose -2*z = -v - 4*z + 1, 3*v - 3 = -2*z. Let o be y(v). Is 9 a factor of o/5 + (-8)/40?
False
Suppose 1201*j - 6376 = 1193*j. Is 34 a factor of j?
False
Let d = -7 - -12. Suppose -5*z = -d*p - 4*z - 41, -4*z = -4. Is (84/p - 1)*-2 a multiple of 23?
True
Suppose 64*q + 14128 = 65712. Does 24 divide q?
False
Let r(p) = -p**3 + 10*p**2 + 9*p + 27. Let z be r(11). Suppose 694 - 94 = z*m. Is 40 a factor of m?
True
Let v be ((-8)/5)/(4/(-10)). Suppose 3*w + 0*w = 2*z + 90, v*w - 120 = 2*z. Is w a multiple of 4?
False
Let w(g) = -g**2 + 11*g - 6. Let i be w(6). Let p = 24 - i. Suppose 2*h = -p*h + 88. Does 13 divide h?
False
Let y = 5 - 3. Suppose 23 = m - y. Does 2 divide (m/20)/((-1)/(-4))?
False
Let u(a) = 17*a**2 + 17*a - 9. Is u(-4) a multiple of 13?
True
Let v(g) = g**2 - 13*g + 1. Let h be v(13). Let b be (1 - h)/(-2) - -58. Let p = b + -20. Does 15 divide p?
False
Let n = -1 + -7. Let k be 1476/24*n/6. Let f = k + 115. Is 4 a factor of f?
False
Let y = 165 - 9. Suppose -t = -2*h + 60 + 98, 2*t = 2*h - y. Does 3 divide (-6)/9 - h/(-12)?
True
Suppose 0 = -8*y + 13*y + 115. Let a = y + 34. Does 3 divide a?
False
Let a = -52 + 62. Suppose -a*n = -839 - 31. Is n a multiple of 29?
True
Let l = 151 + -251. Let j = -57 - l. Is 7 a factor of j?
False
Let w(h) = -h - 8. Let x be w(-11). Is (2/x)/((-12)/(-3852)) a multiple of 29?
False
Let s = 627 + -355. Suppose -4 = 4*v, 4*k = 2*k - 2*v + s. Is 20 a factor of k?
False
Suppose u + 3 = 3. Is 3 + -4 + 86 + u a multiple of 17?
True
Suppose 5*i = -5*q + 145, -2*i - 25 = -q + i. Let s = -13 + q. Suppose s*h - 13*h = 66. Does 11 divide h?
True
Let g = -137 - -630. Does 94 divide g?
False
Let p(c) = -c**3 + 2*c**2 + 6*c - 2. Let u be p(4). Suppose -2*b = 2*a - 54, -43 = -3*a - b + 40. Let f = u + a. Is f a multiple of 9?
True
Let y be (-27)/(-15) + 2/10 + 58. Suppose 0 = 5*p - 2*t - 512, 2*t + 146 = 2*p - y. Is p a multiple of 31?
False
Let q = -15 - -17. Suppose 0 = q*t - 1 - 47. Does 12 divide t?
True
Let t(i) = 9*i**2 + 2*i - 1. Suppose -4*b - 10 = 2. Is t(b) a multiple of 6?
False
Suppose 35*s - 6229 = 4306. Does 7 divide s?
True
Does 23 divide (-6 - -4) + 2 + 3 + 549?
True
Suppose -3*z - 2 = -41. Let a = 27 - z. Is 5 a factor of 6/a - 469/(-49)?
True
Let s be (-4178)/(-18) 