- f - 10 = -3*f, -2*s + 4*f = -w. Is s*1*(-693)/(-44) a multiple of 19?
False
Suppose 2*l + 0 - 6 = 0. Let w(a) = 6*a - l*a - 2*a + a. Does 3 divide w(2)?
False
Let i(z) = -z**2 + z + 503. Is i(0) a multiple of 23?
False
Let l(b) = 2*b - 8. Let z be l(7). Suppose -2*k - z = k. Is ((-16)/48)/(k/36) a multiple of 2?
True
Let z be 5 - -1 - (2 + -1). Suppose 0 = 5*t + 5 - 15. Suppose 4*d + 40 = -t*v + 234, 4*v - 323 = z*d. Is v a multiple of 29?
True
Suppose -5 = 5*b - 15. Let x = -208 - -211. Suppose x*f + f + 8 = 0, -b*a + 108 = -2*f. Is 26 a factor of a?
True
Suppose v + 0 - 1 = 0. Does 22 divide 1 + (-80)/(0 - v)?
False
Let u(p) = -p**3 + 7*p**2 - 3*p - 1. Suppose 2*g + a - 7 - 6 = 0, -2*a = 3*g - 21. Is u(g) a multiple of 10?
False
Let f(r) = -6*r - 2. Suppose 3*s - 2*s + 3*m = 14, s = 4*m - 21. Let i be f(s). Suppose i*l + 110 = 9*l. Is l a multiple of 12?
False
Let a(d) = -5*d**2 - 11*d + 6. Let z(o) = 20*o**2 + 45*o - 25. Let k(x) = -25*a(x) - 6*z(x). Let h(c) = 3*c + 26. Let m be h(-10). Is k(m) a multiple of 21?
False
Let h = 1958 + -1287. Is h a multiple of 54?
False
Suppose -4*w = l + 3*l - 4864, -2*w + 5*l = -2467. Does 33 divide w?
True
Let z(k) = -301*k - 249. Does 88 divide z(-4)?
False
Suppose -5*d = 2*o - 1307, 5*o + 77*d - 82*d = 3320. Is o a multiple of 32?
False
Let b = -30 + 57. Suppose -404 = 23*v - b*v. Is v a multiple of 19?
False
Let c be 2*1*69/46. Suppose 103 - 355 = -c*s. Is 14 a factor of s?
True
Let x(o) = -56*o - 6. Let u be x(-4). Suppose 3*i + y = -u, -2*y + 0*y + 68 = -i. Is (i/(-10))/(4/20) a multiple of 6?
True
Let l(a) = 21*a**3 + 7*a**2 - 3*a - 37. Is l(5) a multiple of 23?
False
Suppose 0 = 4*w - 3*t - 32, -w + 5 = -4*t - 16. Let o(m) = -2. Let p(i) = i. Let u(c) = -o(c) + 3*p(c). Does 17 divide u(w)?
True
Let d = 1286 + -911. Does 35 divide d?
False
Let x(a) = 36*a - 498. Is x(38) a multiple of 6?
True
Let v(j) = j**2 - 23*j + 46. Let h be v(19). Let f = 54 + h. Is 6 a factor of f?
True
Suppose 3*w = 4*k + 4946, -51*k + 8249 = 5*w - 52*k. Is 25 a factor of w?
True
Does 6 divide ((-66)/(-2))/((15/4)/15)?
True
Let s(z) = 124*z**2 + 7*z + 1. Is s(2) a multiple of 19?
False
Let v(z) = -4*z + 3. Let p(s) = 5*s - 4. Let a(u) = -3*p(u) - 4*v(u). Let g be a(2). Is ((-484)/(-55))/(g/5) a multiple of 6?
False
Suppose -o + 5*b = -4*o + 33, -3*o + 6 = -4*b. Is (-3)/o*-8 - -19 a multiple of 4?
False
Suppose 2*i - 161 = -5*o, o = 2*i + 2*i + 41. Let m = o - 30. Suppose 3*j + 0*j = -15, b - m*j = 39. Is 12 a factor of b?
True
Let u(i) = -35*i - 77. Let y(q) = 18*q + 38. Let l(n) = -6*u(n) - 11*y(n). Does 11 divide l(11)?
True
Let i(m) = 3*m + 1. Let g(x) = x**2 - 10*x + 5. Suppose 45 = 5*f - b, -2*b = 2*b - 20. Let h be g(f). Is 8 a factor of i(h)?
True
Suppose -24*t + 63*t = 100776. Does 76 divide t?
True
Let u = -11 + 13. Suppose -i + u*c = i - 102, 3*i + c = 157. Is 30 a factor of i?
False
Suppose -4*i = 5*s - 6 - 34, -50 = -5*i + 5*s. Suppose 0*h = h - i. Suppose k - c - 14 = 0, k - h = -c + 3*c. Does 18 divide k?
True
Let u be 4/(-8)*4*-2. Suppose -5*y - 18 - 22 = -5*b, 3*b + 60 = -u*y. Let w = 8 - y. Is 10 a factor of w?
True
Suppose -27*g - 10 = -29*g. Suppose -g*u = r - 0*u - 112, 3*r - 360 = -3*u. Is 15 a factor of r?
False
Is 41 a factor of (9 - 3 - 5)*539?
False
Let h(x) = 4*x + 262. Is 3 a factor of h(-16)?
True
Suppose -26*o + 23*o + 879 = 0. Is o a multiple of 20?
False
Let y(x) = 7*x**2 + 69*x + 48. Is 79 a factor of y(-19)?
True
Let d(s) = -s + 3. Let r be d(3). Suppose n - 5*n = r. Suppose n = 3*f + 15, 4 + 3 = -3*g - 5*f. Is g a multiple of 2?
True
Suppose 4*j = 416 + 448. Is 27 a factor of j?
True
Let c = -107 - -459. Is 44 a factor of c?
True
Suppose 497 = 4*s - 2*v - 497, s - 4*v - 231 = 0. Is s a multiple of 93?
False
Suppose 0 = 3*r - 99 - 63. Let a = 595 + -489. Let l = a - r. Is l a multiple of 13?
True
Suppose 2*n = -5*j + 335, 2*n + 2*j = 7*j + 385. Does 15 divide n?
True
Let j be (-3)/24*-22*-4. Let l = -6 - j. Suppose -l*d + 34 = -41. Is 5 a factor of d?
True
Let q = -4 + 3. Let i be -4 - (-1 - 1 - q). Let m(p) = -p**3 - 3*p**2 - 2*p + 4. Is 9 a factor of m(i)?
False
Let y(n) = 5*n**3 - 8*n**2 + 24*n - 105. Is y(5) a multiple of 88?
True
Let l(u) be the third derivative of u**7/2520 + u**6/360 + u**5/10 + u**4/4 + 3*u**2. Let n(o) be the second derivative of l(o). Is n(0) a multiple of 4?
True
Suppose 3*x - 4*k - 154 = 0, 85 + 185 = 5*x - 4*k. Is x a multiple of 14?
False
Let w(p) = 51*p**2 - 31*p + 11. Is 40 a factor of w(3)?
False
Let z(q) = 48*q**3 - 2*q**2 + 1. Let d(l) = l + 13. Let s be d(-12). Does 18 divide z(s)?
False
Let o = 626 - 360. Is o a multiple of 2?
True
Suppose -5*f = -3*f. Suppose -m = 3 - 43. Is (-272)/m*(f + -5) a multiple of 17?
True
Suppose 25 = -5*j, 2*z - 7*j + 6*j = 127. Is 11 a factor of z?
False
Suppose 38*m - 3978 + 596 = 0. Does 6 divide m?
False
Let v(a) be the second derivative of -a**5/20 + a**3/2 + 56*a**2 - a. Does 28 divide v(0)?
True
Let r(a) = 30*a + 31. Let w be r(7). Let s = w - 171. Is s a multiple of 11?
False
Let u be (-2)/(-3) - (-668)/6. Suppose -3*d + u = -d. Suppose -3*a + 4*a + 34 = 3*z, 4*a + d = 4*z. Is z a multiple of 3?
False
Let i be -2*(-5)/((-10)/(-11)). Let g = 7 - i. Does 7 divide (-3 + 9)/(g/(-18))?
False
Suppose -117 = -4*t + l - 0*l, 0 = 5*t + 4*l - 141. Is t a multiple of 5?
False
Let y = -268 - -424. Is y a multiple of 16?
False
Let r(f) = 5 + 4 - 3 + 0 + 72*f. Let b be r(7). Does 26 divide (b/9)/(4/6)?
False
Let j(f) = -f**2 - 6*f + 7. Let d be j(-5). Is -3*((-128)/d + 1) a multiple of 6?
False
Let z(d) = d**3 - 6*d**2 + 3*d - 10. Let s be z(6). Suppose -4*n = -4*k - 34 + 194, 4*k + s = 0. Let b = n + 106. Does 22 divide b?
False
Suppose -k - 7 = -3*c, -k + 13 = k + 3*c. Suppose 0*s - k = 2*s. Is 5 a factor of s + 0 + -2 - -17?
False
Let b(n) = n**2 - 16*n + 3. Let c be b(16). Suppose 0 = -5*p - a - c*a + 13, 3 = -a. Suppose -p*y - q = -29, -8 = -2*y - q - 3*q. Does 2 divide y?
True
Let o = 21 - 17. Suppose 0 = -o*z + 972 + 1016. Does 20 divide 4/(-22) - z/(-11)?
False
Is ((-480)/(-70))/(2/42) a multiple of 17?
False
Let z = 96 - 121. Is (-3)/((-45)/z)*-12 a multiple of 7?
False
Suppose 3*b = 6*b - 4*d - 4449, -b + 1483 = 4*d. Does 45 divide b?
False
Let z(a) = 4*a**3 - 3*a**2 + 2*a. Let n(m) = -m**2 + 5*m + 9. Let s be n(6). Let x be (3/(-1))/(s/(-2)). Is 8 a factor of z(x)?
True
Suppose -82 - 127 = -a. Does 5 divide a?
False
Let w(u) = u**2 + 8*u + 2. Let z be w(-8). Suppose 29 = 4*b - z*y + y, 2*y + 10 = 2*b. Does 4 divide b?
True
Let o = -20 - -67. Does 3 divide o*((-15)/6)/(-5)*2?
False
Let c(m) = m. Let w(d) = 2*d - 10. Let o(p) = -6*c(p) + 2*w(p). Let k be o(-11). Suppose -5*v = 3*h - 64, h - 16 = -h + k*v. Does 5 divide h?
False
Suppose 0 = 4*i - 3*v - 172, 3*i + 2*v = i + 72. Suppose -i*y + 35*y + 340 = 0. Is y a multiple of 17?
True
Suppose -26 + 5 = -4*p - m, 5*p = -4*m + 18. Is 28 a factor of (-5036)/(-30) - p/(-45)?
True
Let q(c) = 3*c + 319. Is 22 a factor of q(11)?
True
Suppose -7*q + 867 = -1149. Is 15 a factor of q?
False
Does 10 divide 2/(16/370) - (-18)/(-72)?
False
Let g be ((-72)/(-39) - (-2)/13)*78. Is 12 a factor of 0 + g - (-7 - -7)?
True
Let m(g) = 2*g - 16. Let h be m(13). Suppose 84 = h*q - 7*q. Is q a multiple of 14?
True
Let s = 15 + -15. Suppose s = 2*r - 5*r. Suppose 5*z - a + 0*a - 80 = r, 5*a = z - 40. Does 11 divide z?
False
Does 7 divide (24/20)/((-18)/(-1680))?
True
Is 21 a factor of ((-3)/4)/((-78)/26104)?
False
Let y = 33 - 30. Suppose -k + 139 = 5*t, -573 + 80 = -y*k + 4*t. Is 21 a factor of k?
False
Let d = 26 + -21. Suppose -3*y + 103 = -d. Suppose y = 4*c - 36. Is 9 a factor of c?
True
Let q = -936 + 1092. Is 6 a factor of q?
True
Does 2 divide -8*((-129)/24 - -5)?
False
Let g(u) = -2*u + 19. Let r be g(8). Suppose 4*y = -r*p - 77 + 332, 3*y = -5*p + 205. Does 6 divide y?
True
Let w = 235 + -158. Suppose -85 = -w*r + 72*r. Is r a multiple of 2?
False
Let q(v) be the second derivative of v**7/2520 + v**6/720 - v**5/24 + 5*v**4/12 - 2*v. Let y(k) be the third derivative of q(k). Is y(-8) a multiple of 17?
True
Suppose f + 3*f = 5*z - 23, 5*z = -5*f + 5. Let v be -6 - (-3)/(-3)*f. Is 9 a factor of (-330)/(-12) - (-2)/v?
True
Let x = 50 + -35. Suppose -179 = -t - t - 5*i, 0 = -3*i - x. Le