*w. Let q be c(-1). Let o = q + -70. Let h = o - -34. Is h even?
True
Let p(d) = 2*d**3 + 4*d**2 + 3*d. Let m be p(-2). Let c = 288 + -291. Is 10 a factor of 2/c - 64/m?
True
Let z(t) = 16*t + 4. Let n(r) = 4*r - 7. Let v be n(3). Is z(v) a multiple of 14?
True
Suppose -2*c = -5*q - 130, -5*c - q + 0 = -271. Is c a multiple of 15?
False
Let r = -30 + 35. Suppose -4 = r*k - 6*k. Is 4 a factor of k?
True
Let p(b) = b**2 + 10*b + 10. Let l be p(-10). Let x = -8 + l. Suppose -x*w - f + 184 = 2*f, w = -f + 92. Is 23 a factor of w?
True
Let o = 14 - 13. Let a(x) = 3*x**3 - 1. Let f be a(o). Suppose -21 = -n + 5*p - 8, -4*n + 30 = f*p. Is n even?
True
Let o be (-4)/(-2)*1/1. Let b(p) = 16 + 4*p + 7*p**o - 7 - 6*p**2. Does 15 divide b(-6)?
False
Suppose 4*v - 62 - 98 = 0. Let l be (-4 + 1)/((-60)/v). Suppose 105 = 5*t + o + l*o, t = o + 29. Is t a multiple of 4?
True
Suppose -4*d = 4*n - 10444, 3*n - 2*n - 2613 = -2*d. Is 103 a factor of n?
False
Suppose -5*w - 839 = -n, -n + 6*n - 4195 = -5*w. Does 18 divide n?
False
Let h be ((-2)/3)/((3/(-1))/639). Suppose -2*i = f - 0*f - h, 434 = 3*f + 4*i. Does 15 divide f?
True
Suppose -3*v + 15880 = 5*c, -58*c + 5*v = -53*c - 15920. Is 101 a factor of c?
False
Suppose 0*l - 3*l + 232 = t, 284 = 4*l - 5*t. Is 76 a factor of l?
True
Let p = 26 - 20. Let t = p + -2. Is t*(-2 + 60/16) even?
False
Let u(a) be the third derivative of -a**4/24 - a**3/6 + 4*a**2. Let q(d) = d**2 + 7*d + 1. Let s(l) = 3*q(l) + 15*u(l). Is s(-6) a multiple of 17?
False
Suppose 10*u - 693 = 97. Suppose 4*z = 0, 5*z + u = 2*q - 85. Does 14 divide q?
False
Is 5/3 - (-470)/6*1 a multiple of 20?
True
Suppose 351 - 2407 = -8*l. Is l a multiple of 15?
False
Suppose -c + 2*n + 34 = -1105, -5*c = -3*n - 5695. Is 36 a factor of c?
False
Let l = 2080 + -840. Is l a multiple of 40?
True
Suppose y - 4 = 0, -3*g - 8 = -2*y - 0*y. Suppose w + 30 = -s, -s + 5*w = -g*s + 24. Let v = 68 + s. Does 13 divide v?
True
Suppose -4600 = -38*f + 33*f. Is 8 a factor of f?
True
Let p = -8 - -20. Let g = p + -1. Let t(r) = 2*r**2 - 14*r - 4. Is 28 a factor of t(g)?
True
Let w(z) = -z**3 + 14*z**2 + 24*z - 18. Does 13 divide w(15)?
True
Let n be (-87)/(-21) - 4 - 940/14. Let x = 154 + n. Is 29 a factor of x?
True
Let z(w) = -w**2 + 4*w + 4. Let m be z(4). Suppose -g + 3*g - b - 791 = 0, -5*b - 400 = -g. Suppose g = m*f + f. Is 24 a factor of f?
False
Let q(a) = a**3 + 6*a + 9. Is 18 a factor of q(4)?
False
Let i(w) = 3*w**2 - 14*w - 31. Is 5 a factor of i(17)?
False
Let j(l) = 5*l**2 + l**2 - 3*l**2 - 4*l**2 - 21 + 14*l. Is 2 a factor of j(10)?
False
Let b = 349 + -269. Does 17 divide b?
False
Suppose -3 - 12 = -5*z - j, -5*j = 4*z - 12. Suppose -z*h - 119 = -368. Is 17 a factor of h?
False
Suppose 5*z - 150 = -0*z. Let u = z + -20. Suppose -3*c + f - u = -79, c - 5*f = 37. Is c a multiple of 6?
False
Let z be (7 - -1)*(-1 - -2). Suppose 0 = -2*l - 0*l + 12. Suppose 0 = z*p - l*p - 92. Is p a multiple of 8?
False
Let r(j) = 5*j + 34. Suppose -19*k + 14 = -100. Does 7 divide r(k)?
False
Suppose u = 7*u + 786. Let w = -80 - u. Is w a multiple of 17?
True
Let d(h) = 4*h**2 + 2*h - 6. Let v(o) = -o**2 + 1. Let g(z) = -d(z) - 5*v(z). Is 5 a factor of g(-3)?
False
Let u = 32 - 22. Let g = 2 + u. Let d = 36 - g. Does 24 divide d?
True
Let c(s) = -s**2 - 28*s - 32. Let q be c(-27). Let r = 38 - q. Is 34 a factor of r?
False
Let d = -265 - -172. Suppose -4 = 5*v + 46. Let m = v - d. Is m a multiple of 30?
False
Let c = -79 + 256. Suppose 5*x - 11 = w, 7 + 3 = 4*x - 2*w. Suppose -c = -5*o + 2*o + 3*f, -x*f + 260 = 4*o. Is o a multiple of 21?
True
Let d(c) = -c**2 - 24*c + 33. Does 29 divide d(-24)?
False
Suppose 2*y - z - 214 = 0, y - 3*z - 97 = -0*y. Is 21 a factor of y?
False
Let o(c) = -c**3 + 6*c**2 - 7. Let j be o(6). Let z be -4 - (-24)/(-3 - j). Suppose 0 = 5*b + 25, 0*h - z*h + 33 = -5*b. Does 2 divide h?
True
Suppose -18*q + 3906 = 13*q. Is q a multiple of 18?
True
Let f = -27 + 45. Suppose -5*n - f = -2*n. Is -39*4/(n - -2) a multiple of 13?
True
Let r(g) = -g**3 + 8*g**2 - 6*g + 5. Suppose 5*m = -c + 23, m - 3*m - 3*c = -4. Is 10 a factor of r(m)?
True
Suppose -15*c - 1801 = -6406. Is 7 a factor of c?
False
Let o = 867 - 383. Is o a multiple of 7?
False
Let k(s) = -23*s - 69. Let v be k(-3). Let f(q) = 4*q + 3. Let b(i) = -11*i - 9. Let w(c) = -3*b(c) - 8*f(c). Does 3 divide w(v)?
True
Let o be (-4)/(-6)*(-3)/(-2). Let a(i) = 0*i - o - 6*i + 2*i**2 - i**2. Is a(9) a multiple of 13?
True
Let u = 4 + -4. Suppose 4*v = 2*v. Suppose u*q + 2*q - 8 = v. Does 4 divide q?
True
Suppose 0 = -2*p - 2. Let f be 0 + -2 - 3*p. Suppose n = 23 - f. Is 11 a factor of n?
True
Let x(f) = -11*f + 1. Let r = 5 + -6. Let a be x(r). Let i(c) = c**3 - 12*c**2 + 5*c - 6. Is 11 a factor of i(a)?
False
Let g = 132 + 99. Does 77 divide g?
True
Is (-3)/(-2)*6912/324 even?
True
Suppose 0*n + 15 = -3*n, -5*k - 5*n - 10 = 0. Suppose 0 = t - 2*m - 40, -165 = -7*t + 2*t + k*m. Does 10 divide t?
True
Suppose 0 = y - 34 + 100. Let q = y - -97. Suppose q + 89 = 4*f. Is 11 a factor of f?
False
Let d be ((-12)/(-26))/3 + 2436/52. Suppose d = x + 7. Does 16 divide x?
False
Suppose 3*g = 5*g - 12. Suppose -g*l - 10 + 4 = 0. Let d = l + 5. Does 2 divide d?
True
Let a = 849 - -215. Is a a multiple of 8?
True
Suppose -131*g + 126*g + 1670 = 0. Does 9 divide g?
False
Suppose -2*o = 4*q - 32, -5*o - 4*q = -42 - 32. Suppose o*i = -48 + 2204. Does 7 divide i?
True
Let g(v) be the first derivative of -39*v**2/2 - 2. Let a be g(-2). Suppose -3*h + 2*h = -a. Does 26 divide h?
True
Suppose -28 = -o - 3*x, 22*o - 54 = 20*o - 4*x. Is 15 a factor of o?
False
Let v(d) be the first derivative of -5*d**2 + 14*d - 33. Does 7 divide v(-7)?
True
Let u = -125 + 56. Let j = 87 - u. Is 18 a factor of j?
False
Suppose -2*q - q = -5*g + 43, 0 = 5*q + 3*g + 15. Let j = q - -7. Let v = 20 - j. Is 19 a factor of v?
True
Let m(a) = -a**2 + 6*a + 173. Let w be m(0). Let c = 266 - w. Is 9 a factor of c?
False
Let j = 2225 + -2111. Is 6 a factor of j?
True
Let h be 8/(-4) - -139*1. Suppose 0 = -o + 109 + h. Suppose -2*q + 116 = 4*k, -3*q + o = -2*k + 88. Is q a multiple of 17?
False
Let o(q) = -q**3 + 10*q + 6. Let z = -41 + 37. Is o(z) a multiple of 15?
True
Let i = 416 + 328. Suppose -78 = 3*w - i. Is 17 a factor of w?
False
Let i(n) = -n**2 - 19*n - 16. Let q be i(-17). Let z = q - -20. Is 19 a factor of z?
True
Suppose -2*k + 5*x = 0, 2*k + 5 - 17 = -x. Suppose -4*r = -k*r - 3*t + 48, 0 = -r + 2*t + 33. Is 13 a factor of r?
True
Suppose 0 = -3*y - k + 7599, 5079 = -2*y + 4*y + 5*k. Is 54 a factor of y?
False
Let f = 582 - 343. Suppose 31 = -2*z + f. Suppose x + z = 4*x - 5*k, -3*k - 168 = -5*x. Does 11 divide x?
True
Let s = 265 + -260. Is s a multiple of 3?
False
Suppose -17*f + 5*f + 2520 = 0. Is 15 a factor of f?
True
Let z be -20 + 2 - (-4)/4. Let n = -15 - z. Suppose 4*w - 74 = n*s, 0*s + 83 = 3*w + 4*s. Is 7 a factor of w?
True
Let p be 15*(-1 - 21/(-15)). Suppose 2*t + 3*f - 4 - 17 = 0, -4*t + 22 = 2*f. Suppose 30 = d + t*w, 2*d - 46 = 4*w - p. Is 24 a factor of d?
True
Suppose -6*j + 60 = -2*j. Suppose 5*m - 636 = -4*o, -3*o + 5*m + 483 = 6. Is 17 a factor of (o/4)/(j/40)?
False
Suppose -2*l - 24 = -4*l. Suppose -2*o + l = -0*p + p, -8 = -2*p. Suppose 2*d - o*i - 16 - 6 = 0, -4*d - 2*i = -44. Does 8 divide d?
False
Suppose 7*f = 13*f - 24. Suppose f*g - 507 = 129. Is 17 a factor of g?
False
Let u = -41 - -45. Is 5 a factor of u/(1 + 7)*32?
False
Suppose 48*k = 39*k + 15498. Is k a multiple of 60?
False
Let d be (-4)/(-30) + (-40)/300. Is 11 a factor of 44 + -5 + d + 2?
False
Is (-6 - (-3 - 18/10))*-420 a multiple of 28?
True
Suppose -g - 5*u = -592, 10*u = 3*g + 9*u - 1696. Is g a multiple of 27?
True
Suppose 4*c = 16, 4*v - c - 384 = -4*c. Suppose -4*p - v + 237 = 0. Is 12 a factor of p?
True
Let n = -17 + 52. Let t = 19 - n. Does 4 divide 1*(-3 - t) - 1?
True
Let o(d) be the third derivative of d**5/60 + 3*d**4/8 - 19*d**3/6 + 22*d**2. Is 2 a factor of o(-11)?
False
Let d(r) = -3*r**3 - 4*r**2 + 12*r + 6. Let q = 15 - 17. Let y(n) = -10*n**3 - 11*n**2 + 37*n + 17. Let s(w) = q*y(w) + 7*d(w). Is 14 a factor of s(-8)?
True
Let n = -20 - -73. Let y = n + -28. Is 5 a factor of y?
True
Suppose 4*z = 3*h - 137, -12 - 76 = -