e
Let f be (-209)/(-2) + ((-5)/(-2))/5. Suppose 3*v + 42 = f. Is v a multiple of 3?
True
Suppose 0 = -3*u - w + 336, 0 = 4*u - 8*u + 5*w + 429. Is 3 a factor of u?
True
Let u(b) = b**2 - 11*b + 14. Let k be u(10). Suppose k*o - 32 = -2*y, 2*o = -y + 4*y - 72. Let i = 32 - y. Does 10 divide i?
True
Let r(w) = 15*w + 63. Is 96 a factor of r(15)?
True
Suppose 5*l - 14 - 1 = 0. Does 4 divide l + (0 - 85/(-5))?
True
Suppose 2*p - 8 = -5*i - p, -2*i = 2*p. Suppose i*k + 3 = 5*k. Suppose 3*j + 42 = k*v, -j + 40 = 4*v + 3*j. Does 5 divide v?
False
Suppose 17*q = 18*q - 65. Is 3 a factor of q?
False
Let l be ((-10)/(-15))/((-4)/(-18)). Suppose -l*h = -0 - 9. Is h a multiple of 3?
True
Let p(l) = 59*l. Let n = 1 + 2. Let i be p(n). Does 10 divide i/4 + (-7)/28?
False
Suppose -10*k + 4161 + 739 = 0. Does 10 divide k?
True
Suppose -4 = 2*c - 8, 0 = f + c - 289. Does 51 divide f?
False
Let i(h) = -h**2 + h. Let c(u) = 96*u**2 - 6*u + 2. Let j(s) = c(s) + 5*i(s). Is 15 a factor of j(1)?
False
Suppose 10 - 42 = -g. Is (-2)/(-5 + 1)*g a multiple of 16?
True
Let r = -23 - -48. Suppose -x - 4*x + r = 0. Let a(h) = 3*h + 6. Does 21 divide a(x)?
True
Suppose -4*w + 6*u = 9*u - 542, 4*w - 4*u = 528. Is 24 a factor of w?
False
Suppose -20*y - 2519 = -31*y. Is 94 a factor of y?
False
Let o = 1265 + -753. Suppose -3*t + o - 170 = 0. Is 8 a factor of t?
False
Let t(z) = 11*z**2 + z + 12. Let u be t(-6). Suppose u = 7*y + 80. Does 13 divide y?
False
Let q be 292/(-10) - (-4)/(-5). Let r = q + 33. Suppose -4*u + 278 = 3*p, 0 = r*p + 2*u - 433 + 159. Is 15 a factor of p?
True
Suppose -3*v + 5*u + 117 = 0, -u - 3*u = -12. Does 32 divide v?
False
Let c = 1920 - 1128. Is c a multiple of 44?
True
Let g be ((-16)/(1*-2))/1. Let y = -183 - -177. Does 35 divide (-740)/5*y/g?
False
Is 19 a factor of (-5436)/(-22) + 70/(-770)?
True
Suppose 24 = -q - 3. Let v = 29 + q. Does 2 divide v?
True
Let l(m) = 5*m**3 + 1 - 18*m**3 + 5*m**3 + 2*m. Let h(q) = 2*q**3 + q**2 + q + 1. Let i be h(-1). Is l(i) a multiple of 2?
False
Let q be 45/12 + (-4)/(-16). Suppose 5*x - 83 = -4*n + 252, -q*n + 314 = -2*x. Is 16 a factor of n?
True
Suppose 3*t = 4*f - 31 + 4, -2*f = 3*t - 9. Does 11 divide 1893/9 - 2/f?
False
Let w(v) = -2*v**3 - 16*v**2 + 24*v - 8. Let n(o) = 6*o + 8. Let s be n(-3). Is w(s) a multiple of 38?
True
Suppose -2*s - 2*s = -20. Suppose -3*p + 402 = s*h, 2*p + 320 = 4*h + 4*p. Is h a multiple of 39?
True
Let y = -403 + 671. Suppose 4*c + y = 3*o, 0 = 3*o - 2*o - 4*c - 76. Is 32 a factor of o?
True
Let f(i) = -18*i - 15. Let m = 9 + -15. Does 8 divide f(m)?
False
Let l(n) = 2*n**2 - 3*n - 6. Let c be l(6). Suppose -c*x + 644 = -44*x. Is x a multiple of 28?
False
Suppose -4*u + 2 = -6. Suppose 5*c + 99 = -u*k - 2*k, 3*k - c + 60 = 0. Does 4 divide (-40)/(-3) - 14/k?
False
Let i(f) be the second derivative of -f**3/3 - 9*f**2/2 - 6*f. Let k be i(-9). Suppose -s + k + 21 = 0. Is s a multiple of 15?
True
Let l = 281 - 249. Is l a multiple of 3?
False
Suppose 975 = 5*x - 675. Is x a multiple of 66?
True
Let i be (0 - (-1 + 6))/(8/(-112)). Let j = -48 + i. Does 14 divide j?
False
Let p(j) = -j**2 + 7*j - 3. Let y be p(7). Let g be (7 + y)/(-4)*3. Does 24 divide 80 + (3 - (-3)/g)?
False
Let j = 66 - 29. Suppose -3*p - 68 = j. Is 10 a factor of ((-60)/p)/(1/7)?
False
Does 6 divide ((-109)/3)/(112/(-672))?
False
Let j be 6/((-6)/3) - 0. Does 4 divide (15/12)/(j*(-3)/72)?
False
Let z(x) be the second derivative of -x**3/3 - 9*x**2/2 + 2*x. Let a be z(-6). Suppose -a*w + 3*n = -132, 0*n + n - 151 = -4*w. Is w a multiple of 13?
True
Let y(i) be the second derivative of -i**4/12 - 10*i**3/3 - 9*i**2 - 11*i. Is 21 a factor of y(-15)?
False
Let c be 2/(-4) - 20/(-8). Suppose -2*z + 166 = -c*b, -6*b + 5*b + 3 = 0. Suppose 0 = 3*v + 17 - z. Is 7 a factor of v?
False
Let h = 3105 + -1389. Does 26 divide h?
True
Let m be ((-2)/(-8))/((-8)/(-160)). Suppose 2*l + 49 = m*b + 5*l, 2*l = -3*b + 29. Suppose 8*z + 102 = b*z. Does 17 divide z?
True
Let x(y) = -y**3 - 5*y**2 - 3*y - 7. Let p be x(-5). Is 16 a factor of ((-18)/8)/(p/(-544))?
False
Let j(n) = -n**3 + 15*n**2 + 3*n - 21. Suppose 7*b - 15 = 6*b. Does 8 divide j(b)?
True
Suppose 61*a = 2448 + 3286. Does 2 divide a?
True
Let d(b) = -3*b**3 + 2*b**2 - 4*b - 3. Let i be d(-3). Suppose -m + i = m. Is m a multiple of 27?
True
Is -1 - 12/3 - (-3 + -824) a multiple of 18?
False
Let c(b) = -b**3 - 14*b**2 + 15*b. Let k be c(-15). Let s(i) be the second derivative of i**3/6 + 27*i**2/2 + i. Is 12 a factor of s(k)?
False
Suppose -3*v - 5*l = -4*v + 37, 2*v - l = 119. Is v a multiple of 7?
False
Let w = -26 - -36. Suppose 9 = 4*g + 1. Suppose -5*i = 2*f + 6, 0 = -2*i + g - w. Does 5 divide f?
False
Suppose -2*g + 100 - 22 = 0. Is g a multiple of 6?
False
Suppose 43*u = 50*u - 2835. Is u a multiple of 15?
True
Let g(c) be the third derivative of -c**6/120 - 11*c**5/60 + 11*c**4/24 + 13*c**3/2 - c**2. Does 30 divide g(-12)?
False
Let a = 25 + -22. Let w be 3/a - 10/(-5). Is 10 a factor of ((-21)/14)/(w/(-100))?
True
Suppose 0 = 9*n - 2828 - 2815. Is 19 a factor of n?
True
Suppose -302*k - 7488 = -311*k. Is 13 a factor of k?
True
Suppose s + 2*c + 16 = -c, 3*c + 18 = -3*s. Let t be 275/(-22)*2/s. Let a = t + 8. Is a a multiple of 11?
True
Suppose -10 = -5*p - 0*p. Suppose -439 = -3*f + u - p*u, 310 = 2*f + 5*u. Is f a multiple of 29?
True
Let l(b) = -b**2 + 3*b + 4. Let a be l(5). Does 18 divide (-212)/a - (-22)/33?
True
Let v(l) = l**2 - 6*l + 6. Let h be v(4). Does 37 divide (-844)/(-8) + h/4?
False
Let y(c) = 2*c**2 + 25*c - 1. Let g(f) = -6*f**2 - 76*f + 3. Let k(p) = 6*g(p) + 17*y(p). Does 20 divide k(-7)?
True
Let v = -216 - -448. Does 21 divide v?
False
Let y(t) be the second derivative of t**5/20 - 2*t**3 + 2*t**2 - 7*t. Does 23 divide y(5)?
True
Let s = -97 + 1272. Is s a multiple of 14?
False
Suppose 2*a - 14 = -3*t + 1, a - 3*t = 21. Let f(w) = 8*w - 32. Is f(a) a multiple of 16?
True
Let j be (-14610)/(-110) + (-4)/(-22). Suppose 0 = 4*b - j - 115. Does 12 divide b?
False
Suppose o - 3 = -0*l + 2*l, 4*o + 43 = -3*l. Is -2 - (4 - 2)*o a multiple of 3?
True
Let j(w) = -4*w + 2. Let i = -14 - -39. Suppose 10 = -5*g - i. Is j(g) a multiple of 10?
True
Let h(x) = 2*x**2 - 4*x + 12. Let p = -21 + 25. Does 7 divide h(p)?
True
Suppose -128 = -2*f + 2*k + 1164, 0 = 2*k + 8. Does 20 divide f?
False
Suppose -620 - 364 = -12*r. Suppose 12*u - 86 = r. Does 6 divide u?
False
Let n(z) = z**2 + 20*z - 129. Is 18 a factor of n(-27)?
False
Suppose -7*i - 3*h + 11 = -2*i, 0 = -h - 3. Suppose 5*v - i = -49. Is (v + 7)/((-2)/60) a multiple of 10?
True
Let h = -44 + 86. Is 40 a factor of h?
False
Let v = 2571 + -979. Does 116 divide v?
False
Let s(k) = 9*k**3 + k**2 + 2*k - 2. Let b be s(1). Let c = 188 - b. Is c a multiple of 15?
False
Let h = 12 + -11. Suppose -17 + h = -2*r. Suppose r*s = -a + 4*s + 42, 5*s = -a + 43. Is a a multiple of 15?
False
Suppose -l - 64 = 40. Let z = l + 185. Is 27 a factor of z?
True
Let s(b) = 9*b + 7*b**2 - 5*b + b - 3*b - 14. Is s(3) a multiple of 6?
False
Suppose 0 = 2*t + l + 25, 4*t - l = 2*l - 25. Let m = t + 15. Suppose -98 - 172 = -m*f. Is f a multiple of 27?
True
Let w be (-1 + -4)*128/(-128). Let r(v) = v**2 - 5*v + 4. Let h be r(5). Suppose 4*f + 38 = w*j, 2*j + 6*f - h = 2*f. Is j even?
True
Suppose d = z - 104, -4*z + 541 = z + 2*d. Let y(q) = -q**3 - 14*q**2 + 11*q - 22. Let b be y(-15). Suppose -z = -p - b. Is p a multiple of 19?
False
Let r = -13 - -24. Let h = r + -6. Suppose -7*f = -h*f - 48. Is f a multiple of 8?
True
Suppose -m = -0*m - 4. Suppose h = 3*y - 6, -h - m*h - 8 = -4*y. Suppose v + 2*a - 30 = 0, y*v + 3*a - 61 = -1. Does 8 divide v?
False
Suppose -b + 244 = 4*s - 5*b, -3*b = -2*s + 120. Let u be 18/s - (-24)/14. Is 4 a factor of u*(3 - 2) - -10?
True
Let o be (-2)/(-5) - (-24)/15. Let p(v) = -3*v**3 + 1 - 4*v**2 + v**2 + 1 + 0*v**o - v. Is 7 a factor of p(-2)?
False
Let r(i) = -4*i**2 + 65*i + 17. Is 11 a factor of r(16)?
True
Suppose -2*j + 11*u - 6*u = -117, -195 = -4*j - 3*u. Suppose -31 = -3*i - z - 143, 0 = -4*z - 16. Let x = j + i. Is 7 a factor of x?
False
Let t = -36 - 26. Let f = 168 + t. Is 14 a factor of f?
False
Suppose 4*g + 0*g = 20. Suppose 33 + 37 = g*k. Is (k - (-1)/1) + -4 a multiple of 