b = -14*b + 4025. Does 4 divide b?
False
Suppose 0 = 6*q - 1690 - 254. Does 12 divide q?
True
Let t(a) = a**3 + 11 - 28*a + 8*a + 15*a + 9*a**2. Is 36 a factor of t(-7)?
True
Does 16 divide -2 - (3 + -322 + (-6)/2)?
True
Let a(n) = -n**3 + 5*n**2 + 3*n - 10. Let o be a(5). Is (-436)/o*(2 - (-18)/(-4)) a multiple of 42?
False
Let v be 20/(-50) - 8/5. Is 26 a factor of 47 - (-3 - 0) - v?
True
Let j(n) = 10 - 12 + 0 + 268*n. Is j(1) a multiple of 14?
True
Let g = -2 - -5. Suppose -v - 24 = -5*v - h, 30 = 5*v - g*h. Is (20/v)/(4/24) a multiple of 5?
True
Let x = 126 - 118. Suppose -2*n = x*n - 150. Is 15 a factor of n?
True
Let i(n) = -n**3 - 2*n**2 + 86*n + 7. Is 5 a factor of i(8)?
True
Suppose -2*o + 7*o + 13 = -3*u, u - 3*o - 5 = 0. Is -4*(2 + 1 - (7 + u)) a multiple of 4?
True
Let d be (-63 + (2 - 0))*-1. Suppose 0 = -w - 4*w - 215. Let y = w + d. Is 8 a factor of y?
False
Let w(f) be the third derivative of f**6/120 + 7*f**5/60 + f**4/4 + f**3/3 - 11*f**2. Does 25 divide w(-4)?
False
Let k = 0 - -8. Suppose -2*c + 8 + k = -2*b, c - 32 = 5*b. Let w(m) = m**3 + 7*m**2 - 8*m - 6. Is w(b) a multiple of 23?
False
Let y(b) = 3*b + 9. Let w = 44 - 31. Does 16 divide y(w)?
True
Let n(z) = 105*z**3 - 8*z**2 - z - 2. Does 70 divide n(2)?
False
Let p = 58 + -58. Let o(b) = -9*b + 20. Is 20 a factor of o(p)?
True
Let y be 218/11 + (-2)/(-11). Suppose -2*f = -4*d + 2*f - y, 4*d + 2*f - 10 = 0. Let z(t) = t**2 - t + 24. Is 12 a factor of z(d)?
True
Let c be ((-77)/(-21))/(2/24 + 0). Let f = 53 - c. Is f a multiple of 4?
False
Let n(o) be the third derivative of o**6/120 + o**5/20 + 5*o**4/24 - 5*o**3/6 + 10*o**2. Does 25 divide n(4)?
False
Suppose 0 = -3*w + p + 127, 5*p = -2*w + 40 + 22. Let y = 78 + -75. Suppose g - w = y. Does 8 divide g?
False
Let w = 504 - 270. Is 9 a factor of w?
True
Let p(m) = 2*m - 10. Let x be p(16). Suppose -3*f - 2*w + 16 = 0, -4*f = w + 2*w - x. Suppose h = -3*u + 10, 3*h = -h + f*u + 8. Is h a multiple of 4?
True
Suppose 0 = -3*s - 5*k + 5, -2*s + 2*k - 2 = -0*k. Let d be s - -1 - (-18 - 10). Let w = -17 + d. Does 6 divide w?
True
Let c = -367 - -415. Does 16 divide c?
True
Suppose 0 = -6*t + 4*t - 2652. Let j be t/(-3) + (-1 - -4). Suppose -2*d + 155 = -3*g - 25, 5*d = 5*g + j. Is 29 a factor of d?
True
Let v(z) = -z**3 + 20*z**2 - 21*z + 52. Does 3 divide v(19)?
False
Suppose -4*f + 6*v - 2*v + 1824 = 0, f = -v + 464. Is f a multiple of 115?
True
Let q be 40/18 - 6/(-81)*-3. Suppose 2*z - 74 = -q*o, 8*z = -3*o + 3*z + 121. Is 32 a factor of o?
True
Suppose 2*x - 17 + 251 = 0. Is 4/3 + -1 + (-12480)/x a multiple of 63?
False
Suppose i - 6069 = -16*i. Does 21 divide i?
True
Suppose q - 58 = 2*w, -4*q + 4*w + 19 + 209 = 0. Suppose 0*u + q = -4*u. Let c = u - -32. Does 17 divide c?
False
Let m = -13 + 18. Let p be (158/(-5))/((-1)/m). Suppose 0 = -o - o + p. Is o a multiple of 28?
False
Let h = 309 - 120. Is 2 a factor of h?
False
Let t(d) = -20*d - 2. Let b = -10 + 11. Let y be (3 + 0 + -7)*b. Does 26 divide t(y)?
True
Suppose -2070 = -5*h + 4*y, -1244 = 2*h - 5*h + 2*y. Suppose 58 = -8*q + h. Does 9 divide q?
True
Let j be (-204)/24 - (-2)/4. Let i = j + 22. Is (i/(-4))/(1/(-2)) a multiple of 7?
True
Let m = -122 + 125. Suppose m*i - 271 - 570 = j, j = 4*i - 1120. Is 13 a factor of i?
False
Let j(w) = w**2 - 4*w + 5. Let z be 4/(-14) + (-360)/14. Let h = z - -20. Does 39 divide j(h)?
False
Let t = 19 - 14. Suppose -9 = -t*j - 29. Does 3 divide 1 + (-8)/j + 6?
True
Is 14 a factor of -3 + 1532/16 + 2/8?
False
Let l(o) be the third derivative of o**4/24 + 15*o**3/2 - 12*o**2. Is l(13) a multiple of 30?
False
Let f(b) = -b**3 + 25*b**2 + 5*b + 63. Is f(22) a multiple of 13?
True
Suppose 4908 = 4*r - 18*g + 23*g, -4*r = 3*g - 4900. Is 56 a factor of r?
False
Suppose 0 = 3*z + 3*a - 339, -4*z + 429 + 3 = -a. Does 8 divide z?
False
Is 6 a factor of 45*(3/(-15))/((-3)/366)?
True
Suppose -g = -3*r + 8*r - 305, 4*g - 2*r = 1132. Is g a multiple of 11?
False
Suppose -3*y - 812 = -5*z, 2*z - 262 = -y + 54. Is 16 a factor of z?
True
Let f(m) = -m**3 - 2*m**2 + 158. Let n(h) = h**2 + 2*h. Let i be n(0). Let o be f(i). Suppose 0 = -3*z + o + 112. Is 12 a factor of z?
False
Let v be -5*2/4*-2. Let g(o) = -o**3 + 4*o**2 + 6*o + 2. Let s be g(v). Suppose 14 = j + s. Is j a multiple of 7?
True
Let r = -103 + 193. Is r a multiple of 10?
True
Let i be ((0/(-3))/(-3))/2. Suppose 4*k - 121 + 77 = i. Is k a multiple of 6?
False
Let c = 239 - -302. Is 59 a factor of c?
False
Let h = 588 - 252. Let a = h - 189. Does 21 divide a?
True
Suppose -h - 3 - 18 = -4*x, 0 = -2*x - h + 9. Suppose -x*w + 75 + 70 = 0. Suppose 0 = l - 3*q - 27, -l + w = -8*q + 3*q. Is l a multiple of 16?
False
Let r(s) = 22*s + 14. Let q be r(10). Suppose q = -w - w. Let o = -80 - w. Does 14 divide o?
False
Let f(h) = h**2 - h + 1. Let x(r) = 2*r**3 + 8*r**2 - 5*r + 5. Let l(t) = -6*f(t) + x(t). Let q be l(-2). Let s = 20 + q. Is s a multiple of 5?
False
Let x be (5/(-2))/((-7)/14). Let f = 52 + x. Is f a multiple of 3?
True
Let z be (-777)/(-5) + 2/(-5). Suppose 5*u - 1380 = -7*u. Suppose z = 5*c - u. Is 27 a factor of c?
True
Suppose -6*l + 126 = -3*l. Let n = 79 - l. Suppose 3*h = -q + 8 + n, 102 = 3*q - 2*h. Is q a multiple of 18?
True
Let a = -29 - -15. Does 4 divide ((a/(-6))/(-7))/((-1)/36)?
True
Let a(n) = -n**3 + 25*n**2 - 35*n - 59. Is 12 a factor of a(23)?
False
Let m = 24 + -6. Suppose 0 = -5*c + m - 93. Let b = 66 - c. Does 24 divide b?
False
Let p = 3466 + -856. Is p a multiple of 90?
True
Let f = -113 + 134. Suppose -f*y = -3*y - 882. Is 7 a factor of y?
True
Suppose 0 = 5*n - u - 606, -9*n + u = -14*n + 604. Is n a multiple of 11?
True
Does 11 divide -23 + 22 - (-3320)/((-6)/(-3))?
False
Suppose -2*g + 16 = -0*g. Let w(t) = -t**2 + 13*t + 16. Is w(g) a multiple of 8?
True
Is (-14144)/(-48)*36/16 a multiple of 37?
False
Let u(d) be the first derivative of -d**6/360 + 11*d**5/120 + 2*d**4/3 + 10*d**3/3 - 9. Let s(f) be the third derivative of u(f). Does 7 divide s(10)?
False
Let q(p) = -1 - 3*p**2 + 1 + 0 + 5*p - 2 - p**3. Let k be q(-4). Let h = k - -13. Does 4 divide h?
False
Let h(y) = 12*y**2 - 28*y - 108. Is 49 a factor of h(-10)?
True
Is 12 a factor of ((-39)/6 - 1)*16368/(-310)?
True
Is 8 a factor of (-2 - 1856/(-10)) + 4/10?
True
Let s be 1 - (0 + 1)/1. Suppose s*l = 4*l - 12. Suppose -l = -2*t + 33. Does 18 divide t?
True
Suppose 404 = 3*y - 2*r, 0 = -5*y - 4*r + 2*r + 652. Let a = y + 78. Does 21 divide a?
True
Let i = 2 + 9. Suppose -i = -2*j + 17. Suppose -3*t + 74 - j = 0. Is t a multiple of 10?
True
Let f = 15 - 12. Does 3 divide -4*12/(-16)*f?
True
Suppose -5*m - 5*d + 10*d + 15750 = 0, -4*d + 15786 = 5*m. Is m a multiple of 15?
False
Let y(f) = -3*f - 18. Let d be y(-4). Does 24 divide -3 + (-10)/d*3 - -94?
True
Let j(b) = 235*b + 121. Is j(4) a multiple of 107?
False
Suppose -48384 = -4*g - 24*g. Is 26 a factor of g?
False
Suppose 1433*v = 1421*v + 4980. Is v a multiple of 5?
True
Let m = -22 - -27. Suppose -190 = -m*x - r + 340, -4*x + 4*r = -400. Is x a multiple of 35?
True
Let s(w) = -1 + 2*w + 3*w + 4 - 2*w. Let d be s(-9). Is 10 a factor of 30/18*d/(-2)?
True
Let j = -93 - -69. Let a(p) = -8*p - 16. Is 16 a factor of a(j)?
True
Let o(g) = -58*g + 37. Let l(t) = -116*t + 76. Let h(i) = 4*l(i) - 9*o(i). Does 4 divide h(2)?
False
Let b = -18 - -23. Suppose -3*i + b*i = 52. Suppose 2*c = y + i, -c + y = 4*y - 13. Is c a multiple of 3?
False
Suppose 0 = -w - 5*w - 66. Let r(d) = -3*d**2 - 9*d - 8. Let y(x) = -13*x**2 - 36*x - 31. Let z(h) = -9*r(h) + 2*y(h). Does 25 divide z(w)?
False
Let o be (-2)/((-32)/(-924))*8/(-3). Suppose 548 = 6*s - o. Is 39 a factor of s?
True
Suppose 3*p + 34 = 5*p. Suppose 3*o + p = 59. Is o even?
True
Is 58 a factor of (-7)/(14/(-572)) - -4?
True
Let i(z) = 7*z - 35. Let p be i(5). Suppose p = 5*q - 298 - 717. Is q a multiple of 29?
True
Let o = -349 - -657. Is o a multiple of 14?
True
Suppose -883 = -d + 192. Suppose -5*f + d = 2*i, -i = 3*i + 20. Is f a multiple of 31?
True
Suppose -4*p + 2*q + 16 = 0, -p - 2*q - 5 = -7*q. Suppose 0 = 2*c - p*c + w + 445, 0 = c + 2*w - 160. Is c a multiple of 10?
True
Is -8 - (-10 + 10) - -312 a multiple of 38?
True
Let a(w) = -w**2 - 12*w - 20. Let f be a(-9). Is (11 + f)*(-3)/(-