+ 7*a**2 + 15*a - 20. Let w(j) = j**2 + 12*j - 7. Let k be w(-13). Let t be d(k). Let i = 119 - t. Is 8 a factor of i?
False
Suppose -5*l + 25 = 0, 4*s - l = 3*l. Suppose -g = -3*z - 1 + s, -5*z = -4*g - 2. Suppose -2*d + 36 = g*u - 50, -3*u = d - 139. Is 16 a factor of u?
True
Let r(t) = t**2 - 11*t + 10. Let a be r(5). Let v be -5*((-92)/a - 5). Suppose -s + 98 = v*b - 2*s, -2*s - 247 = -5*b. Is b a multiple of 17?
True
Does 33 divide ((-237872)/(-16))/((-4)/(-20)*5)?
False
Is (4194/(-21))/((-3)/(-21))*21/(-3) a multiple of 43?
False
Suppose -r + 4*t = -97, -4*t = 5*r - 282 - 179. Suppose r*o - 76*o - 7004 = 0. Is o a multiple of 9?
False
Let r(u) = -u**2 - 7*u - 6. Let m be r(-6). Suppose m = -26*c + 22*c + 1872. Is 6 a factor of c?
True
Let f = -6 + 8. Let x be 18/(-7)*(-2800)/60. Suppose 3*h - 2*t = -2*h + x, 0 = f*h - 5*t - 48. Does 8 divide h?
True
Let x(b) = -2*b + 19*b**3 + 3*b - 6*b**2 - 17*b**3 + 0*b + 17. Is 13 a factor of x(7)?
True
Suppose 0 = -188*z + 185*z + 3606. Let n = z - 825. Is 21 a factor of n?
False
Let b = -13714 - -19891. Is b a multiple of 6?
False
Suppose -u - 1354 = 2*v - 5*v, 3*v = -2*u + 1342. Suppose -1410 = -4*g + v. Does 31 divide g?
True
Let z(o) = -1288*o**3 - 1286*o**3 + 11 + 2572*o**3 - 2 + 14*o. Let x = -3 + -3. Is z(x) a multiple of 21?
True
Suppose -2*x = 4*h - 6962, -5*x = 44*h - 43*h - 1736. Is 6 a factor of h?
False
Suppose m + 19 = 2*m - 3*c, -2*m - c = -38. Let k = 18 - m. Let p(g) = -121*g**3 + g**2 + g. Does 38 divide p(k)?
False
Let v = 6920 - 6920. Suppose 0 = -5*t + 4*q + 13, -4*t + 4*q + 11 = q. Suppose v = 2*a + t*n - 430, -3*n + 6*n = 5*a - 1106. Does 44 divide a?
True
Let g = 11491 - 6227. Is 16 a factor of g?
True
Let p = 674 + -669. Does 43 divide (-9 + p)/(-4) + 1120?
False
Let h be 70/22 + (-98)/539. Let x be -2 - (-1 - 93 - 0). Suppose x = h*o - 2*o. Is 23 a factor of o?
True
Let u be ((-52)/65)/((-2)/(-6*35)). Let p = -28 + -24. Let r = p - u. Does 17 divide r?
False
Let v = -19240 + 19684. Does 3 divide v?
True
Suppose 4*k = 5*t - 426, 0 = -2*t - k + 2*k + 171. Suppose 0 = -6*o - 142 - t. Is o/(-6) - (-18)/27 a multiple of 3?
False
Let w(k) = 21*k + 113. Let p be w(9). Suppose b - p = 11. Is 25 a factor of b?
False
Let b be (2 + 0 - 1)*(6 + 0). Suppose b*r - 10*r = 5*f - 576, -5*r - 4*f + 720 = 0. Is r a multiple of 18?
True
Suppose -2*n + y = 60 - 42380, 6*y = -5*n + 105800. Is n a multiple of 87?
False
Let h(m) = m**3 - 15*m**2 - 19*m + 1. Let p be h(16). Let f = p - -197. Is 25 a factor of f?
True
Suppose 0*m = -j + 3*m - 364, -1392 = 4*j + 4*m. Let f = 863 + j. Does 34 divide f?
False
Suppose 0 = 10*i + 11*i + 105. Is 3 a factor of 91 + 3/i + (-4)/10?
True
Let i(b) = -36*b + 7. Let j be i(-1). Suppose j*w - 876 = 39*w. Suppose 6*u - w - 93 = 0. Does 4 divide u?
True
Does 18 divide -18 + (13 - -2) + 9459?
False
Let v = -5431 + 11008. Is 169 a factor of v?
True
Let u(i) be the second derivative of -25*i**3/6 + 97*i**2/2 - 2*i + 25. Is u(-16) a multiple of 89?
False
Suppose 4*y + 6 = -3*m, -8 = 4*m - 3*y - 0*y. Let l be 1/(70/(-36) - m). Suppose -19*g = -l*g - 24. Is 8 a factor of g?
True
Let v(n) = -77*n + 90. Let i(s) = 150*s - 181. Let p(g) = -2*i(g) - 5*v(g). Is p(7) a multiple of 45?
False
Let j = -1 - -3. Suppose -3 + 1 = -5*t - j*w, 0 = 5*w + 20. Suppose 2*u - 245 = -3*x, -2*u = -4*u - t*x + 242. Does 27 divide u?
False
Let k = 1188 - 809. Let i = -259 + k. Suppose -i = -8*h + 320. Does 16 divide h?
False
Let h(g) = -g**2 - 6*g + 11. Let s be h(-7). Let z(m) = -6*m**2 - 3*m - 2. Let u be z(s). Let t = -78 - u. Does 8 divide t?
True
Suppose 5*a - a - 38088 = 0. Suppose 0 = -16*c + 5486 + a. Is 19 a factor of c?
False
Suppose u + 44 = 5*g + 15, 25 = 4*g + u. Let p be -34 - (g/30 + 14/5). Let k = p + 51. Is 11 a factor of k?
False
Let s(b) = 40*b**2 + 6*b + 5. Let r be -4*6/(-9)*(-6)/16. Is 13 a factor of s(r)?
True
Let a be (15/10)/(2/324). Suppose -2*j = u - 81, -5*j + a - 663 = -5*u. Let s = -30 + u. Does 22 divide s?
False
Let t = 8988 + -4442. Is t a multiple of 9?
False
Does 4 divide 1328 - (9 + (13 - 14))?
True
Suppose 561847 + 1105885 = 44*h. Is 331 a factor of h?
False
Let a(g) = -g. Let r be a(2). Let q be (0 + -2 + 4)*125/r. Does 14 divide (-56)/(-10)*q/(-10)?
True
Let a(y) = y**3 + 31*y**2 + 67*y + 65. Let q be a(-28). Let d(m) = -10*m**2 - m - 13. Let u be d(6). Let t = q + u. Does 27 divide t?
True
Does 36 divide ((-307219)/(-88) - 12) + 13 + 2/(-16)?
True
Let y = 1696 + -355. Is y a multiple of 9?
True
Let m(z) = z**3 + 11*z**2 - 6*z - 14. Let k be m(-12). Let l = -49 + 34. Let d = l - k. Is d a multiple of 26?
False
Let q = -23918 - -36720. Is q a multiple of 2?
True
Let q(m) = 16*m + 44. Let o be q(-20). Let k = 618 - o. Suppose 0 = -10*w + k - 194. Does 10 divide w?
True
Let d(z) = -z**3 + 15*z**2 + 17*z - 37. Let r be d(16). Let u = 21 + r. Suppose u*o - 5*q + 32 = o, q = -o + 16. Does 12 divide o?
True
Let u be (-42 + (-36)/6)*-43. Is 17 a factor of u/(-72)*(1 + -13)?
False
Suppose 3*g = -9, -6*l + l - 5*g + 110 = 0. Suppose 26*r = l*r + 421. Does 8 divide r?
False
Let i(c) = 27*c**2 + 4*c. Let v(q) = -10*q**2 + 21*q - 10. Let o(f) = 12*f**2 - 22*f + 11. Let s(w) = -4*o(w) - 5*v(w). Let l be s(8). Is 36 a factor of i(l)?
False
Let q(t) be the third derivative of -t**4/24 + 2*t**3/3 - 5*t**2. Let w be q(-1). Suppose 0 = w*k, m - 2*k - 31 = 35. Does 22 divide m?
True
Let x(g) = 4*g**2 - 4*g + 3. Let i be x(6). Let y = 125 - i. Suppose 2*m + 3*d = 188, y*d = 5*m + 4*d - 492. Does 20 divide m?
True
Let n(j) = -j - 19. Let f be n(-22). Is 13 a factor of 1647/f - (-1 - -5)?
False
Let s(h) = -h - 6. Let x be s(-10). Let z(p) = 2*p**2 - 41*p - 13. Let o be z(21). Is 11 a factor of 40 + 2 + o/x?
True
Suppose 3*q = 3*j - 150, -4*j + 250 = j + 5*q. Let o = j - 22. Is o even?
True
Let h = -42 + 45. Suppose -183 = -d + h*c, -2*c = 3*d - 4*c - 535. Suppose 3*g + g + 2*k - 246 = 0, 3*g = k + d. Is g a multiple of 10?
True
Let z(s) be the second derivative of s**4/12 - s**3/6 + 81*s**2 + 2*s - 31. Does 5 divide z(0)?
False
Let d = 215 - 119. Let a be (81/6)/(-4 + (-45)/(-10)). Suppose 3*h = -2*o + 73, 3*o - d - a = -5*h. Does 3 divide h?
True
Suppose -5*t = 3*r - 82, 26 = 5*t - 3*r - 32. Is 46 a factor of (t/(-35))/((-1)/230)?
True
Let t(z) be the third derivative of 23*z**5/60 - z**4/4 + 4*z**3/3 + 44*z**2. Is t(-3) a multiple of 18?
False
Let b = 2582 - 3890. Let k = -223 - b. Is 63 a factor of k?
False
Let n be (-17 + (6 - 4))/(2/6). Suppose 25 = -5*d, z + d = 70 + 49. Let w = z + n. Does 8 divide w?
False
Let n = -9064 + 21427. Is n a multiple of 13?
True
Let v(g) = 1253*g + 186. Does 24 divide v(6)?
True
Let l be (-2 - (-9)/2)*2. Suppose 4*v + s - 143 = 631, l*v - 967 = -s. Does 8 divide v?
False
Let p(h) = -h + 18. Let x(n) = 2*n**3 - 2*n + 2. Let l be x(2). Let t be p(l). Suppose -3*s + 555 = -t*c, -2*c = -s - 120 + 303. Does 33 divide s?
False
Suppose 0 = -679*a + 650*a + 131921. Does 141 divide a?
False
Let g = -4948 + 13468. Is 60 a factor of g?
True
Let o(b) be the first derivative of b**3/3 - 7*b**2 + 23*b + 5. Let g be o(19). Suppose 2*q = 5*s - 3*s - g, -4*s - 5*q + 263 = 0. Is 16 a factor of s?
False
Let w = 574 - 200. Let z = w + -289. Is 32 a factor of z?
False
Suppose -17*h - 21276 = -44*h. Let u = h - 468. Is u a multiple of 16?
True
Suppose -4144*u = -4163*u + 856140. Is u a multiple of 267?
False
Suppose 3*u = 0, -5*k - 12*u + 13*u + 10 = 0. Suppose 3*n = -4*r - k*n + 751, 0 = -5*r - 5*n + 935. Does 8 divide r?
True
Does 73 divide (-8693)/(-1) + (-5 + 11)*-1?
True
Let o = -67 - -148. Suppose -j - 2*j = -o. Suppose -3*b = 5*w - 153, 0 = b + w - j - 22. Does 9 divide b?
False
Suppose -7*i - 26*i = -4554. Suppose -4*q + 80 = s, -s = -0*s + 4. Suppose m + q = i. Is 20 a factor of m?
False
Suppose 0 = 116*q - 110*q + 270. Does 8 divide ((-1746)/q)/((-4)/(-20))?
False
Let h(m) = m - 21. Let v be h(21). Suppose v = 5*d - 216 + 41. Does 19 divide d?
False
Suppose 15*h - 266757 = 18843. Does 112 divide h?
True
Let h(o) = o**2 + 19*o + 10. Let u be h(7). Suppose 2*j - u = 296. Is j/6 - ((-25)/(-15) + -1) a multiple of 8?
True
Is 30 a factor of (-1 + -16 + -24)*(-1 + -100) + 1?
False
Suppose 0 = -3*c - 5*o + 49, 0*o = -3*o - 12. Let y = c + -20. Suppose y*z +