*c = j + 10, -3*c = 4*v - 53. Does 17 divide v?
True
Let m(y) = -y**2 - 158*y - 11. Does 85 divide m(-8)?
False
Let n = -642 - -729. Does 2 divide n?
False
Let h = 4289 + -2963. Does 8 divide h?
False
Does 14 divide (-416)/(-78)*(-2058)/(-8)?
True
Suppose 3*w - 8 - 1 = 0. Let y = -1 + w. Suppose 3*i + 3*d - y*d = 115, -34 = -i + 4*d. Does 19 divide i?
True
Suppose 0 = 36*s - 5*s - 3503. Does 6 divide s?
False
Let k(l) = 4*l - 6 - 4 - 12*l - 3. Let f be k(-6). Suppose 5*i = 2*p + 39, 16 = 5*i + 2*p - f. Is i a multiple of 6?
False
Let x be (145/2)/((-6)/12). Let l = -61 - x. Is 28 a factor of (l/5)/(12/80)?
True
Let q(x) = -x**3 + 11*x**2 + 2*x + 22. Is 15 a factor of q(11)?
False
Let y = 1407 - 651. Is 4 a factor of y?
True
Suppose -56*s + 41238 = -64602. Is 5 a factor of s?
True
Let q = -840 + 1240. Is 20 a factor of q?
True
Let t(a) = a - 10. Let k be t(-19). Let x = -24 - k. Is x even?
False
Let w(v) = -v**2 + 5*v - 1. Let p be w(5). Let a(b) be the second derivative of -9*b**5/10 - b**4/6 + b**3/6 + b**2 - b - 394. Is 5 a factor of a(p)?
False
Let u = 175 - 118. Suppose 85 = v - u. Does 19 divide v?
False
Suppose -4*a = 16 + 12. Let d = a + 5. Is d/(-6) + (-632)/(-12) a multiple of 14?
False
Suppose 3*m - a = 3 + 4, -5*m + a + 11 = 0. Is 21 a factor of (m - 188)*(-8)/6 - 2?
False
Let m = 2100 + 2308. Is 58 a factor of m?
True
Suppose -3*f = -2*q + 227 + 393, -5*f + 1218 = 4*q. Suppose 8*p = 13 + q. Does 20 divide p?
True
Let g(x) = 5*x**3 + 18*x**2 + 5*x + 10. Is g(8) a multiple of 38?
True
Let f = 1015 + -456. Suppose -f = -5*y - 169. Is y a multiple of 13?
True
Let h(d) = 28*d + 4. Is h(6) a multiple of 9?
False
Let j(v) = v**2 - 1. Let m(u) = u**3 - u**2 + 2*u - 198. Let a(o) = -2*j(o) - m(o). Does 40 divide a(0)?
True
Let o(s) = -2 + 14*s - 13*s - 5. Let y be o(8). Does 11 divide 224/7 + 0 + y?
True
Is 14 a factor of (-1452)/(-5)*(19 + (-506)/44)?
False
Suppose 0 = 65*i - 56*i - 8883. Is 58 a factor of i?
False
Suppose 10*w - 15*w = 15. Is 4 + 40 + 3 + w a multiple of 8?
False
Suppose i + 1 = -r - 6, -4*i - 22 = -2*r. Does 13 divide (-255)/((2/i)/((-18)/(-54)))?
False
Let u = 378 + -234. Suppose -z = 3*h - 1005, -4*h + 2*z + 1206 = -u. Is h a multiple of 17?
False
Let w = 952 - 712. Is 15 a factor of w?
True
Let q(w) = w + 14. Let s be q(-4). Let h = s - -175. Does 39 divide h?
False
Let f be (-166)/(-18) + (-12)/54. Let r(a) = -46*a + 12 - 4 + 17*a + f*a. Is r(-3) a multiple of 17?
True
Is 3/2 + 12396/24 + -5 even?
False
Let t be 4/(-1)*42/4. Let v = t + 59. Is v a multiple of 2?
False
Let t(x) = -x**3 - 2*x**2 - 2*x - 2. Let z be t(-3). Suppose 4*s = -z + 1. Is 8 a factor of 22 - s - (0 + 1)?
True
Suppose 0 = 4*i + 11*j - 13*j - 848, -3*i - j = -631. Does 52 divide i?
False
Let s(y) = y**3 + 8*y**2 - 11*y - 11. Let q be s(-9). Let b(g) = 4*g + 21. Is b(q) a multiple of 17?
False
Suppose 0 = 3*a + 6, 4872 = 4*j + 2*a + 1684. Does 19 divide j?
True
Let c = -42 + 75. Suppose 2*g + 3*w = c, 2*g = -2*g + 5*w + 77. Is g a multiple of 6?
True
Suppose -4*l - 233 - 99 = -5*a, 5*a + 3*l = 346. Suppose k - a = -k. Is 19 a factor of k?
False
Let p(u) = 11*u**3 + 5*u**2 - 8*u + 1. Does 3 divide p(2)?
True
Let a(z) = 2*z**3 - 6*z**2 - 7*z + 9. Is a(5) a multiple of 3?
False
Suppose 0 = 2*h - 8, 3*h = -3*u - 0*u + 18. Suppose -5*s + 398 = -u*n, -6 = -2*n - 4. Is s a multiple of 13?
False
Let x(j) = -2*j**2 - 55*j - 97. Does 14 divide x(-24)?
False
Suppose o - 2*n - 182 = 0, -2*n = 5 + 3. Let q = -112 + o. Is q/3*(-24)/(-16) a multiple of 23?
False
Suppose 3*d + 144 = 4*d + 2*k, 2*d = -3*k + 288. Does 8 divide d?
True
Is ((-11)/(-2))/(2/600) a multiple of 75?
True
Suppose 0 = -4*c - 0*c - 28. Let d(b) = -b**3 - 6*b**2 + 5*b - 5. Let o be d(c). Suppose 0 = -o*s + 6*s + 27. Is s a multiple of 2?
False
Let b(o) = 3*o + 22. Suppose 2*r = -1 - 9. Is b(r) a multiple of 6?
False
Let j = 2 - 8. Let k = j + 16. Does 13 divide (5 + -1)/(k/45)?
False
Let d = 1225 - 649. Is 12 a factor of d?
True
Let i(s) = s**2 - s + 16. Suppose -5*p = -3*c + 25, 3*p + 0*p = -15. Does 15 divide i(c)?
False
Suppose -3*j + 75 + 177 = 0. Suppose m + 0 = 3, 3*c + 4*m = j. Is 14 a factor of c?
False
Let u(g) = 83*g**3 - 5*g**2 + g + 6. Is u(3) a multiple of 35?
True
Let m be (-22)/12 - 20/120. Let b(n) = -13*n**3 + 2*n**2 - 2*n - 4. Is 9 a factor of b(m)?
False
Let x = -243 + 13. Suppose 2*n + 312 = -0*n. Let p = n - x. Does 23 divide p?
False
Suppose 3*j = 4*j + 4*k - 9, -12 = -2*j - 2*k. Let h be 97/j - 2/5. Let p(s) = s**3 - 18*s**2 - 18*s - 8. Is p(h) a multiple of 3?
False
Suppose 0 = -5*z - 36 + 1. Let u(n) = -5*n + 6. Let c be u(z). Let d = -2 + c. Is 10 a factor of d?
False
Let b be 48/60*10/4. Suppose 52 = 4*w - b*w - 5*h, -3*h = w - 48. Suppose 0 = -3*s + 231 - w. Is 13 a factor of s?
True
Let z be (-6)/(-4)*32/6. Let u be (z/10)/(10/(-25)). Let v(h) = -3*h**3 - h**2 - h. Is 11 a factor of v(u)?
True
Suppose -q = -4*u - 0*u + 102, -2*q - 29 = -u. Suppose 8*x - u = 3*x. Suppose -4*j + 4*c = c - 33, x*j = -4*c + 80. Is j a multiple of 6?
True
Let q be 12/24 + 1114/4. Let b = q - 135. Is 12 a factor of b?
True
Is 25 - -12 - 10/2 a multiple of 12?
False
Suppose -22*q + 24*q = -180. Is 20 a factor of (-1 - 154/6)*q/12?
True
Suppose 4*c = -2*b + 4152, 5*c - 5190 = 7*b - 4*b. Does 5 divide c?
False
Let x(j) = j**3 - 8*j**2 - 5*j + 9. Suppose 3*d = -4*k + 42, -k = 3*k - 4*d - 28. Does 12 divide x(k)?
False
Let k(o) = -1482*o**3 - 14*o**2 - 14*o. Does 78 divide k(-1)?
True
Suppose -220 - 1444 = -32*w. Does 27 divide w?
False
Let p = 48 + -46. Suppose 0 = -5*f + 5*k + 525, -4*f + p*k - 6*k = -412. Is f a multiple of 14?
False
Suppose 20 = 4*z - 3*q, -4*z + 4*q = -6*z + 32. Suppose 3*h + 180 = z*h. Suppose 0 = 5*s + 4*j - j - h, -4*s + 20 = -2*j. Is s a multiple of 5?
False
Let k be 2/4 + (-2)/(-4). Let y = k - -4. Suppose -189 = -y*v - 34. Is 6 a factor of v?
False
Suppose 430 = 2*q - q + 5*y, -2*q = 5*y - 880. Is 50 a factor of q?
True
Let j(w) be the second derivative of w**4/12 + w**3 + 5*w**2/2 + 5*w. Let b be j(-4). Does 28 divide 59 + ((-6)/1 - b)?
True
Let l(n) = -2*n + 1. Let t be l(1). Let j be ((-9)/(-2))/(t/2). Is 17 a factor of j/(-63) - 475/(-7)?
True
Suppose -5*r - 250 = 3*h, 0*r - 4*r + 259 = -3*h. Is 36/10*h/(-34) even?
False
Let n(d) = -4*d**3 - 3*d**2 - 2*d - 9. Is n(-3) a multiple of 8?
False
Suppose 4*m + 5*b - 231 = 0, 0 = 2*m + 3*b - 15 - 100. Let p = m + -17. Is p a multiple of 33?
False
Suppose -m - w + 54 = w, -w = 3*m - 147. Let z be ((135/4)/(43/(-172)))/(-1). Suppose -3*p + m = -z. Is 18 a factor of p?
False
Let w(s) = 3*s**2 + 11*s + 11. Let o be w(-10). Does 9 divide 14/(-70) + o/5?
False
Let w = 4 - -10. Is 11 a factor of (-6)/w + (-4043)/(-91)?
True
Suppose -3*s - 39 = 15. Let r = s + -1. Let z = 36 + r. Does 17 divide z?
True
Let t(b) = 24*b. Let d be 2 + 18 + -2 + 4. Suppose -d + 2 = -4*k. Is 40 a factor of t(k)?
True
Let l(s) = 6*s**2 + 3*s + 5. Let j be l(-2). Let h = j + 37. Does 12 divide h?
True
Let k = 452 + -250. Is k even?
True
Let i(s) = -s**2 - 18*s + 11. Let m be i(-8). Suppose 2*c + m = 3*c. Suppose -v + c = 6*v. Is 3 a factor of v?
False
Let u(g) = -g**3 - 13*g**2 - 13*g - 7. Let z be u(-12). Suppose -b + 116 = b. Suppose -b = -4*k + i - 22, -5*k + z*i + 60 = 0. Is k a multiple of 8?
True
Suppose -v + 171 = 2*u - 203, -u - 4*v + 187 = 0. Is u a multiple of 12?
False
Suppose 4*v + 766 = 4110. Is 76 a factor of v?
True
Let x = -1 + 25. Suppose -x = w - 3*w. Suppose -3*o - w = -4*o. Is 10 a factor of o?
False
Let a(x) = x**3 + 4*x**2 + 2*x + 1. Let c be a(-2). Suppose -2*f - 5*g + 191 = 0, -g + c*g + 340 = 4*f. Is 13 a factor of f?
False
Suppose 0 = -2*y + u + 128 + 172, 0 = -4*y - 4*u + 612. Does 28 divide y?
False
Let o(y) = -y**2 - 3*y - 4. Let x(h) = h**2 - h**3 - 4*h**3 + 9 + 0*h**3 + 7*h + 4*h**3. Let b(r) = 5*o(r) + 2*x(r). Does 12 divide b(-3)?
False
Suppose 0 = p - 5*t - 1177, p + 27*t - 23*t - 1132 = 0. Is p a multiple of 32?
True
Let i(o) = 17*o**2 - 3*o - 2. Is i(6) a multiple of 56?
False
Let b be -14 - (-2)/(4/2). Let u(j) be the first derivative of j**4/4 + 14*j**3/3 + 5*j**2 + 9*j - 13. Is 12 a factor of u(b)?
True
Let o be 1/((-3)/6)*-1. Let p be (-42)/15 + o/(-10). Let j = 13 - p. Does 13 divide j?
False
Let i be -1