ose -3*l = -4*x - 49, 4*l - x - b = 9. Does 4 divide l?
False
Suppose -14400 = -450*d + 440*d. Is 15 a factor of d?
True
Suppose 0 = -3*c + 23 + 7. Let t = c - 13. Let g(s) = -2*s**3 + 3*s**2 + 3*s. Does 27 divide g(t)?
False
Let j = 19 + 22. Suppose 0 = j*y - 43*y + 4. Is 2 a factor of y?
True
Suppose -11 = -4*k - 15, -v + 4*k + 673 = 0. Is v a multiple of 10?
False
Suppose -5*h = -6*h + 392. Is 17 a factor of (-2)/(-3) + h/6?
False
Let w(k) = k**3 - 11*k**2 - 11*k + 11. Let f be w(12). Is f - (4 - 1 - 0) a multiple of 4?
True
Suppose -5 = -5*w - 0*w. Is (w/2)/((-10)/(-580)) a multiple of 5?
False
Let r(w) = 22*w**2 - 2*w - 1. Let p = -12 - -11. Let b be r(p). Let v = -18 + b. Does 2 divide v?
False
Suppose -1 = -a + 3. Suppose -a*z - 4*n = -40, -4*n + 12 + 34 = 5*z. Let d(x) = -x**2 + 7*x + 4. Does 9 divide d(z)?
False
Let s be (-304)/(-22) - 4/(-22). Is (-8 - -2)*s/(-3) a multiple of 28?
True
Let w = 2 - 27. Let d = 3 + w. Let k = 59 + d. Is 11 a factor of k?
False
Let y(t) = -t**3 + 11*t**2 + 13*t + 3. Suppose -g + 20 = -2*i, -3*i = 4*g + 82 - 30. Let d be 18*((-56)/i)/7. Does 3 divide y(d)?
True
Let g(o) = 6*o**2 - 5*o - 8. Let c(r) = 0*r**3 + r**3 + 0*r**3 - 3 + 2*r**2 + 4*r**2. Let q be c(-6). Is 16 a factor of g(q)?
False
Let z(c) be the first derivative of 5*c**2/2 - 5*c - 3. Let n = 14 + -10. Is 4 a factor of z(n)?
False
Suppose 5*o + 360 = 20*o. Is 20 a factor of o?
False
Let c(p) = 18*p**3 - p**2 + 1. Let j = 15 + -6. Let g = -8 + j. Does 9 divide c(g)?
True
Let g(f) = -5*f**3 - 5*f**2 + 21*f + 83. Is g(-7) a multiple of 74?
True
Let g(q) = 209*q + 4. Let x be g(4). Suppose -11*s + 3*s + x = 0. Does 14 divide s?
False
Let u(s) = -2*s + 32. Let c be u(0). Suppose 0 = -4*k + 6*k - c. Is 4 a factor of k?
True
Does 7 divide (1/2*4)/((-26)/(-3354))?
False
Let n(v) = 21*v**3 + 1. Let c be 40/8 + 2*-2. Is n(c) a multiple of 11?
True
Let h(f) = -5*f - 7. Let x be h(0). Is 51 a factor of x/((-28)/(-32))*-14?
False
Let v = 84 + -82. Suppose v*z - 5*z + 5*s + 64 = 0, 2*z = -3*s + 30. Does 3 divide z?
True
Suppose -7*u - 4 = -9*u. Suppose 3*l - 7*l + 192 = 5*j, u*j = -2*l + 98. Does 3 divide l?
False
Let h be ((-18)/(-3))/((8/(-5))/4). Is -1 + (-24)/h + 492/5 a multiple of 15?
False
Suppose 5*o - 4*c - 38 = 0, o + c = 2*o - 7. Let f be (3/(-2))/((-5)/o). Suppose -f*z - 32 = -5*z. Is z a multiple of 16?
True
Let s(g) = 3*g**2 + 11*g - 4. Let l(o) = -o**2 - o. Let x(m) = 4*l(m) + s(m). Let j be x(-6). Let q = -35 - j. Is q a multiple of 10?
False
Let w = 124 + -237. Let g = 221 + w. Does 36 divide g?
True
Let m = 24 - 0. Let z = m - 18. Is z a multiple of 3?
True
Let c = 4 + 0. Suppose -2*u + c = -6*u. Does 29 divide (-47 + (-3)/u)*-1?
False
Let d(g) = -9*g**2 - 25*g + 17. Let i(v) = -4*v**2 - 12*v + 9. Let m(b) = -3*d(b) + 7*i(b). Let w be m(-10). Suppose 74 = 3*h + w. Does 8 divide h?
True
Let w(z) = z + 13. Let t be w(-6). Let y(g) = -g**3 + 11*g**2 - 19*g + 11. Is 14 a factor of y(t)?
False
Let l(b) = -b**2 + 7*b + 12. Let y(s) = -3*s**2 + 22*s + 36. Let a(z) = -7*l(z) + 2*y(z). Does 2 divide a(7)?
True
Suppose 2*y + 0 + 10 = 0. Let d be -14 - y - -1*1. Is (-1 - 2)/(4/d) a multiple of 3?
True
Suppose -2*t = w - 442, 13*w - 1102 = -5*t + 12*w. Does 20 divide t?
True
Let m = 52 - 50. Suppose 0*o + m*l = 4*o - 64, 3*o + 5*l - 35 = 0. Does 3 divide o?
True
Let v(o) = 24*o**2 + 4*o - 49. Is 8 a factor of v(6)?
False
Suppose 0 = 6*d - 2*d - 192. Suppose 7*v - 9*v + d = 0. Is v a multiple of 8?
True
Let u(c) = 177*c**2 + 50*c - 152. Is u(3) a multiple of 14?
False
Let r = 10 + -16. Let f be (104/2)/((-4)/r). Let b = 4 + f. Does 31 divide b?
False
Suppose g - 6 = 3. Is 10 a factor of (-6)/(-14) + ((-78462)/(-42))/g?
False
Let d = 40 + -35. Suppose 0*x + o = -2*x + 83, 0 = -2*x + d*o + 65. Is x a multiple of 6?
False
Let p(i) = 10*i**2 - 2*i - 1. Let r be p(7). Is 13 a factor of 720/19 + 50/r?
False
Let r = -115 + 333. Suppose -d + 2*q = -56, 2*q = 2*d + 2*d - r. Does 27 divide d?
True
Let l = 350 - 63. Is 13 a factor of l?
False
Suppose -29 - 9 = 2*f. Let q be 4 + -1 + -5 + (3 - -32). Let a = q + f. Is a a multiple of 9?
False
Suppose -7*f = -56 - 21. Is f even?
False
Let z = -59 + 93. Let u = z - 27. Is 2 a factor of u?
False
Let v(o) = -o**3 + 3*o**2 + o + 4. Let p(j) = -j**3 + 2*j**2 + 2*j + 4. Let s(f) = -6*p(f) + 5*v(f). Let h be s(-5). Let x = 57 + h. Does 12 divide x?
False
Let h be (1 - -1) + 3 - 0. Suppose h*i + 1 = 131. Is 1010/i - 8/(-52) a multiple of 18?
False
Suppose 5*t = -b + 108, 104 = 9*b - 8*b + 3*t. Is b a multiple of 7?
True
Does 2 divide (52/130)/((-3)/(-90))?
True
Let i(w) = 3*w**2 - 5*w + 5. Let x = -2 + 4. Let j be i(x). Let h(n) = n**3 - 8*n**2 + 8*n + 1. Is h(j) a multiple of 3?
False
Let j = 1207 - 721. Is j a multiple of 54?
True
Suppose 14*p - 3881 = 9475. Is p a multiple of 9?
True
Suppose -6*v + 2 + 4 = 0. Does 16 divide v/((14/(-32))/(-7))?
True
Is 56 a factor of (560/42 - 14)/((-2)/1314)?
False
Suppose 9*b = 2847 + 96. Is b a multiple of 3?
True
Suppose p = u + 5725, 273*p - 276*p + 17140 = 4*u. Is 88 a factor of p?
True
Is 484/(-5)*9*(-5)/6 a multiple of 6?
True
Does 47 divide (-3524 - (5 - 5))/(-4)?
False
Let v(k) = -3*k + 9. Let b be v(4). Let p = -1 - b. Suppose -2*h = p*n - 60, -26 = -n - 0*n + 3*h. Is n a multiple of 5?
False
Let u = -117 + 61. Let y(j) = 26*j - 5. Let w be y(4). Let m = w + u. Is m a multiple of 11?
False
Let w be ((-96)/64)/((-3)/22). Suppose w*f - 36 = 8*f. Does 5 divide f?
False
Suppose -4 = -j - 0*j. Let c be ((-2)/4)/(1/(-4)). Suppose -c = -i, j*m + i = m + 68. Is m a multiple of 11?
True
Let q = 13 - 13. Suppose 0 = -3*c - 2*r + 14, -c + r = -q*r - 3. Is 10 a factor of 40/15*30/c?
True
Suppose -5*x + 104*s + 2750 = 105*s, 1668 = 3*x - 3*s. Is x a multiple of 29?
True
Let c(s) = 85*s**3 - 2*s - 1. Let g be c(-1). Let q = -59 - g. Does 9 divide q?
False
Let d = 166 + 121. Does 41 divide d?
True
Let r = -491 - -1180. Is r a multiple of 9?
False
Let c(v) = -v**2 - 30*v - 77. Is 4 a factor of c(-19)?
True
Let u = 6 - 4. Suppose -4*m - 268 = -4*j, u*j + 5*m - 60 = 46. Does 6 divide j?
False
Let v be (5 - 6)/(2/(-22)). Suppose 0 = -x + v - 35. Let h = -12 - x. Is h a multiple of 3?
True
Let o(t) = -6*t**3 - 7*t**2 + 2*t + 2. Let n(h) = -5*h**3 - 6*h**2 + 2*h + 1. Let y(l) = 4*n(l) - 3*o(l). Is y(-5) a multiple of 34?
False
Suppose -s - 4*x - 1 = 0, -2*s - 4*x + 1 = x. Suppose -4 = z + s*z. Does 3 divide -18*z/6*2?
True
Let d = 89 - -61. Does 10 divide d?
True
Let x = 30 + -51. Let c = x + 52. Is c a multiple of 24?
False
Suppose -2*k + b = -285, 4*k - 155 = 3*k + 3*b. Is k a multiple of 20?
True
Let o(j) = -7*j - 11. Let a(n) = -3*n - 5. Let d(h) = 5*a(h) - 2*o(h). Let l be d(-9). Let f = 28 + l. Is f a multiple of 12?
False
Let k be ((-6)/10)/(5/(-150)). Suppose q = k - 3. Is q a multiple of 5?
True
Suppose 13*r - 8*r + 840 = 0. Is (r/(-10))/((-5)/(-25)) a multiple of 12?
True
Let z(b) = 4*b**2 - 5*b + 20. Let r be z(15). Suppose o + a - r = -4*o, -a = -3*o + 515. Is o a multiple of 22?
False
Does 18 divide (-2304)/(-63) + (-12)/21?
True
Suppose 6 + 4 = -2*d, -2*n + d = -13. Suppose -5*j + j + 1172 = 0. Suppose -n*r - 53 = -j. Does 15 divide r?
True
Let y be 1188/8*4/3. Suppose m - y = -8*m. Does 6 divide m?
False
Is 33 a factor of (7*2/14)/((-1)/(-269))?
False
Let g be -2 + (-2)/4 + (-4709)/(-34). Suppose 0 = -n + 3*q + g + 93, -n + 235 = 3*q. Is n a multiple of 36?
False
Let y(r) be the third derivative of -r**6/20 + r**5/30 + r**3/3 + r**2. Let h be y(-2). Suppose -2*d = 7*q - 3*q - h, -4*d = -5*q + 79. Is q a multiple of 5?
True
Suppose -9*c + 6*c = b - 1444, -5*b - 2380 = -5*c. Does 120 divide c?
True
Let h = -30 - -39. Suppose 3*c + 61 = 5*s, -s - h - 34 = 4*c. Let j = c - -16. Is j even?
True
Let r(l) = 4*l**2 - l - 1. Suppose 4*t = 4*s - 24, 7*t + 20 = 3*s + 3*t. Is r(s) a multiple of 9?
False
Does 23 divide 1 + -4 - (-701 + 113)?
False
Let y be (-84)/36*1*15. Does 28 divide ((-28)/(-35))/((-1)/y)?
True
Let i(x) = -x**3 - 4*x**2 + 4*x + 7. Let r be (2/(-4))/((-1)/(-12)). Is 12 a factor of i(r)?
False
Let y(n) = -n + 1. Suppose -2*b + k + 0*k = 0, 3*b - k = -2. Let q be y(b). Suppose -q*u - 16 = -52. Does 8 divide u?
False
Let k = 638 + 957. Is 17 a factor of k?
False
Let y = -130