)/(-69))?
False
Let g = 221 + 5. Is g a multiple of 3?
False
Let h(n) = -n**3 - 6*n**2 + 3*n + 10. Let t be h(-7). Let u be (-7657)/t + (-2)/4. Let q = 284 + u. Is 26 a factor of q?
False
Suppose -57*c + 7029 + 1350 = 0. Is 23 a factor of c?
False
Suppose -3*z - 4 = 5*t, -4*t = -2*t + 10. Let k(i) = i**2 + 2*i**2 + i + 0*i - 13. Is 30 a factor of k(z)?
False
Suppose 4*u = u - 111. Let r = -24 - u. Suppose 2*g = -5*y + 106, -g - 3*y + 41 + r = 0. Is 24 a factor of g?
True
Is 4 a factor of -3 - (8 + -14 - 191)?
False
Let m(n) = 30*n. Is 10 a factor of m(3)?
True
Suppose 216 = z - u - 1676, 4*z + 5*u = 7550. Is z a multiple of 80?
False
Let r be (-4 - 37/(-5)) + 2/(-5). Suppose -r*h = 9, 52 = f + 5*h - 6*h. Does 21 divide f?
False
Let b be 1/1*(-14 + 21). Let f = b + 8. Let s = f + 25. Does 12 divide s?
False
Let r be 1 + (12/9)/((-8)/204). Is (r/(-6) + 3)/(4/16) a multiple of 9?
False
Let o(y) = -y**2 + 16*y + 3. Does 2 divide o(9)?
True
Is ((-4632)/15)/(6/(-15)) a multiple of 47?
False
Let b = 42 + -37. Suppose o + 20 = b*o. Suppose z - 3*p = -5, 5*p = 5*z - 0*z - o. Does 4 divide z?
True
Let y(b) = -31*b - 45. Is y(-10) a multiple of 31?
False
Does 20 divide 4 + -1 - (-229 - 8)?
True
Let b = -92 + 51. Let q = 78 - b. Is q a multiple of 12?
False
Let k(v) = -v**3 - 6*v**2 + 14*v + 2. Let q be k(-8). Is (-1 + 2)/(q/126) even?
False
Let q = -25 + 29. Is (46 - q) + (-5 - -1) a multiple of 5?
False
Let z be 1/(-3) + 724/12. Let t be -1 - 1 - z/(-2). Suppose -3*g - 3*k = -21, 4*g - t = -8*k + 3*k. Is 2 a factor of g?
False
Suppose 1198 = 2*c - 1462. Is c a multiple of 38?
True
Let i = 419 + 241. Suppose 11*m - 836 = i. Is m a multiple of 17?
True
Suppose -11*o + 233 = 35. Is (4776/o)/2 + 2/6 a multiple of 38?
False
Suppose 0 = -5*o + 4*a + 14, 3*o - 4 = -a + 18. Let s = 184 + o. Is 23 a factor of s?
False
Let h be (-1)/(-2)*482 + -3. Suppose 0 = -0*f + 2*f - h. Is f a multiple of 38?
False
Suppose 431 = 5*u - 3*u - 5*m, -1135 = -5*u + m. Suppose 0 = -6*f + 3*f + u. Is f a multiple of 12?
False
Let y be ((-126)/(-56))/((-6)/(-40)). Let g = 0 - -5. Suppose 0 = -g*q + y + 25. Is q a multiple of 6?
False
Let k(i) = -5*i**2 - 19*i + 3. Let t be 24/(-9)*(-6)/4. Let s(g) = -3*g**2 - 10*g + 1. Let p(q) = t*k(q) - 7*s(q). Is 9 a factor of p(9)?
False
Let w(r) = -r**3 - 13*r**2 - 12*r + 5. Let d be w(-12). Suppose -4*f + 6 = 3*v - 2*v, 6 = -d*v - 2*f. Let t(o) = 6*o**2 + 2*o - 3. Does 17 divide t(v)?
True
Let o(w) = 9*w + 191. Is o(13) a multiple of 22?
True
Let o be (3 - 1)*17/2. Let c = -8 - -9. Let g = o + c. Does 18 divide g?
True
Let g be (-284)/(-16)*(5 - 1). Suppose -187 + g = -2*p. Suppose p + 27 = 5*y. Is y a multiple of 13?
False
Suppose -2*k + 6*k = 3*s + 1, s - 3*k = -7. Suppose 3*p - 3 = q, -s*q - 2*p - p = -3. Suppose q = 3*a + a - 3*f - 57, -4*a = 5*f - 33. Does 3 divide a?
True
Suppose -4*y = -12, 18282 = 4*a - 2*y - 0*y. Is 127 a factor of a?
True
Suppose -4*d + 228 = -72. Let y = 75 + d. Is y a multiple of 18?
False
Suppose -58 = 6*t + 2. Let h be (-7 + t)/((-3)/15). Suppose 4*c + 5 - h = 0. Is c a multiple of 5?
True
Let x = 588 - -432. Does 30 divide x?
True
Suppose 29 + 83 = 14*a. Let b(v) = -v**3 + 9*v**2 + 10*v - 9. Does 12 divide b(a)?
False
Suppose -2*d = -2*m - 1789 - 1203, -5988 = -4*d + 3*m. Is 60 a factor of d?
True
Suppose 0 = g - 2*o + 3 + 5, -4*g + 2*o = 20. Does 39 divide (0 - (-2 + 4))*114/g?
False
Let z(l) = l**2 - 8*l + 14. Let n be z(6). Let g(t) = t. Let u be g(n). Is -5*(-5 + (u - 0)) a multiple of 15?
True
Let h(c) = -c**3 + 3*c**2 - c + 5. Let w be h(3). Suppose w*n + 2*n - 308 = 0. Let o = -35 + n. Does 19 divide o?
False
Is 24 a factor of ((-112)/6)/1*-27?
True
Let o = 1586 - 322. Suppose -4*m + o = -t, -3*t + 450 = 5*m - 1113. Is 22 a factor of m?
False
Suppose -w - 3*w + 254 = -2*l, -187 = -3*w - 2*l. Let v be 24/(-9)*w/(-6). Suppose 13 = p - v. Is p a multiple of 13?
False
Let g be (-126)/(-26) + 8/52. Suppose -g*m = -14 - 6. Suppose m*p - 84 = -28. Is p a multiple of 7?
True
Let y(h) = h**2 + 2*h + 4. Let o be y(-3). Suppose 0 = o*n - n - 264. Is n a multiple of 28?
False
Let t(r) = -3*r**3 + 3*r**2 - 4*r - 50. Let l(s) = -s**3 + s**2 - s. Let o(g) = 4*l(g) - t(g). Does 5 divide o(0)?
True
Suppose -4*s = 3*l - 2, 4*l - 11 = 5*s + 2. Let a be (5 + 0)*(-84)/(-10). Suppose -l*c + 5*c = a. Is 9 a factor of c?
False
Suppose 6*y - 4*y = 8. Suppose -y*a = -25 - 19. Does 2 divide a?
False
Suppose -3*u + 29*u = 17472. Is 42 a factor of u?
True
Suppose -4*s = 2*y - 50, s + 3*y - 35 = -2*y. Suppose s*u - 5*u - 220 = 0. Does 2 divide u?
True
Let w = 4872 - 2474. Does 15 divide w?
False
Suppose -11*b + 2877 + 1303 = 0. Is b a multiple of 4?
True
Let o(a) = 7*a**3 + 37*a**2 + 8*a + 18. Let r(u) = -11*u**3 - 56*u**2 - 12*u - 27. Let h(v) = -8*o(v) - 5*r(v). Is 11 a factor of h(-16)?
True
Let p(t) = -t - 10. Let z be p(-14). Suppose -2*n + 10 = z*r - 3*r, 0 = -2*r + 2*n + 32. Is 6 a factor of r?
False
Let o = -38 + 12. Let l be o/(-6)*(-7 - -1). Let j = l - -66. Does 20 divide j?
True
Let l be (1/3)/((-3)/(-45)). Let m = l + -3. Suppose -6*b + 44 = -m*b. Does 6 divide b?
False
Suppose -5 = -3*i - 4*v + 116, -2 = v. Suppose -i - 29 = -3*a. Is 3 a factor of a?
True
Suppose 2*a + 134 = 4*c, c + 4*a = -4*c + 200. Is c a multiple of 3?
True
Let s(f) be the first derivative of -f**4/4 - 2*f**3/3 + 5*f**2/2 + 4*f + 5. Let y be s(-3). Is 1 - -3*(6 - y) a multiple of 18?
False
Suppose -369*w = -361*w - 1104. Does 69 divide w?
True
Let f(i) = 3*i - 3. Let p be f(-10). Let o = p + 1. Let x = 62 + o. Is x a multiple of 8?
False
Suppose 2*m + 31 = -2*o + m, -2*m + 8 = -o. Let f(s) = -s**2 - 17*s + 18. Is f(o) a multiple of 6?
True
Suppose -11 = 4*l + 13. Is (1555/(-6))/5*l a multiple of 51?
False
Suppose -2*z + 119 = 15. Let u = z + 25. Does 30 divide u?
False
Does 7 divide ((-33)/(-66))/(2/28)?
True
Let g be 8*(36/(-8) + 5). Suppose 0 = 3*q + 4*p - 301, 2*q - 408 = -2*q - g*p. Is q a multiple of 8?
False
Let n be (2/4 - (-216)/(-16)) + -1. Is 4/n + (-382)/(-14) a multiple of 27?
True
Let p(d) = 14*d - 7*d + d - 13 + 2*d**2 - 3. Is 33 a factor of p(-14)?
True
Let u = 1032 + -252. Suppose 5*h = a - 4*a + u, -3*h + 4*a = -439. Is 51 a factor of h?
True
Suppose -2*c - r + 2380 = -5*r, -2420 = -2*c - 4*r. Suppose -5*w = -0*w - 2*y - c, -y + 960 = 4*w. Does 40 divide w?
True
Let v(h) be the first derivative of h**4/4 + 3*h**3 + 2*h**2 - 3*h + 16. Is 29 a factor of v(-8)?
True
Suppose 0 = 34*a - 39*a + 1080. Suppose 0 = -6*s + 12*s - a. Does 9 divide s?
True
Suppose 2*w - 9*w = -28. Does 19 divide (w/60*-3 - 5)*-25?
False
Let f = 152 - 27. Does 3 divide (-25)/f + ((-66)/(-5) - 1)?
True
Let j(l) = l**3 - 12*l**2 + 28*l - 45. Does 9 divide j(12)?
False
Let p(v) = -v**2 - 7*v - 1. Let z be p(-5). Does 3 divide 4/z - 3990/(-135)?
True
Let m = 6 + -16. Let f(a) = 3*a**2 + 10*a + 11. Let j be f(m). Suppose 4*o + b = j, -o + 36 = -4*b - 38. Is o a multiple of 13?
False
Suppose 48*x + 25 = 43*x. Does 25 divide x/(10/(-56)) - 0?
False
Is 11 a factor of (28/42)/((-3)/(-1431))?
False
Let i(w) = -2*w + 24. Let s = 17 + -17. Is 24 a factor of i(s)?
True
Let i = -5065 - -8218. Is 40 a factor of i?
False
Suppose -j - 5*g - 90 = 0, -6*j - 5*g = -3*j + 300. Let s = -77 - j. Is 6 a factor of s?
False
Let i = -19 - -5. Let n = -1 - i. Does 2 divide n?
False
Suppose -8*b + 249 + 4503 = 0. Does 11 divide b?
True
Suppose -57*l + 57959 = -50569. Is 34 a factor of l?
True
Let q(o) = -o**3 - 19*o**2 + 20*o + 5. Let l be q(-20). Suppose l*s - 159 - 571 = 0. Is s a multiple of 12?
False
Let h = -586 + 1050. Is 16 a factor of h?
True
Let w be 1*3 + (-7 - -10). Suppose w*d - 5*d = 2. Suppose 3*b - 75 = 3*l, d*l + 100 = 5*b - b. Does 12 divide b?
False
Let m = 282 + -42. Suppose 6*n - 780 = m. Is 17 a factor of n?
True
Suppose -5*h - 4*n = 890, -2*h + 2*n = n + 343. Let z = -94 - h. Is 10 a factor of z?
True
Suppose 2*c - 12 = 3*u, c - 6 = -u - 0*u. Suppose 0 = -4*j - t + 91, 5*t = -c*j + j + 95. Suppose -8*b = -4*b - j. Does 3 divide b?
True
Suppose 0 = 2*c - c - 35. Suppose -8 - c = -o. Is o a multiple of 8?
False
Let b = 8 - 8. Does 12 divide (1 - -2)*1 + b + 69?
True
Let p = 1979 + -1853. Is 7 a factor of p?
True
Suppose 0 = v - 3*b - 109, b = -v - 3*b + 109. Let w = 