erivative of a**4/4 - 14*a**3/3 + 3*a**2/2 - 2*a + 22. Let q be v(14). Let r = 8 + q. Is 24 a factor of r?
True
Let c = 113 + -51. Let t = c - 59. Suppose 2*y = 3*m - 52, -m + t*y - 41 = -5*m. Is m a multiple of 7?
True
Let q(d) = -2*d**3 + 2*d**2 + 3*d + 1. Let r be (3 + (-57)/15)*(-10)/(-4). Is q(r) even?
False
Suppose -2*o - 2*u + 560 = 0, -12 = 3*u - 0*u. Let m = o + 222. Does 23 divide m?
True
Let w be 2/(3 + 10/(-4)). Let r be w + 890/(3 - -2). Let f = r + -98. Is f a multiple of 17?
False
Suppose 12 = -9*u + 13*u. Let i(p) = 8*p + 9*p**3 - 7*p**2 + 7 + 7 - 23*p**3 + 12*p**u. Does 42 divide i(-6)?
False
Let o be (-4 + 203)/((-14)/(-3) - 5). Let l = 849 + o. Is l a multiple of 21?
True
Suppose -39*p + 479253 + 60780 = 0. Is p a multiple of 227?
True
Let j be (-28)/(-4) + (-5 - 4). Does 69 divide ((-66)/(-4))/(3*j/(-276))?
True
Let i(w) = -w**3 - 11*w**2 - 12*w + 22. Suppose -18*r - 221 = -41. Does 21 divide i(r)?
True
Is 16352/42 + (-448)/84 a multiple of 4?
True
Let t = -2913 + 4830. Is t a multiple of 166?
False
Let z(v) = v**3 + 81*v**2 + 173*v + 252. Does 10 divide z(-68)?
True
Suppose -24427 = 16*v - 100811. Does 31 divide v?
True
Suppose -k = 25*k + 8*k - 27336. Is k a multiple of 218?
False
Let d be 0 - (3 - 2) - -6. Let v(w) = 2*w + 1. Let u be v(5). Does 9 divide (u + 1 - 1)/(d/15)?
False
Let h(r) = 69*r + 3. Suppose 3*n + 0*n = 5*a - 15, -4*n + 44 = 4*a. Suppose a - 8 = -2*u. Does 18 divide h(u)?
True
Let j be 2 + -1 - (-6 + 3). Let h be (24/(-9) - j/(-2))*-3. Does 2 divide (-2)/h + 2 + -8 + 18?
False
Let a be (1/(-1) - -3) + 41. Suppose 39*h = a*h - 832. Suppose h = -2*w + 4*w. Does 16 divide w?
False
Let f(b) = 12*b**2 - 4*b + 1. Let o(n) = -n**3 + 2*n**2 + 5*n - 4. Let q be o(3). Suppose q*k + 2*k - 27 = 5*x, 5*k = -5*x. Is 56 a factor of f(x)?
False
Suppose -36 = -35*z + 29*z. Suppose 3*o = 8*t - z*t + 481, 0 = 2*o + 3*t - 312. Does 15 divide o?
False
Let u(k) = 3*k - 8. Let y(q) = -q + 1. Let v(i) = -u(i) + 3*y(i). Let c be v(-6). Let g = c + -6. Is g a multiple of 7?
False
Suppose -97812 = 1612*h - 1623*h. Is 156 a factor of h?
True
Suppose 7*g + 6 = -2*u, -u - 18*g + 24 = -19*g. Does 8 divide u?
False
Let y(a) = a**2 + 9*a + 10. Let q be y(-8). Let g be (q/4)/((55/80)/11). Is 16 a factor of 6/g - (610/(-8) + -8)?
False
Let w(b) be the first derivative of 2*b**3/3 + 21*b**2/2 - 9*b + 13. Let r be w(-11). Suppose 0*u + r*u + 6 = 0, -4*v = -5*u - 99. Does 11 divide v?
False
Suppose 8*h + 8210 = 18*h. Let u = h + -476. Is u a multiple of 23?
True
Let y(u) = 0*u + 4*u + 128 + 271*u**2 - 272*u**2. Let z be y(0). Let i = z - 44. Does 14 divide i?
True
Let x(o) = -8*o - 36. Let q be x(-5). Suppose q*v = -0*v + 16. Suppose v*g - w = 560, 560 = 4*g + 3*w - 8*w. Is 14 a factor of g?
True
Is ((-1656280)/(-65))/8 - 2/13 a multiple of 65?
True
Let y(u) = -64*u**3 + 9*u**2 + 43*u + 131. Is 64 a factor of y(-5)?
False
Let z = -77 - -98. Suppose -z = 54*x - 47*x. Is x/(54/(-1292)) + 2/9 a multiple of 6?
True
Suppose 4*f = 24 - 12. Suppose -2475 = -5*h - c, -f*h + 3*c + 0*c + 1485 = 0. Is 11 a factor of h?
True
Let k(x) = -x**2 + 37*x + 18. Let t be k(18). Suppose 7*h - h - t = 0. Suppose -d - h = -3*d. Is 15 a factor of d?
True
Let c(y) = -1494*y - 60. Does 33 divide c(-3)?
True
Let u(j) = j**2 - 4*j - 6. Let y be u(6). Suppose 10*w - y = 8*w. Suppose d + 246 = 5*d - w*f, d = -4*f + 52. Is 30 a factor of d?
True
Let u = 182 + -100. Let p = 134 - 84. Let y = u - p. Is 17 a factor of y?
False
Suppose 0 = 4*j + 4*s + 4, 4*s = 5*s. Let y be 2 - -32 - (3 + j). Let b = 128 - y. Does 20 divide b?
False
Let b(y) = -218*y + 20505. Does 10 divide b(0)?
False
Let g(s) = -s**3 + 49*s**2 - 87*s + 48. Let q be g(47). Does 8 divide q + -2 + -6 - -7?
True
Suppose -72787 + 4735 = -107*g. Is 2 a factor of g?
True
Let d(x) be the first derivative of -9*x**4/4 + 4*x**3/3 - 2*x**2 + 22. Let k be d(-3). Let u = k + -166. Does 25 divide u?
True
Suppose -4*z = -t - 2*z - 7, 5*t + 5*z - 40 = 0. Let v = -5 - t. Is 36 - (-1 - 6/v)*-12 a multiple of 5?
False
Let n(k) = -2*k - 53. Let t be n(-23). Is 16 a factor of 168*((-30)/t - 4)*6?
True
Suppose -4*o + h = -553, 0*h = 3*o - h - 414. Suppose 140*i - 154 = o*i. Is 11 a factor of i?
True
Suppose -v - 26499 = -w, -2*w + 10031 = -5*v - 42982. Is w a multiple of 26?
True
Suppose 26*s + 2*s - 52080 = 0. Is 93 a factor of s?
True
Suppose -20*v = -232*v + 4333068. Does 24 divide v?
False
Suppose -2*a + 4*q - 32 = 0, 0 = 6*a - 4*a + q + 42. Let v be 8/12 + a/(-15). Is 33 a factor of (2/3)/(v/198)?
True
Suppose 0 = -134*p + 16667 + 5388 + 31009. Is p a multiple of 2?
True
Suppose -2*z - 3 = -13. Let p be (2 - 5) + 1 + z. Suppose 5*a - 455 = -5*u - 0*a, -p*a - 6 = 0. Is 31 a factor of u?
True
Suppose 2*z = 2*k - 22, -2*k + 28 = -2*z + 2*k. Let t = z + 11. Suppose -4*d + 777 = t*d. Does 14 divide d?
False
Let r(c) = c**3 + 2*c**2 - 2*c + 503. Let q be r(0). Let z = -161 + q. Does 13 divide z?
False
Is 75 a factor of (825/(-360)*-6)/(-2 + (-1202)/(-600))?
True
Suppose 3*o - 9 = -0*o, -q - 25 = -3*o. Let s be (q/20)/((-4)/110). Suppose m = z + s, 7*z - 3*z + 42 = 2*m. Does 4 divide m?
False
Let h = 31 - 66. Let l = h + 38. Does 33 divide (-1)/l - -482*(-5)/(-30)?
False
Suppose -4332 = -3*m - 1308. Suppose 26*p = 30*p - m. Is 7 a factor of p?
True
Let o = 193 - 113. Let u = 138 - o. Is u a multiple of 11?
False
Let p be (2/3 - (-88)/(-24))*-1. Let f be -1 + 692/12*p. Suppose 11*s - 92 = f. Is 12 a factor of s?
True
Suppose 5*t + 2*x + 1529 + 1254 = 0, 2236 = -4*t - 4*x. Let d = 214 - t. Is d a multiple of 19?
False
Is 14 a factor of 293 - (20 - (1 - -6))?
True
Suppose 2*b - 21 = -3*x + 18, 5*x - 2*b - 65 = 0. Suppose -235 + 820 = x*z. Does 12 divide z?
False
Let t = -3525 - -3610. Does 17 divide t?
True
Let i(l) = -l**3 + 14*l**2 + 7*l + 7. Let p be i(14). Let t(z) = 9*z - 3. Let h be t(10). Suppose h*r = 82*r + p. Is 11 a factor of r?
False
Let w(n) = -n**3 - 10*n**2 - 3*n - 25. Let u be ((-13)/2)/((-9)/(-18)) - -3. Let t be w(u). Suppose 240 = t*f - 120. Does 9 divide f?
True
Let p be 2 - (6 - 5)/(-1). Let r be 1 - p - (-4 + -1). Is 19 + 2 + -4 + r + -2 a multiple of 4?
False
Let s(j) = j - 8. Let h be s(9). Let y(n) = n**2 - n - 1. Let g(p) = 27*p**2 - 9*p + 2. Let x(q) = h*g(q) - 5*y(q). Is 15 a factor of x(2)?
False
Suppose 3*y + 18 - 3 = -2*x, 5*y + 25 = -x. Suppose x = 26*i - 67 - 323. Is 5 a factor of i?
True
Let h be (7 + 2)*14/6. Let x be h - (0 + 12/4). Suppose 0 = -3*y - 2*r + 54, -r + x = y + 3*r. Is 9 a factor of y?
True
Let p = -11867 - -22445. Is p a multiple of 82?
True
Let q(c) = -c**3 - 10*c**2 - 7*c + 8. Let j be q(-7). Does 3 divide j/35*1/(2/(-7))?
True
Let y = 56237 - 39940. Is y a multiple of 16?
False
Let r = 122 - 125. Is (-2)/r + 0 + 2236/129 a multiple of 3?
True
Let l(s) = -2*s**2 - 5*s - 28. Let u be l(-4). Let y(m) = m**3 + 42*m**2 + 72*m - 26. Does 7 divide y(u)?
True
Suppose -2*a + 77 = m, 159 = -4*m + 5*a + 532. Let h = m + -84. Suppose h*g - 211 = 41. Is 42 a factor of g?
True
Let x(s) be the third derivative of 0 + 18*s**2 + 0*s - 13/6*s**3 + 1/12*s**4 + 2/15*s**5. Does 13 divide x(3)?
True
Let x(p) = -p**3 + 16*p**2 - 14*p + 10. Let i be x(15). Let g(t) = 2*t**2 - 27*t - 47. Does 11 divide g(i)?
True
Let f(a) = -a**3 + 10*a**2 + 12*a - 9. Let y be f(11). Suppose 21 = 4*u + 1, y*u = 4*v - 218. Does 13 divide v?
False
Let b = 44 - 44. Suppose b = 2*x - 245 - 15. Does 3 divide x?
False
Let j(z) = 516*z**3 - 3*z**2 + z + 1. Suppose -x + 2*i = -2*i + 15, -2*x = -3*i + 10. Does 45 divide j(x)?
False
Suppose 4*f = 5*b + 32425, f - 5*b + 32375 = 5*f. Does 36 divide f?
True
Suppose -6*y + 20 = -y. Let k = 394 - 228. Suppose 0 = y*n - 18 - k. Is 10 a factor of n?
False
Suppose -80640 = -8*m - 43*m + 11*m. Is m a multiple of 48?
True
Suppose 0 = 3*c - 3*l - 54, -3*c + 9 + 33 = 3*l. Suppose -c*t - 385 = -23*t. Is t a multiple of 13?
False
Let a(z) = z**3 + 3*z**2 + 22*z + 1731. Does 10 divide a(0)?
False
Let o be (-6)/(-1) - (1 + 123). Let x = 17 - o. Does 45 divide x?
True
Let u(b) = 26*b**2 - 2*b + 4. Let c be (-12)/(-8) - (-4)/8. Is 26 a factor of u(c)?
True
Suppose 24621 = 2*q - 3*d, 3*q - 86*d - 36977 = -88*d. Does 37 divide q?
True
Let p = 1017 + -842. Let m = 952 + p. Is m a multiple of 49?
Tr