o - b. Is 13 a factor of s?
False
Let i(a) = -14*a - 6. Let o be i(-3). Suppose 0*z = z - 4*c - o, -5*c = 0. Suppose -45 - z = -3*f. Does 10 divide f?
False
Suppose -14*r + 818 = -1240. Does 49 divide r?
True
Let y(h) = 9*h**2 - 24*h - 13. Is y(15) a multiple of 14?
True
Let m be 3 - (-33 - 4 - 1). Suppose 5*r - d = m, -3*d + 18 = 2*r + 5. Does 8 divide r?
True
Suppose 349 = -4*k + m, 0*k - m = 2*k + 173. Let g = -60 - k. Does 4 divide g?
False
Let q be (5 + 0)*(11 + -10). Suppose -q*m = 65 - 275. Does 6 divide m?
True
Let j(k) = k**3 + 9*k**2 + 11*k. Let v be j(-7). Let y(w) = -2*w**2 + 51*w + 20. Is y(v) a multiple of 19?
True
Let w(l) = 4*l**2 + 21*l + 213. Is w(-13) a multiple of 22?
True
Suppose -38401 = -55*x + 48499. Is 13 a factor of x?
False
Let w be (10/(-6) + 2)*15. Suppose -w*u - 53 = -13. Let i(g) = -g**2 - 8*g + 2. Does 2 divide i(u)?
True
Let a = -127 + 178. Is 4 a factor of a?
False
Is 4 a factor of 1959/((2 - -4) + 9/(-3))?
False
Suppose 3*l - 6*l + 4*m + 1118 = 0, -m - 752 = -2*l. Does 38 divide l?
False
Let b(v) = 482*v - 81. Is b(3) a multiple of 105?
True
Let h be (-8)/5*375/(-1). Suppose -4*k + h = -88. Is k a multiple of 43?
True
Let u(t) = -113*t + 1. Suppose 0 = 4*i - 9*i - 5. Let s be i/(-3) - 4/3. Is u(s) a multiple of 38?
True
Suppose 4*l + 53*k - 55*k - 10680 = 0, -3*k = -6. Does 49 divide l?
False
Let x(m) = -m + 5. Suppose 3*d - 2 - 8 = -5*q, 0 = -2*q + 10. Is 10 a factor of x(d)?
True
Let z(t) be the third derivative of t**5/120 + t**4/24 - t**3/2 - 11*t**2. Let r(j) be the first derivative of z(j). Is r(8) a multiple of 6?
False
Is 41 a factor of (-3891)/(-6) + 5/2?
False
Let q be (-7 - -3 - -4) + 2. Let x(t) = 43*t + 2. Is 13 a factor of x(q)?
False
Suppose 158 + 104 = d - 2*g, 0 = -5*g + 15. Suppose 2*o - d = -2*o. Does 37 divide o?
False
Let l(q) = -61*q + 104. Is 20 a factor of l(-36)?
True
Let i = -78 - -80. Suppose 4*h - 71 = -5*g + 37, 84 = 4*g + i*h. Is g a multiple of 5?
True
Let u(c) = -c**3 - 9*c**2 - 6*c + 6. Let i be u(-8). Let f = 4 + i. Let q(r) = -r**3 - 5*r**2 - 2*r + 1. Is q(f) a multiple of 13?
False
Suppose -17 = -5*b + 3. Let t = 10 - b. Is t a multiple of 4?
False
Let a = -47 + 26. Let s = 39 + a. Does 6 divide s?
True
Let f be (-30)/20 - 7/2. Is (9/f)/(6/(-40)) a multiple of 4?
True
Suppose 24*j - 29891 + 8675 = 0. Is j a multiple of 34?
True
Let b(v) = -v + 10. Let s = 24 + -16. Let k be b(s). Suppose 4*f + 3*n - 125 = 0, -66 = -k*f - 0*f + 2*n. Is f a multiple of 16?
True
Suppose -6*m = -8*m + 164. Let b = 142 - m. Is b a multiple of 15?
True
Suppose 13*n - 8*n = 10. Suppose 25 + 23 = n*y. Let q = y + -17. Is q even?
False
Suppose -14*a - 1815 = -19*a. Does 33 divide a?
True
Let x be 117/26*4/(-6). Let p be x - 8/(-4) - 3. Is 3 + -6 - p - -1 a multiple of 2?
True
Suppose -s = -4*h - 180, 4*s + 0*h - h = 690. Is 17 a factor of s?
False
Suppose 4*i = -7*a + 5*a + 1382, 2*i + 3*a = 689. Does 19 divide i?
False
Suppose 19*y + 2 = 20*y. Suppose -y*t = 2*t - 5*z - 508, -5*t + 614 = -z. Does 6 divide t?
False
Let r(j) = 4*j**2 + 1. Let u be r(-1). Suppose 12 = 7*x - 4*x, u*b - 2*x - 97 = 0. Suppose 2*f = -g + 92, 3*f + b = g - 81. Is g a multiple of 16?
True
Let b be 2/4 + (-18)/4. Let i(d) be the second derivative of -d**3/2 - 5*d**2 + 264*d. Is i(b) even?
True
Let i(r) = -2*r**2 - 2*r - 2. Let z be i(-2). Suppose 3*o = -4*p + 74 + 164, 5*o - 400 = -5*p. Let s = z + o. Is 14 a factor of s?
False
Let x be 31*(5/1)/5. Suppose 6 = -3*w - 5*q, -2*w - q = -6*w - x. Is (8 - w)*(-36)/(-10) a multiple of 27?
True
Let a be 2/(-5) + (-3162)/(-30). Does 4 divide (-55)/(-2) + (a/(-10))/(-7)?
False
Let z(y) = -y**3 + 15*y**2 + 19*y - 37. Let q be z(16). Let d = 8 + 2. Suppose 5*s - q - d = -c, -4*c - s = -103. Is c a multiple of 5?
False
Suppose -1813*h + 1818*h - 3400 = 0. Does 34 divide h?
True
Let o be 0 + (5 - -1 - 3). Let h(f) = 2*f**3 - 3*f**2 - 3*f - 4. Does 5 divide h(o)?
False
Suppose 0 = -y + 3, -250 = -5*x + 3*y - 4. Let o = 4 + -40. Let l = o + x. Is l a multiple of 5?
True
Suppose -5*f - 3*t - 6 + 21 = 0, -3*t + 15 = f. Suppose f = -u + 7. Is 7 a factor of u?
True
Suppose -4*g = -3*p - 109, 8*g + 3*p = 3*g + 143. Suppose 0 = 5*w - 0*w - v + g, 4*w - v = -23. Does 10 divide (-1764)/(-35) + 2/w?
True
Let h = -29 + 81. Suppose 49*r = h*r - 9. Suppose 120 = 5*q + 7*k - 2*k, -5*q + 128 = r*k. Does 4 divide q?
True
Let x(w) = 195*w - 112. Is 8 a factor of x(8)?
True
Let s(a) = -2*a - 61. Let p be s(-13). Does 38 divide (p/(-10))/((-4)/(-56))?
False
Let b(d) = d**3 - d**2 + d. Let f = 18 + -18. Let p be b(f). Suppose p = 6*l - l - 550. Is 30 a factor of l?
False
Let u = 299 - 91. Suppose 3*v = -q + 4, 4*q - v - 16 = -2*v. Suppose 0*f = -q*f + u. Is 13 a factor of f?
True
Let c be 3/(-18) - (-38)/12. Suppose -4*m + 16 = 0, -3*u + 37 = 2*u + c*m. Suppose 2*s = 4*v - 74, s - 19 - 70 = -u*v. Does 6 divide v?
True
Suppose 1063 = 2*o + 5*m, -m = -3*o + 2*o + 521. Is o a multiple of 14?
False
Let w(v) = -3*v - 21. Let b be w(-19). Suppose b + 60 = 3*c. Is 18/48 - (-3444)/c a multiple of 18?
True
Let c = -228 - -748. Suppose 0 = 4*n + 5*p - c, n - p = -n + 246. Is 25 a factor of n?
True
Suppose -5*c + 7*t + 2 = 5*t, 3*c - 14 = -2*t. Suppose 136 = j + 5*q, -4*j + c*j + 3*q = -233. Does 15 divide j?
False
Suppose 3*m - 5*g - 930 = 0, -m - m + 3*g + 621 = 0. Is m a multiple of 35?
True
Suppose -10*b + 4297 = 1297. Does 3 divide b?
True
Let f = -14 + 19. Suppose f*o = 4*o + 6. Suppose -o*r + r + 370 = 0. Does 19 divide r?
False
Let a = -722 + 1005. Is 12 a factor of a?
False
Let f(w) = 2*w**3 - 22*w**2 + 82*w. Does 22 divide f(6)?
True
Does 32 divide 72/(-5)*(-960)/18?
True
Let h = 902 + -623. Is 9 a factor of h?
True
Suppose 3*i = 5*i - 4*t - 4, -4*i - 4*t = -8. Suppose 0 = -i*s - 0 + 8. Suppose -9*f + s*f = -110. Is 11 a factor of f?
True
Let p(m) = 3*m - 27. Let h be (-140)/21*12/(-5). Is 21 a factor of p(h)?
True
Let o(v) = -6*v + 493. Does 126 divide o(0)?
False
Suppose q = 0, -4*v = -q - 5 - 259. Suppose v + 42 = 6*p. Does 18 divide p?
True
Let t(f) = -6*f + 10. Let r(g) = 4*g - 9. Let i(c) = 6*r(c) + 5*t(c). Suppose 3*s + 27 = 6. Is i(s) a multiple of 19?
True
Suppose 0 = -5*w - g - 571, 0 = 5*w - 0*w + 3*g + 573. Let n = -109 - w. Does 3 divide n?
False
Let t be -22*(-1)/(-2)*-2. Let w = 27 - t. Suppose 0 = o + w*z - 9, o = -o + 5*z + 63. Is 12 a factor of o?
True
Let a be 1*-1*(-29 - -6). Suppose 5*i = -a + 8, -2*b + 4*i = -62. Is 5 a factor of b?
True
Let v = 27 - -208. Suppose 0*a = -4*b + 2*a - 510, -2*b = -5*a + v. Let j = 200 + b. Is j a multiple of 20?
False
Suppose 2*y - 862 = 6*x - 8*x, -5*y + 2158 = 4*x. Is 34 a factor of y?
False
Let h = -391 + 671. Does 7 divide h?
True
Suppose 3*j + 3092 = 3*m + 8*j, 0 = 5*m + j - 5168. Does 11 divide m?
True
Let i = -441 - -875. Is 63 a factor of i?
False
Let l(r) = -4*r + 13. Let c be l(-7). Let k(z) = z**2 + c - 5*z**2 + z**2 + z**3 + 4*z - 42. Is k(3) a multiple of 7?
False
Suppose 729 = 8*h - 5*h. Let f = 353 - h. Is f a multiple of 10?
True
Suppose 3*u = p + 5, 5*u + 4*p = 9*p + 15. Let j be (1 - u)/5 - -1. Does 8 divide j/(-2) + (-486)/(-12)?
True
Let a = -82 - -37. Let s = a + 74. Is 5 a factor of s?
False
Let p(q) = -10*q**2 + 4*q - 2. Let l be p(1). Is 4 + l + 33 - 1 a multiple of 3?
False
Let g(t) = 223*t**2 - 2*t - 1. Let j be g(-1). Suppose 0 = -5*q - 20, -6*d + 2*d + 2*q + j = 0. Is d a multiple of 3?
True
Let k(a) = -1. Let v(g) = 39*g - 3. Let y(x) = 6*k(x) - v(x). Let p be 6/(-10) - (-2)/(-5). Does 5 divide y(p)?
False
Suppose 2*i + 0 = 2, 0 = -k + 2*i. Suppose 0 = -k*y - 2*y - 4*j + 52, -j + 77 = 5*y. Is y a multiple of 16?
True
Suppose 4*s = -y + 288 + 395, -3*s + 516 = 2*y. Suppose -5*l + s = -0*l. Does 17 divide l?
True
Let u(p) be the first derivative of p**3/3 + 3*p**2/2 + 28*p - 3. Does 15 divide u(-11)?
False
Suppose -13*u + 7158 = 528. Does 30 divide u?
True
Suppose -6 = 3*u, -6*y - 2*u = -y - 5746. Suppose -44*h + 49*h = y. Is h a multiple of 10?
True
Let q(r) = -r - 6. Let c(i) = i**3 + i**2 + 4*i + 3. Let w be c(-2). Let o be q(w). Suppose o*u + z + 10 = 4*u, 4*u - 5*z = 39. Is u even?
False
Suppose 5*r - 153 = 2427. Is 12 a factor of r?
True
Suppose s = 6*i - 3*i - 22, -4*i + 40 = -4*s. Suppose i*y - 780 = y. Is y a multip