ose -2*s = -2*x - 8, -2*s - 3*x = -7*x - 10. Suppose 3*q - 134 = -5*c, -c + 131 = s*q + c. Is q a multiple of 19?
False
Suppose -4*t - 296 = -116. Let b = 68 + t. Is 8 a factor of b?
False
Let z = 77 + 25. Does 34 divide z?
True
Let y(k) = 9*k**2 + 4*k - 4. Let l be y(4). Let t = l - 102. Is 608/18 + 12/t a multiple of 14?
False
Let z = -11 - -28. Let h = 35 - z. Is 18 a factor of h?
True
Let d(o) be the first derivative of -o**4/4 - o**3/3 + o**2/2 + 20*o - 1. Let s(j) = 2*j + 4. Let k be s(-2). Is d(k) a multiple of 10?
True
Is 35 a factor of (-702)/(-4) - (-5 - 44/(-8))?
True
Suppose -s = -3*v - 13, 5*s - 2*s + 5*v = 11. Suppose -p = 1, -s*p = -4*d - 2*p + 41. Let i(m) = m**3 - 9*m**2 + m + 5. Is i(d) a multiple of 5?
False
Let b(c) = 5*c**2 + 11*c + 8. Is 9 a factor of b(-4)?
False
Suppose -3*q = r + 5, 4*q + q = 2*r - 23. Suppose -23 = -r*f + 17. Suppose p + 0*p = f. Is p a multiple of 5?
True
Let q = -70 + 180. Is 27 a factor of q?
False
Let q(o) = o + 10. Let j be q(-8). Suppose -3*p = j*p - 280. Suppose -4*z + p = -0*z. Is z a multiple of 8?
False
Let x(u) = 7*u**2 - 3. Is x(3) a multiple of 12?
True
Let u(g) = g**2 - 3*g + 7. Does 7 divide u(6)?
False
Suppose -5*w + 1204 = -556. Is 9 a factor of (-2)/(-10) + w/40?
True
Is 13 a factor of 1 + -1 + 0 + 183 - 1?
True
Let a = 4 - -1. Let t(p) = 3*p**2 + 12*p + 4. Let d(z) = z**2 + z + 1. Let m(u) = 5*d(u) - t(u). Is m(a) a multiple of 8?
True
Suppose 0 = l + 4*v + 8, 8 = 5*l - 5*v - 2. Suppose -84 = -2*t - l*t. Suppose -b - 4*y = 2*b - t, 0 = -b + 4*y + 14. Is 6 a factor of b?
False
Let v = -5 + 7. Suppose c + 101 = 5*s + v*c, 2*c = -2*s + 42. Let l = s + -8. Does 12 divide l?
True
Suppose -4*f + 5*q = 542, 4*f - 7*f + 4*q = 406. Let v = -22 - f. Suppose 0 = -5*d + l + 108, 2*l = -5*d - l + v. Is d a multiple of 13?
False
Let g(f) = f - 9. Let v be g(9). Suppose -2*i + 16 + 16 = v. Is i a multiple of 5?
False
Let h(f) = -f**2 + 2. Let k be h(0). Suppose k*b - 11 = 37. Is 16 a factor of b?
False
Let n be 31 + -3 + 0 + 3. Let j = 67 - n. Is 18 a factor of j?
True
Does 17 divide -1*(1*-57 - 0)?
False
Let s(x) = -1 + 1 + 17*x + 0*x. Let q = 9 + -8. Is s(q) a multiple of 10?
False
Suppose 5*b = -3*w + 518, -7*b - 15 = -4*b. Is 8 a factor of w?
False
Suppose -4*w = 3*v - 4*v - 79, -4*v + 125 = 5*w. Is w a multiple of 4?
False
Suppose 12*w - 9*w - 120 = 0. Suppose z - w = -4*z. Does 8 divide z?
True
Let v(x) = -6*x + 2. Let b(p) = -7*p + 3. Let d(i) = -4*b(i) + 5*v(i). Let u be d(-2). Is 9 a factor of 3*(8 + -1*u)?
True
Let h(f) = -f - 4*f**2 + 3*f**2 - 2*f**3 + 3*f**3 - 5 + 5*f. Let a be h(-4). Let b = a - -143. Is b a multiple of 14?
True
Let t(w) = 6*w**2 + 35*w + 1. Is 5 a factor of t(-7)?
True
Is 7 a factor of (-2)/((10/21)/(-5))?
True
Let j(q) be the second derivative of -5/2*q**2 + 5/3*q**3 + 4*q - 3/4*q**4 + 1/20*q**5 + 0. Is 6 a factor of j(8)?
False
Let f(c) = 7*c - 6. Let p be f(3). Is 5 a factor of (13/(-13))/((-1)/p)?
True
Suppose -a - a + 8 = 0. Let u(i) = 3*i**2 - 2*i - 5. Is u(a) a multiple of 9?
False
Suppose 3 = b + 5. Let j be 33/11 + (-2)/b. Does 8 divide (-8)/(2/j*-2)?
True
Let x be (-3 + 4)*1 - -21. Let d = 154 + x. Suppose -6*o + 4*o - 3*f = -77, -2*f + d = 5*o. Is o a multiple of 17?
True
Suppose -2*q = -7*q + 30. Is q even?
True
Suppose -k + 11 = 4*i - 3*i, -2*i + 21 = k. Is 6 a factor of i?
False
Is 48/16 + 2*4 a multiple of 2?
False
Suppose 0 = -r + 8*r - 294. Does 21 divide r?
True
Suppose 2*c - 204 = -36. Is c a multiple of 7?
True
Suppose 2*z - 6*z + 2*a = -12, 0 = -5*z + 2*a + 15. Suppose -3*f - 3*w + 9 = -2*f, -2*f + z*w = -45. Does 6 divide f?
True
Let d = 0 - 0. Suppose d*l = -l + 129. Suppose 4*p - l + 37 = 0. Is p a multiple of 15?
False
Suppose 4*w + 2*v - 404 = 0, 555 = 5*w - 3*v + 72. Is 13 a factor of w?
False
Let y(p) = -p**3 - 2*p**2 - 9*p + 8. Is y(-5) a multiple of 32?
True
Let q(a) = a + 5. Is q(-2) a multiple of 3?
True
Let o(k) = 2*k**2 - 3*k + 1. Let a be o(4). Suppose -x + 0*x = a. Let h = x - -30. Is 9 a factor of h?
True
Suppose 2*k = 4*b - 176, 4*b - 34 = 3*b - 2*k. Does 7 divide b?
True
Does 20 divide (-6192)/(-63) - 6/21?
False
Suppose 2*d - 30 = 2*i, -26 = -4*d + i + 37. Is d a multiple of 7?
False
Let h = -101 + 215. Suppose 5*a + h = 2*y, -3*y + 0*y = -2*a - 171. Is y a multiple of 24?
False
Suppose 11 + 7 = -2*s. Let k be (-6)/s*3/1. Let v(d) = 23*d + 2. Is v(k) a multiple of 16?
True
Let n(a) = a**2 - 4*a + 6. Let q be n(4). Suppose 2*u - q = -u. Does 2 divide u?
True
Let j(x) = -x**3 + 6*x**2 + 5*x + 3. Let n be j(6). Suppose 3*h + g - 1 + 53 = 0, 3*h = 4*g - 62. Let m = n + h. Does 6 divide m?
False
Suppose -4*d - 60 = 5*k, 3*k + 2*d + 36 = -3*d. Let a be (-3)/k - (-518)/8. Suppose -a = -2*r + 7. Is 14 a factor of r?
False
Suppose 2*k - 182 = -0*k. Suppose 0 = 4*r - k - 5. Does 24 divide r?
True
Let n be -10 + 6 - (2 - 0). Is 10 a factor of n/(-39) - (-490)/26?
False
Let c(r) = 3*r**2 + r - 2. Let b(q) = -2*q + 9. Let x be b(6). Is c(x) a multiple of 14?
False
Let z = -36 + 64. Suppose 0 = -4*d + 3 + 17. Suppose 0 = d*r - z + 3. Is r even?
False
Suppose -3*d = 318 - 1347. Does 49 divide d?
True
Suppose -2*d + 4 + 2 = 0. Let z be (-2 + d)*(-1 - -3). Suppose 2*f = -4*x + 40, -z*x - 2*x + 32 = -2*f. Is 6 a factor of x?
False
Let p be (1 - -3) + -1 + 0. Suppose 5*a - p*m = 37, 6*a - a - m - 29 = 0. Suppose 180 = a*k - 0*k. Is 13 a factor of k?
False
Suppose -3*w - r = 39, 2*r - 32 = -5*w - 98. Does 10 divide (-158)/(-8) + (-3)/w?
True
Let o(i) = 5*i**2 - 4*i - 3. Let c(h) = 11*h**2 - 8*h - 6. Let s(n) = 4*c(n) - 9*o(n). Is s(4) a multiple of 3?
True
Is (-4810)/(-40) - (-1)/(-4) a multiple of 9?
False
Let y be (-6)/(-4) - (-25)/(-10). Let m(o) = 17*o**2 + 1. Does 9 divide m(y)?
True
Let o = -89 + 168. Suppose 2*t = 4*c - 98, t + 4*t - o = -2*c. Is 9 a factor of c?
True
Let z be (-22)/(-6) + 6/(-9). Is (4 - -8) + (0 - z) a multiple of 3?
True
Is (-5013)/(-21) + 7 - (-2)/7 a multiple of 45?
False
Let k(s) = -2*s + 1. Let v be k(-1). Let p(a) = 5 + 7*a + a**3 - 6 - 3*a - 4*a**2. Is p(v) even?
True
Let m(l) = l**3 - 4*l**2 + 12*l - 13. Is 35 a factor of m(8)?
False
Is (-11 + -1)*(-300)/45 a multiple of 10?
True
Let u(r) = 24*r - 3. Let v be u(3). Suppose -4*l = -v - 39. Is l a multiple of 6?
False
Let f = -2 + 6. Let h = -1 - -9. Suppose 3*l - 28 = -2*k - h, 0 = 5*l - f*k - 48. Is 3 a factor of l?
False
Let g = 428 - 271. Let p = g + -112. Does 13 divide p?
False
Let v(c) = -c**3 - 10*c**2 + 12*c + 15. Let i be v(-11). Let o(z) = -5*z - i*z**2 + 5*z**2 + 12 - 4*z. Is 4 a factor of o(8)?
True
Let y(w) = -2*w + 23. Is 6 a factor of y(-6)?
False
Let s = -125 - -176. Does 17 divide s?
True
Let y(m) = -m - 2. Let c = 6 - 10. Let n be y(c). Suppose -2*h = -a + 10, -n*a = -4*h + 2*h - 24. Is a a multiple of 12?
False
Suppose o - 18 = 32. Is o a multiple of 12?
False
Let v = 107 + 14. Is v a multiple of 15?
False
Suppose 4*p + 0*m + 3*m = -5, -3*p = -5*m + 11. Let l be (0 - 0) + 1*p. Is 12 a factor of 27*(-5)/(15/l)?
False
Let l(m) = -2*m**2 + 7*m - 6. Let a be l(4). Suppose -3*g = -3*r - 2*g + 54, 2*g + 90 = 5*r. Let t = r + a. Is t a multiple of 3?
False
Does 12 divide -4*(4/(-1) + 1)?
True
Let s be (-3)/12 + 410/8. Suppose -b + 2*b - s = 0. Is b a multiple of 20?
False
Suppose -5*c + 27 = -8. Does 24 divide c/(42/16)*9?
True
Let k be 23/7 - (-2)/(-7). Suppose 0 = 2*u - k*u + 57. Suppose 5*w + 135 = 5*y, -3*y + u = -0*w + 3*w. Does 6 divide y?
False
Let x(h) = -h**3 - 17*h - h**2 + 16*h - h**2 + 2. Is 4 a factor of x(-2)?
True
Let b = -6 + 9. Suppose b*m - 568 = 41. Is 7 a factor of m/14 + (-6)/(-4)?
False
Let n = -13 - -55. Suppose w = -w + n. Does 10 divide w?
False
Let l = -149 - -220. Is l a multiple of 25?
False
Let j(k) be the third derivative of -k**6/120 + 2*k**5/15 + k**4/6 - 3*k**3/2 + 3*k**2. Is j(8) a multiple of 23?
True
Let q(o) = 9*o**3 + o**2 + o - 1. Let v be q(1). Suppose -b + 2*b + v = 0. Is (-30)/4*12/b a multiple of 4?
False
Suppose 10 = 3*z - 2*a, -3*z - 6 = -4*a - 20. Let b(h) = -3*h + 2. Let m be b(-8). Suppose z*k = 5*w - 0*k - 25, -2*w + 4*k = -m. Is 3 a factor of w?
True
Suppose -3*d - 2*d - 5 = 0. Let n = -10 - d. Is n*(-3)/2*2 a multiple of 9?
True
Let y be 18/(-5)*(-10 - -5). Let i(o) = 5*o + 1. Let s be i(-2). Let r