 = w + 3. Suppose 0*n - 4*q + 2 = 3*n, n - 3*q = a. Does 3 divide n?
True
Suppose -489 = -4*r - 3*g, 4*g - 372 = -r - 2*r. Does 15 divide r?
True
Suppose 43 = 3*u - 128. Does 7 divide u?
False
Let f be 880/(-48) - ((-14)/6 + 2). Does 12 divide (0 - (-2 + 18))*f/4?
True
Suppose -35 = -2*z - 5. Let s = 54 + z. Let v = -43 + s. Is v a multiple of 9?
False
Let r = -72 - -75. Does 19 divide 6*-1 + r + 117?
True
Suppose 0 = 25*d - 6*d - 855. Is d even?
False
Let t(o) = 33*o + 2. Let i be t(6). Let u be ((-15)/(-12))/(1/4). Suppose -u*z = -0*z - i. Does 20 divide z?
True
Suppose 0 = -u + 4, -3*j + 960 + 2341 = -5*u. Does 41 divide j?
True
Suppose 3*w + 2*l = 10, w + 4*l - 8 = l. Suppose w*i = 0, -2*i + 126 = 3*t + i. Is 5 a factor of t?
False
Let q(y) be the second derivative of -16/3*y**3 + 1/2*y**2 + 0 - 4*y. Does 11 divide q(-1)?
True
Let u(b) be the second derivative of -23*b**3/3 + 2*b**2 - 25*b. Is 16 a factor of u(-2)?
True
Let c(q) = -17*q + 2 - 2. Let o be 85/(-40) - 3/(-24). Is c(o) a multiple of 6?
False
Let r be (315/5)/(-3) - (-1 - 0). Let k = r + 75. Does 20 divide k?
False
Let q(f) = f**2 - f - 1. Let r(n) = 2*n**2 - 4*n - 3. Let j(u) = -3*q(u) + r(u). Let l be j(0). Suppose -5*t + l*v + 157 = -v, -v = -3. Does 16 divide t?
True
Let f(t) = 40*t + 495. Is f(-9) a multiple of 5?
True
Let b(g) be the third derivative of g**4/12 + 17*g**3/3 - 4*g**2. Let q be b(0). Let u = 78 - q. Does 11 divide u?
True
Suppose -4*j = 5*r - 575, -3*j - 4*r - 408 = -6*j. Does 35 divide j?
True
Let y(l) = l**2 + 4*l + 1. Let z be y(-6). Let b = z - 9. Suppose b*p - 164 = -4*m, -3*p + 10 + 83 = -3*m. Is 18 a factor of p?
True
Let k(z) = -z**3 + 4*z**2 + 7*z - 7. Let g be k(5). Suppose -2*p + 92 = 5*x, g*p + 3*x + x - 124 = 0. Does 12 divide p?
True
Let b = -45 + 24. Let p be (5 - 8) + b/(-1). Suppose -2*t = -t - p. Is t a multiple of 6?
True
Let d(a) be the first derivative of 2*a**2 + 8*a - 6. Let m(w) = -9*w - 15. Let p(r) = -5*d(r) - 2*m(r). Is 12 a factor of p(-11)?
True
Suppose 4*k - 8 = 0, 8 = 3*v - 4*v + 5*k. Suppose 9 = v*a + 1. Suppose 3*u + 2 + a = 0, 3*u = -5*f + 129. Does 6 divide f?
False
Let o(h) = 9*h + 3 + 5 + 8*h. Does 14 divide o(2)?
True
Let i(l) = 72*l**2 + 13*l + 10. Is 15 a factor of i(-4)?
True
Let j(k) = -5*k - 2. Let d be j(-1). Suppose 125 = 5*v + d*u, 0*v + v - 37 = -3*u. Suppose -4 = 2*w - v. Does 9 divide w?
True
Let d(w) be the third derivative of 7*w**5/30 - w**3/3 - 2*w**2. Is 9 a factor of d(-2)?
True
Let g(o) = 23*o**2 - o + 1. Let c be g(1). Let z = c - 1. Is z a multiple of 11?
True
Suppose -10*u = -7*u + 66. Let d = u - -37. Is 7 a factor of d?
False
Suppose -13*i - 5752 = -27345. Does 93 divide i?
False
Let i(d) = -12*d**3 + d**2 - 6*d - 9. Is 6 a factor of i(-3)?
True
Let j(k) = 57*k - 2. Let v be j(-1). Let p = v + 167. Suppose -6 = -3*w, -5*w = 5*n - w - p. Is 6 a factor of n?
False
Let d(x) be the third derivative of -13*x**6/120 - x**5/60 + x**4/24 + x**3/6 - 2*x**2. Let b be d(-1). Does 10 divide b/(-5)*(-30)/2?
False
Suppose m + m = 3*h + 514, 5*m = -h - 160. Let r = -57 - h. Is 15 a factor of r?
False
Suppose -68 = 5*o - 13. Let f = o + 32. Is 7 a factor of f?
True
Suppose 0 = -n - 10 + 1. Let f be 2/(-9) + (-1078)/9. Is 12 a factor of (f/n)/(2/6)?
False
Let w be ((-48)/56)/(6/(-28)) - -4. Let b(z) = -z**2 + 4*z. Let k(n) = 2*n**2 - 7*n. Let l(x) = -5*b(x) - 2*k(x). Does 8 divide l(w)?
True
Let s = 804 + -294. Does 10 divide s?
True
Let j = 126 + 58. Does 5 divide j?
False
Let t = 69 + -79. Does 4 divide (-294)/35*t/4?
False
Does 5 divide ((-308)/21 + 8)*78/(-4)?
True
Suppose -2*s + 2*a = -12, 5*s = 4*a - 5*a. Let j = 87 + -58. Does 10 divide -1 + s + 1 + j?
True
Suppose -3*h + 8*h - 4*s - 26 = 0, -4*h + 26 = 2*s. Does 10 divide 407/4 + h/24?
False
Suppose 4*t - 1968 = -4*c, 13*t - 16*t + 1472 = 2*c. Is 24 a factor of t?
False
Suppose m - 6 = -1. Suppose -33 = -2*c + 4*s + 21, -3*s - 135 = -m*c. Suppose -371 + c = -4*w. Is w a multiple of 23?
False
Let v(y) = -14*y + 3. Let o be v(-3). Suppose 2*b + z - 15 = 0, 0 = 4*b - z + 12 - o. Is 4 a factor of b?
True
Let a = 2 - -20. Is 11 a factor of a?
True
Suppose 2*x + 3*f = 14 + 14, -3*x + 42 = -f. Let g = x + 14. Does 24 divide g?
False
Suppose 2*a + 2243 = 6*a - 3*i, -3*a + 5*i + 1685 = 0. Is 28 a factor of a?
True
Suppose 5*c = c + 5*f + 53, 25 = 2*c - f. Let y be 3/(1*c/904). Suppose -5*k + 0*k - 4*w + y = 0, 2*w + 2 = 0. Does 8 divide k?
False
Let q(n) be the first derivative of -n**2/2 + 35*n + 3. Let a = 5 + -5. Is 7 a factor of q(a)?
True
Let r(z) = -z**2 + 9*z - 12. Let j be r(6). Let y(v) = v**2 + 1. Let k be y(j). Suppose -k = a - 102. Does 15 divide a?
False
Let m = 17 - 11. Suppose -8*z + m*z = 0. Suppose 3*w + 2*w - 300 = z. Is w a multiple of 15?
True
Let c = -5 + 35. Suppose -3*r - 3*r = -c. Does 3 divide r?
False
Is 12 a factor of -9 + 2 + 1744 + -45?
True
Does 18 divide ((-69)/92)/(1/(-1272))?
True
Suppose 5*z = 25, 5*t - 6*z + 10*z = 1635. Is t a multiple of 19?
True
Suppose 0 = -4*d + 2*d + 2*l + 298, -2*d - 4*l + 316 = 0. Is d/5 - (5 + 23/(-5)) a multiple of 15?
True
Suppose 22 = 2*f + 8. Let d = -5 + f. Let t(p) = p**3 + p**2 - 1. Is t(d) a multiple of 3?
False
Suppose 3*b - 516 = -j, -j = 2*b - 178 - 167. Is b a multiple of 28?
False
Suppose 4*b - 3*g = 183, -5*g + 4*g = 2*b - 89. Suppose q = 5*j + b - 8, -10 = -q - 4*j. Does 10 divide q?
False
Let z = 2708 - 778. Is z a multiple of 34?
False
Let h(n) be the second derivative of -n**5/20 + n**4/2 - n**3/2 + 5*n**2 - n. Let v = -46 + 51. Is h(v) a multiple of 20?
True
Let h(j) = j**2 - 9*j + 126. Is h(31) a multiple of 14?
False
Is 17 a factor of (1374/24*-22)/(2/(-4))?
False
Let o(k) = 2*k**3 + 58*k**2 + 47*k - 22. Is o(-28) a multiple of 10?
True
Let t(q) = q**2 - 11*q + 3. Let x be t(11). Let d(v) be the first derivative of 17*v**2/2 - 3*v + 2. Is 14 a factor of d(x)?
False
Suppose 21*p - 22*p + 410 = -2*c, -4*p + 1631 = c. Does 34 divide p?
True
Is (12 - (11 + -2)) + 304/2 a multiple of 3?
False
Suppose 0*i - 152 = -4*i. Let v = i + 22. Let r = 39 + v. Is r a multiple of 24?
False
Let u be (14/21)/((-4)/(-12)). Suppose 2*w + 4*z = 40, 4*z + 119 = u*w + 39. Is w a multiple of 9?
False
Let k = -562 + 565. Is 3 a factor of k?
True
Let o(i) = i**2 + 10*i + 1. Let v be o(-10). Is (-1 + -31)*(18/(-8))/v a multiple of 33?
False
Let y be 14/10 - 3/(-5). Suppose 0*o - 1 = 3*o + y*a, 5*a + 34 = 3*o. Suppose -5 - 31 = -o*l. Is l a multiple of 6?
True
Let d = 132 + 138. Does 18 divide d?
True
Let j(x) = 0*x**2 - 2*x**2 + 7 - 4 - 8*x. Let f be j(-6). Does 21 divide f*(-7)/(21/6)?
True
Suppose -4*p + 3*p = -12. Let k(d) = -d**2 + 19*d + 14. Let n be k(p). Is 0 - n/(-1 - 1) a multiple of 12?
False
Let g(x) = -13*x - 52. Let d be g(-6). Let c(m) = -2*m**3 - m**2 + 4*m - 3. Let u be c(2). Let p = d + u. Does 9 divide p?
False
Let w(g) = 11 - 1 + g**2 - g + 12*g. Let t(x) = -10*x**2 + 2*x - 1. Let n be t(-1). Is w(n) a multiple of 20?
False
Let r = 1 + 4. Suppose r*b = 427 - 67. Suppose 8*o - 5*o = b. Is o a multiple of 12?
True
Suppose -5*u + 6*f - 3*f - 65 = 0, 0 = 4*u + 3*f + 25. Let v = u + 14. Is 6 a factor of 21 - (-3 + v - -2)?
True
Suppose 5*l - 3133 = -2*d, d + 9 = 8. Is l a multiple of 65?
False
Let j(n) = -5*n**3 - 17*n**2 - n - 9. Is j(-6) a multiple of 10?
False
Suppose -3*v = -4*l + 2628, 680 = 39*l - 38*l + 5*v. Is 12 a factor of l?
True
Suppose 20 = 4*o + 8. Suppose -b = 7 + o. Let w = b + 18. Is w a multiple of 2?
True
Suppose -7*p + 5417 = -596. Is p a multiple of 29?
False
Let u(i) = -i + 3. Let o be u(2). Is 12 a factor of (3/o - 3) + 12?
True
Is 23 a factor of 34056/602 - (-3)/7?
False
Suppose 5*o - 4*p = 3380 - 80, -5*o - 4*p = -3300. Is 12 a factor of o?
True
Suppose 101*k = 68*k + 17886. Is k a multiple of 25?
False
Suppose 4*i = -4*t + 880, 0 = -3*t + 17*i - 19*i + 656. Does 2 divide t?
True
Let w = 104 + -70. Suppose -30*r = -w*r + 800. Is 10 a factor of r?
True
Suppose -2*x + 4*x = 6. Suppose -x*k - 2*p + 12 = 0, 2*k + 3*p - 7 = 1. Suppose -21 = k*w - 81. Is 5 a factor of w?
True
Let g(w) be the third derivative of w**4/4 - w**3 + w**2. Suppose 4*h = -3*t + 11, -6*t - 5*h + 10 = -3*t. Is g(t) a multiple of 13?
False
Suppose 0 = -2*d + 14 - 6. Suppose 0 = -2*c - 0*c + t + d, 3*c -