2. Let z be u(7). Suppose n*f = f + z. Is f a multiple of 16?
True
Let t(q) = -q**2 - 3*q + 8. Let o be t(-4). Suppose 5*r = -i - 725, o*r + 132 = -2*i - 454. Let a = -93 - r. Does 8 divide a?
False
Suppose 5*h = -45 + 270. Is h a multiple of 44?
False
Suppose 2*f - 2*s + 32 = 7*f, 3*s - 21 = -3*f. Is 3*12*6/f a multiple of 11?
False
Let v(p) = 2*p - 15. Let g(d) = 2*d - 15. Let j(b) = 4*g(b) - 5*v(b). Let y be j(11). Let r = 0 - y. Is r a multiple of 7?
True
Let u be (0 + -1)/(4 - 6405/1603). Does 18 divide u/(-7) - 2/(-14)*2?
False
Suppose 2*w + 4 = 8. Suppose w*v = -1 + 257. Is v/4 + (0 - 0) a multiple of 7?
False
Let x(o) = 4 - 3 + 5 + 2*o - o. Does 2 divide x(6)?
True
Let l = 2008 + -632. Does 46 divide l?
False
Suppose -15 = 5*w, 0 = 2*o - 7*o + 2*w - 14. Let m(v) = -64*v - 16. Is m(o) a multiple of 30?
True
Let m = 19 + -11. Let h = 9 - m. Suppose -h = 3*b + 5*j - 17, -64 = -4*b + 4*j. Is 6 a factor of b?
True
Let d(j) = -j**2 + 16*j + 4. Suppose 5*h + 4*t + 5 = 0, t - 4 = -4*h + 3. Suppose 5*l = h*y - 0*y + 49, 3*l + 5*y = 43. Is 33 a factor of d(l)?
False
Suppose 12*k = k + 1584. Is 9 a factor of k?
True
Let g be (-1 + -19)*(-6 + 72)*-1. Suppose -11*y - 5*t = -7*y - 1058, -5*t + g = 5*y. Does 38 divide y?
False
Does 3 divide 525/12 - 30/40?
False
Suppose 5*k - 16 = -g - 0*k, 4*g - 114 = 5*k. Suppose 4*j - 2*j - 4*z = g, -25 = 5*z. Suppose -5 = -v + j. Is 7 a factor of v?
False
Let f(b) = -8*b - 13. Let v = 21 - 28. Let r be f(v). Suppose l + 30 = r. Is l a multiple of 5?
False
Suppose 7*d + 30 = 2*j + 3*d, 51 = 5*j + 2*d. Let q = 66 + j. Is q a multiple of 11?
True
Let v(i) = -139*i - 7. Is v(-3) a multiple of 41?
True
Suppose -1666*x = -1664*x - 3360. Is x a multiple of 24?
True
Let x = 250 + -395. Let g = x - -78. Let m = -24 - g. Is 12 a factor of m?
False
Does 71 divide (-126)/231 + 32820/33?
True
Let y be (2 - 1)/(2/4). Let z = y - -12. Suppose -4*h + z = -170. Does 13 divide h?
False
Let f(d) be the first derivative of d**2/2 - 2*d - 59. Does 4 divide f(14)?
True
Let v(g) = 31*g + 2 + 6*g**2 - 15*g - 16*g - g**3. Let h be v(6). Suppose 0 = -3*w - h*w + 75. Is 4 a factor of w?
False
Let w(v) = -v**2 + 14*v + 19. Let o be w(15). Let l be 1/2*(4 - o). Suppose l*r + r - 4*d - 6 = 0, 2*r - 32 = 3*d. Is 11 a factor of r?
True
Let q(f) = 4*f**2 + 13*f + 6. Suppose 6*d = -48 + 24. Is q(d) a multiple of 6?
True
Let s(x) = 28*x**2 - 8*x + 9. Let p(n) = 42*n**2 - 12*n + 13. Let o(t) = 5*p(t) - 7*s(t). Let k = -15 - -17. Is o(k) a multiple of 20?
False
Suppose 8 = 3*n + c + 25, -n = -2*c + 1. Let d(y) = -10*y + 4. Is 9 a factor of d(n)?
True
Suppose -5*n + 3*n + 22 = 0. Let g = -7 + n. Let c(a) = 3*a**2 + 4*a + 4. Does 12 divide c(g)?
False
Let o(y) = y**3 - 7*y**2 - 27*y - 31. Does 33 divide o(12)?
False
Suppose 4*h - 5*p - 3161 = 0, 6*h + 3890 = 11*h + 6*p. Is 28 a factor of h?
True
Let r(s) = -s**3 + 6*s**2 + 11*s - 10. Let h be r(7). Does 8 divide (h/8)/((-12)/(-320))?
False
Let o(t) = t**2 + t - 10. Suppose -g = -4*g - 5*s + 10, -g - 4*s = -8. Let d(p) = -p**2 - p - 6. Let j be d(g). Is 6 a factor of o(j)?
False
Let d = -1 - 0. Does 3 divide -1 - d - 26*2/(-4)?
False
Suppose -8*w = 770 - 6370. Is 35 a factor of w?
True
Let u = 126 - 55. Let f = u + -47. Let w = f - 12. Is 6 a factor of w?
True
Let w = 503 + -444. Is 2 a factor of w?
False
Let n(l) = l - 21. Let a be n(8). Let z(h) = -h**2 - 11*h + 32. Is z(a) a multiple of 2?
True
Let n be (-12)/(-15)*(-115)/2. Let i = n + 16. Is 14 a factor of ((-12)/5)/(3/i)?
False
Let s be (-3 + 2)*(0 + -11). Let r = s - -43. Let i = r - 30. Is 22 a factor of i?
False
Let b be (4/5)/(4/(-30)). Let w(h) = h**2 + 6*h + 5. Let i be w(b). Suppose 0 = 4*m - 5*m + i*l + 10, -2*m + 2*l = -28. Is 6 a factor of m?
False
Suppose 36*g - 40*g + c = -2684, 0 = -5*c + 20. Is g a multiple of 8?
True
Let t(v) = -5*v - 17. Let b be t(-4). Let s(f) = -f**2 + 7*f - 3. Is 2 a factor of s(b)?
False
Let f = 1025 - 855. Is 10 a factor of f?
True
Let b be -2*4/8*-3*1. Suppose -170 = b*j - 8*j. Is j a multiple of 34?
True
Let j(t) = t**3 - 4*t**2 + 2. Let r be j(4). Suppose -2 - 20 = -r*g. Is g even?
False
Suppose -h = -2*y - 691 - 1135, 3*h - 5505 = -3*y. Is h a multiple of 8?
True
Suppose 0 = -2*i - 2 - 0. Is i*3/(15/(-125)) a multiple of 14?
False
Let w(y) = y**2 + 10*y. Let p be w(-10). Suppose -3*u + 184 - 55 = p. Suppose 0 = -2*f + 3*f - u. Is f a multiple of 33?
False
Let l(g) = 3*g**2 - 5*g - 6. Suppose -3 = -0*c + c. Let b = c + -2. Is 23 a factor of l(b)?
False
Suppose -4*o + 33 = 13. Suppose 5*x - 3 - 12 = -o*y, 2*y = 4*x + 18. Suppose -y*u + 0*u = -110. Does 11 divide u?
True
Suppose -5*d = -7 + 12, 5*l - 3*d = 2093. Is l a multiple of 19?
True
Let h = 46 - 43. Suppose 0 = -h*y - 2*y + 860. Is 40 a factor of y?
False
Let b(w) = w**2 - 22*w + 512. Does 5 divide b(43)?
True
Suppose o = -0*o + 3. Let j(c) = -c - 3. Let u be j(o). Is 9 a factor of (-2)/((-7)/((-651)/u))?
False
Let r be (3/(-9))/((-2)/36). Let s(a) = 3*a**2 - 15*a + 8. Does 8 divide s(r)?
False
Let s be 15*3*4/6. Let j be (-12)/s - (-304)/10. Let c = -13 + j. Is c a multiple of 17?
True
Suppose -252*r + 8685 = -243*r. Is 33 a factor of r?
False
Suppose -2*p = 0, 4*o + 33609 = -2*p - 2471. Is (o/(-9))/10 + (-2)/9 a multiple of 45?
False
Suppose 2*d - 61 + 13 = 0. Let n be (-6)/d - 338/(-8). Does 15 divide (-3 + 0 - -2) + n?
False
Let x(p) be the third derivative of -p**5/60 + 2*p**4/3 + 11*p**3/6 + 36*p**2. Is 11 a factor of x(16)?
True
Let h(l) = 4*l**2 - l + 5. Let g be h(4). Suppose g = j + 8. Let m = 85 - j. Is m a multiple of 11?
False
Suppose -3*g + 16 = -5*m, m + m + 10 = 3*g. Is g/((8/(-99))/(-4)) a multiple of 33?
True
Let x = -201 + 282. Is x a multiple of 27?
True
Suppose 0 = 3*h - 5*h - 5*v + 11, 0 = -4*h - 5*v + 7. Let a be (h - 1/1) + -4. Let s(f) = f**3 + 9*f**2 + 10*f + 1. Is 20 a factor of s(a)?
False
Suppose -11*o + 1584 = 7*o. Is o a multiple of 25?
False
Let h be 1/((-1)/(-3) - (-68)/(-255)). Is 0 + -1 + h - -4 a multiple of 2?
True
Let y(x) = 5*x - 13. Let s be y(3). Let z be (4/10)/(2/330). Suppose u + s*u - z = 0. Is u a multiple of 6?
False
Suppose -5*g - 2*z + 2842 = 0, -7*z = -g - 5*z + 566. Is g a multiple of 4?
True
Suppose -3*w + 17 = w - u, -2*w + 16 = -2*u. Suppose 4*i + 6*s - w*s - 415 = 0, -2*s - 112 = -i. Is i a multiple of 7?
False
Let q = -2 - -8. Suppose q - 8 = -r. Is 2 a factor of (r - 0)/(2/4)?
True
Does 7 divide (-24)/(-30) + (-118762)/(-85)?
False
Let a(y) = 188*y**2 + 4*y - 3. Let l be a(1). Suppose 516 = 5*u - l. Does 38 divide u?
False
Let l be (-10)/45 + 133/(-9). Let t = l - -14. Does 8 divide (-3 + 4)*t - -16?
False
Suppose -89*q + 26643 = -80157. Is 6 a factor of q?
True
Is 1879/2*(-55 + 57) a multiple of 17?
False
Suppose 11*h - 7*h - x = 4095, 0 = -5*h + 5*x + 5115. Does 91 divide h?
False
Let a(d) = 14*d**2 + 12*d + 50*d**2 - 16*d**3 - 25 - d. Let v(m) = -3*m**3 + 13*m**2 + 2*m - 5. Let r(n) = 2*a(n) - 11*v(n). Does 3 divide r(15)?
False
Does 69 divide 277*(6 - 1)*8/20?
False
Suppose 2*c = -28*c + 103470. Is c a multiple of 12?
False
Let v(d) = -3*d**3 - 4*d**2 - 4*d - 2. Let f(u) = 2*u**3 - 5*u + 0*u**3 + 2 - u**3 - 2*u**2 + 2. Let k be f(3). Does 5 divide v(k)?
False
Let q = -99 - -801. Is q a multiple of 26?
True
Let x = 16 - 15. Suppose -3*n + x = -68. Let i = 26 - n. Does 2 divide i?
False
Suppose -7*x - 9588 = -41*x. Does 14 divide x?
False
Let v be 667/116 - (-5)/4. Let p be (-43)/1 + (-1)/(-1). Is (-12)/p - (-334)/v a multiple of 12?
True
Let w = -6 - -8. Let v(u) = -10 + 9*u**3 + 7 - 2*u**3 + 3*u - w*u**2. Is 17 a factor of v(2)?
True
Suppose 5*o + 35 = 5*z - 35, 2*z + o - 16 = 0. Let q(b) = 9*b + z*b - 27*b - b**2 - 9. Does 6 divide q(-5)?
True
Suppose -4*s + 2*s + 10 = -4*i, -5*i = -5*s + 25. Suppose 0*o - 4*o + 792 = -2*v, i = 3*o - 3*v - 591. Is o a multiple of 25?
False
Suppose 4*u - 8 = -0*u. Suppose -4*r - 16 = u*w, -11 = -w + 2*r + 1. Suppose w*j + o - 17 = 2, j + 5*o - 23 = 0. Does 7 divide j?
False
Suppose 7290 = -322*n + 332*n. Is n a multiple of 9?
True
Let y = -293 + 113. Let z = -78 - y. Is z a multiple of 24?
False
Suppose 3*p = -3*v + 3081, -v - 23*p + 18*p + 1011 = 0. Is v a multiple of 22?
False
Let w(l) = -l**3 - l**2 - l + 6. Let x be w(0). Suppose -2*c = 4, 3*i = x*