 6 - z - (-2 - 1). Suppose 2*t - 3*x = 26, 4*x - 27 + 1 = -a*t. Is t a multiple of 3?
False
Let i = 2481 + -1697. Does 16 divide i?
True
Suppose 8*n - 1561 = 151. Is n a multiple of 2?
True
Let q = -150 - -1990. Suppose 0 = -2*p + 10*p - q. Is p a multiple of 52?
False
Let k(j) = 26*j + 74. Let z(m) = 5*m + 15. Let p(f) = 2*k(f) - 11*z(f). Is 4 a factor of p(-7)?
True
Suppose -4*o = 8*o + 96. Is 12 a factor of -4 - -8*(-76)/o?
True
Let w(m) = 2*m**2 + 18*m - 9. Does 11 divide w(-21)?
True
Suppose 2*t + 77*y = 75*y + 1134, -4*t + 2240 = -3*y. Is 134 a factor of t?
False
Let l(t) = t**2 - 1. Let m be l(3). Let p(x) = x**3 - 6*x**2 - 9*x + 6. Let q be p(m). Does 22 divide (3 - 2) + q + 3?
True
Let y(p) = p**2 - 2*p + 103. Let d be y(0). Let q = -45 + d. Is q a multiple of 16?
False
Suppose -12*v - 1518 = -45*v. Does 23 divide v?
True
Let o = -7 + 19. Suppose o = -z + 4*z. Suppose n - 151 = -r - 3*r, -z*n = 20. Is r a multiple of 11?
False
Let j(s) = 17*s - 111. Is 7 a factor of j(24)?
False
Suppose -26*r + 54*r - 64288 = 0. Is r a multiple of 21?
False
Let b(q) = -q**3 + q**2 + q + 37. Let x be b(0). Suppose 2*k + 10*p - 14*p + 48 = 0, -2*k - 3*p - 48 = 0. Let a = x + k. Is 2 a factor of a?
False
Let d = 262 + -6. Suppose 0*n = 3*n - 12. Is n/8*d/2 a multiple of 10?
False
Let m = -30 + 24. Let j = 64 - m. Is j a multiple of 35?
True
Is 16 a factor of (-438)/(-292)*(-1 - -1559)?
False
Let f = 1937 - 677. Is 14 a factor of f?
True
Suppose -i - i = -16. Let a be 5*(460/(-200) - (-6)/4). Let k = i - a. Is 9 a factor of k?
False
Let z(i) be the first derivative of 4*i**3/3 - 2*i**2 - 3*i - 6. Let d(s) be the first derivative of z(s). Does 13 divide d(7)?
True
Let q be 3/9*(1 - -68). Let k = q - -312. Suppose 5*c - k = -3*y + 2*y, 5*c - 355 = -5*y. Does 14 divide c?
False
Is 1*(-13)/((-13)/514) a multiple of 16?
False
Let z(r) = r**3 + 0*r**3 - r + 15 + 0*r**3. Let i(h) = h + 8. Let n be i(-8). Is z(n) a multiple of 7?
False
Let f = 1 - -5. Suppose 3*z - 4*q = -0 + 12, -4*z - f = 2*q. Suppose -3*i + 299 + 10 = z. Is 31 a factor of i?
False
Suppose 3*q - 575 = 136. Suppose 5*u - 2*u - q = 0. Is u a multiple of 21?
False
Let r(g) = -2*g**2 - 37*g - 97. Is 2 a factor of r(-15)?
True
Suppose -31*n + 18900 = -22*n. Is n a multiple of 20?
True
Let d(j) = -135*j - 430. Is 142 a factor of d(-40)?
True
Let m = 169 - 108. Suppose 4*p - 6*o - 73 = -o, -3*p + 5*o + m = 0. Is 12 a factor of p?
True
Let h(w) be the third derivative of 0*w - 1/6*w**3 - 3*w**2 + w**4 + 0. Is h(1) a multiple of 7?
False
Let p(c) = c**3 - 14*c**2 + 17*c - 6. Let t be p(12). Let u = -48 - t. Is u a multiple of 12?
False
Suppose -11*d = 4*w - 9*d - 13600, -3*w + 4*d + 10200 = 0. Does 50 divide w?
True
Let d = -106 + 305. Is d a multiple of 6?
False
Suppose 2*m + q - 2146 - 1304 = 0, 4*q + 3450 = 2*m. Is m a multiple of 55?
False
Let l = -635 + 1261. Let k = -440 + l. Is 14 a factor of k?
False
Suppose 502 = -4*v - 34. Let s = 5 + 10. Does 11 divide v/(-3) + (-10)/s?
True
Let q(a) = a - 19. Let v be q(21). Suppose -v*g + 3*g - 54 = 0. Is 27 a factor of g?
True
Let x = 10 - 15. Let w be x/(-2)*(6 + -4). Is 5 a factor of 3/(-3) + w*2?
False
Let x = -4 + 12. Let a be 46/(-8)*(4 - x). Suppose q + a - 86 = -4*u, 2*q + 2*u = 150. Does 20 divide q?
False
Suppose -3*g - 180 = 3*a - 0*g, 0 = 2*a - 5*g + 113. Is 44 a factor of -2*4/8 - 3*a?
True
Suppose 0 = -p + 3*p + 50. Is 4 a factor of (p/(-15) - -4)*3?
False
Let t be 1/(-6)*2 - (-112)/12. Suppose 75 = t*h - 114. Is h a multiple of 7?
True
Let q(k) = -846*k + 343. Is q(-2) a multiple of 37?
True
Let x(z) = -z**3 - z**2 + 8*z + 6. Let b be x(-3). Let t(v) = -v**2 - 5*v + 166. Does 27 divide t(b)?
False
Suppose a - 16 = 5*a. Let r(f) = 11*f**2 + 12. Is 47 a factor of r(a)?
True
Suppose 33 = -2*w - 45. Let b be 2*w/6 + 3. Is 7 a factor of ((-95)/(-25))/((-2)/b)?
False
Let l(w) be the second derivative of -w**5/20 + 11*w**4/12 - 7*w**3/3 - 31*w. Does 24 divide l(6)?
True
Suppose -26*n + 22776 = 13*n. Is 22 a factor of n?
False
Let b(j) = -j - 12. Let c be b(-17). Suppose 6 = d - c. Suppose d = m - 28. Is 10 a factor of m?
False
Suppose 4*x + f - 121 - 78 = 0, -x + 2*f = -61. Let i(c) = -c**3 - c**2 + c + 1. Let b be i(-1). Suppose b = -m - 0*m + x. Is 17 a factor of m?
True
Suppose -71*k + 1065 = -1420. Is k a multiple of 35?
True
Let g(u) = -u**2 + 3*u - 16. Let h be g(-7). Let i = h + 136. Is 15 a factor of i?
False
Suppose -5*s + 5 = 0, 2*s + 1092 = 4*k - 7070. Is k a multiple of 13?
True
Suppose -3*q - 161 + 478 = 4*h, 5*q - 15 = 0. Does 11 divide h?
True
Suppose 0 = -4*o - 6 + 22, o = q - 290. Does 42 divide q?
True
Let g = -123 - -407. Is g a multiple of 4?
True
Let k(y) = -23*y - 7. Let c be k(-9). Let v = -80 + c. Is v a multiple of 12?
True
Let i(o) = -o**2 + 23*o + 10. Is 33 a factor of i(9)?
False
Suppose -1508 = -4*x + 2*g, 386 = x - 69*g + 73*g. Is 12 a factor of x?
False
Does 18 divide 3601 - -6*1/(-6)?
True
Let l(b) = 185*b**3 + 5*b**2 + 11. Let s(t) = -62*t**3 - 2*t**2 - 4. Let f(d) = -3*l(d) - 8*s(d). Is 14 a factor of f(-1)?
False
Suppose 5*w + 2*q = -14 - 5, -4 = 2*w + 2*q. Is (2/(1 + 1))/(w/(-160)) a multiple of 16?
True
Suppose -124*l = -132*l + 13192. Does 11 divide l?
False
Let x be 2/(-3)*-9 + 0. Let k be x/5*10/4. Is (0 - (2 - k)) + 14 a multiple of 15?
True
Let c = -26 + 29. Is 3/(c/68) - 4 a multiple of 13?
False
Suppose 3*r + 9 - 6 = 0. Is 63/21 - (-60 + r) a multiple of 3?
False
Suppose 3*i - 36 = 2*i. Suppose 2*n + i = 3*n. Suppose x - n = -x. Is 6 a factor of x?
True
Let f(d) = 2*d + 4. Let v be f(-5). Let r(o) = 9*o**2 - 10*o - 15*o**2 - 6 + 5*o**2. Does 5 divide r(v)?
False
Suppose -11*x + 44 = -0*x. Suppose 0*k = -3*h - 2*k + 128, -164 = -x*h - k. Is h a multiple of 4?
True
Let d = -31 + 181. Is d a multiple of 17?
False
Let n = 10 - 8. Suppose -10 + 27 = 4*y - 5*j, -4*y + n*j = -14. Suppose 4*o - y*o - 108 = 0. Is 32 a factor of o?
False
Let v = -120 - -121. Is (184/(-115))/(v/(-5)) a multiple of 2?
True
Does 19 divide (-32488)/(-48) - (-3)/18?
False
Suppose -m + 45 = -4. Suppose -4*q = -m + 13. Is q even?
False
Let x(c) = c**2 - 7*c + 9. Let i be x(7). Suppose 0 = -m + i - 4. Suppose -4*u + 142 = 2*t, 35 = 4*u - m*t - 100. Is u a multiple of 19?
False
Let x(h) = 75*h**2 - 3*h - 2. Suppose 10*t - 11*t = 1. Is 19 a factor of x(t)?
True
Let h(q) = -11*q + 5. Let j be h(-4). Let k(p) = -p**3 + 7*p**2 + 9*p - 4. Let u be k(8). Let g = u + j. Does 13 divide g?
False
Let b(s) = -s**3 + 5*s**2 + 7*s - 1. Let c be b(6). Suppose 2*f + 774 - 214 = 5*l, 3*l - c*f = 355. Is 22 a factor of l?
True
Let j(g) = 6*g**3 - 1. Let u be j(-1). Let r(q) = 2 + 7*q - 41*q**2 + 21*q**2 + 22*q**2. Is r(u) a multiple of 13?
False
Suppose 55 = -2*q - 3*q. Let u be (-4197)/(-33) + 2/q. Suppose u = -c + 3*c - w, 2*c - 4*w - 112 = 0. Is 22 a factor of c?
True
Suppose -4*m + m = 3*o - 114, 0 = o - 2*m - 44. Let v be ((-11)/(-1))/(5/o). Let l = -63 + v. Is 20 a factor of l?
False
Suppose 77 = d + 5*o, 9*o - 161 = -2*d + 6*o. Is d a multiple of 15?
False
Let z = 1583 + -478. Is z a multiple of 13?
True
Let x = -3 - -6. Let m be ((-1332)/(-16) - -5) + (-1)/4. Suppose -7*d = -x*d - m. Is d a multiple of 11?
True
Suppose 0 = -w + 2*c - 1, 5*w = 6*c - c + 10. Suppose 5*l + 27 = 3*v, -3*l + w*v - 16 = -3. Let d(p) = p**2 + p - 2. Does 7 divide d(l)?
True
Let t(g) = -2*g + 3*g + 4*g - 4*g - 2. Does 8 divide t(10)?
True
Let c be (-380)/10*(-2 - 0 - -6). Does 38 divide (1 - c) + (-26)/26?
True
Suppose 6139 = 8*r - r. Let l = -1519 + r. Is 18 a factor of l/(-36) + (-1)/(-6)?
True
Let g(f) be the third derivative of -f**6/40 + f**5/30 + f**4/24 + f**3/3 - 17*f**2. Does 49 divide g(-3)?
True
Let w be (-44 - -1) + (-1 - -5). Let g = 42 + w. Suppose -l + 208 = g*l. Is 8 a factor of l?
False
Suppose 4*k = -s + 12, 0*s = k + 2*s - 10. Suppose -h - 23 = -k*h. Let q = 46 - h. Is 13 a factor of q?
False
Let l(t) = t + 5. Let d be l(-7). Is 1/d*2*-17 a multiple of 17?
True
Let m be -5 - -2*317/2. Let z = m + -172. Is z a multiple of 28?
True
Suppose -8*d + 2481 = -6479. Does 10 divide d?
True
Suppose -k + 2 + 2 = 0. Suppose -11 - k = j. Let q = j - -48. Does 7 divide q?
False
Let s = -633 + 1075. Does 13 divide s?
True
Suppose 3*x - 12 = 0, 3*v + x = 23 - 4. Supp