et s(a) = 14*a - 1. Let k = 5 + -14. Let q be -3*(-1)/k*-3. Is s(q) a multiple of 5?
False
Let z(d) = -d**2 - 13*d - 7. Let t be z(-12). Does 7 divide (35/(-4))/t*-4?
True
Suppose 0 = 2*n - 5*r + 2*r - 334, n - 167 = 3*r. Suppose 2*l - 121 = n. Does 36 divide l?
True
Let s = 30 - 27. Suppose 205 = 3*y + 5*v, -s*v = -4*y + 8*y - 277. Does 23 divide (-1 - (y + -2))*-1?
True
Let v be 0 - (-1412 - 9/3). Suppose 0 = 3*t + 2*t - v. Suppose -41 = -4*k + t. Is 16 a factor of k?
False
Suppose 16*q + 7*q = 3312. Does 9 divide q?
True
Let c = 150 - -886. Is 14 a factor of c?
True
Suppose -l + 316 = 4*q - 70, 778 = 2*l + 2*q. Suppose -3*o + 317 = o - s, 5*o + 5*s - l = 0. Is o a multiple of 4?
False
Suppose -3*l = 5*x - 898, -4*x + 997 - 283 = -2*l. Is 18 a factor of x?
False
Let u(j) = j**3 + 15*j**2 + 12*j - 25. Let f be u(-14). Let t = f + 27. Does 3 divide t?
True
Does 24 divide (-1)/(2586/432 + -6) + -1?
False
Suppose 11*l - 66 = 1529. Does 16 divide l?
False
Let a(s) be the second derivative of 1/6*s**3 - 4*s**2 + 6*s + 0 + 1/20*s**5 + 2/3*s**4. Is a(-7) a multiple of 13?
False
Suppose 2 = 3*b - 7. Suppose b = f - 2*f. Is 1/(2 + f)*-39 a multiple of 13?
True
Let g = 18708 - 3035. Does 45 divide g/63 + (-4)/(-18)?
False
Let u = -835 - -850. Is u a multiple of 3?
True
Let v(z) = -62*z - 16. Let l be v(-4). Suppose 3*f = -3*m + 150, 4*f = 3*m + 2*m - l. Is m a multiple of 12?
True
Let o(r) = r**2 - 12*r + 12. Let g be o(11). Does 14 divide (-4)/g - (-88)/1?
True
Let b(v) be the first derivative of -v**4/4 + 2*v**3 - v**2/2 - 12*v + 4. Is 5 a factor of b(5)?
False
Let m be (1 - (6 + 9)) + 2/2. Is m/(26/336)*2/(-4) a multiple of 21?
True
Let t = -6 + 13. Suppose 4*w = 5*j - 70, j - t = -w + 7. Is 14 a factor of j?
True
Suppose -d = -0*d - 14. Let n be 80/(-15) + (-3)/(-9). Let y = n + d. Is 2 a factor of y?
False
Suppose -f = j + 2*f, -4*f = -4*j. Suppose -c + 4*c + 42 = 2*r, -r - 4*c + 10 = j. Does 6 divide r?
True
Let m = 4986 + -2672. Is 23 a factor of m?
False
Let h = 1 + 5. Let k = 77 + -51. Let c = k - h. Does 10 divide c?
True
Let k(x) = x**2 + 10*x + 13. Suppose 16 = 4*v - 8. Let r(c) = c**2 - 7*c - 3. Let y be r(v). Does 2 divide k(y)?
True
Suppose -5*l + 85 = -0*h + 2*h, -5 = -l + 2*h. Let q be (l/(-6) + 2)*-12. Is 24 a factor of (-580)/(-24) + (-1)/q?
True
Let v(f) = 2*f - 5. Let k be v(5). Let y be k/(-10)*0/2. Is 28 - (0 + (y - -2)) a multiple of 13?
True
Let d = 69 - 68. Let x = 73 - d. Does 35 divide x?
False
Suppose 2*s = 8*t - 3*t + 3910, -2*s + 3918 = -3*t. Is s a multiple of 18?
False
Suppose -153*j + 546560 = -25*j. Is j a multiple of 11?
False
Let s(z) = z**3 - z**2 + 6. Let v(x) = -x**3 + 3*x**2 - x + 3. Let l be v(3). Let r be s(l). Suppose 0 = 5*a - r*a + 10. Is 5 a factor of a?
True
Let b(q) = q**3 - q + 2. Let w be b(0). Suppose 48 = 2*z + w*k - 26, 3*z - 3*k = 111. Suppose 3*f = 11 + z. Does 8 divide f?
True
Suppose -x + 683 = -3*l, 2*x + 5*l = 6*l + 1366. Is x a multiple of 90?
False
Let z(h) = -500*h - 25. Is z(-1) a multiple of 4?
False
Let u = 82 - 82. Suppose -2*g + 26 + 94 = u. Is 30 a factor of g?
True
Let z(f) = -f - 7. Let m be z(-10). Suppose m*s = 18 - 0. Let q(w) = w**2 - 2*w + 9. Is 11 a factor of q(s)?
True
Let u = -75 - -149. Is u even?
True
Suppose 3*j = y - 4363, 13077 = 3*y - 5*j - 0*j. Is y a multiple of 20?
False
Let r(v) = 2*v**2 + 2. Let y be r(5). Suppose 3*j - 5*j - y = 0. Let l = 49 + j. Is l a multiple of 23?
True
Let q(c) = -336*c. Suppose -3 = -5*r - 8. Let k be q(r). Suppose -9*u + k = -u. Is 14 a factor of u?
True
Suppose -5*r = -w - 21, 2*r + 5*w = 2*w + 5. Suppose -r*o = -3*o - 13. Is o a multiple of 3?
False
Let a(u) = -u**3 + 6*u**2 + 9*u + 10. Let p be a(7). Let y(x) = 15*x**2 + 14 + 10*x**2 - p*x**2 + 11*x. Is y(-12) a multiple of 13?
True
Suppose 860 + 58 = 6*m. Let g = m + -91. Suppose 3*i - 3*b = g - 20, 0 = 2*b + 2. Is 13 a factor of i?
True
Let m = 109 - 73. Let x = m + 6. Is 7 a factor of x?
True
Let i(a) = 7*a**3 - a + 1. Let m be i(1). Suppose l + 0*h + 5*h - 36 = 0, -2*l = -2*h - 72. Suppose m*p - l = 3*p. Does 3 divide p?
True
Let r(d) = -d + 1. Let p(q) = 32*q + 14. Let f(c) = p(c) - 10*r(c). Let a be f(3). Suppose 6*o = o + a. Is o a multiple of 9?
False
Suppose 3*y - 3286 = -5*u, -2*u + 5452 = 5*y - 6*u. Is 12 a factor of y?
True
Let b(r) = 5*r**2 - 4 + 4 - 5 - r**3. Suppose -12 = 4*a - 28. Is b(a) a multiple of 11?
True
Let a = -135 - -339. Is 6 a factor of a?
True
Let n(t) = -7*t - 44. Does 61 divide n(-15)?
True
Let r(g) = -102*g + 227. Is 3 a factor of r(0)?
False
Suppose 0 = -o - 2 + 6, -2*o = 2*p - 20. Let k(f) be the second derivative of f**5/20 - f**4/2 + 4*f**2 + 9*f. Is 4 a factor of k(p)?
True
Let t(l) = 18*l - 15. Let d be t(6). Suppose 3*h - d = 4*x, x = -3*h - 25 + 118. Is 12 a factor of h?
False
Let o = -496 + 613. Is 13 a factor of o?
True
Let v(a) = 50*a + 17. Let f be v(5). Let o = f - 169. Is o a multiple of 20?
False
Suppose 4*g - 3*m = 40, 2 = -3*g + 4*m + 39. Suppose -4*q + g*q = 72. Is 8 a factor of q?
True
Suppose -24 = 5*v - 2*v. Let z(b) = -3*b - 16. Let n be z(v). Suppose 0 = -0*s + s - n. Is 8 a factor of s?
True
Suppose -4*v + 30 = 74. Let l(y) = -y**3 - 9*y**2 + 20*y - 11. Does 6 divide l(v)?
False
Let j(x) = 7*x - 1. Suppose f = 5 - 3. Let c be (2 + (-2)/4)*f. Is j(c) a multiple of 12?
False
Let d(l) = -1094*l + 444. Does 46 divide d(-3)?
True
Let n(m) = 12*m**2 - 18*m + 23 + 18*m - m**3. Is n(11) a multiple of 24?
True
Suppose -2*x = -3*x - 2. Let n = x - -4. Suppose n*g - 3*g + 9 = 0. Is g a multiple of 4?
False
Is 80*(15130/(-40))/(-17) a multiple of 89?
True
Let u(y) = 25*y - 2 - 16*y + y**2 - 18*y. Suppose 0 = -3*h - 2*i + 28, -h = 3*i - i - 8. Is 5 a factor of u(h)?
False
Let d(o) = o**2 - 8*o + 3. Let x be d(6). Let z = x - -5. Does 27 divide 9/(-6) - 450/z?
False
Let v(q) = q**3 - 3*q**2 + q - 4. Let s be v(4). Let k be ((-2)/(-4))/(8/s). Does 10 divide k/((-303)/102 + 3)?
False
Let k(c) = 5*c**3 - c + 1. Let v be k(1). Suppose -v*s - 825 = -5*l, l - 846 = -4*l - 2*s. Is l a multiple of 12?
True
Let a(z) = z**3 - 15*z**2 + z - 10. Suppose 6*i - 3*i + 18 = 0. Let g(v) = -v**3 - 7*v**2 - 10*v - 9. Let r be g(i). Is a(r) even?
False
Let z be 90/(-5) - (-3 - 1). Let s be (3 - z/(-8))*4. Suppose -o = -0 - 1, 2*b - s*o - 73 = 0. Does 12 divide b?
False
Let g be 16 + 4/(-2)*-1. Suppose -c - 5*j = -j + g, 4*c + 5*j = -17. Suppose -c*o = 3*o - 230. Is 23 a factor of o?
True
Suppose -34*w = -33*w - 5. Suppose -14 = -3*c - w. Suppose 15 = -c*x, -v + 0*v + 43 = -5*x. Is v a multiple of 18?
True
Let i = 1307 - 731. Is i a multiple of 36?
True
Let p be (18/(-45))/(2/(-230)). Suppose -2*o + 69 = 3*i + 16, -2*i + 4*o + p = 0. Does 19 divide i?
True
Let h be -14 + -26 - 5*1. Let a = h - -131. Does 8 divide a?
False
Suppose 5*k + 4766 + 4434 = 0. Is 23 a factor of (-8)/(-10)*k/(-32)?
True
Let h(b) = -3*b**2 - 107*b + 30. Is h(-34) a multiple of 4?
True
Suppose 0 = h + 1 - 4. Suppose 0 = t + u - 108, -h*t - 2*u = -4*u - 304. Does 18 divide t?
False
Let f = -143 + 82. Let w = f + 147. Is 19 a factor of w?
False
Suppose 0 = c + c - 130. Let u = 133 - c. Suppose -4*b + u - 8 = 0. Does 5 divide b?
True
Let p(j) = 4*j + 61. Does 13 divide p(15)?
False
Suppose 0*z + 1130 = -5*z. Let b = z + 343. Does 39 divide b?
True
Let y(f) = -f + 48*f + 11*f + 122*f. Let d be y(-1). Let s = -127 - d. Is 10 a factor of s?
False
Let g be 3 - (-6 + 2 - (-2 - -14)). Suppose 3*q = g + 38. Is q even?
False
Suppose -3 = -2*a - g + 2, 0 = -2*a + 3*g + 17. Suppose v = -5*d + 29, -2*d + 13 = a*v - 13. Let n = 31 + v. Does 25 divide n?
False
Let u = -564 - -2213. Is u a multiple of 13?
False
Let x = -14 - -18. Suppose -88 = -5*w - 5*n + 17, 0 = -x*n - 20. Does 25 divide w?
False
Let q(x) = 2*x**2 - 13*x + 52. Does 32 divide q(15)?
False
Suppose 5*b = -b - 588. Let w = 215 + b. Is 12 a factor of w?
False
Suppose -u + 41 = 4*i, 4*i = -0*u + u + 47. Let c = i + 18. Does 29 divide c?
True
Suppose -5*k + 54 = 2*l + 22, 4*l - 64 = -5*k. Does 6 divide l?
False
Let g = -5 + 6. Let y be (22 + g)*(0 - -4). Let n = 146 - y. Is 18 a factor of n?
True
Let y(w) = -w**2 + 10*w + 28. Let p be y(12). Suppose -6 = -p*f + 6, 0 = -5*j + f + 662. Is j a multiple of 17?
False
Suppose 1125 = j - 2*a, 4*j - 