+ a - 33, 75 = 6*t - t + i*a. Is t a multiple of 6?
True
Let a be (-166)/(-8) + (-12)/16. Suppose a*h = 26*h - 66. Does 7 divide h?
False
Suppose -10*s + 24 = -7*s. Let u(a) be the first derivative of -a**2/2 + 19*a - 1. Is u(s) a multiple of 5?
False
Suppose 0*q + 2*q = 68. Is 19 a factor of q?
False
Suppose 0 = -x + 5*u + 755, -78 - 3008 = -4*x - 2*u. Does 16 divide x?
False
Let t = 28 - -33. Suppose -w - d + t = 0, -5*w - d + 3*d + 333 = 0. Is 14 a factor of w?
False
Suppose -5*i = -3*d + 2031, -5*d + 0*d + 3407 = -i. Is 62 a factor of d?
True
Let f = -508 - -778. Is f a multiple of 15?
True
Let c(s) = 109*s + 143. Is 21 a factor of c(6)?
False
Let n(p) = 3*p - 9. Let t be n(15). Let y = t + -30. Does 4 divide y?
False
Suppose 23*d - 502 = 4. Is d a multiple of 3?
False
Let u(c) = 10*c**3 + 2*c**2 + c + 5. Let z be u(3). Suppose -w - z = 3*w. Let n = 3 - w. Does 19 divide n?
False
Let k be 5/(-10) - 12/8. Let h be (-9933)/(-42) - (-1)/k. Let t = h - 137. Is t a multiple of 21?
False
Is 4 - ((-504)/6 - -9) a multiple of 16?
False
Suppose -7*f = -2*f - l + 554, -2*l - 2 = 0. Let u = -101 - f. Does 5 divide u?
True
Let m(n) = n**3 + 7*n - 1. Let j(g) = 2*g**3 + g**2 + 6*g. Let s(q) = -6*j(q) + 4*m(q). Does 26 divide s(-3)?
True
Let o(l) = l**3 - 4*l**2 - 7*l + 7. Let h = 27 + -21. Is o(h) a multiple of 6?
False
Let p(c) = 14*c + 12. Let u(b) = -b + 1. Let w(a) = -p(a) + 4*u(a). Is w(-5) a multiple of 41?
True
Does 57 divide 2132*((-15)/6)/(-5)?
False
Suppose 5*z = 5*i, -3*i - 2*z + 32 = 3*z. Is 11 a factor of (i - -9)/(2/4)?
False
Suppose -5*r = -4*n - n - 10, 5*n + 2*r = -24. Let s = n - -9. Is 11 a factor of s/2*(13 - 5)?
False
Let y(s) = 5*s**2 - 7*s + 5. Let v(z) be the second derivative of -z**4/2 + 7*z**3/6 - 3*z**2 - 2*z. Let a(m) = 4*v(m) + 5*y(m). Is 3 a factor of a(8)?
True
Suppose 4*q - 1 = -2*k + 1, 3*q = 4*k + 29. Suppose -q*c + 6 = -5*c. Is 10 a factor of 62/3*c/(-2)?
False
Let g be 2 + (-4)/(-12)*0. Let p(s) = 3*s - 4*s**2 + 3*s**g + 4*s**2 - 2 + 3*s**2. Is 10 a factor of p(-3)?
False
Let b = 906 + -822. Is 14 a factor of b?
True
Suppose 0 = -0*w + 5*w - 2*s - 236, -w - 4*s + 34 = 0. Does 5 divide w?
False
Let v(w) = w**2 + 9*w + 10. Let l be v(-8). Suppose -l*k + 38 - 8 = 0. Is k a multiple of 15?
True
Let u = 1777 + -429. Is u a multiple of 18?
False
Let i = 4 - -1. Let u(a) = a**3 - 3*a**2 - 3*a - 5. Does 6 divide u(i)?
True
Let p(a) = -a**3 - 8*a**2 + 7*a - 7. Let k be p(-9). Suppose 2*u = -t + k, 6 + 0 = t - 3*u. Does 2 divide t?
False
Suppose -630 = 288*w - 297*w. Is w even?
True
Let n = 1029 + -837. Is n a multiple of 4?
True
Is 51 + (4 + -3 - 5) + -1 a multiple of 2?
True
Does 4 divide 382/5 + 4/(-10)?
True
Let r(k) = 21*k**2 - 3*k + 14. Let s be r(6). Suppose 0 = 2*u - 6*u + s. Let g = -123 + u. Is g a multiple of 9?
False
Let f = -234 + 139. Let q = -53 - f. Is 9 a factor of q?
False
Is ((-224)/10)/(36/(-990)) a multiple of 77?
True
Suppose 15*d = 1003 + 2702. Is 31 a factor of d?
False
Let s(v) = -10 + 6 - 2*v + 4*v + 14*v**2. Does 8 divide s(3)?
True
Let x(c) = 7*c**2 + c + 4. Let p = -19 - -16. Is x(p) a multiple of 16?
True
Let u(j) = -6 - j**2 + 4*j**2 - 2*j**2 + 22*j - 37*j. Does 12 divide u(18)?
True
Is 14 a factor of 8 + -4 + 4 - -34?
True
Let v(p) = -p**2 - 10*p - 16. Let n be v(-7). Suppose -6 = -4*c + 10. Suppose -3*a + c = -n. Is 3 a factor of a?
True
Suppose 4*c = p + 72, p - 4*p = -c + 18. Is (-4)/18 - (0 - 2848/c) a multiple of 17?
False
Let r = 20 - 10. Does 14 divide 129 + 5/r*-6?
True
Let g = 1 + -1. Let q(y) be the third derivative of -y**5/60 - y**4/12 + 21*y**3/2 + 3*y**2 + 23. Does 9 divide q(g)?
True
Let i = -74 - -74. Let v = -91 + 128. Suppose m = -i*m - 3*y + v, 4*m - 5*y = 97. Is m a multiple of 7?
True
Suppose 2*u + 5*a = -2*u + 704, -2*u - 3*a + 352 = 0. Is u a multiple of 16?
True
Suppose a - 5*t = 6*a - 500, -16 = -4*t. Is a a multiple of 8?
True
Let g(v) = 4 + 2*v**2 - 4 - 2 + 28*v**2 + v. Does 30 divide g(2)?
True
Suppose 0 = d - 4*o + 9*o - 90, -4*o + 162 = 2*d. Is 10 a factor of d?
False
Let j = -218 - -262. Is j a multiple of 2?
True
Is ((-2836)/(-5))/4*(3 + 2) a multiple of 74?
False
Suppose 404*r = 399*r + 945. Is r a multiple of 21?
True
Suppose 1860 = 5*j - 945. Suppose 2*c + c = j. Is c a multiple of 12?
False
Suppose -5*g + 196 = -7*g. Let f = g + 300. Suppose -4*a = 2*k + 34 - f, 4*k - 336 = -5*a. Is k a multiple of 12?
True
Suppose -12*c + 744 + 3612 = 0. Is 11 a factor of c?
True
Let f(c) = -c - 2. Let b be f(-6). Suppose -3*n - 5*y + 30 = 0, -n + 37 = 4*n + b*y. Is (-40)/16*(-36)/n a multiple of 4?
False
Suppose 529 = -10*t + 4339. Is t a multiple of 28?
False
Let i = 14 - 13. Let s be i*95 - (-3 + 3). Suppose 0 = -4*x + s + 1. Is 24 a factor of x?
True
Let s = 36 - 40. Let n(k) = 5*k**2 + 2*k - 6. Is n(s) a multiple of 14?
False
Let h(i) = -22*i - 248. Is 8 a factor of h(-28)?
True
Let g = -5 - -10. Let b be 6*(-2)/4 + 57. Let l = b + g. Is l a multiple of 17?
False
Let y = 25 - 21. Suppose -15 = -3*i, -y*h - 5*i + 73 = -20. Is h a multiple of 8?
False
Let f(b) = b**2 + 5*b - 6. Let v be f(-6). Suppose v = -2*x + 7 - 3. Suppose 5*l - x*z = z + 58, -3*l + 35 = -2*z. Is 11 a factor of l?
True
Let r(g) = 31*g + 510. Is r(34) a multiple of 34?
True
Suppose 3*t - d = d + 26, d + 43 = 4*t. Suppose 0 = l + 2*l - t. Does 3 divide 20/((-25)/(-5)) + l?
False
Let r(w) = -3*w**3 - w**2 + w - 1. Let p be r(1). Let x be 100/p - (2 - 0). Let g = -8 - x. Is 6 a factor of g?
False
Suppose 2*t - 28 = -0*t. Suppose 0 = 5*n - 4*b - 6, -2*b = -4*n - 0 + 6. Suppose -4 = -n*p + t. Does 3 divide p?
True
Let t = 618 - 538. Is 10 a factor of t?
True
Suppose 0 = -h - 3*v + 221, -2*v + 193 + 237 = 2*h. Let x = h + -86. Is x a multiple of 18?
True
Suppose -6*o + 4*l + 3876 = -2*o, 0 = -5*o + 2*l + 4854. Is o a multiple of 36?
True
Does 4 divide 4/(-18)*-183 - (-12)/(-18)?
True
Let x(w) = -w**3 - 11*w**2 - 31*w - 17. Does 28 divide x(-12)?
False
Let n be 81/(-6)*(-52)/(-6). Let o = 192 + n. Is o a multiple of 15?
True
Let y(r) = -5*r**3 + 5*r**2 - r + 12. Let t(n) = 9*n**3 - 9*n**2 + 2*n - 24. Let b(x) = -6*t(x) - 11*y(x). Is 4 a factor of b(0)?
True
Let x(l) = -15*l**3 - 5*l**2 - 3*l + 2. Let i(p) = -2*p + 8. Let d be i(4). Suppose d*c = 2*c + 4. Does 36 divide x(c)?
True
Let f be 4887/(-9)*(-2)/6. Suppose -4*d - f = -3*i, 2*d = -5*i - 0*d + 267. Suppose -2*p - i - 30 = -5*m, 0 = m - 4*p - 17. Does 17 divide m?
True
Let b(c) = 2*c**2 - 5*c - 7. Let x be b(7). Let y be x + (-3 - -4) + -3. Suppose -l - l + y = 0. Is l a multiple of 9?
True
Suppose -5*f = -5*j - 10, -2*f + 7*f = -2*j - 4. Suppose 9*o - 955 + 289 = f. Suppose -3*q = q + 3*s - 53, -4*s = -5*q + o. Does 14 divide q?
True
Let i(f) = 35*f**3 - 6*f**2 + 4*f + 2. Is i(2) a multiple of 19?
True
Suppose -5*v = 3*v - 640. Let q = -58 + v. Does 4 divide q?
False
Suppose -5*j + 0*j = 75. Let c = 17 + j. Suppose -c - 23 = -q. Does 25 divide q?
True
Let h(l) = 4*l**3 + 3*l**2 - 2*l + 1. Let a be h(-3). Is (-1)/1 - (a + -1) a multiple of 21?
False
Let z = -3 - -6. Suppose 4*d + 3*l - 92 = 0, l - 114 = -5*d - 3*l. Let g = d - z. Does 8 divide g?
False
Suppose 5*h + 15 = 0, -5*t + 5*h + 22 + 13 = 0. Suppose 5*v - 2 = -3*y, t*y + 9 = 5*v - 0*y. Does 9 divide (v/3)/((-7)/(-987))?
False
Suppose 1461*o = 1451*o + 12300. Is 82 a factor of o?
True
Let y(h) = -2*h**3 + h**2 - h - 7. Is y(-3) a multiple of 19?
False
Suppose -2*q - q - 15 = 0. Is 2*(148/8 + q) a multiple of 5?
False
Let u be 6/(9/3) + (-1 - 41). Let r = u - -52. Is 4 a factor of r?
True
Let u = -18 - -27. Let c(k) = -2 - 1 + 2*k + 4*k + 9*k**2 + u*k - k**3. Does 9 divide c(10)?
False
Suppose -3*d = -4*m - 218, -4*d - 8*m + 3*m + 239 = 0. Is 6 a factor of d?
True
Is (2151/(-6))/((-6)/8) a multiple of 17?
False
Let j = 19 + -11. Let v be ((-744)/18)/((-8)/12). Let r = j + v. Does 12 divide r?
False
Let p = 684 - 526. Does 79 divide p?
True
Let m(l) = -8*l**2 - 14*l + 10. Let y(i) be the second derivative of i**3/6 - i**2/2 + i. Let d(h) = -m(h) - 10*y(h). Is d(-2) a multiple of 12?
True
Suppose 15*s - 12410 = 10540. Is s a multiple of 15?
True
Let n be ((-4)/(-5))/(2/(-10)). Is 13 a factor of (3 - 81)*(-2 - 4/n)?
True
Let f = 36 - -2. Suppose -5*c = 3*v - 0*c + 81, -v - f = -2*c. Let t = v - -