0 = a - b*t - 101, -2*t - 96 = -2*a + a. Is a a multiple of 16?
False
Suppose -4*d + 5*d - 2 = 0. Let l be (48/(-56))/(d/42). Let h = l + 20. Is 2 a factor of h?
True
Let g = 1774 - 1192. Does 57 divide g?
False
Suppose -54 = -10*u + u. Is 9 a factor of 18/(u*4/112)?
False
Suppose -h + 3694 = 5*q, -5*q - 4*h + 2014 + 1692 = 0. Is q a multiple of 4?
False
Suppose 0 = -4*r + 8, 2*r + 2*r - 16 = -4*w. Suppose w*n - n = -5*p + 168, 93 = 3*p - 2*n. Is 11 a factor of p?
True
Let u(a) be the third derivative of -a**4/24 + 11*a**3/6 - 2*a**2. Let t be 24/6 - (-2 + 3)*4. Is 3 a factor of u(t)?
False
Let o be ((-28)/20 - -1)*-5 + -2. Suppose 3*n + 33 = i - o*i, -2*i = 2*n - 58. Is i a multiple of 6?
True
Is ((-2)/(-1))/(26/1677) a multiple of 12?
False
Suppose 22*m - 18*m - 220 = 0. Suppose -4*z + 5*z = m. Is z a multiple of 11?
True
Suppose 2*p + 5*x - 1505 = 0, 8*x + 20 = 12*x. Does 29 divide p?
False
Suppose -51*w = -49*w - 1836. Is 34 a factor of w?
True
Suppose 2*f + 894 = 4*f. Let c = f + -177. Is c a multiple of 15?
True
Let r = 241 - 133. Let d = r - 64. Suppose -4*k = d - 180. Is 9 a factor of k?
False
Suppose -4*r + 5*y = -6216, -41*r - 3108 = -43*r + 2*y. Is 74 a factor of r?
True
Let v be -2 + (-9)/(-3) - 4. Let t be 3 + (v + 3 - -1). Suppose -s + 2*g + 63 = 3*g, -315 = -5*s + t*g. Is 12 a factor of s?
False
Let o(c) = c. Let b(a) = -18*a - 38. Let q(d) = -b(d) + 10*o(d). Is 39 a factor of q(7)?
True
Let k be 5/(-3)*(3 + 0). Let s(y) = -2 - 1 - 6*y**2 + 8*y**2 + 2 - 3*y. Does 15 divide s(k)?
False
Suppose 4*l = v + 352, 3*v + 144 = 5*l - 289. Does 3 divide l?
False
Suppose -48*s + 33*s + 6525 = 0. Is 29 a factor of s?
True
Suppose x + 4 = 0, -2*x - x = -p + 17. Let a(j) = 2*j**3 - 10*j**2 + 8*j - 5. Is 7 a factor of a(p)?
True
Let l = 5 + 0. Let r be (l/3)/(2/6). Does 5 divide (-2 - -1)*(r + -20)?
True
Suppose 119*m = 117*m + 2*w + 3630, 3*w + 9069 = 5*m. Is m a multiple of 12?
True
Suppose 5*g - 25 = -0*g, -5*h + g + 4020 = 0. Is h a multiple of 34?
False
Let s = 92 - 61. Let h = 56 - s. Does 9 divide h?
False
Let a(d) = 29*d + 2. Let u be a(-2). Let q = u - -121. Is 13 a factor of q?
True
Let r be ((-12)/(-30))/((-1)/(-90)). Let m = r - -7. Is 5 a factor of m?
False
Let t = 102 - 104. Is 8 a factor of 12 - (t/(-6))/((-9)/(-108))?
True
Suppose -2*q = -o + 7, -17 = -3*o + 2*q + 2*q. Let n(g) = g**3 - 4*g**2 + 2*g + 4. Let a be n(o). Suppose a - 23 = -2*c. Does 7 divide c?
False
Suppose -i + 2*i = 5. Suppose 2*x + 3*u + 1 = -3, i*u + 40 = 5*x. Suppose 5*w - t - 39 = 0, 19 = 3*w + 2*w + x*t. Does 3 divide w?
False
Suppose 5*x = b + 25, 0 = -b - 4*b + 3*x - 15. Suppose -5*k + 205 - 10 = b. Is 8 a factor of k?
False
Suppose 3*u = -3*a + 135, a + 4*a = 4*u + 216. Does 2 divide a?
True
Suppose -2*r + 6 = -0*r. Suppose 4*l - 7 = -f, l + 4*l = -r*f. Suppose -h + 3*m = -51, l*h - 5*m = -6*m + 163. Is 18 a factor of h?
True
Let d(l) = l**3 + 3*l**2 - 9*l - 13. Let m be d(-4). Does 10 divide (-12)/(-126)*m + 418/3?
True
Let a be (-10)/15 - 4/(-6). Suppose a*z = -4*z. Suppose z = -2*j + 4*j - 48. Is j a multiple of 9?
False
Let d(u) = 34*u - 2. Let y be d(1). Let s = -28 + y. Suppose -s*a + 145 = w, -2*a + 2*w = w - 65. Does 7 divide a?
True
Suppose 0 = 5*w - 2*j - 126, -3*w + j = -85 + 9. Let x be (-15)/(-4)*32/6. Let k = w - x. Does 3 divide k?
True
Let i(u) be the first derivative of u**4/4 - 8*u**3/3 + 2*u**2 - 3*u - 4. Suppose -23 = -5*p + 17. Does 29 divide i(p)?
True
Suppose -5*p - 168 = 7*p. Is p + 18 + 17/1 a multiple of 17?
False
Let t(j) = -j**3 - 12*j**2 - 10*j + 16. Let l be t(-11). Let o = 2 + l. Suppose 5*n - o*n + 28 = 0. Is n a multiple of 14?
True
Suppose 4*b - 4*n + 6 = -2, -5*b + 3*n - 6 = 0. Suppose r - 4 = -b*r. Suppose 0 = -2*j + 2*h + 200, 3*h = -r*j - 139 + 553. Is j a multiple of 30?
False
Let o be (-54)/(-30)*(-10)/(-3). Let h be ((-74)/o - 2)*-18. Suppose -5*i + h = -177. Is i a multiple of 22?
False
Let z(r) = -9*r - 3 - r**2 + 3*r**2 + 6 - 3*r**2. Let l be z(-9). Suppose -11 - 19 = -l*o. Is 3 a factor of o?
False
Let x(g) = g**3 + 4*g**2 + g - 1. Let z be x(-2). Suppose -23 = -z*j + 17. Does 2 divide j?
True
Let a(t) = -12*t**2 + 83*t - 32. Is a(6) a multiple of 11?
False
Let p = 341 + -221. Is 40 a factor of p?
True
Suppose -71*c = -69*c - 3534. Does 35 divide c?
False
Let v(t) = 1. Let y(b) = 3. Let j(x) = 5*v(x) - 2*y(x). Let c(a) = -a**2 - 6*a - 12. Let h(z) = -c(z) + 6*j(z). Is h(-6) a multiple of 6?
True
Is 8 a factor of (-1344)/72*(-1 + -5)?
True
Let k = -10 - -11. Let c be (k - -3) + 4/2. Let g = c + 10. Is g a multiple of 8?
True
Suppose -v + 4*z - 7 = 0, -4*v + 37 = v + 4*z. Suppose -4*o - 37 = -v*g - 5, -3*o = 5*g - 11. Is 4 a factor of g?
True
Suppose 0*v - 25 = -5*v. Let h be (v*10)/(2/4). Let i = h - 68. Is i a multiple of 16?
True
Suppose 3*p + 3*w = 4*w + 11, 3*w + 12 = 2*p. Let h be 26 + 1*(p + -2). Is 14 a factor of (-18)/h*(-186)/4?
False
Suppose -1 = -2*v + 4*v - 5*r, 0 = 4*v + 4*r - 12. Suppose -15 = -v*u - 7. Is (-4)/u - 0 - -9 a multiple of 3?
False
Let b(c) = c**3 - 4*c**2 - 7*c + 12. Let n be b(5). Suppose -n*k = -4*a - 216, -5*k - 2*a - a = -579. Is 19 a factor of k?
True
Let x(j) = -4*j + 14. Let b(c) = -c**3 - 11*c**2 - 9. Let y be b(-11). Is x(y) a multiple of 25?
True
Suppose 3*a + 40 = 5*v, 0*a = 5*a + 2*v + 15. Let j = a - -249. Does 26 divide j/(-6)*6/(-4)?
False
Suppose 0 = -30*v - 29909 + 90329. Is v a multiple of 19?
True
Let y(k) = k**2 + 3*k - 11. Is 17 a factor of y(-7)?
True
Suppose -2*o + 120 = -6*o - v, 2*v = -5*o - 150. Does 18 divide -6*2/o - 178/(-5)?
True
Suppose 3*y + 287 = 5*p, 0*p - 53 = -p + 5*y. Suppose 0 = 5*u - 388 + p. Suppose -u - 42 = -3*i. Does 12 divide i?
True
Suppose 0 = -3*w - 2*o + 6, o = -4*w + 13. Is 24 a factor of ((-4)/(-10))/(w/720)?
True
Let f(v) = 89*v**2 - 16*v - 27. Is f(-2) a multiple of 3?
False
Let a = 532 - 196. Is a a multiple of 17?
False
Let y = -505 - -1626. Is 10 a factor of y?
False
Let u(b) = -b**3 + 7*b**2 - b + 4. Let l be u(7). Is (l/(-3))/(2 + 530/(-266)) a multiple of 19?
True
Is 37 a factor of (-5322)/4*(-10 + 280/30)?
False
Is (465 + -1)/((-64)/(-192)) a multiple of 8?
True
Let c(m) = m**2 - 2*m + 6059. Let f(j) = -2*j**2 + 4*j - 12117. Let t(p) = -7*c(p) - 3*f(p). Let q be t(0). Does 24 divide 4/(-18) + q/(-63)?
True
Let r(m) = -7 - 14*m - 11*m + 14*m**2 - m**3 + 21*m. Does 22 divide r(13)?
True
Is 64 a factor of -2*(-1)/2 - (-40 + -1457)?
False
Suppose 4*q = 4*f, 3*f + 3*q - 24 = -0*q. Suppose -f*k = k - 30. Let w(v) = 9*v - 3. Does 17 divide w(k)?
True
Suppose k + 4*y = 34 - 13, 5*k - 5*y - 5 = 0. Let n = 23 - -33. Suppose k*c - n = 49. Is c a multiple of 12?
False
Let c(j) = -12*j + 36. Suppose 0 = -4*d - 3*t - 28, -2*t - 3*t = 0. Is 15 a factor of c(d)?
True
Let d be 3 + 1 + 12/(-4). Does 5 divide 1 - d - (-41 - 2)?
False
Let w(r) = 2*r**3 + 3*r**2 - 3*r + 2. Let c be w(2). Suppose l = 7*l - c. Suppose -16 = -l*g + 92. Does 5 divide g?
False
Suppose 0 = -l - 2*m + 3, 0*m = 2*l + 2*m - 16. Suppose 0*f - f + 5*v - 10 = 0, l = 5*f - 4*v. Suppose 19 = 3*u - u - f*w, -2*u - 5*w = -29. Does 4 divide u?
True
Let h(c) = -13*c - 6. Is 4 a factor of h(-10)?
True
Is 49 a factor of 5/2*(2 + 1302/35)?
True
Suppose 4*g - 10*g - 150 = 0. Suppose -53 = -y + i, 2*i + 24 = -4*y + 212. Let u = y + g. Is u a multiple of 8?
True
Suppose 2*p = -5*b + 14, -b - b = p - 7. Is 39 a factor of p + 183 - (1 - 6)?
True
Let w(y) = -y**2 - 17*y + 13. Let b be w(-18). Let x be 0/(4/(-10)*b). Suppose -3*t - o + 16 = -0*t, -5*o - 10 = x. Is t a multiple of 3?
True
Let s(a) = 14*a - 2. Let q(h) = -2*h - 7. Let f be q(-4). Does 6 divide s(f)?
True
Let m(c) = -72*c**3 + 4*c + 8. Is 9 a factor of m(-2)?
True
Let f = -62 - -80. Let i = f + 73. Is i a multiple of 23?
False
Let t(q) be the third derivative of -q**4/8 - 10*q**3/3 + 2*q**2. Suppose 5*s + s + 48 = 0. Is t(s) a multiple of 4?
True
Suppose -1406*u = -1404*u - 896. Is 32 a factor of u?
True
Suppose -2520 = -15*i + 9*i. Is 15 a factor of i?
True
Let o(a) = -2*a + 36. Let b(y) = -y**3 + 5*y**2 - 3*y + 2. Let s be b(3). Is 14 a factor of o(s)?
True
Suppose -26*m + 15*m + 3410 = 0. Is 5 a factor of m?
True
Suppose 268 - 1808 = -10*n. Does 34 divide n?
False
Let n(s) = -8*s + 2. Let v be n(-2). Does 9 divide (v/