+ 52*b + 24. Let l(i) = 51*i + 22. Let z(o) = 3*l(o) - 2*y(o). Is 12 a factor of z(-26)?
True
Let d(q) = 82*q**3 - 6*q**2 + 4*q + 1. Suppose 51*v + 15*v = 66. Is d(v) even?
False
Suppose 53447 = 29*u - 198505. Does 16 divide u?
True
Suppose -p = -49 + 68. Suppose 3 = 5*v - 142. Let b = p + v. Does 5 divide b?
True
Let s(a) = 11*a**2 + 19*a - 37. Is s(-6) even?
False
Does 7 divide (-10)/65 - (3 - (-56830)/(-130))?
True
Suppose 6*o - 4107 = 9723. Is 46 a factor of o?
False
Suppose 0 = -4*h + 16, -132*g + 127*g = 4*h - 1226. Is 11 a factor of g?
True
Suppose -9*q + 610 = q. Suppose 871 = 6*f + q. Does 3 divide f?
True
Suppose -4*m = -5*y - 2449, m + 2*y = -103 + 712. Let k = m - 1645. Is (-1)/6 - (k/12 - 1) a multiple of 30?
False
Suppose -2*p + 3*p = 5*x + 146, 5*p + 4*x - 585 = 0. Let w be 1464/(-14) - (-56)/98. Let k = w + p. Does 17 divide k?
True
Suppose 5*b - 7370 = -5*v, 4*b - 44 = -40. Suppose v = -10*o + 4973. Does 70 divide o?
True
Let j be -4 - (474/24)/((-2)/16). Let z = j - 250. Let s = -72 - z. Is s a multiple of 6?
True
Suppose 70*h - 140490 = 7*h. Does 10 divide h?
True
Suppose -64*p + 74*p = 64260. Is p a multiple of 27?
True
Let b = 124910 - 58990. Is b a multiple of 206?
True
Suppose 30 = -6*n, -71012 = -4*q + 2*n - 26622. Does 35 divide q?
True
Suppose -9*r + 7 + 29 = 0. Let l(a) = -10*a**2 + 38. Let z(f) = -18*f**2 + 76. Let g(q) = r*z(q) - 7*l(q). Does 15 divide g(0)?
False
Suppose 3*i - 593 + 198 = -2*l, -3*i = -3*l - 375. Is i a multiple of 7?
False
Let w(z) = 3*z**3 + 8*z**2 + 15*z + 9. Does 65 divide w(11)?
True
Let y = 892 - 2274. Let a = -962 - y. Let n = a - 217. Does 26 divide n?
False
Suppose 4*z - 4*w - 27068 = 0, 5*z - 2*w - 42205 = -8364. Is 153 a factor of z?
False
Let h(r) = 2*r**2 + 28*r - 93. Let l(k) = -k**3 - k**2 + 44*k - 13. Let z be l(-7). Is h(z) a multiple of 87?
True
Let r be (-73 - -61)*(-491)/2. Suppose -49*w + 50*w - 734 = -3*n, 0 = 4*w + 2*n - r. Is w a multiple of 17?
False
Let k(r) = -9*r**2 + 23*r**2 + 12 - 8*r**2 - 5*r + 0*r**2 + 12. Is 5 a factor of k(7)?
False
Let c(r) be the third derivative of 29*r**7/1680 - 7*r**6/240 + 2*r**5/15 + 33*r**2. Let m(k) be the third derivative of c(k). Is 50 a factor of m(3)?
False
Let c be 44/(-110)*(-25)/2. Suppose -c*m + 1770 = -l, -2*m = -3*l + l - 716. Does 62 divide m?
False
Let q = 1650 + 5670. Does 24 divide q?
True
Let y(s) = 26*s - 204. Let q be y(14). Let t be (37 + -2)*(-3)/(-1). Let c = q - t. Is c a multiple of 8?
False
Is 4 a factor of -9 + 5/1 - 3766/(-2)?
False
Let u(r) = 19*r - 3 - 13*r + 11*r + 7*r. Does 14 divide u(6)?
False
Let w = 20601 + -15986. Is w a multiple of 2?
False
Let h(k) = 8*k - 17. Let o be h(9). Let v be o/(-11) + (1 - -6). Suppose 5*m - 3*w = 235, -3*m - 3*w = v*w - 175. Does 23 divide m?
False
Let p(h) = h**3 - 16*h**2 - 353*h + 72. Is 32 a factor of p(40)?
True
Suppose 36*v = 10*v + 78. Suppose v*j = 2*t - 2497, -2*t + 2*j - 7*j = -2521. Does 45 divide t?
False
Let c(r) = r**3 + 2*r**2 - 5*r + 9. Let m be c(0). Suppose 0 = 10*x - m*x - 593. Does 52 divide x?
False
Let f = 42362 + -40154. Is 8 a factor of f?
True
Suppose 5*c = -57*c + 2504304. Is c a multiple of 17?
True
Let j(b) = 9*b - 18. Let w be j(2). Suppose 15*f - 420 = -w*f. Is f a multiple of 28?
True
Suppose -2*o - 5*h + 121 = 0, -3*o - 2*o + 3*h + 225 = 0. Suppose -182*n = -183*n + 93. Let f = n - o. Is 5 a factor of f?
True
Let t = -114 - -116. Does 42 divide ((-135)/t)/(2*(-3)/12)?
False
Let b(x) = 1 + 57*x**2 - 2 + 8 - 17*x + 9*x. Let k be b(3). Suppose -4*y = -8*y + k. Is y a multiple of 23?
False
Suppose 3*v + 0 = 6. Suppose s = v*f + 53, 0 = -7*f + 3*f + 3*s - 105. Is (f/(-15))/(9/510) a multiple of 17?
True
Suppose -8914*d - 9600 = -8934*d. Does 6 divide d?
True
Suppose 1648*d + 3*y + 1252 = 1649*d, 5*d - 6260 = -5*y. Is d a multiple of 11?
False
Let u(x) be the second derivative of -x**5/10 + 55*x**4/12 + 35*x**3/6 + 19*x**2 + x - 44. Does 9 divide u(28)?
True
Suppose -14*o + 19*o + 170 = 0. Let p be 2/4 - (-153)/o. Is p/16*-1 - 3395/(-20) a multiple of 47?
False
Suppose -23 = -0*p + p. Let k = p + 25. Suppose -130 - 80 = -k*c. Is c a multiple of 21?
True
Let w be 11/4 - (-2)/8. Let s be 15 - (1 - 35/5). Let l = s - w. Is 11 a factor of l?
False
Let c(n) = -n**3 + 8*n**2 + 12*n - 18. Let k be c(9). Let v be 14/(-63) + (-34)/k. Does 7 divide (1106/91 - 4) + v/26?
False
Does 6 divide (3910/92)/(2/44)?
False
Suppose -2*v - 4 = -0*v - 2*b, -3*b + 6 = 4*v. Let n be 3 + -5 - (-338 - v). Let u = n + -234. Is u a multiple of 6?
True
Let n = -144 - -2818. Is 56 a factor of n?
False
Let q = 12474 + -7018. Suppose -10*y = -2*y - q. Let d = -403 + y. Is 20 a factor of d?
False
Suppose -5*y + 3931 = -4*q + 60646, -2*y - 14178 = -q. Is 41 a factor of q?
False
Suppose 5*m - 8734 = -4*k, 0*m - 3*m + 3*k + 5262 = 0. Is 14 a factor of m?
True
Let i(w) = 585*w + 2385. Is 45 a factor of i(8)?
True
Suppose 3*b - d = 6, 0 = -7*d + 4*d. Suppose -b*v = 4*g - 1448, 0 = 8*g - 4*g - 4*v - 1436. Is g a multiple of 25?
False
Suppose 0 = -4*w + 4*s + 46628, 5*w + s = -16074 + 74347. Is w a multiple of 43?
False
Is (-79482)/(-8) - (-243)/324 a multiple of 48?
True
Let y = -511 + 1003. Suppose -7*k - 5*k + y = 0. Is k a multiple of 11?
False
Let p(z) = 2*z**3 - 48*z**2 - 15*z - 47. Let t(j) = j**2 + 6*j - 87. Let m be t(-14). Is 36 a factor of p(m)?
True
Let p(x) = x**3 - 18*x**2 - x + 18. Let n be p(18). Suppose n*g - 8*g - 40 = 0. Let u(t) = -5*t - 8. Is u(g) a multiple of 17?
True
Let l = 24 - 10. Suppose -19*i + 125 = -l*i. Let r = 67 - i. Is 7 a factor of r?
True
Let p(d) = -38*d**3 - 4*d**2 + 7*d + 65. Does 6 divide p(-5)?
True
Let f(t) = 2497*t - 2. Let h be f(1). Let v = h + -1015. Does 40 divide v?
True
Let p(v) = -46*v + 16. Let y = 99 - 102. Let r be p(y). Suppose 0 = -11*m + 1166 + r. Is 55 a factor of m?
False
Suppose v = 3*l + 303 + 24, -2*l = -4*v + 1308. Let j = -106 + v. Is j a multiple of 17?
True
Let r = 81 + -59. Let g = 16 - r. Is 10 a factor of 4 - 9 - 918/g?
False
Let c(u) = 2*u**2 - 21*u - 56. Is c(-29) a multiple of 15?
True
Let j(b) = -b**3 + 45*b**2 + 113*b - 68. Let s be j(47). Let p = -795 + s. Is p a multiple of 12?
False
Let h(p) = 8*p + 109. Let m be h(-13). Let k be (-3)/(-4) - 20/(-16). Suppose 34 - 9 = m*o, -k*n - o + 359 = 0. Is n a multiple of 23?
False
Suppose -2*w - 167 = 267. Let j = -116 - w. Let m = -57 + j. Is 3 a factor of m?
False
Suppose w - 2*z = 194, -4*w - 4*z + 364 = -2*w. Let x(t) = -60 - 4*t - t**2 + w + 11*t. Is x(0) a multiple of 39?
False
Let n(y) = -y + 10. Let l be (0/(2*-2))/(-1) - -36. Suppose -6*k - l = -18. Does 13 divide n(k)?
True
Let o(i) = -12*i - 32. Let c(d) = 4*d + 11. Let l be c(-3). Let q be ((-4)/6)/((-16)/(-15) + l). Is 31 a factor of o(q)?
False
Let s = -2795 + 823. Let r = s + 3692. Is 12 a factor of r?
False
Let j(d) = 117*d - 612. Let o(x) = -9*x + 47. Let n(r) = 4*j(r) + 54*o(r). Is n(-17) a multiple of 44?
True
Does 161 divide (-64)/48*(-15)/2 + 8405?
False
Let q(l) = 74*l**2 - 69*l - 22. Does 15 divide q(-11)?
False
Let a(s) = 29*s**2 - s + 3. Let y be a(2). Suppose -b + y = 2*b. Suppose 25 = 3*p + f - b, -2*f = -4*p + 102. Is 11 a factor of p?
False
Suppose 0*k + 4*k = -5*q - 201, 2*q + 5*k = -77. Is -1 + 1 + (-18450)/q a multiple of 50?
True
Let c(k) = 67*k**2 - 4*k - 20. Let a be c(-10). Suppose a = w + 11*w. Is w a multiple of 56?
True
Let b(i) = -i**2 - 6 + 6*i - i**2 + 13*i. Let c(w) = 6*w - 298. Let r be c(51). Is b(r) a multiple of 9?
True
Let a = -111 + 113. Suppose -4*d + 12 = 0, d - 5*d + 282 = a*h. Is 12 a factor of h?
False
Suppose 3*x - 3*y - 4788 = 0, 235*x - 4*y + 1616 = 236*x. Is 40 a factor of x?
True
Suppose 3*w = -4*l + 88, -3*w - 7*l + 76 = -6*l. Is (66 - 1)/(6/w*4) a multiple of 3?
False
Let d(o) = 31*o**2 - 190*o - 22. Is d(8) a multiple of 18?
False
Let t be (12 - 0)*(-7 + 80/12). Let d be t - 5/((-10)/14). Suppose -3*a - 15 = 0, -4*g + 5*a + 130 = d*a. Is g even?
True
Let z = -1379 - -13478. Does 37 divide z?
True
Suppose 0*r + 2*f = r - 62, -3*r + 171 = -f. Suppose 2*t = -4*b + 74 - 18, -4*b + r = t. Let x = b + -12. Does 2 divide x?
True
Let j = 302 + -329. Let r = 253 - j. Is 70 a factor of r?
True
Suppose 0 = -l + w - 34, -2*w = -0 + 4. Let g = 41 + l. Suppose -267 = -5*y +