 3*y - z - y**3 + y + 0 + 0. Is 4 a factor of b(-6)?
True
Let s be -24 + 3 + 0/3. Let h(a) = -2*a - 10. Is h(s) a multiple of 8?
True
Let n(f) = -f**2 + f - 3. Let g be n(0). Let a be 63 - (2 - (g + 2)). Suppose -6*q + q = -a. Is q a multiple of 6?
True
Let h(z) = -z + 11. Let u(y) = y - 10. Let p(t) = -2*h(t) - 3*u(t). Let g be (7 + -14 - -8)/((-5)/20). Does 12 divide p(g)?
True
Suppose -c = -4*j - 238, 0 = -2*c - 5*j - 0*j + 437. Suppose 2*n - 105 - 39 = -3*f, -3*n - 2*f + c = 0. Is 6 a factor of n?
True
Let a = 12 - 13. Suppose 97 = -6*b - 35. Let t = a - b. Does 21 divide t?
True
Let f(k) = -7*k + 323. Does 3 divide f(27)?
False
Let q = -49 - -51. Suppose x - 3*h - 21 = 0, q*x + 0*h + 5*h = 97. Is x a multiple of 6?
True
Let d = 32 + -95. Let r(f) = -f - 15. Let y be r(0). Is 18 a factor of (5/y)/(1/d)?
False
Let w(l) = -183*l + 547. Is w(-5) a multiple of 34?
True
Let p be (-3)/(-2)*(-1 + 15). Let j = p - 16. Suppose 0 = -j*f - 21 + 101. Does 16 divide f?
True
Suppose 0 = 3*r - q - 56, 4*r - 40 = 3*r - 5*q. Suppose -p - r = -5*p, -4*d + 155 = 3*p. Does 5 divide d?
True
Let p(h) = h**2 + 8*h - 4. Suppose 0*k + 3*k + 33 = 0. Does 13 divide p(k)?
False
Suppose 2*j - 21 = -5*j. Suppose 3*t = -4*s + 348 + 412, -j*s + 762 = 3*t. Suppose r - t = -3*r. Is 8 a factor of r?
True
Let z(o) = 252*o - 232. Is z(13) a multiple of 42?
False
Let y be (-24)/16*(-16)/6. Suppose 0 = -y*j, -5*z + z + 3*j = 344. Let i = z + 167. Is 27 a factor of i?
True
Suppose -5*x = -a - 268, 4*x - 220 = -9*a + 7*a. Is 9 a factor of x?
True
Let c = -38 + -10. Let z = c + 12. Let d = 150 + z. Is d a multiple of 26?
False
Let x = 1290 - 1088. Does 4 divide x?
False
Let a(f) = f. Let o(x) = -x**2 + 12*x - 12. Let d be 4/(-1) + 1 - -1. Let q(i) = d*a(i) + o(i). Is q(6) a multiple of 4?
True
Suppose 3*p = -2*l + 572, 0 = p + 5*l - 7*l - 188. Is p a multiple of 5?
True
Let d(g) = 16*g**2 + 9*g - 26. Is d(6) a multiple of 66?
False
Let m = -194 + 313. Is 7 a factor of m?
True
Let h = 744 - -2324. Is h a multiple of 59?
True
Let f(l) = -l**3 - 5*l**2 + 2*l. Suppose 0 = 5*r - 3*r - 6. Let h be r + 2 + 11/(-1). Is f(h) a multiple of 6?
True
Suppose -5*h - 10292 = -2*a, -4*a = 3*h + h - 20528. Does 9 divide a?
False
Suppose -13*k = -k - 192. Suppose -k*l + 21*l = 975. Is l a multiple of 11?
False
Let i(t) = -t**2 + 10*t - 12. Let s be (-39)/(-5) - (-3)/15. Let c be i(s). Suppose -3*f - 4*v = -91, -3*f - 23 = -c*f - 5*v. Does 23 divide f?
False
Let c = 6179 - 4307. Is 28 a factor of c?
False
Suppose -12 = -8*q + 2*q. Suppose -7*x = -q*x - 225. Suppose -67 = -4*u + x. Is 8 a factor of u?
False
Is 2775 + 11 + (7 - 7) a multiple of 101?
False
Let k(w) = -18*w - 4. Let t be k(-8). Let c = t - 36. Is 13 a factor of c?
True
Let n = -23 - -31. Suppose 2*u + n = 4. Let c(z) = -11*z**3 - z**2 + z - 2. Is c(u) a multiple of 16?
True
Let f be 11/((-99)/(-2)) + (-842)/(-18). Suppose f*c - 126 = 41*c. Is c a multiple of 3?
True
Suppose -3*o + 1486 = 4*u, o + o + 3*u - 991 = 0. Is 19 a factor of o?
True
Suppose -2*s + 436 = -220. Is s a multiple of 51?
False
Let v(h) = -h**2 + 5*h - 6. Let l be v(5). Let o = l - -9. Suppose -5*b - z - 3*z + 92 = 0, o*b - 2*z - 64 = 0. Is 5 a factor of b?
True
Suppose 4*i + 2 = 3*i. Does 7 divide (3 + -31)*(i/4 - 2)?
True
Let m = -86 + 182. Is 3 a factor of m?
True
Suppose 2*h - 4*g - 714 = -8*g, 3*g + 721 = 2*h. Does 40 divide h?
False
Let i be 14/5 + (-8)/10. Is 13 a factor of -194*(7 - i)/(-10)?
False
Let o(c) = -10*c**2 + 13*c - 18. Let k(l) = -l**2 + 6 + 7*l**2 - 4*l - l**2 - 2*l**2. Let h(i) = 7*k(i) + 2*o(i). Is 2 a factor of h(0)?
True
Let i(o) = o**2 + 15*o + 4. Let m be i(-15). Suppose m*l = 5*l - 38. Does 5 divide l?
False
Let c(m) = -11*m + 35. Let z be c(-7). Suppose 4*s - 352 = -z. Is s a multiple of 20?
True
Let n(u) = -u**3 - 10*u**2 + 11*u + 1. Let h be n(-11). Suppose z + 4*j = 385, 3*j - h = 2. Suppose z = 4*c + 53. Is c a multiple of 18?
False
Let d(f) = -f**2 - 7*f + 11. Let g be d(-8). Let t(b) = 22*b + 6. Let k be t(g). Suppose -u - 3*u = -k. Is 14 a factor of u?
False
Suppose 5*l + d = -13, -3*l + 5*d = l + 22. Let o be 9/4*(-304)/l. Suppose 0*i = -4*i - 5*y + 234, 2*y - o = -4*i. Is 14 a factor of i?
True
Let b be (32/20)/((-2)/15). Let y be (4/(-6))/(4/b). Suppose 0 = y*u - 0*u - 144. Is 26 a factor of u?
False
Suppose 4*v - z = 3440, 5*v - 4300 = 3*z + 6*z. Is 31 a factor of v?
False
Suppose 3*u + 2*u = y + 1, 5*u = -4*y - 29. Does 12 divide 1/((y/4)/(0 + -69))?
False
Let w = 1429 - -183. Is w a multiple of 52?
True
Let r(w) = w + 7. Let l be r(-6). Let m = l + 4. Suppose m*g + 7 = 72. Is g a multiple of 4?
False
Let n(i) = -161*i - 228. Is n(-6) a multiple of 29?
False
Suppose -4*y = -9*y + 5. Does 21 divide 107/y - (7 - 5)?
True
Let u(j) = 2*j**2 + 10*j - 10. Let q be (-8)/36 + (-61)/9. Is u(q) a multiple of 6?
True
Suppose -5*v + 405 = 5*z, -17*v - z = -12*v - 389. Is v a multiple of 12?
False
Suppose -9*i + 3483 = -2340. Does 14 divide i?
False
Suppose 15888 = 13*i - 23294. Does 13 divide i?
False
Suppose -3*k + 36 = 27. Does 24 divide 167 + 8/(-12)*k?
False
Let m(a) = -11*a**3 + 6*a**2 + 7*a + 4. Does 25 divide m(-2)?
False
Let t = -40 + 263. Is 7 a factor of t?
False
Let u = 31 - 19. Let i = 21 + -16. Suppose 5*w = -0*b - 4*b + 21, -i*w = 3*b - u. Does 3 divide b?
True
Let i(v) be the second derivative of v**4/12 - v**3/6 + 12*v**2 - 7*v. Is 22 a factor of i(10)?
False
Let b be ((-204)/36)/(2/(-6)). Suppose -29*n = -28*n - b. Does 17 divide n?
True
Let s = 1084 - -56. Is s a multiple of 12?
True
Let p = 16 + -67. Suppose 0*t = -5*t - 415. Let x = p - t. Is 11 a factor of x?
False
Let r(h) = h**2 + 4*h + 2. Let y be r(-4). Suppose -3*w + 2*d = -y*d - 123, 5*d = 0. Does 7 divide w?
False
Suppose -s + 30 = 4*s. Let p(c) = c**3 - 2*c**2 - 10*c + 16. Is p(s) a multiple of 7?
False
Let a be 2 + 0 - (2 + -1)*-282. Suppose 5*w + a - 774 = 0. Is w a multiple of 7?
True
Let a = -10 - -12. Suppose -j - 1 = -a*j. Let u = 21 - j. Is u a multiple of 5?
True
Suppose -2*i = -5*i - 2*d - 6, 5*i + 5*d = -15. Suppose i = -2*y + 6*y - 852. Does 54 divide y?
False
Let f(n) be the second derivative of 21/2*n**2 + 0 - 7*n - 1/6*n**3. Does 15 divide f(6)?
True
Let c = -296 - -771. Does 20 divide c?
False
Suppose 10*w - 1367 = 5133. Is w a multiple of 50?
True
Let w = 337 + -90. Let p = w - 147. Is p a multiple of 26?
False
Suppose 7*y - 2*y = -40. Let o = 32 + y. Does 6 divide o?
True
Let l(y) = -y**3 + 4*y**2 - 2*y - 2. Let z be l(3). Suppose -3*t + 19 = 7. Does 15 divide (z - -1)*(33 - t)?
False
Let f(p) = -5*p - 2 + 1 - 4 + 1 + 2*p**2. Is f(-4) a multiple of 8?
True
Let b(y) = 3*y**2 - 3*y - 9. Let w be b(-7). Let s = 255 - w. Suppose s = -g + 3*g. Is g a multiple of 12?
True
Let s(g) = -8*g**3 - 2*g**2 + 6*g - 5. Let h be s(-5). Suppose z + 2*z = -3*v + 681, 3*v + h = 4*z. Suppose -k - 3*k = -z. Does 19 divide k?
True
Let h be 3*(8/3)/(-2). Is 20 a factor of -10 + 147 - (-1 - h)?
False
Let u(w) = 71*w**2 - 37*w + 20. Does 10 divide u(-8)?
True
Let i = 130 - 90. Let m = i + -22. Is 4 a factor of m?
False
Let z(d) = d**2 - 13*d - 23. Is 3 a factor of z(15)?
False
Suppose 9*g = -5*f + 4*g - 320, -5*g = 4*f + 253. Let r = 155 + f. Let l = 168 - r. Is l a multiple of 20?
True
Suppose 0 = 7*f - 55 + 20. Suppose -5*d + g - 298 = -887, f*d + 2*g = 577. Is d a multiple of 9?
True
Suppose -4*y = z + 4, z - 4*y = -z - 8. Let j(b) = -b**2 - 4*b - 3. Let n be j(z). Is 13 a factor of (-5)/(n - 80/(-28))?
False
Let c(z) = z**3 - 8*z**2 + 8*z - 5. Suppose 0 = -l - 3*b, -17 = -5*l - b + 25. Does 51 divide c(l)?
False
Suppose 4*k = 5*u + 197, -2*k - 53 = -3*k + 5*u. Let x = k - 10. Is x a multiple of 12?
False
Let x(i) = i**3 - 7*i**2 + 12*i + 2. Let t be x(4). Suppose m - 18 = t*c, -3*m + 0*m + 2*c = -50. Does 8 divide m?
True
Let b be 4/(-14) + (-16)/(-56). Suppose b = q + 21 - 9. Does 3 divide 4*(-3)/q + 10?
False
Suppose -5*t - 11*z + 14499 = -10*z, 5*t - 4*z - 14479 = 0. Is t a multiple of 13?
True
Let n(o) = o**2 + 17*o - 21. Let q be n(-19). Suppose 4*s + 121 = 3*d, 5*d + s - 223 = q. Is d a multiple of 7?
False
Suppose -7*m + 12*m = 25. Suppose 5*d + 20 = -3*f - 0*d, m*f - 2*d + 85 = 0. Let j = -4 - f. Does 9 divide j?
False
Suppose -w = -f - 9, -f + 15 = 5*w