24)?
True
Let x = 488 + -242. Let c = x + -133. Does 28 divide c?
False
Let h = 730 + -427. Does 3 divide h?
True
Suppose -2*s + 388 = -116. Is s a multiple of 9?
True
Is 15*219/9 - (-3 + 9) even?
False
Suppose 4 = 2*y + a - 4, -y - 6 = -2*a. Let d = 2 + y. Let j(k) = 2*k**2 - 3*k - 6. Is j(d) a multiple of 13?
False
Let d(f) be the second derivative of 13*f**4/12 - 5*f**3/6 + 4*f. Let o be d(-3). Suppose 0 = 5*p - 25, -4*s + 2*p = -2*p - o. Does 11 divide s?
False
Let x(r) = 7*r - 7. Let u(y) = -7*y + 9. Let n(d) = -2*u(d) - 3*x(d). Is n(-2) a multiple of 6?
False
Let b(u) = 9*u + 97. Is b(46) a multiple of 28?
False
Let a be 36985/169 + (-4)/(-26). Suppose 3*x - 6*y + 2*y = 161, 4*x - y = a. Is 11 a factor of x?
True
Let c(a) = 2*a**2 - 11*a - 6. Let t be c(6). Suppose t = 3*h + h. Suppose h*k - 54 = -k. Is k a multiple of 18?
True
Suppose -5*u + 66 + 29 = 0. Let p = -12 + u. Suppose 4*w - p*w = -36. Is w a multiple of 3?
True
Let j(k) = k**3 - 7*k**2 + k - 7. Let m be j(7). Let p(y) = y + 0 - 34*y**3 + m. Does 11 divide p(-1)?
True
Let r = -632 - -801. Is 35 a factor of r?
False
Let m(n) = -2*n - 6. Let x be m(-6). Suppose -x + 3 = -u. Let q = 15 - u. Does 6 divide q?
True
Let r = -128 + 68. Does 26 divide (-401)/(-5) + r/(-75)?
False
Suppose -11*w + 12 = -5*w. Suppose -5*x - q + 852 = 0, -w*q - 676 = -8*x + 4*x. Does 34 divide x?
True
Does 13 divide (-19 - (3 - 3))*130/(-5)?
True
Let f(a) = -3*a**2 + 26*a + 8. Suppose 0 = 2*t - 10 - 6. Does 10 divide f(t)?
False
Suppose 0*m - 4*m = 12. Let g = 5 + m. Suppose -5*b = -10, b = -a - g*b + 52. Is 19 a factor of a?
False
Let b(p) = 63*p - 2. Let j = -14 - -15. Is 23 a factor of b(j)?
False
Let n(q) = -q**3 - 9*q**2 - q + 10. Suppose 0 = -3*h - 5*c - 159, 0*h - h - 4*c = 60. Let o be (-3)/((-4)/h*4). Is 5 a factor of n(o)?
False
Let z(k) = -78*k + 80. Does 47 divide z(-15)?
False
Let n = -60 - -326. Is n a multiple of 19?
True
Suppose 4*q = z + 3425, -z + 2560 = 4*q - q. Does 45 divide q?
True
Let m = 1722 - -710. Is 104 a factor of m?
False
Let z be (12/4)/(9/15). Suppose y + 84 = 4*j - y, z*y - 18 = -2*j. Let c = 46 - j. Is c a multiple of 12?
False
Let i be 4/5*95/(-2). Let j = i - -80. Is 21 a factor of j?
True
Let u(n) = 15*n**3 + 2*n**2 - 34*n + 51. Is u(6) a multiple of 93?
False
Let b = 397 - 194. Is 29 a factor of b?
True
Suppose 0 = -3*s + 1 + 5. Let j(n) = -n**3 + 23*n**2 - 44*n + 40. Let t be j(21). Is (s/4)/(t/(-20)) a multiple of 3?
False
Suppose 2*l + 4*x = 216, -331 = -5*l - 3*x + 195. Is l a multiple of 3?
False
Suppose -14*t + 212 = -21684. Does 17 divide t?
True
Let p = 5 + -5. Suppose 3*t + p = -12. Does 13 divide 1/t - (-942)/24?
True
Let j(b) be the second derivative of -b**5/20 + b**4/4 + 2*b**3/3 - 5*b**2/2 - 2*b - 9. Is j(-5) a multiple of 16?
False
Suppose -5*h = 4*s + 3 - 2, 4*h = -4*s. Let c be (h/4)/(1/(-8)). Is 1/((-4)/(-24))*c a multiple of 12?
True
Let n = 10 + -12. Let s(r) = 20*r**3 + 2*r**2 - 2*r - 1. Let k be s(n). Let u = k + 240. Does 13 divide u?
True
Let f be 2/(-4) + (-835)/10. Let x = f - -144. Suppose -3*i = 2*l - 46, -x - 14 = -5*i - 2*l. Is i a multiple of 9?
False
Let h = 560 - -103. Is h a multiple of 21?
False
Let z = -5 - -12. Let f(h) = -101 - 11*h + 2*h**2 + 50 + 52. Is 4 a factor of f(z)?
False
Let m = -108 - -186. Is m a multiple of 11?
False
Suppose 5*p - 5*d - 19 = 6, -3*d = 0. Suppose 2*n = -3*n - p, -4*l + 339 = n. Is 13 a factor of l?
False
Let i(y) be the third derivative of -y**6/120 - y**5/20 + y**4/12 + 3*y**3/2 - 6*y**2. Does 16 divide i(-5)?
False
Let p = -139 - -72. Let u = p - -90. Does 23 divide u?
True
Let h(y) = -28*y**3 - 3*y**2 - y - 12. Is 18 a factor of h(-3)?
True
Suppose -n - 7 = -5*j, n - 2*n = -3. Suppose 0 = 3*a + i - 109, -j*i = 3*a - 7*i - 139. Does 32 divide a?
False
Suppose 0 = -0*w + w. Suppose 0 = -g - 1, 3*d - 3*g - g - 106 = w. Let v = 96 - d. Is 17 a factor of v?
False
Let o = 15 + -8. Suppose -u - 5*i + 171 = 0, 3*u - 2*i + o*i = 483. Suppose -5*h + u = -174. Does 15 divide h?
False
Suppose 4*o + 0*o - 4*g - 36 = 0, o - 5*g = 5. Suppose -12 - o = m. Is (-99)/m*8/3 a multiple of 6?
True
Let z = 104 + -94. Suppose -11 + 36 = 5*r. Suppose 4*c = 7*c + r*x - z, 0 = -5*c - 4*x + 34. Is c a multiple of 10?
True
Let x = 756 + -699. Does 3 divide x?
True
Let h = 44 + -45. Does 29 divide h - 382/(-4)*(-6)/(-3)?
False
Does 37 divide (-425)/(1 + -2 + 3/6)?
False
Let f = 35 + -17. Let u(x) = -x**2 - 7*x + 10. Let s be u(-9). Does 6 divide f/((-4)/(s + 0))?
True
Suppose -2*z - k + 4 = 0, 4*z + 3*k + 8 = 5*k. Suppose z = 4*c - 5*o - 26, 2*c = 5*o - o + 10. Does 3 divide c?
True
Let h = 77 - 23. Is 8 a factor of h?
False
Let v be (-72 + 73)/(9/8 + -1). Suppose v*c - 786 - 46 = 0. Does 26 divide c?
True
Let x(p) = 17 - 12 - 2 + 26 + 46*p. Is 30 a factor of x(3)?
False
Let d be 12*((-23)/3)/(1 + -2). Let t = 20 + d. Is t a multiple of 28?
True
Let p(h) = 2*h**2 + 13*h - 7. Let j be p(-7). Suppose 3*b + 0*b - 36 = j. Is b a multiple of 6?
True
Let o = 12 - -13. Let q be 7 + (-2 + 1 - -4). Does 38 divide (190/o)/(2/q)?
True
Is 17 a factor of 8080/56 + (-2)/7?
False
Let f = 554 - 468. Is 7 a factor of f?
False
Suppose 30 = -9*z - 24. Suppose p = -2*p - 1614. Is 17 a factor of p/(-12) + (-1)/z?
False
Let w be 26/6 + (-10)/30. Let q = -23 + 23. Suppose v + 3*t - 13 = t, q = 5*v + w*t - 35. Does 2 divide v?
False
Is -465*(-10)/15 + -2 a multiple of 28?
True
Suppose 53 = z + z + 3*i, 3*i + 3 = 0. Let c = -21 + z. Is 2 a factor of c?
False
Does 4 divide (-82)/((4 + -8)*4/248)?
False
Let a be ((-30)/(-75))/((-1)/5). Is 8 a factor of (-99)/(-6) - (-1)/a?
True
Let l be (8/(-6))/(3/27). Is 34 a factor of (165 + l)*(-4)/(-6)?
True
Suppose -4*c - 4*i = -764, 0 = -8*c + 7*c + 3*i + 187. Does 2 divide c?
True
Let w = -853 + 1011. Does 79 divide w?
True
Suppose -7*g + 10*g = 30. Let f(j) = j**2 - 11*j + 18. Is f(g) a multiple of 8?
True
Let r(t) = -t**2 + 4*t**2 + 3 - 1 - 1. Let x be r(1). Let l(p) = p**2 + 5. Is 4 a factor of l(x)?
False
Let w(q) = 5*q**2 - 18*q - 71. Is 4 a factor of w(11)?
True
Suppose 0*b = 9*b - 7695. Does 45 divide b?
True
Let q = -625 - -1125. Is 25 a factor of q?
True
Let h = -1 + -9. Does 12 divide (36/h)/(2 - 46/20)?
True
Let c be 3 - (-3)/((-3)/(-2)). Suppose 4*l - 4*u = 0, 2*l + 30 = 7*l + c*u. Suppose 0 = -l*a + 116 - 35. Is a a multiple of 15?
False
Suppose 3*x = -2*x + 15. Suppose 0 = -q - 2*q + x*i + 303, -2*q - 2*i = -202. Suppose 5 = w + 6, 0 = 3*h + 4*w - q. Does 13 divide h?
False
Let v(b) = -b**2 + 2*b - 5. Let x be v(0). Let u = x - -106. Does 13 divide u?
False
Let u(k) = -k**3 + 5. Let b be u(0). Suppose -b*l + 212 = 32. Is l a multiple of 9?
True
Suppose 4*p + 52 = 52. Suppose -7*t + 2*t + 340 = p. Is t a multiple of 6?
False
Suppose 3*o + 15 = -2*f + 36, o = 4*f - 49. Is f/(-2) + 1 + 2 - -23 even?
True
Suppose j + 4*i + 9 = 0, 3*i = -6*j + 11*j - 24. Is j a multiple of 3?
True
Let h = 102 + -20. Suppose 71 = 3*d - h. Does 9 divide d?
False
Let z be (7 - 7)/(2/2). Let m be -14*(z + 1 - 2). Let p = m - 3. Is p a multiple of 3?
False
Let b(y) = -31*y + 326. Does 3 divide b(6)?
False
Let t(i) = -76*i + 1. Let p be 0/(-2)*(-5)/10. Let u be (-1 - -3)/(-2 + p). Is 25 a factor of t(u)?
False
Let q = 4 + -7. Let p = 50 - q. Does 16 divide p?
False
Suppose 3*x = -2*x - 120. Does 16 divide 4*(7 - 3 - x)?
True
Suppose 310*s = 299*s + 6600. Is s a multiple of 6?
True
Let j = 201 - -1699. Does 100 divide j?
True
Let c = -20 - -23. Suppose c*i + 648 = 9*i. Is 27 a factor of i?
True
Let x(g) = -19 + g**2 - 2*g**2 + 27 - 7*g. Let b be x(-6). Suppose -2*f + b = 4*a, 0 = -3*a - 2*a - 3*f + 15. Is a a multiple of 6?
True
Does 9 divide (-37 + 0)*(-19 - -1)?
True
Let s(z) = -5*z + 484. Is 66 a factor of s(-22)?
True
Suppose 0 = 6*z - z + 640. Let o = 308 + z. Is o a multiple of 10?
True
Suppose -11 - 1 = -x. Let m be -432*((-16)/x)/2. Suppose 5*h = b + 4*b - 360, 4*b - h - m = 0. Is b a multiple of 24?
True
Suppose -3*t - 3 = 3*l, 0 = -l - 2*l - 12. Let s be t - (3 + -33 + -2). Is 17 a factor of (-234)/(-14) + 10/s?
True
Does 14 divide 6 - (-817 + 2) - -5?
True
Let n = 772 + -442. Is n a multiple of 22?
True
Let k = -53 + 205. Is k a multiple of 8?
True
Let r(i) = i + 313. Let y be r(0). Let f = y + -157. Suppose 2*c -