e -85 = -c*y + 6*y. Does 17 divide y?
True
Let r be ((-14)/(-4))/(1100/(-184) - -6). Suppose 5*f = 4*y + 310, 0 = 3*f - 5*y - r - 12. Is f a multiple of 20?
False
Let k be (0 - -1)*(3 - 116). Let u = k + 163. Is 30 a factor of u?
False
Let y(n) = n**3 - 14*n**2 + 22*n + 31. Let t be y(13). Suppose -4*w = -4*c + 1180, 5*w - 703 = -2*c - t. Is c a multiple of 29?
True
Let i = -76 - -78. Suppose o = -i*d + 101, 3*d - 2*o = -o + 159. Is 52 a factor of d?
True
Is 8/(-18) - 167992/(-198) a multiple of 33?
False
Is 28 a factor of (-13 - -4 - 1) + 2665?
False
Let w(k) = -16*k + 2. Let l(j) = -j**2 + 14*j - 14. Let r be l(13). Is 6 a factor of w(r)?
True
Let v(j) = j**2 + 4*j. Suppose -5*z + 2*t + 2*t = 45, 2*z + 3*t = 5. Is v(z) a multiple of 5?
True
Does 2 divide -9*6*10/(-15)?
True
Let n = 224 + -150. Is n a multiple of 6?
False
Suppose 0 = -4*z + 3*d + 771, 187 = 10*z - 9*z + 5*d. Is z a multiple of 16?
True
Let l = 6 + -12. Let k(r) = r**3 + 9*r**2 + 4*r - 2. Is 17 a factor of k(l)?
False
Let j = 6 + 3. Let h be -8*(-4)/(-8) - -3*2. Suppose -k - 2*q + 97 = -j, 3*q = h*k - 184. Is k a multiple of 14?
True
Let o(x) = x**2 - 9*x - 19. Let k be o(11). Suppose -97 = -2*w + c, k = 3*c - 0. Is w a multiple of 7?
True
Let x be (-8)/10*(-20)/8. Let p = 7 - -8. Is (2/3)/(x/p) a multiple of 5?
True
Let g(v) = 12*v - 2. Let o = 5 + -5. Let r be (o - -7)/(4/4). Is 24 a factor of g(r)?
False
Let a = 577 - -775. Does 39 divide a?
False
Suppose -3*q + 0*q + o - 776 = 0, 0 = -q - 3*o - 262. Let u = -167 - q. Suppose u = -2*g + 4*g. Is 22 a factor of g?
False
Suppose -m + 37 = 24. Suppose 0 = -2*z + p + 28, -4*p + 19 + m = 4*z. Does 9 divide z?
False
Let d(v) = -v**2 + 1. Let u(j) = 6*j**2 - j - 3. Let t(f) = 5*d(f) + u(f). Let s be t(7). Suppose -2*m + 3*m = s. Is m a multiple of 11?
True
Let l be 15/25 - (-12)/5. Suppose -81 = -l*a - u + 66, 36 = a - 4*u. Does 12 divide a?
True
Suppose -42*x + 8*x = -3570. Is 21 a factor of x?
True
Suppose 4*h - 4*t = 10 - 50, -2*h - 10 = 3*t. Let f be 0 - h*(-2)/(-4). Suppose -23 = -5*x - u + 87, 79 = f*x - u. Is x a multiple of 9?
False
Suppose 18*x - 2 = 17*x. Suppose -3*g = x*c - g - 384, 3*g = -5*c + 950. Is c a multiple of 12?
False
Let p(m) = 7 - 1 - m**3 + 0 + 8*m**2 - m - 3*m. Does 18 divide p(6)?
True
Let z be 4 + (-9 + 2 - 2). Let k(d) = -d**2 - 10*d + 2. Is k(z) a multiple of 27?
True
Let x(n) = 15*n + 9. Let s be x(25). Suppose -4*t + s = 4*u - 392, -768 = -4*t - 2*u. Is t a multiple of 38?
True
Suppose 175 = 5*r - 60. Let j = r - 6. Does 3 divide j?
False
Suppose i + 2*q - 14 = 0, 15 = 3*i - 3*q - 9. Let g = i - 12. Is 26 a factor of 22/(g/(-2)) + 4?
True
Suppose 2*w + w - 6144 = 3*t, -5*w + 10238 = -4*t. Is 22 a factor of w?
True
Let r(i) = 0*i + 8 - i - 10*i. Is 7 a factor of r(-4)?
False
Suppose -1102 = -p - 7*n + 3*n, 5527 = 5*p + 3*n. Does 79 divide p?
True
Suppose 0 = -11*f + 21*f - 12650. Is f a multiple of 23?
True
Let s(c) = c**3 + 11*c**2 + 14*c + 8. Let l be s(-9). Is (-8)/l + (-5)/((-165)/2514) a multiple of 44?
False
Suppose -3*a - 54 = -6*a. Does 20 divide 1472/a + 12/54?
False
Suppose g + 2*u = 438, -2*g + 1318 = g + 2*u. Does 20 divide g?
True
Is 3818/6 + -6 - 15/(-9) a multiple of 37?
False
Let i be (-8 + 2)*(2 - 1). Let v(f) = f**3 + 7*f**2 - f - 6. Is v(i) a multiple of 6?
True
Suppose -o - q + 6 = 0, q - 11 = -3*o + 5. Does 11 divide 1568/o + (-20)/(-50)?
False
Suppose 0 = -2*f - 4*z + 862, 3*z + 848 = -7*f + 9*f. Is (f/21)/(1/6) a multiple of 12?
False
Let l be 3/(-12)*(-1588 - 0). Let p = l + -61. Suppose 4*b - y - p = 3*y, -5*b - 4*y + 402 = 0. Is 17 a factor of b?
False
Suppose a - 2*n - 10 = -a, 2*n + 4 = 0. Let i = 4 - -8. Is 22*2*a/i a multiple of 11?
True
Suppose 9*j - 10 = 4*j. Suppose -46 = 5*m - 4*n - 766, n - 275 = -j*m. Does 21 divide m?
False
Let o = 47 - 47. Does 4 divide (-15 + 23)/(4/6 - o)?
True
Let k(j) = -j - 1. Let s(i) = i**2 + 6*i - 1. Let u(o) = 3*k(o) + s(o). Suppose 0 = -53*l + 50*l - 18. Is u(l) a multiple of 4?
False
Suppose -3*d + 0*d = -6. Suppose 2*k = -d*w + k + 253, 4*w - k = 491. Suppose -w = -2*q - t, 4*q + 2*t - t - 244 = 0. Is 12 a factor of q?
True
Let p be 2104/14 - (-40)/(-140). Suppose p = 3*i - 3*f, -2*i - 2*i + f + 197 = 0. Is 17 a factor of i?
False
Suppose 259 = -7*r + 26040. Is 13 a factor of r?
False
Suppose -162 - 548 = -y. Suppose -y = -4*m + 50. Is 51 a factor of m?
False
Let x = 1690 - 1552. Is 6 a factor of x?
True
Let w(s) = s + 10. Let d(h) = h**2 - 4*h - 10. Let r be d(5). Let g be w(r). Suppose -52 - 133 = -g*y. Is y a multiple of 19?
False
Suppose -452 - 1103 = 5*x. Let s = x + 484. Suppose 61 = d + 4*q, 3*d + 2*q = -0*q + s. Is 19 a factor of d?
True
Let d = 28 - 18. Let c be ((-15)/d)/(3/(-8)). Suppose 5*w = 0, 4*w - c = -y + 11. Is y a multiple of 15?
True
Suppose y - 137 = -4*v, -3*v + 4 = -2. Let h = y - 126. Does 3 divide h?
True
Suppose -3*c = -2*v - v + 15, -2*c - 4 = -v. Let t = v - 9. Let q = t + 39. Is q a multiple of 18?
True
Let b = 1 + 1. Suppose -5*z + 3*x = -121 + 519, 0 = 2*z + b*x + 156. Let l = 135 + z. Is 14 a factor of l?
True
Let m(l) = -2*l**3 - 10*l**2 - 17*l - 175. Is 9 a factor of m(-8)?
False
Suppose 4*t = 16, 3*t + t + 239 = 5*u. Suppose -7*w = -3*s - 2*w + u, 3*s - 2*w = 42. Suppose -s = -0*v - 2*v. Is 6 a factor of v?
True
Does 2 divide 12/(-7*(-4)/168)?
True
Suppose -25 = -3*v - 19. Suppose -5*u + 3*s + 10 = -41, v*s = u - 6. Is u a multiple of 3?
True
Let l(h) = h**2 + 5*h - 4. Suppose -2*g + 27 = -0*c + 5*c, 0 = -4*c + 4*g + 44. Is 11 a factor of l(c)?
False
Let o be 3*(0 + 1) + 1. Suppose -o*i - 151 = -5*y, -y + 11 = -2*i + 6*i. Is y a multiple of 7?
False
Suppose 2*f - 394 = -5*q, -6*f = 3*q - 4*f - 238. Is q a multiple of 13?
True
Let u(t) = -t**2 + 4*t + 9. Let d be u(5). Let z = 25 + -15. Suppose d*h = 5*j - z - 164, -j + 5*h + 39 = 0. Is j a multiple of 15?
False
Suppose 2*m = 2*f + 73 + 59, -198 = -3*m - f. Is 10 a factor of m?
False
Suppose -3*b - 16 = 5*n, n + 3*b + 5 = -3. Let u(f) = 14*f**2 - 2*f - 4. Let s(h) = -15*h**2 + 3*h + 5. Let x(y) = 5*s(y) + 6*u(y). Is x(n) a multiple of 13?
False
Let b(s) = s**2 - 42*s + 125. Does 11 divide b(0)?
False
Suppose 3*q - x - 18 = 18, 5*x = q - 26. Let a = 37 - q. Suppose -21*b - 20 = -a*b. Is b a multiple of 4?
True
Suppose -5*r = -8*y + 12*y - 273, 4*y + r - 253 = 0. Does 18 divide y?
False
Let i(s) = -93*s - 14. Let g be i(-1). Let y = g - -24. Is y a multiple of 9?
False
Let r(i) be the second derivative of 7*i**4/4 + i**3/6 + i**2 + 14*i. Is 12 a factor of r(-1)?
False
Does 13 divide 336/(-35)*13320/(-54)?
False
Let j be 4/(-6)*-6*1. Suppose 32 = j*i - 128. Suppose 0 = -0*z - 2*z - 3*s + i, 5*z = 4*s + 54. Is 3 a factor of z?
False
Let z(c) = c**3 + 4*c**2 - 4. Let i = -14 + 12. Is 2 a factor of z(i)?
True
Suppose 2*a + 3*a + 685 = 5*p, a - 415 = -3*p. Does 3 divide p?
True
Let d = 1 - -2. Suppose d*a - 4*z + 3 = 25, -3*z + 71 = 4*a. Suppose 3*h + 4*t = -2*h + 28, 4*h - a = t. Is h even?
True
Let a(l) = l + 3. Let f be a(0). Suppose -f*x - x = 5*q - 8, 4*q = 0. Suppose -3*b = 3*n - 33, -x*b + 3*n = -11 - 1. Is b a multiple of 9?
True
Suppose 2*n + b - 714 = 0, 5*n = 20*b - 21*b + 1788. Is 29 a factor of n?
False
Let g(d) = -10*d - 57. Does 3 divide g(-12)?
True
Let g be 4/16 + (-38)/(-8). Suppose 0*u + 43 = u - 3*p, -g*p - 149 = -3*u. Is u/2 + (-2 - -1) a multiple of 7?
True
Suppose 0 = 4*b + 2*w - 6378, 5*b - 4*w - 1036 - 6956 = 0. Is 12 a factor of b?
True
Let w(u) = u**2 + 0 + 2 - 1 - 12*u. Let x be w(11). Let c = x - -22. Is 12 a factor of c?
True
Let z be (-5970)/(-75) + 2/5. Suppose -9*r + z = -5*r. Is r a multiple of 10?
True
Let p(z) = 30*z - 172. Does 12 divide p(39)?
False
Does 19 divide (-2 + 1)*(3 - (457 - -2))?
True
Let p(i) be the second derivative of i**4/12 + 36*i**2 + 4*i + 10. Suppose j = 6*j. Does 13 divide p(j)?
False
Suppose 3*y - 1345 = -2*y. Suppose 123 = 4*p - y. Does 14 divide p?
True
Let u be 5 + -1 + (-8)/(-2). Suppose 30 = 2*l + u. Does 2 divide l?
False
Let n = -56 - -70. Suppose 5*m - 4*m + 35 = 0. Is 9 a factor of (-900)/m - (-4)/n?
False
Let r(z) = -2*z - 6. Let o be r(-5). Suppose 2*v = -3*n + 6, 4 = o*n - 4*v - 4. Suppose 4*m = -3*j + 19, n*m + 18 = 5*j - 31. Does 9 divide j?
True
Let i be 80/14 + -1 + 4/14. Suppose