19*f - 14. Let r be j(18). Suppose -r*i + 5*i = 81. Is 27 a factor of i?
True
Is 18/72 + (-10972)/(-16) a multiple of 9?
False
Let g be (-22)/(-99) - (-4)/(-18). Suppose 0 = 4*c - g*c - 28. Is 7 a factor of c?
True
Let u(m) be the first derivative of m**3/3 + 7*m - 19. Let f be (-3 - -3)/(2/1). Is 7 a factor of u(f)?
True
Let h = 2279 - 2027. Does 6 divide h?
True
Suppose -4*x + 29 = -3*f, 4*f = 6*f + x + 1. Let r be 44 - f/(3/3). Let o = r + -32. Is o a multiple of 7?
False
Let a(u) = -3*u**3 - u**2 + u - 1. Let v(x) = -6*x**3 - 3*x**2 + 2*x - 2. Let j be -3*4/6 - 0. Let n(q) = j*v(q) + 5*a(q). Is n(-2) a multiple of 7?
False
Let r = 226 + -10. Is 18 a factor of r?
True
Suppose -21*j + 72 = -1146. Is j a multiple of 29?
True
Let o(t) = -12 + 1 - 13 - 7*t - 1. Does 9 divide o(-10)?
True
Let h be (-4)/(-3)*42/28. Suppose 58 = n + h*s - 0*s, 5*n - 250 = -2*s. Is 4 a factor of n?
True
Let l(d) = d**3 - 4*d**2. Let v be l(4). Suppose -3 = g, v*j = -j - 5*g + 27. Does 19 divide (-4)/(-14) - (-1584)/j?
True
Let t(z) = -z**3 + 13*z**2 - 6*z - 1. Let j(b) = b**3 - 15*b**2 + 8*b + 2. Let m(r) = 5*j(r) + 6*t(r). Suppose p - 12 = 5*p. Does 14 divide m(p)?
False
Suppose -10 = -2*p + 14. Let k(l) = -l**2 + l + 3. Let o be k(p). Let b = o + 181. Does 26 divide b?
True
Suppose 24*v - 30033 - 23415 = 0. Is v a multiple of 90?
False
Let r be (6 - 6) + 3*-2. Is (-4 + 115)/(-3 - 27/r) a multiple of 20?
False
Suppose -527 = -2*h + 537. Is h/70 + 4*1/10 even?
True
Suppose 0 = 10*y - 8*y - 266. Is 7 a factor of y?
True
Suppose 9*f + 12 = 2064. Is f a multiple of 76?
True
Let i(a) = a**2 + 12*a + 5. Let n be i(-12). Suppose 201 = -2*x + n*x. Does 11 divide x?
False
Suppose 6*b + 122 = 7*b. Suppose -2*j + b = -0*j. Does 22 divide j?
False
Suppose -44 = -g - 4*i + 3*i, -2*g = -2*i - 100. Let j = 138 - g. Is 10 a factor of j?
False
Let f = 24 - -93. Is 7 a factor of f?
False
Suppose -l = -0*x - x + 10, 3*l - 5 = -4*x. Suppose -4*f + 571 = 5*c, 0 = c + c + 10. Suppose 0 = -x*m + 4*n - 5*n + 158, -5*m = -2*n - f. Is 10 a factor of m?
False
Let n be (-11)/(1*4/(-12)). Let v = n + -31. Is 385/4 + v/(-8) a multiple of 15?
False
Suppose 0 = 7*c - 4*c - 405. Let t = c - 103. Is 24 a factor of t?
False
Let l(a) = 9*a + 13 - 2 + 0. Is l(5) a multiple of 11?
False
Suppose 3*l = 16*l - 130. Is 29 a factor of (0 + 18/l)/((-1)/(-115))?
False
Suppose 2*a = w + 6*a - 22, 5*w - 22 = 2*a. Suppose -206 = -w*j + 154. Is j a multiple of 15?
True
Let l(g) = g**3 - 3*g**2 - 4*g. Let v be l(4). Suppose v*i + i = 6. Suppose 5*q - 40 = 5*k, 0 = i*q - 2*q - 2*k - 42. Is q a multiple of 13?
True
Let j(f) = f**3 - 16*f**2 - 20*f + 72. Does 8 divide j(18)?
True
Let w(m) = -3 - 7*m + 10*m - 16 + 3*m. Is w(20) a multiple of 29?
False
Let b = 396 + -21. Is b a multiple of 63?
False
Does 7 divide -4 - 8 - (-4 + -1625)?
True
Let y(g) = -g**3 - g + 4. Let l be y(0). Suppose 4*j - l = 24. Is j a multiple of 3?
False
Let p(j) be the third derivative of -23*j**4/12 + 5*j**3/3 + 12*j**2. Does 36 divide p(-6)?
False
Let q = 15 + -5. Let b be (-376 + 1)*(-4)/q. Suppose -m - m + b = -4*k, -k + 160 = 2*m. Is m a multiple of 31?
False
Let y(f) = -208*f + 5. Let v be y(-1). Let q = v - 42. Does 9 divide q?
True
Suppose 3*b + 3*q + 2*q - 13433 = 0, -5*b + 2*q + 22440 = 0. Is b a multiple of 45?
False
Let t(j) = 2*j**2 - 22*j - 55. Is t(-17) a multiple of 13?
True
Does 20 divide (-6 + 40/4)*(356 + -2)?
False
Let o(y) be the first derivative of y**7/105 - y**6/360 + y**5/120 + 8*y**3/3 - 9. Let t(b) be the third derivative of o(b). Does 5 divide t(1)?
False
Suppose o - 125 = -2*r + 1745, -r = 0. Does 22 divide o?
True
Let h(l) = 1 + 0 + 1 - 3*l. Let k be h(-2). Let p = 84 - k. Is 19 a factor of p?
True
Let f = -300 + 423. Is f a multiple of 69?
False
Suppose -5*u - 73 = 657. Let g = -54 - u. Is g a multiple of 12?
False
Let r(v) = 184*v**2 - 18*v + 31. Is 48 a factor of r(2)?
False
Suppose -7*g - 240 = -2403. Does 7 divide g?
False
Let a = -13 - -1. Does 14 divide ((-5)/(-3))/(a/(-216))?
False
Suppose -3*o - 8*o + 1870 = 0. Does 10 divide o?
True
Let g = -25 - -42. Suppose u - 2*u = -g. Suppose -46 = -3*c + u. Does 19 divide c?
False
Let k be 2/((-6)/(-9)) + 7. Suppose k = y + 4*y. Suppose -y*i - 1 = 1, 0 = 3*j + 5*i - 139. Is j a multiple of 24?
True
Suppose 5*v - i - 203 = 0, -77 + 9 = -2*v - 4*i. Let z(r) = -r + 12. Let m be z(5). Suppose 4*h = 3*a - m*a + v, 2*a = 5*h - 22. Is h a multiple of 2?
True
Let i = -13 - -25. Suppose 5*c + 2*j - 370 = 0, -5*j - 37 = -i. Suppose 3*a = 5*w - 270, -2*w - 5*a = -3*w + c. Is w a multiple of 13?
False
Suppose -14*y - 22*y + 47700 = 0. Is 7 a factor of y?
False
Let z(p) = -p + 2. Let n be z(-2). Suppose -4*g + 4 + 3 = 3*c, -n*c + 4*g = 0. Is 19 a factor of c + (-9 + 2)*-6?
False
Suppose -191 = -2*m + 5*k + 112, -4*k = 3*m - 420. Is 9 a factor of m?
True
Suppose -5*f + 362 + 258 = 5*y, -4*f = -4*y - 536. Is f a multiple of 3?
True
Suppose -6*z = -595 - 281. Is 6 a factor of z?
False
Suppose 0 = 3*n + 7*h - 11*h - 655, -4*n - 4*h = -892. Is 9 a factor of n?
False
Suppose 2*y = 4*z + 4*y - 6, 5*z - 3*y = 13. Let t(x) = -10*x + 10*x**2 - x**3 + 22*x - x**2 - 6 - z. Is 12 a factor of t(10)?
True
Let u(j) = -13*j + 59. Is 6 a factor of u(0)?
False
Suppose -7 = -g - 2. Is 8 a factor of -4 - (-3 - (g + 25))?
False
Let p(l) = -8*l + 227. Is p(-21) a multiple of 79?
True
Suppose -4*u - 2 = -3*u, 0 = -5*g - 4*u - 8. Suppose g = -3*m - l + 372, 85 = 2*m + 2*l - 167. Does 16 divide m?
False
Let k = -25 - -271. Is k a multiple of 11?
False
Let k be 4 - (-1 + 6/(-2)). Let b = -9 + k. Is 26 a factor of -13 + 11 - 130/b?
False
Let y be 2/(-2) + (-2 - -15). Let r be 29/(40/y - 3). Suppose 0*q + r = 3*q. Is q a multiple of 8?
False
Let j(a) = 4*a - 1. Let l be j(3). Suppose -5*f = -26 + l. Is 2/(1 - f)*-11 a multiple of 11?
True
Let r = 120 - -133. Is 19 a factor of r?
False
Suppose 3*d - 6 = 0, -2*x + 3*d = 17 - 95. Suppose -37*k = -x*k + 75. Is 3 a factor of k?
True
Let a = -21 + 29. Let s(x) = 11*x - 5. Is s(a) a multiple of 13?
False
Suppose -o + 2*o - 2 = 0. Let u(w) = w**3 - w**2 - 3*w + 3. Let l be u(o). Does 7 divide 1 - l - (-8 - -1)?
True
Suppose 0*a = -3*a + 15. Is 6 a factor of 16/80 + 169/a?
False
Let d(n) = 19*n**2 + 6. Is 31 a factor of d(4)?
True
Let r = -43 + 62. Let y = -17 + r. Suppose -o + y*o = 12. Is 6 a factor of o?
True
Let t = 379 - 37. Is t a multiple of 18?
True
Let j(f) = -f**3 + 3*f**2 - 6*f - 4. Does 14 divide j(-2)?
True
Let t = 23 + -20. Suppose y = t*y - 80. Is y a multiple of 8?
True
Let p be (-167 - 0)*(1 + -2). Let j = p - -41. Suppose 0*u - j = -4*u. Is u a multiple of 12?
False
Let s(c) = c**3 - 3*c**2 - 2*c - 2. Let h be s(4). Let y(w) = w + h - 7 + 1. Does 4 divide y(8)?
True
Let d(x) = -8*x - 13. Is 15 a factor of d(-38)?
False
Let f = -4 + 13. Let q = f + 11. Suppose -2*t - q = -3*s, -s = -4*t + 3 + 7. Is 7 a factor of s?
False
Let j(s) be the third derivative of s**5/60 - 5*s**4/24 - s**3/2 + 2*s**2. Suppose 2*f = -0*f - 8. Is 9 a factor of j(f)?
False
Let y(h) = -3*h + 30. Is 11 a factor of y(-12)?
True
Let w = 910 - 493. Is 3 a factor of w?
True
Let g be 8/28*(87/3 + -1). Suppose g*k + 1320 = 16*k. Is 33 a factor of k?
True
Suppose -4*k - 4 = -2*h, 2*k + 2*h + 8 = 6*h. Suppose -8*s - 271 + 1271 = k. Is s a multiple of 25?
True
Let b = -7116 - -9976. Is b a multiple of 143?
True
Suppose -t + 114 = -4*t. Let p be -4*(117/(-12) - 4). Let o = t + p. Does 5 divide o?
False
Suppose 3*v = -a + 5*a + 6922, -2*v = 4*a - 4588. Is v a multiple of 11?
False
Let s(l) = -l**3 - 5*l**2 + l + 10. Let k be s(-4). Is 4 a factor of (0 + 1 + -3)*k?
True
Let v(k) = -608*k**3 + k**2 + 2*k + 2. Does 25 divide v(-1)?
False
Let p = 10239 - 7194. Is 21 a factor of p?
True
Let c(z) = 11*z + 3. Let a(v) = -v**2 - 5*v + 4. Let p be a(-5). Let m = p - -1. Does 15 divide c(m)?
False
Suppose 0 = f + 11 + 7. Is -4 - 68/(-18) - 1318/f a multiple of 13?
False
Let u(b) = -5*b**3 + b**2 - b + 2. Let s(a) = a**3 - 10*a**2 + 10*a - 7. Let x be s(9). Let o be u(x). Let m = -21 - o. Does 5 divide m?
True
Let y = 86 + -94. Is 4 a factor of (y/6*3 - -20) + -3?
False
Suppose -20 = 4*q, -7*k + 2*k = -5*q - 5085. Is k a multiple of 92?
True
Suppose -4*y = -2*q + 5*q - 12747, -6368 = -2*y + 