*2 - 2. Let i be u(f). Suppose i*b + 96 = 6*b. Is b a multiple of 6?
True
Suppose -69*t + 47*t + 15444 = 0. Does 19 divide t?
False
Let w be 68 - 0 - (4 - 2). Suppose m = 3*s - 38, 0 = -5*s - 3*m + 6*m + w. Suppose -2*f = s - 126. Is 17 a factor of f?
False
Let z = -54 + 92. Let i = z + 88. Does 18 divide i?
True
Let n be 3/(-15) - (-78)/15. Suppose -20 = -0*d - 5*d - n*r, 5*d = -3*r + 28. Let t(z) = 3*z + 2. Does 23 divide t(d)?
False
Let t be 6 + 20/(-3) + (-2074)/(-6). Suppose 0 = v - 5*u - 115, 3*v + 0*u + 2*u - t = 0. Does 23 divide v?
True
Suppose 2 = -4*u + 22. Suppose 3*h + 2*l = -2, -2*l - 18 = -u*h - 0*l. Suppose -k - k + 95 = 3*b, 0 = h*b - 4*k - 42. Does 11 divide b?
False
Suppose -754 - 800 = -6*p. Suppose -2*t + 3*w = -p, t + w + 0*w - 127 = 0. Is t a multiple of 16?
True
Let a(o) = -o**3 + 10*o**2 + 2*o - 8. Let h be a(10). Let m = h + -7. Suppose -4*i + 25 + 31 = 2*q, m*q + 4*i = 146. Is 6 a factor of q?
True
Let u(c) = -3*c + 1. Suppose 65 = -5*f + 2*w, 39 = -3*f - w - w. Does 15 divide u(f)?
False
Suppose 4*u - 3*u = 5*d - 988, -3*d + 584 = -5*u. Is 27 a factor of d?
False
Suppose -4*o - 63 = -83. Suppose -w - o*w + 684 = 0. Does 19 divide w?
True
Let f(a) = -6*a - 37. Let t be f(-6). Does 11 divide t*(5 - 8) + 129?
True
Let w(n) = 2*n - 3. Let m be w(9). Let v = 24 - m. Suppose 4*b = v*b - 250. Does 26 divide b?
False
Let n be 20/7 - -3*(-5)/(-105). Is (((-42)/n)/2)/((-2)/6) a multiple of 8?
False
Does 21 divide (-10)/2 + (81 - (12 - -1))?
True
Let o = 2740 - 1900. Is o a multiple of 35?
True
Let g(l) = l**2 + 110*l**3 + l - 129*l**3 + l**2. Let q be (-2)/(-1 - -4 - 1). Is g(q) a multiple of 20?
True
Suppose -21*s + 10200 = 3*s. Is s a multiple of 18?
False
Suppose b = 6*b - 10. Let r = b + 0. Suppose 0 = d - r*d + 14. Is d a multiple of 7?
True
Let y(l) = l**3 - 2*l**2 + 5*l - 7. Let w be y(2). Does 5 divide -1 + 55 - w/(-1)?
False
Does 104 divide (((-2058)/28)/(-7))/(1/208)?
True
Suppose -t + 0*t = -130. Let y(x) = -x**2 - 33*x - 112. Let w be y(-29). Suppose 76 = 2*k - 2*f, -5*k + t = -w*f - 63. Does 17 divide k?
False
Suppose -5*v = 5*m - 35, 23 + 8 = 5*v + 4*m. Let c(j) = 4*j**3 + 4*j**v + j - 5*j**3 + 15 - 2*j**3. Is c(0) a multiple of 2?
False
Let n = -6377 - -9199. Is 30 a factor of n?
False
Suppose 0*n - 4*n + 1264 = 3*v, -4*v = -5*n - 1675. Is 14 a factor of v?
True
Suppose 17*y = -159 + 1094. Suppose a = -2*c + 35, 5*a - y = -0*c - 2*c. Is c even?
False
Suppose d = -p - 0*d + 27, 5*p + 3*d = 137. Suppose 77 = -5*k + 22. Let u = p + k. Is 6 a factor of u?
False
Let u(m) = m**3 - 3*m**2 - 3*m - 1. Let o be u(3). Let d = -8 - o. Suppose i + 4*a - 74 = -d*i, -i + 46 = -4*a. Is 17 a factor of i?
False
Suppose 10*v = 13*v - 363. Suppose 2*o - 171 = w, -o + 2*w - 43 + v = 0. Is 11 a factor of o?
True
Let m = 6 + 36. Let d = 62 - m. Does 10 divide d?
True
Suppose -2*o + 864 = 5*c, -3*o + o + 2*c + 836 = 0. Does 53 divide o?
False
Let i(h) = -3*h**2 - 4*h + 3. Let r be i(-4). Let a = -74 - r. Does 4 divide (-9)/a + (-59)/(-5)?
True
Suppose -5*j + 42 = 4*o, 2*j = -0*o - 3*o + 21. Suppose -2*z - 24 = 4*s, -5*z + 3*s + j = 1. Is 5 a factor of ((-3)/z)/(3/20)?
True
Suppose 0 = -3*w - 72 + 6. Let d = -50 - -95. Let o = w + d. Is o a multiple of 23?
True
Let w(i) be the third derivative of i**4/4 - 16*i**2. Is w(11) a multiple of 15?
False
Let l(y) = -y + 8. Let g be l(4). Suppose n - g*n = -6. Suppose 0 = -3*p + n*u + 40, -3*u + 5 = -p + 3*p. Is p a multiple of 5?
True
Let c(z) = z**2 - 4*z - 8. Let p be c(6). Let j(b) = 4*b - 10. Let y be j(p). Is 4 a factor of y/(-21) + (-640)/(-35)?
False
Suppose 0*o - o = -25. Let d = o - -14. Suppose 5*m - 96 = d. Is 6 a factor of m?
False
Let g = -40 - -28. Let o(r) = r**3 + 5*r**2 - 14*r - 14. Let l be o(-7). Is 3*l*4/g a multiple of 7?
True
Let n(y) = -y**3 - 13*y**2 - 15*y - 16. Suppose -3*d = h + 15, -2*d + 46 = -3*h - h. Does 5 divide n(h)?
True
Let p = 445 - 373. Is p a multiple of 18?
True
Suppose 0 = 38*k - 21*k - 1870. Is 5 a factor of k?
True
Let f(n) = -n**3 + 4*n**2 - 2*n - 3. Let k be f(5). Let d = k + 32. Let h(b) = -b**3 - 3*b**2 + b + 1. Is h(d) a multiple of 19?
False
Let w(h) = h**2 + 30*h + 2257. Does 61 divide w(0)?
True
Suppose -2265 - 1775 = -8*n. Does 13 divide n?
False
Let r be 10/(-4)*(-198)/(-15). Is 60 a factor of 90/7*(-616)/r?
True
Suppose 4*i + 5*p = 1235, -2*i - p = -6*i + 1265. Is 10 a factor of i?
False
Suppose -10 = -r - 4*r. Suppose s = r*s. Suppose s = k - 2*k + 30. Does 10 divide k?
True
Let w be 0 + (2 - 1) - -2. Let d(p) = 7*p**2 + 3 + 3*p**2 - w*p**2 + 0 - 4*p. Is 8 a factor of d(2)?
False
Let c be 807/9 - (-4 - (-28)/6). Suppose 3*i - 98 + c = 0. Does 3 divide i?
True
Let f be 55/(-25)*-8 - 2/(-5). Suppose n - 2*n = -f. Does 2 divide n?
True
Let q be 0 + 4 - -97 - 2. Let r = q - 45. Is 27 a factor of r?
True
Suppose 2*d + 2*d + 144 = 0. Let f = -30 - d. Is f a multiple of 6?
True
Let u be 57/(-38)*(1 + 3). Let g = 10 + u. Suppose 0 = -3*c - 4*q + 9, q + 4*q + 43 = g*c. Is 3 a factor of c?
False
Does 12 divide -3 - (-35)/(-10)*-210?
True
Let y(i) = 2*i - 5. Let b be y(-5). Let g = b + 20. Suppose g*w = 2*l + 330, w - 39 = -5*l - 0*l. Does 16 divide w?
True
Let v(p) = 14*p + 15. Let b = 22 + -29. Let n be v(b). Let i = n + 122. Does 13 divide i?
True
Let j be 1/((4/10)/(4/5)). Suppose -20 = 5*b, 3*b + 114 = -0*a + j*a. Does 22 divide a?
False
Suppose p - 9 = -2*o, 5*o + 0*p = 5*p - 15. Suppose 4*h - 142 = 2*q, -o*h + 87 = -5*q + 20. Is h a multiple of 12?
True
Suppose 5*r - 3 = -4*s, -3*s - 3 = 3*r + s. Suppose 2*k + 11 - r = 0. Is 22 a factor of ((-11)/2)/(k/48)?
True
Let m(a) = 11*a**2 + a + 2. Let f be m(-3). Let r be 5/2*-2*13. Let h = f + r. Does 14 divide h?
False
Let g be -285*-3*(-8)/(-60). Let c = g - 105. Is 6 a factor of c?
False
Let m = 19 - 8. Suppose m*y = 7*y + 44. Is y even?
False
Suppose -127 = -5*i + 2*n, i + 3*n - 15 = 7. Does 25 divide i?
True
Is (61 - (-50)/10)/(1/6) a multiple of 12?
True
Suppose 0*d - 3*d = -2*u + 1768, -5*u = -4*d - 4406. Is 28 a factor of u?
False
Suppose -6*i + 281 + 943 = 0. Is i a multiple of 12?
True
Let t be 7/2 + 27/(-18). Suppose 0 = 2*j + 4*r - 86, 3*r + r = t*j - 46. Is 5 a factor of ((-22)/j)/((-2)/45)?
True
Let o be -1 + ((-9)/3)/(-1). Let t(f) = 1 + 2 + 5*f + 3*f + f**o + 1. Is t(-11) a multiple of 18?
False
Suppose -x + 3 = -s + 4*x, -5*s = 5*x - 15. Suppose 2*n - 219 = -5*p, -4*n - 9 = -s*p + 93. Is 10 a factor of p?
False
Suppose 0*w + 156 = 3*w - 3*d, -4*w = -3*d - 209. Let o = 68 - w. Is o a multiple of 15?
True
Let h be -6 + (1 - -2) - -48. Suppose 0 = -6*g + g + h. Is 4 a factor of g?
False
Suppose -4*a + 42*y + 4892 = 44*y, -4*a = -3*y - 4902. Does 24 divide a?
True
Is 14/175 + 88746/50 a multiple of 29?
False
Let s = -288 + 349. Is s even?
False
Let h(k) = 3*k**3 - k**2 - 3*k + 3. Let u be (-12)/(-5) + (-8)/20. Does 17 divide h(u)?
True
Suppose 16 = 5*h - 14. Suppose h*j = j + 920. Suppose -6*t + j = -4*t. Is t a multiple of 23?
True
Suppose -7*c - 1240 = -12*c. Let b = 376 - c. Is 16 a factor of b?
True
Suppose 0 = 6*w + 9*w - 1200. Is w a multiple of 5?
True
Let h(f) = -f**3 + 18*f**2 - 17*f + 2. Let r be h(17). Suppose 0 = -0*d - r*d + 76. Is d a multiple of 15?
False
Suppose 3*l - 5*s - 59 = 0, 0 = 2*s - 3*s - 1. Suppose 6 = 4*r + l. Is (-196)/r - 16/(-24) a multiple of 22?
True
Let h = 66 - 16. Let j = -24 + h. Is 24 a factor of j?
False
Let m = 6 + -1. Suppose -2*l = -5*t + 20, -m*t + 20 = -2*l + l. Suppose -n - 6*u - 6 = -2*u, -t*n = -u - 10. Does 2 divide n?
True
Suppose f - 3 - 1 = 0. Suppose 0*a + 27 = m - f*a, 4*m - a = 168. Does 15 divide m?
False
Let r be 4 + -5 + -61 + 1. Let z = 0 - r. Is z a multiple of 20?
False
Suppose i - 45 = -3*n, n - 4*i + 6 = 34. Let o(v) = -3*v - 4. Let s be o(3). Let x = n + s. Does 2 divide x?
False
Let y = 553 - 364. Is y a multiple of 9?
True
Suppose 3*m + 3*w + 35 = -w, 2*w - 15 = m. Let z = m + 3. Is 8/(-10)*z/2 a multiple of 2?
True
Let f(p) = 71*p**2 - 3*p - 1. Let r be f(-2). Suppose 3*b - 83 = r. Let i = 198 - b. Does 20 divide i?
False
Let u(f) = -3*f**3 + 22*f**2 + 7*f + 14. Is u(7) a multiple of 56?
True
Let q(g) be the second derivative of -47*g**6/120 - g**5/30 - g**4/12 + 4*g**2 + 6*g. Let n(z) be the first derivative of q(z). 