 Does 16 divide t?
True
Let w(v) = 5*v - 16. Suppose 255 = 8*b - 5*b. Let p(t) = -70*t + 225. Let h(y) = b*w(y) + 6*p(y). Does 8 divide h(6)?
False
Let o(k) = k**2 + 3*k - 3. Let q be o(-5). Suppose 18 = q*m - 4*m. Suppose 30 - m = 3*f - 3*d, 3*d + 38 = 5*f. Does 6 divide f?
False
Suppose -39*c + 240 = -150. Is 7 a factor of c?
False
Is 337 + ((-3)/(-4) - (-104)/32) a multiple of 8?
False
Let p(i) = 2*i**3 - 15*i**2 + 8*i + 5. Let r = 57 - 50. Does 6 divide p(r)?
True
Let v(w) = w**3 + 6*w**2 + 2. Let b be v(-6). Suppose -340 = -b*g + 184. Suppose 5*h = 2*u + 324, -4*h - 3*u = -6*u - g. Does 16 divide h?
True
Let k = 17 - 17. Suppose n - 5*j - 276 = k, -141 - 129 = -n + 2*j. Suppose 3*q = h + n, h - 262 = -2*q - q. Is 22 a factor of q?
True
Let h = -4 - -12. Suppose -t + h + 29 = 0. Let s = t + -22. Is s a multiple of 3?
True
Let b(l) = l - 2. Let n be b(4). Suppose -h - 61 = -n*p, -3*p - 2*h + 86 = 2*h. Suppose -s = -5*s - i + p, 0 = -2*s - 4*i + 8. Is s a multiple of 2?
True
Let c = -6 - -22. Suppose s = -3*d + 26, 2*s + 5*d = 14 + 34. Suppose 5*b - c = s. Is b a multiple of 5?
False
Suppose 0 = 4*z - 0*z. Suppose z = -13*l + 9*l. Suppose 146 = 4*y + g, -g + l + 2 = 0. Does 12 divide y?
True
Let y = -15 + 27. Suppose 708 = y*n + 144. Does 6 divide n?
False
Let b = 1836 + -1149. Is b a multiple of 21?
False
Let g(m) = -m**3 + 9*m**2 - 9*m + 5. Let a be g(8). Let f = a + 39. Suppose -f = 3*t - 5*t. Is t a multiple of 9?
True
Suppose 0 = 5*n - 10, 5*n + 12 - 50 = 4*h. Is 31 a factor of (-3 - 19/(-7)) + (-653)/h?
True
Is 23 a factor of 1/(-2) + ((-1590)/(-4) - 5)?
False
Let q = 418 + -269. Is 8 a factor of q?
False
Let r(n) = -2*n**3 - 15*n**2 - 7*n. Let l be r(-7). Suppose l = -6*q + 2*q + 140. Is 7 a factor of q?
True
Suppose a = -3, -5*v + a + 1775 = 6*a. Is v a multiple of 9?
False
Suppose -5*d - 5*k + 76 = -4*d, 284 = 3*d + k. Is d even?
True
Suppose -17*o + 8632 = 35*o. Is o a multiple of 3?
False
Suppose 3*p - 12 + 65 = h, 264 = 4*h + p. Is h a multiple of 8?
False
Suppose 0 = 2*t + 3*t. Let u be 20*(t - (-4)/(-5)). Does 8 divide (u/6)/((-5)/30)?
True
Suppose -7*b + 10519 = -10985. Is 96 a factor of b?
True
Suppose 3*o - 3 = 0, 4*j + 4*o + 61 = 637. Suppose j = 10*m + m. Is m a multiple of 13?
True
Suppose -9*p + 210 = -3*p. Suppose f = p + 28. Is f a multiple of 21?
True
Let r = 44 - 27. Let g = r - 15. Suppose 0 = -g*m - 2*m + 152. Is m a multiple of 15?
False
Let r(y) = 3*y**2 - 3*y - 14. Let b be ((-4)/(0 - 4))/(-1)*-7. Is 14 a factor of r(b)?
True
Let p(y) = -y**2 - 7*y + 10. Let q be p(-7). Suppose -3*f = -f - q. Suppose -2*b + 19 = 5*z - 17, f*b = -2*z + 132. Is 14 a factor of b?
True
Let a be 36*(-2 + 0)/4. Let p = a + 53. Let y = -23 + p. Does 8 divide y?
False
Suppose 200 = -24*c + 22*c. Let s = 12 - c. Does 16 divide s?
True
Let s(p) = -3*p**3 + 3*p**2 - 2*p. Let c be s(2). Let k = c + 32. Is 5 a factor of k?
False
Let g = 140 + -53. Let s = g + -18. Is 23 a factor of s?
True
Suppose -4*w = -5*w - 7. Let g(p) = 2*p**2 + 9*p + 6. Is g(w) a multiple of 20?
False
Suppose 4*g - 2*g = 0. Suppose 2*d + 3*d - 280 = g. Suppose y + y - d = -2*q, 10 = -5*y. Is 17 a factor of q?
False
Is (-14 + 253)*2/2 a multiple of 23?
False
Let d = 33 + -20. Let c(q) = q - 10. Let o be c(d). Suppose -2*t = o*t - 105. Does 7 divide t?
True
Let r(b) = b**3 - 6*b**2 + 2*b - 8. Let y be r(6). Suppose -24 = -i + 2*g, y*i - 5*g - 24 - 75 = 0. Is 13 a factor of i?
True
Let g(r) = 30*r - 5 - 24*r - 8 + 2. Does 13 divide g(4)?
True
Suppose 379 = 14*o - 2617. Is o a multiple of 10?
False
Let t(b) = 12*b - 55. Let j be t(5). Does 18 divide 1/(-5) + j + (-496)/(-5)?
False
Let p(y) = -16*y - 7. Suppose 3*t - 4*w = 4*t, -5*t - 2*w = 0. Let k = t + -3. Is 19 a factor of p(k)?
False
Let d(i) = -9*i - 7. Let a(r) = -r**2 - 5*r + 19. Let j be (-32)/(-12)*3/(-1). Let v be a(j). Does 19 divide d(v)?
True
Is (-2 + -4 - -18)*48 a multiple of 48?
True
Let l(n) = -2*n + 8 + 2*n**3 - 3*n**3 - n + 5*n**2 + 4*n. Let o = 4 - 0. Is 14 a factor of l(o)?
True
Let z(g) = -2*g**2 + 14*g**2 + 3*g - 4 + 5. Does 11 divide z(2)?
True
Let r(l) = -l**2 + 1. Let p = 22 - 18. Let h be r(p). Does 25 divide (h/12)/((-2)/120)?
True
Let o be (96 - 0)*(-3)/(-2). Suppose 4*s = -5 + 9. Is ((-19)/(-38))/(s/o) a multiple of 24?
True
Suppose 31 = -r + 4*q, 3*r + 2*q = -0*q - 37. Let p be 52/3 - 10/r. Is 1156/18 + p/(-81) a multiple of 16?
True
Let n = -6 + 7. Suppose -14 = p + n. Let f = p + 75. Is 22 a factor of f?
False
Let b(i) = -i**3 + 7*i**2 - 5*i - 4. Let q be b(6). Suppose -t - q*k + 58 + 34 = 0, -9 = -3*k. Is t a multiple of 16?
False
Let u(q) = -q**3 - 2*q**2 - 2*q. Let p be u(-2). Let x be ((-20)/(-8))/(2/4). Suppose -v - 3*s - 2 = -48, -p*v = -x*s - 150. Does 9 divide v?
False
Suppose -45 = 6*l - 9*l. Suppose 5*s - l = -0. Suppose c - 4*g = -2, -5*g - 3 = -s*c + 5. Is 6 a factor of c?
True
Let n(j) = j - 2*j**3 + 5*j**2 - 9*j - 15*j**2. Is n(-6) a multiple of 15?
True
Is 15128/36 - 3/81*6 a multiple of 21?
True
Suppose -2*k + 5*z + 8 = 0, 3*k + 0*k - 26 = 4*z. Suppose h - m - k = 0, -3*m = 2*m - 10. Does 4 divide h?
True
Let a(q) = q - 1. Let m be a(-5). Let x(p) = -5*p - 2. Is x(m) a multiple of 11?
False
Let x = -51 + 23. Suppose -16*a - 5*q = -20*a + 176, 5*q - 44 = -a. Let s = x + a. Does 8 divide s?
True
Let y = -19 - -23. Let q be 0/(y/4 + 0). Suppose 2*n - 185 = 5*u, q*n - n - 2*u = -70. Is n a multiple of 20?
True
Let l(u) = 2*u**3 - 9*u**2 + 3*u - 2. Let y(n) = -n**3 + n**2 + n. Let b(h) = -l(h) - 3*y(h). Let q be b(-7). Is (-3)/q - 192/(-30) a multiple of 3?
False
Let m(q) = q**2 + 12*q. Suppose z + z + 34 = -5*y, y + 14 = -z. Let g be m(z). Suppose -18 = -5*n - 4*b, g*n + 5*n - 24 = -2*b. Does 3 divide n?
True
Suppose -17*r - 1264 = -4324. Is r a multiple of 20?
True
Let q(b) = -b**3 + 2*b**2 - 6. Let o be q(0). Let g be o/5*680/51. Is -4 - (-2 + -2 + g) a multiple of 3?
False
Suppose 7*f - 2*f + 4*x = 92, -2*f - 3*x + 34 = 0. Let m = f + -12. Is 4 a factor of m?
True
Is 4 a factor of (1/2)/(4/5128)?
False
Let r(p) = -p**3 + 16*p**2 - 22*p - 20. Let m be r(10). Suppose m = -3*b + 6*b. Is 24 a factor of b?
True
Let t = -1574 + 1618. Is t a multiple of 11?
True
Suppose -316 = 5*z + 2*n, 2*n + 3*n = -z - 77. Let m = z + 107. Does 12 divide m?
False
Let b = -75 - -78. Suppose -f + m = -88, 11*f - 366 = 7*f - b*m. Does 36 divide f?
False
Suppose 4*i - 20 = 4*f + 2*i, -5*f + i = 31. Let p = 31 + -14. Let q = p + f. Is 10 a factor of q?
True
Suppose 2*t + g = -3*g - 8, -8 = 4*g. Suppose t = 2*c + 13 - 43. Does 5 divide c?
True
Let i be 9/(-15) + (-6)/15. Let m be 2*(i + -14 - -1). Let s = -20 - m. Is s a multiple of 8?
True
Suppose -2*f + 3*q = -2*q + 21, -5*q = -25. Let o(k) = -4*k - k**f - 21 - 6*k - k. Is 5 a factor of o(-6)?
False
Suppose -973 = -2*r - 0*x + 5*x, x = -3*r + 1502. Is r a multiple of 15?
False
Suppose -16 = -4*t - 0. Suppose t*y - 23 = 17. Does 3 divide y?
False
Let f be 2/3 + (-10)/15. Suppose -2*o + 18 + 42 = f. Is o a multiple of 14?
False
Let x(m) = 145*m. Is 6 a factor of x(1)?
False
Let c be (213/(-6) - 0)*-6. Suppose -3*s - n - 3*n = -174, 0 = -4*s + n + c. Is 27 a factor of s?
True
Let b be (-10)/(4/(-172)*2). Suppose 0 = -4*w - w + b. Is 21 a factor of w?
False
Suppose 543 = 3*d - 4*m - 1006, -d - 4*m + 511 = 0. Is d a multiple of 57?
False
Suppose 5*l - 58 = -13. Let k be 24/(-10)*(-60)/l. Is k + -2 + 3 + -3 a multiple of 14?
True
Let i be (-16)/(-12)*1 - (-2)/3. Suppose 2*a - 4*a + i*t + 128 = 0, -292 = -4*a - 5*t. Is a a multiple of 17?
True
Let s(i) be the third derivative of -37*i**6/120 + i**5/30 + i**4/12 + i**3/6 - i**2. Suppose -19*n = 24 - 5. Is 19 a factor of s(n)?
True
Suppose 7*j + 10*j = 7106. Is j a multiple of 19?
True
Let n be (45/12)/(1/48). Let k be 1/3*0/4. Suppose -4*s = -4*g + n, k = -g + 5*s + 55 + 2. Does 21 divide g?
True
Let v be 2*(-3 + -2 + -33). Let b = 91 - 144. Let c = b - v. Is 14 a factor of c?
False
Let g be (-9)/18 + 14/4. Suppose 69 + 36 = g*a. Is a a multiple of 5?
True
Suppose 4*p - 15 = 57. Suppose 3*y + p = 6*y. Is y/8 - 30/(-24) even?
True
Suppose 1 = 2*l - 1. Let a be (l + 3)/(19 - 18). Is 22 a factor of a/(-10)*(-8515)/26?
False
Let d(p) = 2*p + 3. Let x be d(5). Let z = 1038 + -1045. Let q = x + z. Does 2 divid