t = 2787 - 1832. Is 36 a factor of t?
False
Let v = 571 + -291. Is 18 a factor of v?
False
Let w = -661 + 1660. Does 4 divide w?
False
Let t(v) = 4*v - 5*v - 3*v - 4 + 2. Let u = -8 - -3. Is t(u) a multiple of 9?
True
Let u be (6/2)/((-9)/6) + 12. Let c be 118*1/(2/3). Suppose -13*s + u*s = -c. Is s a multiple of 10?
False
Let i(s) = -2*s - 2*s**2 - s**3 - 1 + 3*s - 3. Let o be i(-3). Suppose 95 = 3*z + 5*m, -z - 3*m = -o*z + 41. Is 12 a factor of z?
False
Let y be (-45)/15 + (1 - -20). Does 13 divide (6/8)/(y/(-3228))*-2?
False
Let q(u) = -198*u - 16. Is 26 a factor of q(-1)?
True
Let w = -1639 + 2750. Is w a multiple of 10?
False
Let w(z) = z - 1. Let k(p) = p - 2. Let n(l) = 4*k(l) - 5*w(l). Let o be n(-8). Let a(b) = b**3 - 6*b**2 + 5*b + 7. Is a(o) a multiple of 7?
True
Let r(j) = -j**2 + 12*j + 16. Let n be r(-7). Let y = n - -145. Is 6 a factor of y?
False
Let x(s) = 3*s + 9. Let i(v) = -v. Let q(c) = 4*i(c) + x(c). Does 20 divide q(-11)?
True
Let y = 818 + -730. Is y a multiple of 22?
True
Suppose -v - 2*l = -5*l + 24, 4*v - 2*l = -116. Let c = v - -55. Suppose 0 = -2*s + 61 - c. Is 9 a factor of s?
True
Suppose 2*n - 900 = 4*a, 6*n + 4*a - 892 = 4*n. Is n a multiple of 7?
True
Suppose -6 = 10*c - 13*c. Suppose -2*u - b = 2*b - 147, -c*b = 6. Is u a multiple of 13?
True
Let k(l) = l**2 + 9*l - 2. Let m be k(-9). Let s be -2 + ((-360)/(-4) - m). Suppose -r = -7*r + s. Does 5 divide r?
True
Let n(j) = 17*j - 36 - 23*j + 12. Let i = -2 - 8. Is 18 a factor of n(i)?
True
Suppose 2*t + 3*r = 5*r + 130, -3*t - 2*r + 170 = 0. Let k = 41 + t. Is 18 a factor of k?
False
Suppose 0*j + 3*j = 30. Let l(h) = 19*h + 8. Let d be l(j). Suppose 0 = -i - i + d. Does 33 divide i?
True
Suppose -1560 = 10*l - 22*l. Does 13 divide l?
True
Let t = -170 - -280. Is 10 a factor of t?
True
Let u(p) = 6*p + 38. Let n be u(-5). Let h(t) = t. Let c(v) = 13*v - 16. Let m(y) = c(y) - 4*h(y). Is m(n) a multiple of 17?
False
Let p be (2 - 3) + 14/1. Let v = p + -19. Let u(z) = -4*z - 2. Does 13 divide u(v)?
False
Does 15 divide 6*(143/(-39))/((-4)/30)?
True
Suppose 12*l = 17*l - 5. Is l*(-2 + 4 + -1) - -22 even?
False
Is (-1 + 3)/((-1)/(-731)) a multiple of 58?
False
Let u(h) = -507*h - 853. Is u(-8) a multiple of 13?
False
Suppose -62370 = -31*n + 1056. Is n a multiple of 33?
True
Let s(d) = -4483*d**3 - 8*d**2 - 11*d - 1. Is 69 a factor of s(-1)?
True
Let g = -46 - -48. Suppose g*u + 35 - 115 = 0. Is u a multiple of 10?
True
Let q = -841 - -2641. Suppose 0 = -2*z + 12*z - q. Is z a multiple of 14?
False
Suppose -5*y + 510 = -455. Suppose 3*i - y = -37. Suppose -4*v + i + 44 = 0. Does 10 divide v?
False
Let a(j) = -j**3 + 11*j**2 + 12*j + 17. Let z(k) = k - 1. Let o be z(13). Let p be a(o). Let l = p + 5. Is 7 a factor of l?
False
Suppose 4*f + 6452 = 4*u, -3*u = -2*f - 1719 - 3119. Is u a multiple of 52?
True
Suppose 4*s + 4*h = -80, -5*h + 10 = s + 38. Does 18 divide (s/(-4))/(6*3/144)?
True
Suppose -5*k = o - 2 - 0, 5*k = o + 8. Let q(l) = -10*l**2 + 4*l + 16. Let z(f) = -5*f**2 + 2*f + 8. Let x(i) = -6*q(i) + 11*z(i). Is 24 a factor of x(o)?
False
Suppose -5309 = -2*s + 3*m, 5*m + 1409 + 1263 = s. Is s a multiple of 13?
False
Let v = 51 - 41. Is 26 a factor of (-4543)/(-35) - (-2)/v?
True
Let l(g) = -g**3 + 4*g**2 + 2*g - 6. Let y be l(4). Suppose 0 = 4*f - 0 - 4. Is f + -1 - (y + -15) a multiple of 13?
True
Suppose 0 = 5*t - 4*r - 1046, 15*t - 1045 = 10*t + 5*r. Does 30 divide t?
True
Let x be 232/9 + (-12)/(-54). Suppose h = 2*h - i - x, -30 = -h + 3*i. Is 10 a factor of h?
False
Let v(w) = 7*w**3 + 31*w**2 + 31*w - 22. Let s(l) = 3*l**3 + 15*l**2 + 15*l - 11. Let p(b) = -5*s(b) + 2*v(b). Is 19 a factor of p(-12)?
False
Let r be (1 - 2) + (-2 - -6). Suppose 222 = 4*k + a, -5*k - r*a + 406 = 125. Is 16 a factor of k?
False
Let q = 8 + -10. Let x(k) = -17*k - 12. Does 4 divide x(q)?
False
Let a be (1 - 363/9)*-3. Let t = a - 38. Suppose 5*q + t = 10*q. Is q a multiple of 3?
False
Let o = -2889 + 5012. Does 11 divide o?
True
Let t(b) be the third derivative of -b**4/12 + 11*b**3/3 - 4*b**2. Is t(4) a multiple of 14?
True
Let w(s) = -s**3 - 44*s**2 - 45*s - 93. Let l be w(-43). Suppose -93 = -3*d - 4*m, 4*d = 2*m + 3*m + 124. Let o = d - l. Is o a multiple of 17?
False
Suppose 11*o - 34501 = 13547. Is 13 a factor of o?
True
Let n(q) = q**2 + 3*q - 2. Let c be n(-4). Let k be ((-2)/3)/(c/(-12)). Suppose -k*w = -56 + 8. Does 5 divide w?
False
Let w = -93 + 98. Suppose 10*c = -2*p + 7*c + 51, -27 = -2*p + w*c. Is 3 a factor of p?
True
Suppose 3 = 5*l - 17. Is 8 a factor of (19/l)/(2/8)?
False
Let y(v) = -v**3 - 7*v**2 - 2*v + 1. Does 24 divide y(-9)?
False
Let t = 234 - 157. Does 2 divide t?
False
Let n(a) = a**3 + 9*a**2 - 10*a - 6. Let b be n(-10). Is ((2 - 0) + b)/(4/(-10)) a multiple of 5?
True
Let a be 1*(0 - 1) + 2. Let p(h) = -h + 1. Let m(g) = -44*g**2 + 8*g - 8. Let k(c) = -m(c) - 10*p(c). Does 11 divide k(a)?
True
Let a = 103 - 107. Is (2/a*29)/((-12)/24) even?
False
Suppose -3*i - j + 4598 = 0, -j - 1534 = 5*i - 6*i. Does 11 divide i?
False
Let q = 21 + -16. Suppose -t = -o + 2*t + 5, -q*o + 15 = -5*t. Suppose -4*p - 17 - 25 = -o*k, -4*k - 5*p = -45. Is k a multiple of 5?
True
Suppose 75 = 3*m - 3*r, 2*m - 64 = -0*m - 5*r. Is m a multiple of 2?
False
Let s(n) = -4*n + 5*n - 6*n + 0*n + 6*n**2. Suppose 3*m = -4*w - 11, 3*w = -5*m - w - 5. Does 7 divide s(m)?
False
Is 60 a factor of 1 - 5 - 905*(-64)/80?
True
Suppose 27*o - 2*r = 22*o + 877, 5*o - 4*r - 879 = 0. Is o a multiple of 23?
False
Let t(y) = 27*y**2 - 2*y - 34. Is 17 a factor of t(7)?
True
Suppose -5*g + 5*i + 5 = 0, g + 0*g - 1 = 3*i. Suppose 3*d + 62 = -g. Let m = -6 - d. Does 5 divide m?
True
Suppose -258 = -99*d + 102*d. Let c = 66 - d. Is c a multiple of 27?
False
Does 9 divide 47530/350 - 8/10?
True
Is 16 a factor of (-8)/(-52) + 807250/325?
False
Suppose -3*j + 8*j = 2*x + 6, 5*j + 2*x = -6. Suppose j = 4*h - 8, 2*b - 6*b + 5*h = -3030. Does 15 divide b/18 + 2/(-9)?
False
Let x(o) be the first derivative of -o**4/4 + 7*o**3/3 + o**2/2 + 10*o + 7. Let g be x(8). Let s = 85 + g. Does 13 divide s?
True
Suppose m + w = 68, -3*m + 4*w + 204 = 14. Is m a multiple of 6?
True
Let d = -1177 - -1859. Is 46 a factor of d?
False
Suppose 0 = 22*i - 17*i - 20. Suppose -o = 3*x + 5, x = -i*o + 6 - 4. Is 11 a factor of (-267)/(-12) + x/8?
True
Suppose 4*k - 2 - 74 = 0. Let c = 494 + -338. Suppose k*p - 16*p = c. Is 13 a factor of p?
True
Let d(s) = -6*s**2 + 3 - 2*s**3 + 3*s**3 - 5 - 3*s + 1. Let o be d(7). Is 12 a factor of o/(-6)*(-32)/6?
True
Let s(h) = -2*h + 7. Let y be s(2). Suppose -y*b - 5*k = -176, 0 = b - 2*k + 4*k - 59. Does 3 divide b?
True
Is 29 a factor of 11/((-220)/(-8)) - 4246/(-10)?
False
Let h = -14 - -16. Does 14 divide 43 - (-3 - (-8)/h)?
True
Let s = 11 + -11. Is 25 a factor of -6 - -55 - (s - 1)?
True
Suppose t - 695 = -0*o - 2*o, -3*o = 2*t - 1040. Is o a multiple of 50?
True
Let y = 2368 - 2064. Is 2 a factor of y?
True
Let z(g) be the third derivative of 3*g**5/5 + g**4/8 + g**3/2 - g**2. Is z(-1) a multiple of 9?
True
Let b be (-5)/2*(2 + 90/(-25)). Suppose b*c + a = 440, 2*a = 5*c + 1 - 564. Is c a multiple of 37?
True
Let w(y) = y**2 - 2*y - 6. Let g(h) = -4*h + 82. Let v be g(19). Does 6 divide w(v)?
True
Suppose 28*m = 27*m + 15. Suppose m*c - 18*c = -144. Is c a multiple of 15?
False
Suppose -j - 2*s = -s - 53, 0 = -3*s + 3. Suppose -3*t + b + 91 = 20, -j = -2*t - 4*b. Is t a multiple of 2?
True
Does 59 divide (-2007)/(-6)*26/39?
False
Let r(v) = 3*v**3 - 17*v**2 - 6*v - 14. Does 4 divide r(7)?
True
Let u be 8/6*(-66)/(-4). Let k = 64 - -31. Suppose k - u = q. Is 30 a factor of q?
False
Let q(m) = 3*m + 87. Does 69 divide q(17)?
True
Let b = 40 - 38. Suppose b*v - 84 = 8. Does 23 divide v?
True
Let v = 847 - -244. Is 13 a factor of v?
False
Suppose -2*i + 15 = 3*i. Suppose 8 - 4 = b. Suppose -u + 3*h + 69 = 0, -b*u + 147 = -u + i*h. Is 12 a factor of u?
False
Suppose 845 = 5*b - 0*a + 5*a, -655 = -4*b + 3*a. Does 58 divide b?
False
Let p(h) = -2*h**2 + 9*h + 10. Let q be p(8). Let o = 177 + q. Does 37 divide o?
False
Suppose m = 3*q - 0*m - 10, q - 14 = 3*m. Let t be 0 + (q - -2) + 0. Suppose 3*y - 31 = 5*v, 3*y + 4*v + t = 71. Is 17 a factor of y?
True
Let p be 8/(-6)*3 - 