u) = 2*u + 3. Let q be x(-3). Is p(q) a multiple of 4?
True
Let b(y) = y + 25. Let a(j) = -13. Let i(n) = -n**2 + 5*n + 8. Let c be i(6). Let q(t) = c*b(t) + 5*a(t). Is 2 a factor of q(11)?
False
Is 8 a factor of 4 + -2 + (188 - 3)?
False
Let g = 179 - 147. Is g a multiple of 16?
True
Suppose -18 + 188 = 5*n. Suppose -2*a + 62 + n = 0. Does 24 divide a?
True
Suppose -4 + 30 = 2*i. Is 3 a factor of i?
False
Let c(o) = o**3 + 8*o**2 + 7*o + 6. Let l = -2 + -5. Let g be c(l). Suppose 0*q + g = -3*q, -5*n = -2*q - 174. Is n a multiple of 17?
True
Suppose -4*v + 372 + 48 = 0. Is v a multiple of 21?
True
Suppose l - 8 = -4*m, -25 = -4*l + m - 10. Let o be (-3)/(2*6/(-304)). Suppose o = l*w - 12. Does 11 divide w?
True
Suppose -30*r = -26*r - 172. Is 43 a factor of r?
True
Suppose -4*o + 28 = -2*o. Let j = 58 + -8. Suppose 4*b + o = j. Is b a multiple of 3?
True
Let m(y) = -4*y + 2. Let o(a) = -a + 3*a - 2 - 3*a. Let i be o(4). Does 13 divide m(i)?
True
Let g(i) = -i**3 + 15*i**2 + 6*i - 3. Is 31 a factor of g(13)?
False
Let v = 5 - -1. Let a be -10*(v/(-15))/1. Suppose -2*i + 32 = a*w, 5*i - w - 9 - 16 = 0. Does 5 divide i?
False
Let a(k) = k**2 - k. Let d be (-6)/(-21) - (-52)/14. Let n be a(d). Suppose -2*s + n = 3*r, -r + 6 = s + 3*r. Does 3 divide s?
True
Let i = 507 - 271. Is 8 a factor of i?
False
Let a be -9 - (-2)/(-3)*-3. Does 27 divide 2 - (a + 0)*8?
False
Let u be 269/4 - (-3)/(-12). Let v = u + -48. Is v a multiple of 15?
False
Suppose -f + 406 = 3*g, -2*f = -7*f - 2*g + 2095. Suppose 0 = -2*d + 6*d + 5*v - f, 3*d - 317 = -5*v. Is d a multiple of 34?
False
Suppose 3*v + 2*j + 0*j = 25, -5*v = -j - 20. Suppose v*w + 8 = -5*z + 33, w + 7 = 2*z. Suppose z*c + 21 = 73. Is c a multiple of 13?
True
Let s(p) = -46*p. Suppose b + 5 = t + 1, 5*t = 3*b + 18. Is 11 a factor of s(b)?
False
Let x be (-129)/(-27) + (-6)/(-27). Suppose 38 = -x*o + 2*d + 130, -4*d = -3*o + 58. Is 11 a factor of o?
False
Let b be (-5)/(-2) - 2/4. Suppose -2*k = -3*s - 2*s, 0 = 4*s + k - 13. Is s/(b + -3)*-1 a multiple of 2?
True
Let m be (3 + (-8)/3)*-9. Is (-5 - m)/(2/(-17)) a multiple of 4?
False
Let a(g) = -g**2 - 4*g + 4. Let i be a(-4). Suppose 26 = z + 4. Let y = z + i. Is y a multiple of 13?
True
Let x = 39 - 23. Suppose -2 - x = -2*y. Is 9 a factor of y?
True
Suppose -o + 45 = -0*o. Suppose -4*p - p = -20. Is 235/o + p/(-18) even?
False
Let g(t) = 2*t + 8. Let c(i) = -6*i - 23. Let o(v) = 4*c(v) + 11*g(v). Let q be o(3). Let d = q - -16. Is d a multiple of 3?
True
Suppose g + 170 = 4*o, -o + 3*g = -3*o + 78. Is 7 a factor of o?
True
Let b = 2 - 4. Let r(t) = 84*t**2. Let k(l) = -17*l**2. Let s(a) = 24*k(a) + 5*r(a). Does 18 divide s(b)?
False
Let w = -92 + 186. Is 8 a factor of w?
False
Let p = 6 - 3. Let c = p + -1. Is 0 - (-48)/c - 2 a multiple of 11?
True
Let y(s) = -2*s - 5. Let w be y(-4). Suppose 0 = -w*o + 24. Is o a multiple of 5?
False
Suppose 18 = -3*k - 42. Let p = k - -38. Is 18 a factor of (-6)/(-27) + 644/p?
True
Suppose 2*m - 6 = 5*m. Let t = m + 5. Is 2 a factor of t?
False
Let g = -7 + 3. Is 382/8 + (-1)/g a multiple of 16?
True
Let u(r) be the third derivative of r**6/120 - r**5/15 + 5*r**4/24 - r**3 + 5*r**2. Is u(5) a multiple of 16?
False
Let s(c) = 56*c**2 + c. Let r be s(-1). Suppose -r - 13 = -4*b - 4*f, -4*f = 16. Is 8 a factor of b?
False
Suppose -15*c + 531 = -6*c. Is c a multiple of 9?
False
Let u = -98 + 46. Is ((-15)/(-10))/((-6)/u) a multiple of 13?
True
Suppose 0 = -4*s - s + 340. Is s a multiple of 17?
True
Let w(c) = 0*c**3 + 11*c**2 - 2*c**3 - 2 + 6*c + 3*c**3 - 3*c**2. Does 2 divide w(-7)?
False
Let p(s) = -s**3 + s**2 + 24. Let j be p(0). Suppose -i = -5*i + 4*g + j, 12 = 4*g. Suppose -3*a = 3*n - i, -7 - 6 = n + 5*a. Does 2 divide n?
False
Let d(i) = -i**2 + 3*i**3 + 3*i - 3*i**3 - 4 - i**3. Let p be d(-3). Suppose 2*s - 65 = -3*s - 4*o, p*s = 3*o + 65. Is s a multiple of 11?
False
Let r = 843 - 499. Suppose r = 5*i + 3*y, -i + 2*y - 140 = -3*i. Is i a multiple of 27?
False
Let l(v) = -v**3 - 8*v**2 - 8*v + 2. Let c(t) = -7*t**3 + t**2 - 1. Let f be c(1). Let n be l(f). Suppose n - 39 = -3*s. Is s a multiple of 10?
True
Let v(r) = 2*r**2 - 2*r - 1 - 6 - 3*r. Let d be v(5). Suppose b - d - 9 = 0. Is b a multiple of 12?
False
Let k = -11 + 19. Suppose 5*t + 190 = 4*v, -2 = 5*t + k. Is v a multiple of 12?
False
Let d be -1*1*(-6)/2. Suppose d*s = 0, s + 4*s + 50 = 5*c. Is c a multiple of 6?
False
Let j be 310/7 + (-6)/21. Suppose 55 = 3*y + 2*r, -4*y + r + j + 11 = 0. Suppose 21 + y = 2*u. Is u a multiple of 13?
False
Let n(k) = 5*k**3 + 2*k - 1. Let a(c) = -c**2 - 8*c + 11. Let p be a(-9). Suppose -4*j + p = -2*j. Is 5 a factor of n(j)?
False
Let m(p) = -p**3 + 28*p**2 - 25*p - 18. Is m(27) a multiple of 9?
True
Let k(c) be the third derivative of c**5/12 - c**4/6 - c**3/6 + 3*c**2. Is k(-3) a multiple of 14?
True
Let n = -10 - -14. Suppose 2*p - 2*t + 3*t = 13, 2*t + 38 = n*p. Is p a multiple of 4?
True
Let p = 2 + 0. Does 18 divide (p/(-4))/(2/(-128))?
False
Let k be 14/(-35) + 44/10. Suppose f - k = 1. Is 3 a factor of f?
False
Suppose 2*c - 51 = 147. Does 33 divide c?
True
Let w be -19*3*(-2)/3. Let b = -23 + w. Is 10 a factor of b?
False
Let a = 502 - 344. Is a a multiple of 44?
False
Let s be (-2)/6 + (-30)/(-9). Suppose 2*t = -2*n + 20, 2*t + 6*n = n + 14. Suppose 5*k = 2*b + 48, 2*k = s*k - b - t. Does 4 divide k?
True
Let n = -265 + 151. Let y = n + 184. Is y a multiple of 26?
False
Suppose 2*x + 3*x = 25. Suppose -3*s + 2*s - 12 = -3*z, 4*z = x*s + 5. Let a(n) = -n**3 + 2*n**2 + 3*n + 4. Does 2 divide a(s)?
True
Let q(u) = -u**2 - u - 25. Let x be q(0). Let y = -16 - x. Is 9 a factor of y?
True
Suppose -3*k + 3 = -2*k. Does 21 divide (-2)/k + 680/12?
False
Let k be (-10)/15 + 184/6. Let q = k + -21. Is q a multiple of 4?
False
Suppose -a = 3*o - 111, 4*a = -4*o - 0*o + 444. Is a a multiple of 8?
False
Let j(r) = r**3 - 6*r**2 - 7*r + 3. Let x be j(7). Let a = 7 + -5. Suppose 3*b - 189 = -x*m, 80 + 52 = a*m - b. Is m a multiple of 22?
False
Let t = -8 + -11. Let n = t + 24. Is n a multiple of 5?
True
Let b(k) = k**3 + 7*k**2 + 8*k + 6. Is b(-5) a multiple of 16?
True
Let g = -90 + 103. Is g even?
False
Let y = -11 - -16. Suppose 3 = 4*x + 7, 2 = -f - 2*x. Suppose 4*q - a - 35 - 42 = 0, f = -q + 5*a + y. Does 10 divide q?
True
Suppose -4*u - s - 5 = -20, -4*s - 20 = -4*u. Suppose u*p - 2*q - 22 = 0, 0 = 5*p - 3*q - 14 - 13. Is p a multiple of 6?
True
Suppose f = -6*f + 378. Does 24 divide f?
False
Let r(i) = -i**2 - 6*i + 9. Let l be r(-8). Let u(k) = k**3 + 7*k**2 - k + 6. Is u(l) a multiple of 9?
False
Suppose 5*d = -3*g + 303, 0*g + 179 = 3*d - g. Let w be (1 - 0)/(1/d). Suppose 5*a - w = a. Does 5 divide a?
True
Let v(t) = 2*t**3 - 5*t**2 + t + 7. Is 4 a factor of v(3)?
False
Let l(q) = -3*q + 1. Let a be (-1)/(-5) + 16/20. Let y be l(a). Is 22 + (0 - (0 - y)) a multiple of 20?
True
Is (792/110*135/2)/2 a multiple of 27?
True
Let v(y) = -y**3 + 4*y**2 + y - 3. Let o be v(4). Does 10 divide 87*(o - 6/9)?
False
Let g = 95 + 49. Is 18 a factor of g?
True
Is 3 a factor of 48/(-216) - (-1192)/18?
True
Suppose 216 = 3*q + 3*q. Let d = 12 + q. Does 16 divide d?
True
Let u = -10 - -26. Is u a multiple of 8?
True
Suppose -3*b + 0*c + 1653 = -3*c, 4*b = 3*c + 2208. Does 15 divide b?
True
Suppose 2*s - 4 + 0 = 0. Let k(l) = 0*l**2 - s*l**2 + 10 - 2*l**3 - 5 + l**3 - 3*l. Is 19 a factor of k(-4)?
False
Let y(p) = -4*p**3 + 8*p**2 - 6*p**3 - 3*p + 11*p**3. Let s = -27 + 19. Is 7 a factor of y(s)?
False
Suppose -12*c = -13*c + 4. Let m(p) = p + 5. Is 2 a factor of m(c)?
False
Let d(n) = -2*n**2 + 2*n**2 + 2*n**2 - n + 0*n**2. Is d(3) a multiple of 5?
True
Let d = 3 + -1. Suppose -j + 4 = -d*g, 0*g + 2 = 3*j - g. Suppose j = 3*z - 2*c - 102, 2*c = -2*z - 5 + 63. Does 11 divide z?
False
Let l(j) = -j**2 - 6*j - 2. Let z be l(-4). Suppose u = z - 2. Does 3 divide u?
False
Let l be 2/3 - (-236)/6. Suppose 0 = -4*t - t + l. Suppose 3*m - 2*m = t. Is m a multiple of 4?
True
Let z(i) = 274*i**3 - i**2 + 4*i - 4. Is z(1) a multiple of 21?
True
Let s(n) = -n**3 + 5*n**2 + 4*n. Is 3 a factor of s(5)?
False
Let p(u) = -3*u + 4. Let z(q) = q**3 - 8*q**2 - 2*q + 12. Let o(d) = -d**3 + 5*d**2 - 2*d. Let x be o(2). Let i be z(x). Is 8 a fa