 2). Suppose -r*v + y - 1 = -7, 4*v - 16 = y. Let t = v + 9. Is t a multiple of 14?
True
Suppose -4*o + 368 + 72 = 0. Suppose o = -0*p + 5*p. Is p a multiple of 7?
False
Let p(w) = 12*w**2 - 3*w + 1. Let q(g) = g**2 - 2*g - 5. Let i be q(4). Let v be p(i). Suppose -v = 3*k - 5*k. Is k a multiple of 24?
False
Suppose g + 2*g - 2*c = 25, 4*c = 3*g - 35. Let r be (0 - 8)/(-4) + -2 + 2. Suppose 2*x = 3*u - 25 + g, 5*x = r*u + 5. Does 7 divide u?
False
Let m be 9/6*(-6)/(-9). Let l(a) = 8*a**2 - 2*a + 1. Does 2 divide l(m)?
False
Let i = 45 + 48. Is 9 a factor of i?
False
Suppose 0*w = -2*w + 4. Suppose -35 = 2*f + m + 4*m, 0 = 4*f + w*m + 78. Let c = -6 - f. Is c a multiple of 5?
False
Let n = -131 - -260. Is 43 a factor of n?
True
Let p(c) = 9*c**2 - c - 1. Suppose -1 = 5*g - 11. Let q be p(g). Let h = -13 + q. Is 16 a factor of h?
False
Is 3 a factor of (-117)/18*-2*1?
False
Suppose -q + 10 + 11 = 0. Does 5 divide q?
False
Let b = -1 + 0. Does 7 divide (-42)/b*(-2)/(-4)?
True
Let y(r) = -r**3 + 4*r**2 + 5*r + 3. Let o be y(5). Suppose 5*k = -15, -k + 11 = -o*a + 41. Is 5 a factor of a?
False
Let j be (-14)/21*(-18)/4. Suppose -6*s + 82 = -2*s - j*k, 3*k - 72 = -3*s. Is 6 a factor of s?
False
Let i(q) = 14*q - 3. Is i(2) a multiple of 9?
False
Suppose 4*z - 159 = j, 0 = j - 5*j - 12. Is 13 a factor of z?
True
Let l(u) = 8*u**2 - u. Is 28 a factor of l(3)?
False
Let r(y) = 5*y**3 + 6*y**2 - 19*y - 1. Is 7 a factor of r(3)?
False
Let q = -1 - 58. Let c = 116 + q. Does 33 divide c?
False
Suppose 0*d + 3*d - 120 = 0. Is d a multiple of 7?
False
Suppose u = 4*l + 37, 3*u - 36 - 19 = -2*l. Is 20 a factor of u/(-7)*40/(-3)?
True
Suppose -2*c = 3*c + 45. Suppose 3*d + 230 = -5*j + 969, 2*d - 494 = -2*j. Is d/18 + (-2)/c a multiple of 14?
True
Does 6 divide (-1)/((-532)/(-268) - 2)?
False
Let z = 266 + -145. Is 37 a factor of z?
False
Suppose 75 = -6*g + g. Let z = g - -10. Let x(k) = -3*k + 6. Does 8 divide x(z)?
False
Suppose -u + 3 = -2. Suppose 3*p + 7*m - 53 = 3*m, u*p = 3*m + 127. Is 9 a factor of p?
False
Let y(p) = 14*p**2 + 3*p - 9. Is 18 a factor of y(-3)?
True
Let c = 107 - 63. Is 11 a factor of c?
True
Suppose 5*d + 33 = 8. Let a = 11 + d. Suppose -1 = -g - l, -2*l - 4 = a. Does 3 divide g?
True
Let i(w) = w**2 + 5*w + 2. Let u be i(-3). Does 7 divide (2/u)/(3/(-42))?
True
Let l = -77 + 189. Is l a multiple of 14?
True
Let s(h) = 677*h**2 + h + 1. Let g be s(-1). Suppose 5*v = n - g, n = -0*v + 3*v + 675. Is 17 a factor of 4/10 - n/(-20)?
True
Let u(b) = -6*b - 10. Let j(s) = -4 - 4*s + 3*s - 9. Let c be j(-6). Does 16 divide u(c)?
True
Let o = -42 - -106. Is o a multiple of 14?
False
Is 326/6 + 1/(-3) a multiple of 9?
True
Suppose -552 = -10*x + 778. Is 19 a factor of x?
True
Let j be 1/3 - (-34)/6. Suppose -5*c + 5 = 2*r - 2*c, -j = -2*c. Does 12 divide 9*-6*r/4?
False
Let q be (-19)/(-4) + 15/(-20). Is 8 a factor of 4/((6/q)/3)?
True
Let y(w) = w**2 - 5*w + 4. Is 3 a factor of y(6)?
False
Let p(z) be the first derivative of z**2/2 + 17*z - 3. Let k(f) = -f**3 - f**2 + f. Let q be k(0). Does 17 divide p(q)?
True
Let c(w) = 2*w**3 - 2*w**2 - 2*w + 2. Does 32 divide c(3)?
True
Let p(g) = 26*g + 1. Let l be p(2). Suppose -2*h + l = -13. Does 15 divide h?
False
Let y = 4 + -2. Let t be (y + -3)*12*-1. Is 4/6*54/t a multiple of 2?
False
Let q(w) = -3*w. Let z be q(2). Let m(r) = -8*r - 1. Is m(z) a multiple of 16?
False
Suppose 167 = t + 47. Let k be t/2*12/30. Suppose 0*i + 4*r - k = -2*i, 2*r - 18 = -4*i. Does 2 divide i?
True
Let w(k) = -2*k. Let n be w(2). Let p be (1/2)/(n/248). Let y = -17 - p. Is 14 a factor of y?
True
Suppose 3*u - 2 = -2*x + 5*u, 3*x - 17 = -4*u. Let y(a) = 22*a - 2. Let z be y(x). Suppose 4*s = -4*v + 56, -s + z = 5*v - 2*s. Does 10 divide v?
False
Let b be 1/((-3)/12)*-1. Suppose 3*x + 39 = b*r + 192, 168 = 3*x + r. Does 7 divide x?
False
Suppose -117 = 4*f - 325. Is f a multiple of 26?
True
Suppose 4*q - 8*z = -3*z + 121, 149 = 5*q - 4*z. Let v = q - 4. Let d = -6 + v. Does 8 divide d?
False
Suppose -2*f + 3 - 9 = -4*c, -19 = 4*f - c. Let b = f - -23. Is 8 a factor of b?
False
Let b = 36 + 122. Is 14 a factor of b?
False
Let b(h) = 3*h**2 - 9*h - 12. Is b(5) a multiple of 6?
True
Let g(a) = a**2 + 3*a + 2. Is g(6) a multiple of 16?
False
Let u(a) = -a - 2. Let y(q) = q + 3. Let j(b) = 5*u(b) + 4*y(b). Does 8 divide j(-6)?
True
Let w be (6/12)/((-1)/(-16)). Suppose 5*o = 3*y - 5*y, -o - w = 2*y. Is o a multiple of 2?
True
Let l be 1/(-1 + (-8)/(-7)). Is (12/(-7))/((-1)/l) a multiple of 6?
True
Let r = -24 + 26. Suppose 0 = r*s + 5*c + 7 + 5, 0 = 5*c + 20. Is 2 a factor of s?
True
Let y(s) = -3*s - 12. Is 14 a factor of y(-15)?
False
Suppose -4*i + 125 = -83. Is 20 a factor of i?
False
Let x(c) = 2*c - 5. Let q be x(4). Suppose 4*y - 64 = -2*n, 5*y - y - 100 = -q*n. Is n a multiple of 12?
True
Suppose 4*q + 209 = -243. Let p = -43 - q. Suppose 0 = 2*y + 6 - p. Does 16 divide y?
True
Suppose 5*u - 8 - 22 = 0. Is 6 a factor of u?
True
Let k(f) = 19*f - 1. Let c be k(1). Suppose 4*t - 5*x = -29, 0 = 4*x - 2 - c. Does 7 divide (4/(-4))/(t/17)?
False
Let y(x) = 37*x**3 - 2*x**2 - 7*x + 5. Is 21 a factor of y(2)?
False
Is 5 a factor of ((-1)/5 - (-35)/50)*30?
True
Let s(x) = -2*x + 11. Let t be s(8). Let f(y) = -y**3 - 3*y**2 + 5*y - 2. Does 14 divide f(t)?
False
Let v(x) = x**2 + 4*x - 25. Does 12 divide v(-11)?
False
Suppose -k + 2*k - 23 = 0. Let a be 14/(2/(-4 - -6)). Let b = k - a. Is b a multiple of 4?
False
Let v(o) = -5*o**3 - 2*o**2 - 3*o - 2. Let r be v(-2). Suppose -136 - r = 4*d. Let g = -28 - d. Does 15 divide g?
True
Suppose 0 = -2*g - g + 102. Let i be (-522)/(-4) + (-5)/10. Suppose -6*z + z + 5*y = -i, -z - 3*y + g = 0. Is z a multiple of 13?
False
Suppose k = -5*d + d + 7, -3*d - 9 = -4*k. Suppose -10 = -k*t + 44. Is 8 a factor of t?
False
Suppose 4*v - 10 = 10. Suppose -3*m + 5*w = -3 - 117, -2*m + v*w = -85. Is 10 a factor of m?
False
Let u = 8 + -6. Let x = 13 - 10. Suppose 0 = s + x*q - 30, 0 = 3*s + u*q - 40 - 36. Does 11 divide s?
False
Let d(v) = -v**3 + 3*v**2 + 2*v - 5. Let f be d(4). Let q(x) = -x**2 + 12*x - 12. Let a be q(5). Let i = f + a. Does 5 divide i?
True
Let g(y) = y - 1. Let v(r) = -3*r + 3. Let n(h) = -8*g(h) - 3*v(h). Let m = 9 + -4. Does 4 divide n(m)?
True
Suppose -377 + 137 = 5*g. Let u be (g/9)/(2/(-6)). Is -1 + (u - 3)*1 a multiple of 12?
True
Suppose 0 = 15*g - 12*g - 45. Is 15 a factor of g?
True
Let z(r) = -r + 9. Let h(c) = -c**2 - 7*c + 2. Let n be h(-7). Suppose -n*g = -4*o - g - 4, 2*o - 3*g + 12 = 0. Does 6 divide z(o)?
False
Let n(k) = k**2 + k. Let m be n(-3). Let z = 0 + m. Is z even?
True
Let c = 21 + -14. Suppose 5*n + c = -4*l, 2*l - 4*n - n - 19 = 0. Does 11 divide l/5 - (-206)/10?
False
Let a = -183 - -115. Let h = -25 - a. Let u = h + 0. Is 18 a factor of u?
False
Suppose 5*w - 23 = -8, -r + 5 = w. Suppose 0*n = -r*n + 6. Suppose -n*y + 165 = 2*y. Is y a multiple of 15?
False
Let a = -4 - -7. Let m be (5 - a)/((-3)/6). Is 18 a factor of (-5)/(-20) - 87/m?
False
Let b be (-32)/(-6) - (-6)/(-18). Suppose -128 = -b*y - 4*t, -y - 4*t = -11 - 21. Is y a multiple of 8?
True
Let s = -21 - -15. Let g = s + 25. Does 5 divide g?
False
Let o = -22 - -39. Is 5 a factor of o?
False
Let y = -1293 - -2174. Let t be y/4 - 5/20. Suppose 0*l + 5*l - t = 0. Does 22 divide l?
True
Let d(u) = 10 - 2*u - 2*u + 5*u + 2. Is d(0) a multiple of 6?
True
Let d(s) = 8*s**2 - 2*s - 1. Suppose 2*w + 2*w = -4. Does 9 divide d(w)?
True
Let i = 6 - -5. Let w = 68 - i. Does 19 divide -2*3/((-18)/w)?
True
Let o = 3 - 2. Let m be 8/(-20)*(o + -81). Suppose -5*l + 92 - m = 0. Does 12 divide l?
True
Is 20/(-6)*(-76 + (0 - -7)) a multiple of 21?
False
Suppose -3*z + 3*h = -21, 0 = -z - 2*z - 4*h + 7. Let o = 6 - 3. Let q = z - o. Is 2 a factor of q?
True
Suppose -j - 2*k = -3*k + 18, -k = -5. Let r = 14 - j. Is 10 a factor of r?
False
Suppose -3*z + 304 = -2*u, -4*u - 508 = z - 6*z. Is z a multiple of 20?
True
Let n(u) be the third derivative of -u**4/4 - u**3/2 + u**2. Is n(-4) a multiple of 13?
False
Suppose 953 = -5*y - 272. Is 9 a factor of (y/14)/((-2)/4)?
False
Let i(l) = -l**2 + 4*l - 3. Let a be i(3). Suppose p - 4*p = a. Let h(n) = -n**2 + 4. Does 2 divide h(p)?
True
Suppose 18 = -u + 4*x, 