 + 16. Is 48 a factor of z(t)?
True
Suppose 4*k + 4*u = 19388, -2*u - 26998 = -4*k - 7652. Is 19 a factor of k?
False
Let u(v) = -v**3 + v - 112. Let r be u(0). Let d(f) = 6*f + 46. Let i be d(12). Let g = r + i. Does 2 divide g?
True
Let d(p) = -12*p + 29*p - 7*p + 97 - 8*p. Does 19 divide d(5)?
False
Suppose -s = -0*s - 4. Let q be -4 - (-3*3/9 - 8). Suppose 0 = -q*j + s*a + 966, -5 = -8*a + 3*a. Does 40 divide j?
False
Suppose -o + v = 2*o + 844, 0 = o + 2*v + 286. Suppose -2*z + 1438 = -3*s, -482 = s - 0*z + 2*z. Let c = o - s. Is 18 a factor of c?
True
Let o(a) = a**2 + 12*a - 17. Let i be o(-13). Let n be (-1 - -2)*i*12/(-16). Let g(r) = 12*r + 4. Does 16 divide g(n)?
False
Let j(u) = -5 + 6 - 9*u + 2 + 2 - 16*u. Is 15 a factor of j(-8)?
False
Does 118 divide (-9)/3 + 19 + 2612?
False
Let m(b) = -10*b**2 - 22*b + 10. Let s(l) = l**2 + 1. Let v(o) = -m(o) + 5*s(o). Is v(-6) a multiple of 42?
False
Suppose -2*a + 2*v - 102 = -2*v, 0 = -5*a - 4*v - 255. Let y = -10 - a. Is y a multiple of 2?
False
Is 22 a factor of 1392 + (-2)/7 + 2970/(-385)?
False
Let d(l) = -7837*l**3 + 3*l**2 - 8*l - 11. Is 17 a factor of d(-1)?
True
Let r be (128/(-10))/(1/5). Let z = -2470 - -2553. Let m = r + z. Is 11 a factor of m?
False
Let u(r) be the third derivative of 0 + r**3 + 0*r + 5/24*r**4 + 20*r**2 + 1/4*r**5 - 1/120*r**6. Is 27 a factor of u(15)?
True
Suppose 0 = 4*q + 82*w - 77*w - 165160, -6*q - 3*w + 247704 = 0. Is q a multiple of 80?
True
Let l(f) = -f**3 - 2*f + 2. Let i be l(-2). Let s be (9/(-3))/(21/i). Is 6 a factor of 52/3 + s + 16/6?
True
Let s be (-32 - -26)*1/(-2). Suppose -2*y + 430 = -3*j - 631, s*j = -2*y + 1091. Does 23 divide y?
False
Suppose 17 = 4*c + 5. Let d(x) = -11*x**2 - 3*x + 1. Let h be d(c). Let n = -47 - h. Does 15 divide n?
True
Let r = 2749 + -2441. Does 7 divide r?
True
Let h be (-1178 + 7 + -3)/(-2). Let a = h + 13. Is 20 a factor of a?
True
Is 29 a factor of 19139*1 + -3 + -4?
False
Let u(x) = -10*x - 45. Let n be u(13). Let k = 260 + n. Suppose 4*b - 143 = k. Does 10 divide b?
False
Suppose -10*c = -94 + 54. Let u(l) = 8*l**2 + 9*l - 44. Is 6 a factor of u(c)?
True
Let u = 162 + -108. Let r = u + -49. Suppose 0 = -r*z - 2*l + 229, -39 - 49 = -2*z - 2*l. Is z a multiple of 4?
False
Suppose -3*k + 3447 = 3*o, 4*o + 36*k - 40*k = 4564. Does 22 divide o?
False
Suppose 0 = 5*i - s + 962, -4*i - 2*s = 520 + 244. Let a = -432 - -331. Let f = a - i. Does 13 divide f?
True
Suppose 0 = 3*p + p - 8*p. Let q be 857/7 - (p - 21/(-49)). Let l = q + -44. Is 26 a factor of l?
True
Let n = -69 + 71. Suppose -460 = -4*f + 4*b, -3*b + 8 = n. Is f a multiple of 39?
True
Is 23 a factor of 6618 + (-7 - -24)*-1?
True
Let x = -299 - -298. Suppose -4*j - j = 945. Is 21 a factor of (j/(-6))/(x/(-2))?
True
Suppose 7*w - 12*w - t = -77908, -3*t = 21. Does 8 divide w?
False
Let n(h) = -h**2 - 127*h + 998. Is n(-131) a multiple of 15?
False
Let x = 61 - 62. Let k be x - ((-10)/(-55) - 592/(-11)). Let h = k + 97. Is 7 a factor of h?
True
Does 49 divide 22/((-440)/(-3660))*(-49)/(-3)?
True
Is 27 a factor of 2*((-55003)/(-26) + 4)?
True
Let n be 6/4*(-8)/(-3) + 6998. Is n/14 - ((-116)/(-28) - 4) a multiple of 10?
True
Suppose c - x - 3*x = 0, -3*x = 4*c + 95. Let z(d) = 2*d**3 + 42*d**2 + 29*d + 32. Is 11 a factor of z(c)?
False
Let m be 681 + 24/56 + (-33)/(-21). Does 8 divide 6 + -1 + 1 + m?
False
Let p(t) = 8*t**2 - 2*t + 11968. Is 136 a factor of p(0)?
True
Suppose -7*j - 102 = -24*j. Does 10 divide j/(-51) + (-21240)/(-204)?
False
Let r(g) = -760*g + 988. Let j(i) = -33*i + 43. Let q(k) = 114*j(k) - 5*r(k). Let p be 4 + 0 - (3 - (12 + -8)). Does 38 divide q(p)?
True
Is -3 + -59 + 51 + (-1284)/(-2) a multiple of 10?
False
Suppose 0 = w - 4*a - 269 - 2039, -11612 = -5*w + 2*a. Is 14 a factor of w?
True
Let d be 2/(-10) - (-24)/(-5). Does 12 divide (-31 + 1)*(-17 - (d + 0))?
True
Let o(l) be the first derivative of 19*l**2/2 - 34*l + 19. Is o(10) a multiple of 14?
False
Is 24 a factor of 1430544/144 + ((-55)/(-15) - 2)?
True
Suppose -3*w = t - 6, -t + 46*w = 45*w + 6. Does 15 divide t/(-33) + 137200/154?
False
Let v(u) = 9*u**2 + 5*u + 18. Let k(s) = 2*s**2 + s + 1. Let i(z) = -4*k(z) + v(z). Is i(0) a multiple of 3?
False
Let a(h) = 4*h**3 - 20*h**2 - 59*h + 656. Is 29 a factor of a(9)?
True
Let n = 21150 + 1808. Does 26 divide n?
True
Let f = -11519 + 51511. Does 392 divide f?
False
Let s be -4 - (-2)/(16/88). Suppose 0 = -s*z + 2413 + 1038. Does 11 divide z?
False
Suppose -139 = 3*m - 3637. Suppose -4*b - 2*v = -m, 2*b + 106 = 2*v + 686. Is b a multiple of 9?
False
Let w = 1661 + 839. Is 100 a factor of w?
True
Suppose -n + 1544 = 3*m + 3*n, -2575 = -5*m - 5*n. Is m a multiple of 43?
True
Suppose 0 = -c - y - 27, -5*c + 18 - 141 = y. Let n = -23 + c. Let k = n - -114. Is k a multiple of 6?
False
Suppose -5*h = -w - 5962, 3*h + 0*w = -5*w + 3594. Let c = 3404 - h. Suppose 14*b = c + 645. Does 34 divide b?
True
Suppose 96*m = 86*m + 5380. Suppose 0*a - 2*a + m = -5*i, -251 = -a - 2*i. Does 27 divide a?
False
Let f = 7772 - 4504. Does 19 divide f?
True
Let a be 32 + 0 + (-3)/1. Suppose -f + 1152 = 11*f. Suppose -s = -a - f. Is s a multiple of 22?
False
Let l(a) = -26*a - 584 + 1162 - 542. Is l(-13) a multiple of 11?
True
Let q = 192 - -679. Does 13 divide q?
True
Suppose 26*u + 55*u - 913770 = 26*u. Is u a multiple of 78?
True
Let b(l) = 1064*l - 1207. Does 222 divide b(22)?
False
Let l be 2/(-14) - (-15114)/(-42). Let b = l - -629. Is 44 a factor of b?
False
Suppose -344 + 59 = -3*j. Let o = j - 50. Does 15 divide o?
True
Let f(r) be the second derivative of r**6/360 - 2*r**5/15 + 31*r**4/24 + 10*r**3/3 - 2*r. Let b(i) be the second derivative of f(i). Does 9 divide b(17)?
False
Suppose 0 = h - 5 - 7. Suppose -v + h = -23. Suppose -85 = -z + v. Is 26 a factor of z?
False
Let t = 51 + -44. Suppose -5*b = u + t, -b + 3 = 5. Suppose 4*w - 76 = 4*d, -2*w = u*w - d - 79. Does 9 divide w?
False
Let f = 1416 + -2154. Does 20 divide f/(-4) + (-8)/(-16)?
False
Suppose -1461912 = -140*k - 157812. Is 22 a factor of k?
False
Let n = -2220 + 1552. Let j = n - -980. Is 6 a factor of j?
True
Let c(b) = -b**3 - 21*b**2 + 23*b + 22. Let r be c(-22). Suppose n - 14*n + 18239 = r. Is n a multiple of 27?
False
Let c be (0/1)/(2 - 3). Let g(r) = -11*r + 191. Does 33 divide g(c)?
False
Suppose 0 = -2*s + 35602 - 9786. Does 3 divide s?
False
Suppose -6*b - 3*l + 9 = -b, -5*l = -3*b - 15. Suppose i = 4*w - 2*w - 15, 3*w + 10 = -5*i. Suppose 3*s + w*y - 65 = b, -y - 2 = -3*y. Is 5 a factor of s?
True
Suppose 25*r + 36 = -264. Let o(w) = -26*w + 5*w - 2*w**3 - 5 - 13*w**2 + w**3 - 3. Does 53 divide o(r)?
False
Suppose 0*c - 2 = -c. Let t(o) = 79*o**2 - 166*o**2 + 85*o**2 + 1 + 2*o**3 - 3. Does 4 divide t(c)?
False
Let s be (4/10)/(((-57)/12870)/(-19)). Is 7 a factor of (-1)/(-8) + s/96?
False
Does 19 divide (-2128)/32*12/(-35)*(-610)/(-4)?
True
Is (-1 - 3799/7)/((-145)/1015) a multiple of 22?
True
Let y(z) be the second derivative of -z**4/12 - 3*z**3 + 7*z**2 + 193*z. Is y(-11) a multiple of 2?
False
Let w be ((-15)/6)/(7/42). Let l = w + 18. Suppose -3*i + 55 + 8 = -2*h, -2*i = -l*h - 37. Is 4 a factor of i?
False
Suppose -2*i + 3094 + 14062 = 2*y, -8618 = -y + 7*i. Is 7 a factor of y?
False
Let v(z) = -3074*z - 13150. Is v(-20) a multiple of 90?
True
Is 27380*(-12)/240*-10 a multiple of 37?
True
Let m = 12892 + -11042. Is 70 a factor of m?
False
Suppose -11*d = -8491 - 3994. Let q = -530 + d. Is q a multiple of 11?
True
Does 2 divide 10/(-12) + 33760/192?
False
Suppose -271880 = -372*b + 302*b. Does 20 divide b?
False
Let y be (-515)/15*(-3 + 0). Suppose 3*u + 2*a - y = -0*a, -u + 5*a + 6 = 0. Let n = 7 + u. Is 19 a factor of n?
True
Suppose -4*q = o + 27, 5*q + 0*q = 4*o + 24. Let t = o - -162. Suppose 3*n + t = 2*a - 109, 0 = -4*a - n + 492. Is a a multiple of 10?
False
Suppose 0 = -17*w + 264 + 8. Suppose 23*b = w*b + 182. Is b a multiple of 13?
True
Suppose 5*m - 8 = -18. Is 37 a factor of (2 + 50/(-15))/(m/333)?
True
Let c(p) = 2*p**3 - 5*p**2 + 45*p + 38. Is c(11) a multiple of 21?
False
Let o(a) = 68*a**2 - 69*a + 595. Does 149 divide o(10)?
True
Suppose 0 = 5*i - 3*k - 15024, -29*k - 9012 = -3*i - 28*k. Does 33 divide i?
True
Let i = 23 - 25. Is (-12)/(-5)*i*