t y = 14 - 6. Suppose -h + 2 - 1 = 0. Does 3 divide (28/y)/(h/2)?
False
Let q(s) = -2*s**3 + s + 2 + 5*s**2 - 8*s**2 + s**3. Is 14 a factor of q(-4)?
True
Suppose -3 = -3*y - 0. Let x = y - -2. Is 3 a factor of x?
True
Let r = -4 + 8. Suppose r*c + 96 = 6*c. Is 11 a factor of c?
False
Suppose -106*i + 44 = -102*i. Is 3 a factor of i?
False
Is (-1440)/112*(-14)/3 a multiple of 14?
False
Let g(s) = s**2 - 6*s - 3. Let y be g(6). Let b be 3 - (3/y + 1). Suppose -b*n = 4*c - 2 - 34, 0 = -n + c + 12. Does 12 divide n?
True
Suppose -7*r = -5*r - 78. Is 13 a factor of r?
True
Suppose 6 = -0*h + 3*h. Suppose h*d = 3*d - 12. Does 12 divide d?
True
Let r be (-196)/(-3) + 2/(-6). Let s = 116 - r. Is 19 a factor of s?
False
Let g(z) = z**3 - 5*z**2 + 5*z - 3. Let x be g(4). Is 1/(x/(-3)) - -29 a multiple of 11?
False
Suppose o - 3 = 27. Does 9 divide 1265/o - 2/12?
False
Let m = -8 - -3. Let q = 8 + m. Is (20/(-6))/((-2)/q) a multiple of 3?
False
Let r = 60 - 22. Suppose 0 = -4*n - r + 318. Is 15 a factor of n?
False
Let g = 6 + -1. Let r(a) = a - 12. Let m be r(13). Does 2 divide m/1 - (2 - g)?
True
Suppose 3*j - 2 = 5*q, -2*q - 5*j + 22 = -q. Let d be (0 + q + 11)/1. Suppose x - 5 = d. Is 7 a factor of x?
False
Let o(k) = k**2 + k + 8. Let z be o(0). Suppose 22 = -2*l - z. Let r = l + 31. Is r a multiple of 8?
True
Let c be (18/4)/(11/220). Suppose 0 = 6*g - 3*g + 159. Let z = g + c. Is 15 a factor of z?
False
Suppose -2*r + 4 = -6*r. Let q be (-4)/12 - (-8)/6. Does 12 divide -12*(r + -1 + q)?
True
Suppose 2*c = -8, -5*w + 136 = 3*c - 102. Does 6 divide w?
False
Suppose 3*a = 1094 + 103. Is a a multiple of 57?
True
Suppose 5*z = -5*u + 5, 2 + 0 = 3*u + 4*z. Let x = u + 10. Does 12 divide x?
True
Suppose -3*y + 29 = 3*l - 22, -2*l - 3*y + 30 = 0. Suppose 3*x - 4*x + l = 0. Is x a multiple of 7?
True
Suppose -v + 55 = 5. Is 10 a factor of v?
True
Suppose 5*f - 3*n - 23 - 7 = 0, 25 = 5*f - 2*n. Let t(d) = -d**2 + d + 2. Let i be t(0). Suppose -f*r + 18 = -i*r. Is r a multiple of 9?
True
Suppose 5*q = 3*v + 19, -2*v - 1 = -2*q + 5. Suppose 0 = 5*h + 4*i - 3*i - 94, 0 = -5*h - q*i + 90. Is h a multiple of 19?
True
Suppose -4*b + b + 114 = 0. Is 19 a factor of b?
True
Let v(a) = a**3 - 15. Let t be v(0). Let f be 2/t*-12*5. Is (-2)/f - (-226)/8 a multiple of 10?
False
Let s = -5 + 8. Let q(l) = -l**3 + l + 45. Let p be q(0). Suppose -z = -5*r + 53, -5*z = -s*r - 0*z + p. Is 5 a factor of r?
True
Suppose -2*k + 7*k + n = 191, -2*n = 8. Suppose -3*l + 96 = 4*s, -s + k = -2*l - l. Does 11 divide s?
False
Let b be 2/8 - 35/(-20). Let a(r) be the third derivative of r**5/60 - r**4/24 - 2*r**2. Is a(b) even?
True
Is 12 a factor of (11/(165/1090))/(2/3)?
False
Suppose 3*u + u = -3*y + 35, -4*y + 30 = -3*u. Suppose 2*v = -9 - y. Let x(g) = -g**2 - 10*g + 1. Does 5 divide x(v)?
True
Suppose -65 = -5*j - 5*a, j + 4*a - 19 = -0*j. Is j even?
False
Suppose 7*q - 2*q = -i - 67, 0 = -2*q + 5*i - 43. Suppose -4*y = -3*k - 0*y + 82, y + 79 = 3*k. Let t = k + q. Is t a multiple of 11?
False
Let z = -1 + 3. Suppose 0 = -h + 3*h - j - 25, -z*h + 2*j + 26 = 0. Is 4 a factor of h?
True
Let v = 37 - 57. Is v/6*3/(-2) a multiple of 2?
False
Suppose -4*d + 0*d + 72 = 0. Does 4 divide d?
False
Suppose -o + 28 = 3*o. Let r(l) = l**2 + l + 6 - 9*l**2 + 8*l + l**3. Does 10 divide r(o)?
True
Suppose 4*k - 599 = 5*c, 3*k + 2*c = 3*c + 463. Let t = -79 + k. Does 20 divide t?
False
Suppose -3*c - 187 = -397. Is c a multiple of 35?
True
Let v = -5 + 8. Suppose 8 + 10 = v*q. Let x = q - 2. Is 3 a factor of x?
False
Is 8 a factor of 12/(-30) - 2/10*-317?
False
Is 1/(3 - 17/6) a multiple of 6?
True
Let l be (0 + (-2)/3)*-3. Let d be 2*-2*(-1)/4. Suppose 0 = -2*h - l*x + 1 + d, 20 = -4*x. Does 6 divide h?
True
Suppose 5*o = -3*v + 295, 3*o - 7*o + 219 = -v. Is o a multiple of 16?
False
Let l = 31 - 11. Suppose -p + l - 2 = 0. Is p a multiple of 6?
True
Let t(u) = u - 7. Is t(12) a multiple of 5?
True
Let l(z) = -z**3 + 5*z**2 + 7*z - 2. Let c be l(6). Suppose b = -b + c. Suppose -r + 0*r + 2*w = -18, b*r - 2*w = 40. Does 11 divide r?
True
Suppose -g - 4*g + 3320 = 0. Does 31 divide (g/16)/((-1)/(-2))?
False
Let i(v) = -v**3 + 4*v**2 - 1. Let b be i(4). Let f be (4/b - -2)/2. Let k(u) = -31*u**3 + 1. Is k(f) a multiple of 15?
False
Suppose -4*l + 5 = -5*p + 28, 0 = p + 1. Let w(r) = 3*r + 2*r**2 - r**2 + 5 + 3*r. Is 12 a factor of w(l)?
True
Let j(g) = -25*g**3 - g**2 + g + 1. Is j(-1) a multiple of 3?
True
Let r = -3 - -13. Let l(v) = v - 9. Let w be l(r). Let h(u) = 14*u**2. Does 13 divide h(w)?
False
Let t be (-3 - 1)*1*-17. Let g = -5 + 10. Suppose -g*d + 42 = -t. Is d a multiple of 11?
True
Let r(m) = -m + 16. Let f be r(9). Let z = -4 + f. Let h = 10 - z. Is h a multiple of 6?
False
Let q = 120 - 40. Suppose 0 = s + 4*s - q. Does 16 divide s?
True
Let s(w) = w + 12. Let q be s(-10). Suppose -q*h = h - 12. Suppose -h*r + 26 + 10 = 0. Is 9 a factor of r?
True
Suppose -f - 846 = -7*f. Suppose 7*c - 69 = f. Is 6 a factor of c?
True
Let y(l) = -23*l + 19. Let c(h) = 6*h - 5. Let v(g) = 22*c(g) + 6*y(g). Does 17 divide v(-6)?
False
Let c = 5 + -12. Let i(x) = -x**2 - 7*x + 4. Let s be i(c). Suppose -3*l = -s*l + 18. Is l a multiple of 18?
True
Let r be 1/(-1 + 2)*8. Suppose -r - 1 = h. Let y = h - -14. Is y a multiple of 5?
True
Let q(c) = c**3 - 8*c**2 + 7*c + 7. Let z be q(7). Let p = z + 0. Suppose -5*x + 148 = 4*s, -p*x + 3*x = -3*s - 137. Is x a multiple of 12?
False
Suppose 6*h - 23 - 43 = 0. Does 11 divide h?
True
Suppose -z + 119 = 2*g, -5*z + 295 = -0*g + 5*g. Does 9 divide g?
False
Let j(w) be the second derivative of w**4/12 + w**3/3 - w**2 + 4*w. Is 3 a factor of j(-4)?
True
Let i = -6 + 132. Does 18 divide i?
True
Suppose -2*w + 68 = -12. Is w a multiple of 12?
False
Let b = -1 + 5. Suppose -1 = -b*v + 31. Is v a multiple of 3?
False
Let z = 12 + -8. Let c(b) = b - 3. Let i be c(7). Suppose i*g + 72 = z*r, -52 = -3*r + g + g. Is 8 a factor of r?
True
Let g(t) = 11*t - 3. Let y be g(2). Let m = y + 1. Does 18 divide m?
False
Let w be 6/15 + (-64)/10. Let y = w - -10. Suppose -4*b - 3 = -q, y*q - 117 = -0*q - 5*b. Is q a multiple of 14?
False
Suppose -10 = -4*n + 2*n. Is n a multiple of 3?
False
Suppose -12 = 2*b - 42. Is 8 a factor of b?
False
Let j(v) = v**2 - 14*v - 15. Is j(16) a multiple of 2?
False
Let j be ((-15)/3 - -2) + 9. Suppose 8*r - j*r = 8. Is r a multiple of 3?
False
Let p(b) = -b**3 + 8*b**2 + 11. Is p(7) a multiple of 11?
False
Let z(j) = -j**3 - 6*j**2 + 9*j + 10. Let w be z(-7). Let g be (-10)/w*(-6)/(-3). Suppose -o = -2*l - 18, 5*o - g*l + 18 = 93. Does 6 divide o?
True
Suppose -72 = -12*l + 9*l. Is 6 a factor of l?
True
Suppose 8 = 2*z - 5*y - 10, -y = z + 5. Let j = 4 - z. Suppose 0 = -3*s + j*h + 59 - 0, 5*h = -2*s + 6. Is s a multiple of 5?
False
Let f = 2 - 5. Let q be 5 - (0 + -2 - f). Suppose -3*n - 42 = -q*n. Is n a multiple of 20?
False
Let a(i) = i**3 + 4*i**2 + 3*i + 4. Let q be a(-3). Let w = 11 - q. Let s = w + -1. Does 4 divide s?
False
Suppose 16*f - 561 = 13*f. Is 17 a factor of f?
True
Let d be (1 - (-15)/(-9))*(-2 - 10). Let k(v) be the first derivative of v**3/3 - v**2 - 9*v + 1. Does 13 divide k(d)?
True
Suppose 5*p + 7 + 3 = 0. Is 24/3 - (p - 0) a multiple of 5?
True
Does 10 divide 4/12 - (-87)/9?
True
Suppose 4*s = 2*s + 154. Is 7 a factor of s?
True
Let p be -3 - (3 + 2)*-5. Suppose x = -2*t - x + 92, 162 = 3*t - 3*x. Let h = t - p. Is 15 a factor of h?
False
Let m = 6 + -12. Let v = m + 28. Does 11 divide v?
True
Let b be 61 + ((-4)/(-1) - 2). Is 3 a factor of b/15 + (-3)/15?
False
Suppose 0 = -w + 6*w. Suppose w = -g + 3*g - 32. Is g a multiple of 8?
True
Does 13 divide (10 - 13) + 67*1?
False
Suppose -a - 4 = -0. Is 8 a factor of 2/a*(-35 - -3)?
True
Let t(f) = f**3 + 2*f**2 + f + 1. Let q be t(-3). Let d = -7 - q. Does 12 divide ((-2)/d)/((-2)/120)?
False
Let p(r) = r**2 - 4*r. Is p(-5) a multiple of 9?
True
Suppose 0*i = 2*i - 6. Suppose -4*w - 5*a + 54 = 0, 5*w + 5*a - 76 = i*a. Is (-2 - 0/1) + w a multiple of 6?
False
Let f = -17 - 8. Is (-4)/10 + (-310)/f a multiple of 6?
True
Suppose 3*j = j + 176. Does 25 divide j?
False
Suppose 4*w + 39 = 3*u, -5*u - w + 65 = -0*w. Suppose 5*h = -3*n - 0*h + u, -2*h - 10 = 5*n. Let s(k) = -3*