- 3*o, -o - 9 = -2*i. Suppose -34 = -i*z + q. Is z a multiple of 14?
True
Let h be 2768/40*10/2*1. Let m = 486 - h. Does 28 divide m?
True
Let b be 0 + 4 - (1 + 4). Is ((-80)/3)/(b/3) a multiple of 16?
True
Let t(w) = -63*w + 12. Let a be t(-7). Suppose -2*k + a = 67. Does 27 divide k?
False
Let l(g) = 2*g - 9. Let q be l(9). Let s = 8 - q. Does 18 divide -1 + s + 22 + -2?
True
Let v = -2 - -9. Suppose s - 2*l = 160, -3*s - l - 654 = -v*s. Is s a multiple of 13?
False
Let h = 4 + 52. Suppose -4*t - b = -110 - 86, t + 3*b - 49 = 0. Suppose 2*f - h = 3*m, 3*f - 2*m - t - 25 = 0. Does 11 divide f?
True
Let d = 587 - 441. Is d a multiple of 16?
False
Let w(g) = -377 + 353 - 6*g + 4*g**2 - 3*g**2. Does 38 divide w(19)?
False
Let x(v) = v + 11. Let u be x(-8). Let t be (4 + -4)/(-1 + u). Is (-60)/(-4) - (3 + t) a multiple of 12?
True
Suppose 5*l + q + 3*q - 391 = 0, 5*l = -q + 379. Suppose -l = 11*m - 14*m. Is 5 a factor of m?
True
Let v(z) = z**3 - 30*z**2 - 120*z - 30. Does 27 divide v(35)?
False
Suppose -64*b + 1404 = 4*k - 60*b, 5*k - 4*b = 1773. Is k a multiple of 10?
False
Suppose -3*c = -s + 3, -5*s = -0*s - 5*c - 15. Suppose 130 = 8*j - s*j. Is j a multiple of 26?
True
Let a = 542 - 838. Is a/(-28) - 6/(-14) a multiple of 3?
False
Suppose 12*u = 7*u + 755. Does 24 divide u?
False
Let b(v) = 7*v**3 - 8*v**2 + v + 0*v**3 + 8*v + 2 - 6*v**3. Suppose 4*d = 5*j - 43, 20 = 2*j - 0*d - 3*d. Is 16 a factor of b(j)?
True
Let h = -114 - -125. Suppose -2*z + h = c - 0*z, 4*z - 1 = -c. Is c a multiple of 3?
True
Let s(u) = 16*u - 16. Let c be s(9). Is 11 a factor of c - 0 - 0/(-1)?
False
Let x(q) = 75*q + 3. Suppose -2*j = -3*r + 13, -3*j - 2 = 3*r + 10. Does 23 divide x(r)?
False
Let v(a) be the second derivative of 17*a**4/6 - 5*a**3/6 + 2*a**2 + 9*a. Is 22 a factor of v(2)?
False
Let q = -450 - -789. Does 15 divide q?
False
Let b(p) = p**3 - 3*p**2 + p + 6. Let z be b(3). Let c(q) = q**3 - 8*q**2 + 3*q - 2. Does 26 divide c(z)?
False
Let d(r) = r**3 + r**2 + r + 80. Let x be d(0). Suppose n = -4*n + x. Is n a multiple of 2?
True
Let k(v) = -240*v + 62 - 243*v + 482*v. Is 16 a factor of k(-9)?
False
Suppose 3*o + 3*v = o + 8, 5*o + v = 20. Suppose -f + 0*f = 3*w - 17, -o*f = -w - 16. Suppose -5*i + 339 = -3*a, 6*i + 4*a = w*i + 120. Is 11 a factor of i?
True
Suppose 6*r = 8*r + 32. Let b be 117/(-6)*r/6. Let j = -29 + b. Is j a multiple of 11?
False
Suppose 0 = 2*b + 2*g - 62, -b - 5*g = -17 - 6. Suppose w - 3*v + b = -3*w, -2*w + 2*v - 16 = 0. Is 21 a factor of 205/3 - (-3)/w?
False
Let g(l) = -l**3 - 4*l**2 + l - 8. Let h be g(-7). Suppose 3*x - h = -0*x. Suppose -4*u - 4*y = -x, 4*u + u - 2*y - 62 = 0. Does 12 divide u?
True
Suppose -15*b + 15144 = 9*b. Does 29 divide b?
False
Let a(o) be the first derivative of 50*o**3/3 + 3*o**2/2 - 6*o - 7. Does 50 divide a(2)?
True
Let s(b) = -b**3 - 3*b**2 + 2*b - 5. Let t be s(-4). Suppose -12 = 4*h - 5*y, t*h + 2*y - 10 = y. Is 3437/49 + h/(-14) a multiple of 19?
False
Let o = 3161 - -67. Is 12 a factor of o?
True
Suppose k = -0*f - 3*f + 65, f - 13 = 4*k. Let i = f - -11. Does 4 divide i?
True
Let l(t) = -t - 10. Let s be l(-10). Suppose 6*c - 323 - 289 = s. Does 17 divide c?
True
Let r(f) = 5*f**2 - 16*f + 6. Let n be r(6). Suppose 24*m = 27*m - n. Is m a multiple of 10?
True
Let w(s) = 30*s**2 - 7*s - 18. Does 4 divide w(-2)?
True
Let g = 181 - 45. Is 16 a factor of g?
False
Let s(y) = 4*y**3 - 4*y**2 + 8*y - 12. Is 7 a factor of s(3)?
True
Let q(m) = 26*m + 294. Does 12 divide q(-9)?
True
Is 8 a factor of 335 - (-1 + 0)/(5/(-15))?
False
Suppose -5*b - 3 = -4*i, b = -0*b - 3. Is 0/i + 99 + -3 a multiple of 24?
True
Suppose c + 2 = 3*b, b + 8 = -b - 4*c. Suppose r - 5*j = 106, -60 = 5*r + 2*j - 536. Suppose 6*f - 8*f + r = b. Is f a multiple of 12?
True
Let a(q) = 5*q**2 - 6*q + 56. Does 20 divide a(6)?
True
Suppose 2*v + 5 + 1 = 0, -4*c - 3*v + 3 = 0. Let x be (-10)/(-15) - (-1)/c. Does 7 divide ((-112)/(-24))/(x/6)?
True
Suppose 0 = 3*x - 4*c - 0*c - 59, -c - 71 = -3*x. Suppose 5*j = p - x, -5 = 5*p - 4*p + j. Does 14 divide (3 + 25 - 2) + p?
False
Let d = 210 + -344. Let g be (8 + -5)*d/6. Let y = g - -95. Is 7 a factor of y?
True
Let r = -62 - -113. Let v = 103 - r. Does 3 divide v?
False
Suppose 95*q = 101*q - 666. Does 3 divide q?
True
Suppose 2025 = 460*r - 455*r. Is r a multiple of 30?
False
Let i = 987 - 521. Is i a multiple of 9?
False
Let s(c) be the third derivative of c**5/30 - c**4/8 + c**3/2 + 8*c**2. Is 23 a factor of s(4)?
True
Suppose 4*f - 16 = 5*f - 4*o, -3*o = -15. Suppose 0 = d - f - 2. Suppose 4*n - d*n = -80. Is 20 a factor of n?
True
Let o(d) = 6*d**2 + 12*d + 139. Does 11 divide o(-9)?
True
Suppose 2*a + 2*a + t - 26 = 0, 40 = 5*a + 5*t. Let z = a - -14. Is 10 a factor of z?
True
Suppose 13*x = 10*x - 90. Does 4 divide x/(-2) - (-9)/(-3)?
True
Let p be 1*(-3 + 1)*-3. Let r(c) be the first derivative of c**3 - 4*c**2 - 8*c - 4. Is r(p) a multiple of 16?
False
Suppose -4*g + 2*g = 0. Suppose -81 = -u + 5*z + 153, -2*u + 5*z + 478 = g. Let j = -134 + u. Is j a multiple of 32?
False
Let i = -421 + 1250. Is 19 a factor of i?
False
Suppose k + 410 = -4*z + 1031, k - 625 = -2*z. Is 37 a factor of k?
True
Let d = 435 + -266. Suppose -20 = 4*k, 4*v - v = 5*k + d. Is 6 a factor of v?
True
Let d(y) = -4*y - 13. Let k be d(-4). Suppose 5*q + 876 = -b - k*b, 0 = -2*q + 4*b - 356. Let r = 291 + q. Is 26 a factor of r?
False
Let y be 2430/75 - (-3)/5. Suppose 7*m - 4*m = -y. Is 33 a factor of (m - -7) + (0 - -85)?
False
Let y(z) = -z**3 + 7*z**2 - 5*z + 5. Let x = -17 - -22. Is y(x) a multiple of 6?
True
Let i be (-4)/(-10) + (-46)/(-10). Suppose p - 3 = 0, -4*y - i*p + 45 = y. Does 3 divide y?
True
Suppose -11*y - 4 = -12*y. Let v(o) = -5 - o**2 + 7*o**2 + 8*o**2 + y. Is v(-1) a multiple of 13?
True
Let z = 7 + -16. Does 2 divide (-110)/z + (-8)/36?
True
Let p(m) = m**3 - 13*m**2 - 15*m + 15. Let o be p(14). Let l be (67 + o)*(-1)/(-2). Let f = 58 - l. Is f a multiple of 12?
True
Let p(a) = -a**3 + a**2 - 10*a + 18. Let n be p(-6). Let d(m) = -m + 60. Let b be d(0). Suppose -b + n = 6*h. Is 15 a factor of h?
True
Suppose 3*t - 132 - 708 = 0. Is 14 a factor of t?
True
Let s = -1248 - -1790. Is s a multiple of 65?
False
Does 12 divide -384*((-7)/9 - 14/63)?
True
Let r(v) be the first derivative of -v**4/12 + 5*v**3/3 + v**2 - 3*v - 2. Let o(n) be the first derivative of r(n). Is 2 a factor of o(10)?
True
Let k(s) = -s**3 - 9*s**2 - 9*s - 4. Let t be k(-8). Suppose 0 = -4*z + t*j + 772, j = -z + 137 + 50. Is z a multiple of 18?
False
Let g(b) = b**3 + 16*b**2 + 17*b - 23. Is 7 a factor of g(-11)?
False
Let y(r) = -r**3 + 2*r**2 - 13*r - 33. Does 6 divide y(-8)?
False
Let z(f) = f**3 + 10*f**2 - 13*f + 7. Let y(t) = -t**2 + t + 1. Let c(u) = -3*y(u) + z(u). Let i be c(-13). Let o = i + -127. Does 25 divide o?
False
Suppose 24496 - 8720 = 17*k. Does 8 divide k?
True
Let i(o) = -4*o - 3. Let n(u) = 2*u + 4. Let w be n(-3). Let v be i(w). Suppose v*d - 110 = 90. Is d a multiple of 15?
False
Let s(x) = 5*x. Suppose -c = 4*j + 3, -2*j - 42 = -2*c - 2*c. Is 8 a factor of s(c)?
False
Let b(d) = 36*d - 20. Is 6 a factor of b(10)?
False
Let x(r) = -r**3 - 11*r**2 + 9*r - 8. Let u be (14 + -8)/((-3)/(-4)). Suppose -f - 4 = u. Does 14 divide x(f)?
True
Suppose 2*p = 2*w + 14, 3*p - 22 = 3*w - p. Let g be (15/6 - 3)*w. Does 7 divide (0 + g)/(36/336)?
True
Suppose -5*g - 4*f + 5079 = -6406, 9214 = 4*g - 2*f. Is 78 a factor of g?
False
Suppose -3*g + 142 = -311. Suppose 4*v - 697 = g. Is 19 a factor of v?
False
Let u(s) = s**3 + 10*s**2 + 4*s + 4. Let a be u(-10). Let n be ((-4)/6)/(6/a). Is 51 + 1/4*n a multiple of 12?
False
Let j be ((-65)/143)/((-2)/22). Let l(n) = -n**2 + 3*n + 4. Let o be l(3). Suppose -j*i - o*m + 162 - 35 = 0, 0 = 5*i + m - 133. Is 21 a factor of i?
False
Let f(a) = 115*a**2 - 32*a + 20. Does 65 divide f(-5)?
True
Let y(d) = -7*d - 8. Let u be -2*(10*4)/5. Is 13 a factor of y(u)?
True
Suppose 19*m = 5*n + 15*m - 2707, -4*n + 2*m + 2168 = 0. Does 11 divide n?
False
Let w = -50 - -53. Suppose 5*u + 612 - 133 = w*g, 4*u = 3*g - 484. Is g a multiple of 14?
True
Suppose n = -i + 192, 0 = -4*i + 2*i - n + 379. Is 21 a factor of i?
False
Let k(l) = -l**3 + 41*l**2 - 69*l - 4. Is 21 a factor