 + 6*z + 6. Let b(u) = 6*a(u) - 11*m(u). Is 11 a factor of b(-1)?
True
Let f = -48 + 44. Is 50/f*(-5)/((-35)/(-112)) a multiple of 25?
True
Is 8 a factor of (-304)/(1/(-51)*6)?
True
Is 20 a factor of 1259 - ((-12)/(-36))/((-3)/9)?
True
Let z = 973 + -374. Is z a multiple of 8?
False
Suppose -4*b = -q + 3*q + 20, 2*b = 4*q. Let g be -3*(-4)/b*-1. Suppose 0 = 2*c + 2*c + 4*l - 204, g*c = 3*l + 147. Does 14 divide c?
False
Let h(p) = 6*p**2 - 6*p**2 - 7 - 2*p**2 + 4*p + 4*p**2. Let d be h(-5). Suppose r - 1 = d. Is r a multiple of 8?
True
Is 113 a factor of 128*7 + (12 - 4)?
True
Let s = -7 - -13. Let t(u) = -22*u + 4. Let y be t(s). Does 8 divide 3/((-4)/(y/12))?
True
Suppose 7*k - 3*k = 0. Suppose 5*o - 16 - 4 = k. Is o a multiple of 2?
True
Let u(k) = -2*k**3 + 11*k**2 + 9*k - 8. Let v(c) = c**3 - 5*c**2 - 4*c + 4. Let m(b) = 6*u(b) + 13*v(b). Suppose 1 = 5*i - 14. Is 25 a factor of m(i)?
False
Let w = -411 + 574. Is 27 a factor of w?
False
Let u = 988 - 564. Is 28 a factor of u?
False
Suppose p + 3*k = -20, 5*p + 3*k + 7 + 33 = 0. Is (195/3)/p*-1 a multiple of 3?
False
Suppose 0 = -2*i + 26*i - 12984. Does 15 divide i?
False
Suppose -2*k + 4 = 8. Is (26 - -2 - k)*1/2 a multiple of 5?
True
Suppose g = -3, -o + 3*g = -85 - 217. Is 13 a factor of o?
False
Let d = -44 + 119. Suppose d = 3*i - 8*i. Is (18/i)/(4/(-50)) a multiple of 12?
False
Suppose 0 = -3*c + 1 + 8. Suppose 53 = c*q - 3*p - 4, -47 = -2*q + 5*p. Is q a multiple of 15?
False
Let m = 1369 + -925. Let w = m + -289. Does 12 divide w?
False
Suppose 0 = -2*m - 5*j + 738, 25*j - 28*j - 1065 = -3*m. Is 18 a factor of m?
False
Let q = 377 + -89. Suppose 4*z - q = z. Does 32 divide z?
True
Let w be (-1)/(-5) - 95/(-25). Suppose -w*b = -52 + 192. Let x = b - -74. Is 11 a factor of x?
False
Let z = -26 + 31. Suppose v = z*f + 55, -6*f = -2*v - 4*f + 86. Is v a multiple of 33?
False
Let i(o) = 6*o**2 - 3*o + o**2 + 7*o**2 + 10 - 5*o**2 - o**3. Let k be i(8). Suppose 0 = -3*t + t + 3*p + k, -8 = 2*p. Does 11 divide t?
False
Is 67 a factor of (-100 - -92) + 1 + 1682?
True
Suppose 6 = 3*i - 6. Suppose 0 = -2*q + i*v + 130, 2*q - 102 = v - 4*v. Is q a multiple of 19?
True
Let s be 6*7/(105/10). Suppose -f = f - s*q - 78, 2*q + 117 = 3*f. Is 18 a factor of f?
False
Let y be (10/(-6))/(-3 - (-51)/18). Suppose -3*i - 56 = -y*i. Is 2 a factor of i?
True
Suppose 0 = 5*g - 5*f - 2070, -15*f + 20*f - 828 = -2*g. Is 46 a factor of g?
True
Suppose 76*j = 3339 + 2969. Does 29 divide j?
False
Let z(l) = 3*l**2 + 34*l + 29. Is z(-20) a multiple of 44?
False
Let y(j) = j**3 + 24*j**2 + 6*j - 36. Is 3 a factor of y(-23)?
False
Suppose -r - 3*k = -11, 2*r + r - k - 13 = 0. Suppose z - r*z = 36. Does 4 divide (6/z)/((-3)/18)?
True
Let x be (0 - (-12)/(-3))/1. Let l be 256/3 + x/(-6). Suppose 0 = 3*s - 85 - l. Is s a multiple of 18?
False
Let z(n) = -1745*n - 1. Let o be z(-1). Suppose o = -s + 17*s. Is 21 a factor of s?
False
Let h = -170 - -241. Let l = -56 + h. Does 2 divide l?
False
Let j(g) = -305*g**3 - 2*g**2 + 4*g + 6. Is 30 a factor of j(-2)?
True
Let m(p) = 4*p**2 - 3*p. Let v be 3/(2/((-4)/(-3))). Let u(k) = -k**3 + 3*k - 1. Let a be u(v). Does 15 divide m(a)?
True
Let b be (-2)/6 + 217/21. Suppose b = -m + 12. Suppose 4*c - 2*s = -6*s + 220, m*s = 2*c - 106. Is 10 a factor of c?
False
Let t(s) = -2*s - 7. Let l(r) = r**2 + 4*r - 1. Let v be l(-4). Let u be 2*-1 + 6/v. Does 6 divide t(u)?
False
Suppose 0 = -5*m + 635 + 805. Is 9 a factor of m?
True
Let d(z) = z**2 - 11*z + 5. Let p be d(12). Let t = p - 17. Suppose -4*s - 5*y = -t*s - 142, -s + 5*y + 23 = 0. Is 27 a factor of s?
False
Does 5 divide (-7 + -2 + -148)/(-1)?
False
Is (-5 - (-3 - -2))*-13 a multiple of 17?
False
Suppose 0 = -4*u + 2*c + 544, -7*c - 274 = -2*u - 5*c. Is 45 a factor of u?
True
Let u = -412 + 654. Does 19 divide u?
False
Let m = -9 - -11. Let o = m + 0. Suppose -o*i = -4*i + 26. Is i a multiple of 7?
False
Let m(k) = 5 + 2*k**2 + 3 + 5*k**2 - k**3 - 9*k. Let g be m(6). Does 3 divide 8/(-20) + (-44)/g?
False
Let i be (-1)/((4/4)/(-2)). Let l(j) = -j**2 + j + 4. Let v be l(i). Suppose c - 3*x = 39, c + v*c - 121 = 5*x. Is c a multiple of 9?
False
Let b be 272/80 - (-2)/(-5). Suppose -3*k = -5*d + 204, -3*k - 63 = -b*d + 57. Is d a multiple of 8?
False
Let y(k) be the second derivative of k**6/360 - k**5/30 + 3*k**4/8 + 7*k**3/6 + k. Let s(u) be the second derivative of y(u). Is s(5) a multiple of 14?
True
Let r(t) = -133*t**3 - 12*t**2 - 10*t + 2. Is r(-1) a multiple of 2?
False
Let u be 12/8*(1 + -35). Let a = 2 + -27. Let o = a - u. Is 13 a factor of o?
True
Let n(z) = -z**2 + 1. Let b be n(1). Let m = 52 - 48. Suppose m*y - 103 - 125 = b. Is y a multiple of 21?
False
Let o be -1 - (4 + (1 - 235)). Let k = o + -145. Does 21 divide k?
True
Let g(j) = 2*j**3 + 15*j**2 - 7*j - 12. Is 9 a factor of g(-7)?
False
Suppose 0*h + 78 = 3*h + 5*p, -5*h - 5*p + 120 = 0. Suppose x + h - 55 = 0. Does 5 divide x?
False
Is (21/(-9))/(-7) - 5269/(-33) a multiple of 16?
True
Suppose -3*a = -y - 1621, 2*y + 3 = -y. Does 20 divide a?
True
Let r(n) = -n**3 + 5*n**2 + 8*n - 12. Let v be r(6). Suppose p + 2*p - 39 = v. Does 12 divide p?
False
Let q(i) be the third derivative of i**4/3 - 11*i**3/6 - 7*i**2. Is q(4) a multiple of 5?
False
Let r(x) = -x**3 + 1. Let b(t) = -t**2 - 3*t + 4. Let z be b(-4). Let c be r(z). Does 16 divide 20/c*(-8)/(-10)?
True
Let l(f) = -17*f. Let s be l(2). Let b = 45 + s. Is b a multiple of 3?
False
Suppose 0*h + 6*h = 1836. Is h a multiple of 17?
True
Suppose 0 = -4*m - 4*p + 2540, 0 = -3*m - 49*p + 53*p + 1870. Is 18 a factor of m?
True
Suppose m + 3*f + 89 - 1984 = 0, 5*m + 5*f = 9495. Is 13 a factor of m?
False
Suppose 3*f + 2*w = 886, -2*f - w = -365 - 227. Does 16 divide f?
False
Let s be 490/(-25) + 9/15. Let h(o) = 7*o + 13. Let n be h(-6). Let g = s - n. Does 10 divide g?
True
Let y(g) = 29*g + 5. Suppose 3*n - 8*n = 15. Let a be y(n). Let c = -41 - a. Does 15 divide c?
False
Suppose -3*r + 0 = -c + 6, r - 38 = -3*c. Let g = c + -9. Is 3 a factor of g?
True
Suppose 0 = 4*k + 6*b - b - 977, 4*b + 218 = k. Is 7 a factor of k?
True
Suppose 8 = -4*i - 4*c, 5*c = -2*i - 0*c - 10. Suppose 6*q - 100 = -2*r + q, -4*r - 3*q + 214 = i. Is 47 a factor of r?
False
Let w(d) = d**2 + 4*d - 39. Let y be w(-18). Let g = y + -145. Is g a multiple of 38?
False
Let s(m) = -2*m + 66. Let v be s(0). Let k = v + -11. Does 15 divide k?
False
Let r(u) = u**3 + 2*u**2 - 2*u + 3. Let y be r(2). Let g(v) = 2*v - 19. Does 9 divide g(y)?
False
Let p(d) = 3*d**2 + 7*d + 26. Let k be p(-6). Let i = 167 - k. Does 9 divide i?
False
Suppose 4*j - 16 = 5*r - 3, -4*j - 3*r = -5. Suppose -c - j = -4. Suppose -c*t = t - 135. Is 9 a factor of t?
True
Let g = -1133 - -1242. Is 15 a factor of g?
False
Suppose 0 = -d + 5*d - 2*z - 614, -z = 3*d - 468. Does 6 divide d?
False
Suppose -j + 628 = 3*f - 0*j, 2*f = 2*j + 424. Let x = f + -119. Is x a multiple of 13?
True
Suppose -c + 10 = 5*i - 10, -3*c - 5*i + 50 = 0. Suppose -14*x - 78 = -c*x. Is 15 a factor of x?
False
Let m(o) be the third derivative of -7*o**4/12 - 14*o**3/3 - 41*o**2. Is m(-5) a multiple of 42?
True
Let b(p) = p - 2. Let v be b(5). Suppose v = 4*o - 29. Is (4/2)/(o/92) a multiple of 6?
False
Let l(n) = n**3 + 2*n**2 + 2*n - 2. Let s(f) = f + 13. Let t be s(-9). Suppose -20 = -t*c - 3*r, 2*c + 3*r - 16 = -0*c. Is l(c) a multiple of 9?
True
Does 35 divide -2*5*(-21)/(-18)*-21?
True
Suppose -17*z = -23*z + 24. Let n be (16/10)/((-4)/(-430)). Suppose -92 = -z*l + n. Does 18 divide l?
False
Suppose 3*u - 4*u + 92 = -d, 4*u - 3*d = 369. Is 4 a factor of u/7 - 4/14?
False
Let c(b) = -b**2 - b + 16. Let y be c(0). Let f = y + -10. Suppose -2*o = -0*o + 8, 0 = -d - o + f. Is d a multiple of 3?
False
Suppose 5*b - 6 = 3*b. Suppose -r - 17 = 4*c, 0 = -3*c - b*r - 15 - 9. Let d(v) = 2*v**2 + 4*v + 1. Is d(c) a multiple of 3?
False
Suppose -j = -3*v + 12, j - 4*v + 22 - 6 = 0. Let p = 96 - j. Is p a multiple of 10?
False
Is (-21)/((-6)/(-2)) - -433 a multiple of 8?
False
Let q(o) = o**3 - 9*o**2 - 3*o + 13. Let u be q(9). Does 9 divide (2 + u*4)/(-2)?
True
Is 80 a factor of -1 - (-13)/((-26)/(-2562))?
True
Suppose -28*c + 59 = -25. Let x(o) be the first derivative of 5*o**2/2 + 2*o + 1. Is x(c) 