)?
False
Let v(a) = -3 - 128*a**2 - 169*a**2 - 229*a**2 - 3*a + 644*a**2. Let g be 1*(0 - (1 - 0)). Is 30 a factor of v(g)?
False
Suppose 4*s = 4*m - 4, 0 = -7*m + 3*m + 3*s + 5. Suppose k - 31 = 2*z + z, -8 = z + m*k. Does 12 divide (-644)/z - (-4)/(-10)?
False
Let x be -2*(-3)/2 + 0/2. Let p(y) = 7*y**3 + 3*y**2 - 7. Does 19 divide p(x)?
True
Let n(w) = w**3 + 10*w**2 + 3*w - 10. Let b be (4 - 92/24) + (-754)/(-12). Let d be (0/(-1) - 1)*b/7. Is n(d) a multiple of 22?
True
Let k(h) = 2*h**3 - 4*h**2 - 12*h + 35. Let r be k(6). Suppose -3*l = -4*l + f + 82, -2*l + 149 = 3*f. Suppose 3*o - r = l. Is o a multiple of 20?
False
Let p(d) = d - 5. Let g(h) = 4*h**3 + h**2. Let l be g(1). Let v be p(l). Suppose -3*t - 25 + 79 = v. Is 9 a factor of t?
True
Let a = -993 - -1448. Does 5 divide a?
True
Does 87 divide 2954 + (45/(-27)*-6 - 6)?
True
Let p = 825 - 576. Let a = p - 159. Does 5 divide a?
True
Does 196 divide (-181272)/(-9) - 615/(-369)?
False
Suppose -122*b + 113*b = -5274. Does 4 divide b?
False
Suppose 12*f - 48 = 4*f. Suppose f*c - 3*c - 17 = v, 2*v + 6 = -c. Suppose -j + 12 = -3*l, -5*j + c*l + 46 = 3*l. Is 4 a factor of j?
False
Suppose 5*w = 2*i + 269, 257 = 4*w + w + 4*i. Let o = w - -98. Does 19 divide o?
False
Let t(c) = -29*c + 69. Let d be 3 - (0 - (7 + -30)). Is t(d) a multiple of 59?
True
Let a(i) = -i**3 - 36*i**2 - 29*i - 496. Does 14 divide a(-37)?
True
Let f(n) = n**2 + n. Let y be f(5). Suppose -4*t = -9*t + y. Suppose 552 = t*z - 150. Is z a multiple of 17?
False
Suppose -d + 1143 + 206 = 5*w, -w = 5*d - 6721. Is d a multiple of 64?
True
Suppose -3*k - 4*g = -102866, 4*k - 12*g = -14*g + 137128. Is 29 a factor of k?
True
Let p be (-140)/70*3/(-2). Suppose -5*i + 3796 = 3*t + 1399, -p*i - t = -1439. Does 10 divide i?
True
Suppose -62*m - 12*m = 23*m - 424666. Is m a multiple of 22?
True
Suppose 4*y + 16*y + 100 = 0. Is 286 - (2 + 3 + y) a multiple of 22?
True
Suppose 18*k = -18*k - 55*k. Let q(p) = p**3 + 8*p**2 - 5*p - 5. Let l be q(-6). Suppose 189 = 4*d + h, -2*d + k*h = 3*h - l. Is 11 a factor of d?
False
Let g(b) be the third derivative of b**6/120 + 7*b**5/60 + b**4/8 - 7*b**3/6 + b**2 - 1. Let p be g(-6). Let o(k) = 20*k + 26. Is o(p) a multiple of 13?
False
Does 3 divide (38/(-152) + 2 + 4)*2780?
False
Let x = 101 + -88. Suppose x*f + 13*f - 10920 = 0. Does 21 divide f?
True
Let z(d) = d**2 + 50*d + 7556. Is z(0) a multiple of 16?
False
Does 11 divide 8618 + 400/60 + 4/(-6)?
True
Suppose -4*d = -2 - 6, 0 = 4*o + 3*d + 630. Let j = 250 - -13. Let u = o + j. Is u a multiple of 13?
True
Let u(n) = n**2 - 2*n + 1. Let r(w) = -w**2 + 3*w. Let o(f) = 4*r(f) + 3*u(f). Suppose 219 - 209 = 2*m. Is o(m) a multiple of 8?
True
Let c = 694 - 972. Let l be -464*1/(-2 - -1). Let p = c + l. Is 31 a factor of p?
True
Let z(l) = 2*l - 16. Let p(c) = -c**2 - 9*c + 9. Let d be p(-9). Let x be -24*(-4 - (-30)/d). Does 14 divide z(x)?
False
Let t(o) be the third derivative of o**6/120 - o**5/5 - 5*o**4/8 + 3*o**3/2 - 14*o**2 - 1. Is t(14) a multiple of 8?
False
Let w(r) = 33*r + 14. Let m(j) = 50*j + 23. Let x(g) = -5*m(g) + 7*w(g). Is 22 a factor of x(-9)?
True
Suppose -4*d = -v + 4450, -35*v + 3*d - 13260 = -38*v. Does 85 divide v?
False
Let b(t) = t - 11. Let g be b(14). Suppose 2*w - 859 = -3*k, 0*w = 4*k + g*w - 1147. Let j = -195 + k. Does 22 divide j?
True
Let h = 190 - 308. Let u = h + 455. Is 27 a factor of u?
False
Let b(u) = -7*u + 7. Let q(i) = 3*i - 4. Let w(z) = 2*b(z) + 5*q(z). Let f be w(4). Does 21 divide (5/(-5))/(f/58)?
False
Suppose -m - s = 3, m - 12 = 6*m + 4*s. Suppose 3*b + m*b = 3. Does 6 divide (11/(-2))/11*(b + -49)?
True
Suppose -k + 2 = -w, 4*w + 7 = w + 4*k. Let p = w - -161. Does 16 divide p?
True
Let f be 47/(-2) - (-3)/(-2). Let k = f - -25. Suppose k = -4*r - 36 + 104. Does 3 divide r?
False
Suppose -2*k - 4*r = 5106, 7*r = -5*k + 5*r - 12725. Let h = -1343 - k. Does 16 divide h?
True
Let f = -7 + 12. Suppose w = -4*o + 27, f - 1 = o. Suppose 135 = w*r - 8. Is 3 a factor of r?
False
Let v(l) = 32*l**2 - 57*l + 1452. Is v(22) a multiple of 22?
True
Let l(j) = -61*j - 346. Let w be l(-22). Suppose 5*i - 15*s - w = -16*s, -192 = -i - 2*s. Does 21 divide i?
False
Let x(g) = 4*g - 19. Let h be x(6). Suppose 12*d - 5*k = 10*d - 11, -2*d + 3*k = h. Suppose -d*q + 288 - 42 = 0. Is 41 a factor of q?
True
Suppose 3*d - 4*d = -3*w - 5508, 0 = 5*d - 5*w - 27560. Is d a multiple of 26?
False
Let f(p) = -6*p - 5. Let m(y) = 5*y + 4. Let r(g) = 5*f(g) + 4*m(g). Let h be r(-11). Suppose 0 = 5*t + 2*a - 919, t - h = 3*a + 93. Is 15 a factor of t?
False
Let x(q) = -10*q - 40. Let a be x(6). Let y = -46 - a. Is 6 a factor of y?
True
Let p = -2198 - -3387. Suppose 0*j + 5985 = 5*c + 5*j, -c - 3*j + p = 0. Is 46 a factor of c?
False
Is 20 a factor of 15555/153*13/1*12?
True
Let n = 899 - 900. Does 19 divide 5 - ((-840 - n) + -5 - -1)?
False
Let b = 82 + -76. Suppose 2 = -b*c - 22. Is c/(((-6)/(-37))/(-3)) a multiple of 11?
False
Suppose 875*w = 884*w - 288. Suppose r + w*f - 28*f = 776, -3*r - 2*f = -2338. Does 20 divide r?
True
Let w(l) = l**3 + 3*l**2 + 7*l - 80. Let j be (-14)/(-6)*(5 - (3 + -1)). Is 29 a factor of w(j)?
False
Let q = -14 + 26. Let z be 3*1/q + 105/28. Does 41 divide z + -6 - (-1240)/5?
True
Let k(m) = -10*m**2 + 20*m + 35. Let h(y) = 8*y**2 - 19*y - 35. Let r(q) = 3*h(q) + 2*k(q). Is r(-10) a multiple of 12?
False
Suppose -5*p + 3*v + 152994 = 0, 5*p = -2*v - 0*v + 153004. Let a be 1/(-4) + (p/(-32))/15. Let h = a + 208. Does 9 divide h?
True
Let l(i) = -24*i - 31. Let y be l(15). Let h = -55 - y. Is h a multiple of 12?
True
Let k(w) = -3*w - 13. Let p be k(-6). Suppose 236 = 5*l - 2*l - p*h, -156 = -2*l + 3*h. Suppose -f + l + 71 = 0. Is f a multiple of 29?
False
Let b(n) = n**3 - 2*n**2 + 3*n. Let k(d) = d**3 - 2*d**2 + 4*d - 1. Let x(a) = 3*b(a) - 2*k(a). Let p be x(2). Is p/6 - 939/(-9) a multiple of 10?
False
Let r(o) = -23*o + 125. Let j be r(-14). Suppose 42*w - 43*w = -j. Does 31 divide w?
False
Let p = 484 - -1849. Is p a multiple of 13?
False
Let r be 1 + 0 + 5 + -3. Suppose r*b + 65 = -25. Is (15/10 - 4)*b a multiple of 25?
True
Let r(u) = 8 + 102*u**2 + 9 + 20*u + 115*u**2 + 3. Does 64 divide r(-1)?
False
Suppose 0 = r + 1, -51 - 178 = 5*i - r. Let z = i + 49. Suppose -2*d + 2*a = -304, z*d + a + 452 = 6*d. Does 25 divide d?
True
Suppose -76*u + 110694 + 351842 = 0. Is u a multiple of 34?
True
Suppose -8*v = 9 + 151. Let u be (-1)/3 - v/6. Suppose 5*z - u*f - 213 = 0, 0 = 4*z - 2*z - 4*f - 88. Is 6 a factor of z?
True
Let a(q) = -q**2 + 5*q - 20. Let m be a(-7). Let h = 103 + m. Let s(w) = -24*w**3 + w**2 - w - 2. Does 8 divide s(h)?
True
Suppose -29 = -5*z + 3*a, -2*a = -3*z - 3*a + 9. Suppose z*c - t - 575 = 160, 0 = 3*t + 9. Is c a multiple of 11?
False
Let k(b) = 28*b + 144. Let y = -251 + 271. Is k(y) a multiple of 32?
True
Let n(p) = 376*p + 352. Is n(7) a multiple of 17?
False
Suppose -10 = 61*n - 66*n, 0 = 5*m + 2*n - 57454. Is m a multiple of 25?
False
Let s(i) = -i**3 + 8*i**2 + 11*i - 66. Let c be s(7). Suppose c*r - 65*r = -420. Is 46 a factor of r?
False
Let j = 159 - 259. Let u = -5697 + 5839. Let k = u + j. Is k a multiple of 21?
True
Let n = 1 - -1. Suppose 25 = -w - 27*k + 22*k, -k = -2*w + 16. Suppose -w = -n*c + 11. Is 8 a factor of c?
True
Let l(u) = 5*u**3 - 28*u**2 - 49*u - 16. Let q(a) = 12*a**3 - 55*a**2 - 97*a - 32. Let p(h) = 5*l(h) - 2*q(h). Is 10 a factor of p(32)?
True
Let l = -61 + 55. Let u be 4/l*-1*(9 + -12). Is 15 a factor of (-260)/15*3/u?
False
Let t(h) = 6*h**2 - 26*h - 159. Let s be t(-13). Suppose -s = -3*r + 922. Does 23 divide r?
False
Suppose 157 = 2*v + 5*o, 4*v - 156 = o + 213. Is v a multiple of 7?
True
Suppose -5*z = 2*o - 18630, 2*o - 40*z - 18616 = -38*z. Is 38 a factor of o?
True
Let y = 83 - 89. Let b be 1 - (2 - 6 - (4 + y)). Is (-3 + 26/b)*15 a multiple of 17?
True
Let c(w) = 2*w + 25. Let j be c(-11). Suppose 0*b - 2*l = -j*b - 330, l - 110 = b. Let p = b + 112. Is p a multiple of 2?
True
Suppose 0 = -2*x + 3*m + 2408, -5*m + 257 + 921 = x. Is x a multiple of 2?
True
Let d be 108/(-126) - (2 + (-39)/21). Is 19 a factor of ((-760)/(1 + -9))/(d/(-2))?
True
Let r(w) = -2*w**2 - 127*w + 10. Is r(-31) a multiple of 4?
False
Does 10 divide (