e 8*y = -16*y + 4*d + 20920, -3*d - 12 = 0. Is 3 a factor of y?
False
Let t = 33157 - 4986. Is t a multiple of 155?
False
Suppose 10 + 6 = -2*i - 2*a, 2*a = -5*i - 25. Let l(z) = -2*z**3 - 4*z**2 - 2*z + 4. Let s be l(i). Let m = s + 13. Is m a multiple of 15?
False
Is 4888 + -3 - (0 - 1)*(-6 + 2) a multiple of 22?
False
Let x(g) = 210*g + 98. Let o be x(-1). Let d(w) = 3*w. Let l be d(-4). Is (-4)/l - o/6 a multiple of 19?
True
Let i = 26825 + -17033. Is i a multiple of 7?
False
Let u = -298 + 320. Suppose -26*z = -u*z - 3016. Is 14 a factor of z?
False
Suppose 0 = 11*n - 4*n - 49. Suppose -b = -t - 556, 4*b + n*t = 4*t + 2238. Suppose -12*u + b = -6*u. Does 8 divide u?
False
Let z(l) = 2*l - 37. Let o be z(21). Suppose 4*f + 3 + 1 = 0, -5*f = o*n - 40. Suppose 0 = -4*i - 3*a - n + 229, -4*a = 5*i - 276. Does 13 divide i?
True
Suppose 0 = 4*k + 10*a - 2276, 4 = -18*a + 20*a. Is k a multiple of 55?
False
Suppose -150*t = -147*t - 789. Let v = t - 203. Is v a multiple of 12?
True
Suppose g - u - 602 = 0, -16*u - 1176 = -2*g - 21*u. Is g a multiple of 26?
True
Let f(z) = z**2 + z - 1. Let c be f(1). Let r be (72/(-10))/(-6) - 2/10. Does 6 divide (c + 109)*((-24)/(-20))/r?
True
Let t(b) = 6758*b + 291. Is t(1) a multiple of 53?
True
Let v = 33332 + -17317. Is v a multiple of 223?
False
Does 69 divide ((-5 - (-3 + 3) - -2) + -2370)*-18?
False
Let j = -898 - -910. Suppose 4*g + 0*g = -5*h - 1775, 0 = -5*g - 5*h - 2220. Does 15 divide (-4)/j - g/3?
False
Let j = -387 - -165. Let w = 253 + j. Is w a multiple of 3?
False
Let b(a) = -a**3 + 6*a**2 - 9*a + 37. Let v be b(6). Let i(c) = -c**3 - 16*c**2 - 57*c - 29. Is i(v) a multiple of 89?
False
Let b be -4*(-5)/(-90) - (-16751)/9. Suppose -8*l = -7*l - 4*i - 461, b = 4*l + i. Is l a multiple of 17?
False
Let o = 44651 + -14215. Does 12 divide o?
False
Suppose 11 = 2*p - 1. Let r be ((-30)/9)/(p/(-261)). Suppose -r - 119 = -2*t. Is 33 a factor of t?
True
Let u be 8 + -5 + (2 - -4). Let k(y) = -y**3 + 8*y**2 + 17*y + 15. Is k(u) a multiple of 15?
False
Suppose 12 = 7*k - 3*k, 15*k = -5*o + 21685. Does 17 divide o?
False
Let c(r) = 34*r + 41. Let m be c(-14). Let f be (-26)/39*m/1. Let i = f + -35. Is i a multiple of 28?
False
Let c(h) = 7*h**2 + 7*h + 3. Let d be c(-1). Suppose -341 = d*k - 1331. Is 33 a factor of k?
True
Let q be (-202 + 2)*60/(-25). Suppose -q = -5*a + 4*l - 80, -4*a + 320 = -2*l. Suppose -2*d = 3*d - a. Is d a multiple of 16?
True
Let q = -266 - -377. Suppose -21 = 3*h - q. Is 4 a factor of (0 + -30*2)*(-36)/h?
True
Let q(a) = 2017*a + 1153. Does 21 divide q(2)?
True
Suppose -d - 4*d = -15. Suppose c = -5, n + n - 851 = d*c. Is n a multiple of 22?
True
Suppose -1687 + 211 = -2*u - 2*b, -4*b + 3694 = 5*u. Let z = u - 466. Does 46 divide z?
True
Suppose 386946 = 178*u - 157*u. Does 67 divide u?
False
Let p be 16/(-20)*(-50)/(-4). Let z(n) = -4*n - 12. Let s be z(p). Suppose -2*b + 3*b = s. Is 16 a factor of b?
False
Let l = 304 - 294. Suppose -x - 3654 = -l*x. Is 15 a factor of x?
False
Suppose -5*m - 114 = -2*m. Let i be 4*6/((-48)/m). Suppose 25*w - 984 = i*w. Is w a multiple of 11?
False
Let m(j) = -79 + 14 + 36 - 7*j. Let c be m(-21). Suppose 0 = 14*r + c - 678. Does 20 divide r?
True
Let o(n) = 51*n**2 - 43*n - 533. Is 86 a factor of o(-17)?
False
Let s(a) = -877*a**3 + 6*a**2 + 24*a + 18. Is 10 a factor of s(-2)?
True
Let g = 47566 - -1500. Is 20 a factor of g?
False
Let b = 6853 - -6655. Is 117 a factor of b?
False
Let l be (-4)/6 - (-870)/90. Let r(q) = q**3 - 9*q**2 + 10*q + 5. Does 19 divide r(l)?
True
Suppose -i + 5*u = -162, 18*i + 352 = 20*i - 3*u. Does 6 divide i?
False
Let w(i) = -9*i**3 + 7*i**2 + 13*i - 2. Let j(z) = 27*z**3 - 22*z**2 - 38*z + 6. Let y(h) = -6*j(h) - 17*w(h). Is 13 a factor of y(-4)?
True
Suppose 100*i - 140*i - 378*i = -300542. Is i even?
False
Let u be ((-351)/13)/(1/24). Let z = 732 + u. Is 12 a factor of z?
True
Let t = -4425 - -8135. Is t a multiple of 35?
True
Suppose 345*o - 348*o + 1821 = 0. Does 21 divide o?
False
Suppose -155*m = -390*m + 5365520. Does 8 divide m?
True
Let h(b) = b**3 - b**2 - 19*b + 12. Let p be h(5). Suppose 4*v - p = 3. Suppose 2*g + v*s + 154 = 435, -4*g - 4*s + 532 = 0. Does 13 divide g?
False
Let n be (16 + -7 - 9)/(6/2). Suppose n = -19*q - 13*q + 29184. Is 12 a factor of q?
True
Suppose -d + 38 = 64. Let c(m) = m**2 + 10*m + 53. Is c(d) a multiple of 26?
False
Let b(m) = 17*m - 82. Let f be b(5). Suppose -f*g + 208 = -g. Is 3 a factor of g?
False
Suppose x + a + 0*a = 5630, -5*x = -5*a - 28130. Suppose -13*j + x = -j. Is 67 a factor of j?
True
Suppose 1537250 = 44*v + 60*v + 111*v. Is v a multiple of 53?
False
Let n(a) = 2*a**2 - 51*a - 5162. Is 8 a factor of n(-47)?
False
Let i(d) = 1125*d**2 + 24*d + 73. Is i(-3) a multiple of 122?
True
Suppose 3*d = 4*x - 12, -x + 2 = -2*d - 6. Let i(j) = 2*j - 7. Let r be i(x). Let l(t) = -t**3 - 6*t**2 - 7*t - 6. Does 23 divide l(r)?
True
Let w(g) = 2*g**3 + 11*g**2 - 2*g + 21. Let b be w(-6). Is 47 a factor of 0 + b + 4/(4/97)?
True
Let q(b) = -b**3 + 19*b**2 + 21*b - 15. Let j be q(20). Suppose 110 = -j*w + 180. Does 2 divide w?
True
Let d(x) = x**2 + 12*x - 13. Let i be d(-13). Suppose 0 = -35*n - i*n + 14945. Is 10 a factor of n?
False
Let y be (-5)/(5 + 69/(-54) + -4). Suppose -4*q + 597 = o, -3*o = -y*q + 16*q + 309. Is 25 a factor of q?
True
Suppose -14 + 6 = 2*o. Let s be (-1 - (3 + o)) + 38. Suppose j + 32 = 5*u, -u + 6*u + j = s. Does 7 divide u?
True
Let o be (6 - 1195/5) + -7. Let i = 23 - o. Is 3 a factor of i?
False
Suppose 11*z = 2*q - 26913, -4*q = -2*z + 33909 - 87715. Is q a multiple of 98?
False
Let j(y) = -390*y + 591. Is j(-14) a multiple of 6?
False
Let d(o) be the second derivative of 1/20*o**5 + 0 - 3*o**3 + 2*o**2 + 9*o + 1/12*o**4. Does 16 divide d(5)?
True
Let l = -7981 + 28366. Does 92 divide l?
False
Let f(p) = -33*p - 2. Suppose 14*r - 6 = 16*r. Let q be f(r). Suppose 0 = -4*w - 5*y + q, -10 = -y - y. Is 18 a factor of w?
True
Let b = 5575 + -2282. Does 89 divide b?
True
Let p be 32344/26 - (2 + 0). Suppose -p = 10*h - 3072. Is h a multiple of 23?
False
Let k(r) = 229*r**2 + 5*r + 6. Is k(5) a multiple of 129?
False
Let v(d) be the third derivative of 0 + 0*d + 11/24*d**4 + 13*d**2 + 9/2*d**3. Is v(7) a multiple of 26?
True
Suppose 104*h = 109*h - 2905. Does 10 divide -6*(-3 + h/(-3))?
True
Suppose 18 = 13*o + 5. Let m be (o - 1407/(-14))/((-2)/(-20)). Suppose -4*b + 0*t = 2*t - 1372, -5*t + m = 3*b. Is 24 a factor of b?
False
Let p be (1 + -2)/(150/51 - 3). Let x = 19 - p. Is ((-7)/(21/x))/((-1)/120) a multiple of 42?
False
Let u = -2 + 54. Let h = 52 - u. Suppose -3 - 36 = -k + 2*c, h = -k - 2*c + 39. Is k a multiple of 2?
False
Let b(c) = 20*c**2 - 3*c + 12. Suppose 0 = 121*a - 126*a - 15. Is 18 a factor of b(a)?
False
Let w(r) = 267*r**2 + 2 - 185*r**2 + 0*r - r - 4*r. Does 40 divide w(2)?
True
Let u be (478 - 0) + (1 - -4). Suppose 167*x = 160*x + u. Is 15 a factor of x?
False
Let f(w) = 3*w**2 - 9*w - 15. Let s be f(8). Suppose -4*p - s = 143. Let o = 87 + p. Does 6 divide o?
False
Let h(b) = 8*b**2 - 30*b - 56. Is 7 a factor of h(-21)?
True
Is 35 a factor of 2454/4*320/120?
False
Suppose -3*z - v + 9 = -2*v, -3*v = 2*z + 5. Let j be -3 - (-324)/(-8)*z. Let m = 139 + j. Does 4 divide m?
False
Let x = 5068 + -2040. Does 4 divide x?
True
Suppose 3*o - 122 = -4*a, 3*a - 2*o - 91 = -4*o. Suppose 5*z - a + 14 = 0. Suppose -3*s - 7 = -g, -z*g - 5*s + 27 = 6. Is g a multiple of 3?
False
Let u be 12/90*10*147. Suppose u = 2*j + 178. Is 3 a factor of j?
True
Suppose -4*c = 16*r - 14*r - 678, 2*r + 10 = 0. Let k = c - 76. Is 3 a factor of k?
True
Suppose -2*u + 31755 = -3*h, 4*h - 63500 = 5*u - 9*u. Is 36 a factor of u?
True
Suppose 52 = -32*v + 30*v. Let p be (-5)/20 - v/8. Suppose -p*s = 4*s - 168. Is s a multiple of 2?
True
Suppose 5*b + 64 = 4*r + 7, -b = r - 21. Let p be 4/(-6) - (1 - 30/r). Suppose 0 = 2*q - 4*i - 142, p*i = 5*q + 4*i - 299. Does 15 divide q?
False
Suppose 3*t + 33*t - 105149 = -29369. Does 9 divide t?
False
Suppose 230834 = 154*t - 56992. Is t a multiple of 7?
True
Suppose 0 = 5*v + z - 13, -2*z + 9 = 4*v - 5. Suppose -2*l - 199 = -3*j + 165, -v*j + 239 = -5*l. Suppose -7*p + 9*p = j. Is p a multiple of 8?
False
Suppose 13*w -