False
Suppose -2*s - 4*v + 3*v = -15, 25 = 3*s + 4*v. Let i(n) = 3*n**3 - 19*n**2 + 19*n - 15. Does 31 divide i(s)?
False
Let x be 1*-3 + (16 - 2). Let b = 16 - x. Suppose -h + 70 = 4*k + 7, -5*h - 110 = -b*k. Is k a multiple of 17?
True
Let f(l) = 0*l + 3 - l**2 - 17*l + l. Is 18 a factor of f(-13)?
False
Suppose 20*c - 15*c = 15. Let b be 8/c*(-273)/(-14). Suppose -3*a + 86 + b = 0. Does 15 divide a?
False
Let i = 119 + 3. Let y = i - 59. Is 9 a factor of y?
True
Suppose 0 = -5*n - 0*n, -1388 = -2*t - 2*n. Let k be (-51)/(-5) - 8/40. Is t/k - (-14)/(-35) a multiple of 23?
True
Suppose -2*n + 435 = 3*n. Suppose 4*v - v - n = 0. Suppose 2*m + 11 = v. Is 4 a factor of m?
False
Let u be -33 - (-15 - 1)/4. Let r = u - -37. Is r a multiple of 2?
True
Suppose -2464 = -22*k - 0*k. Is k a multiple of 14?
True
Suppose 32 + 480 = 4*q. Let k = -7 - -12. Suppose -3*x = k*n - 188, 4*x + 4*n = 2*x + q. Is x a multiple of 10?
False
Let y(a) = 48*a**3 + 7*a**2 - 1. Is y(3) a multiple of 14?
True
Does 46 divide (-1368)/(-15) - (-12)/15?
True
Suppose -3*m + m - 31 = 5*q, 5*q + 3*m = -34. Does 8 divide ((-897)/9)/(-1) + q/(-15)?
False
Suppose -11*v - 867 = -3287. Is 11 a factor of v?
True
Does 20 divide (-3 - (-998)/(-6))/(46/(-345))?
False
Let j(i) = -i**2 + 23*i - 11. Let w be j(12). Let a = 280 - w. Does 24 divide a?
False
Suppose 0 = 9*f - 4508 - 3241. Is 41 a factor of f?
True
Let r(a) = 7*a**2 + 3*a + 3. Let c(p) = 4*p**2 + p + 1. Let l(v) = 5*c(v) - 2*r(v). Let q be l(-1). Suppose 2*g + 104 = q*g. Is 13 a factor of g?
True
Let r(j) = -j**3 + 3*j**2 + 5*j - 4. Let i(c) = -c + 15. Let d be i(11). Let w be r(d). Suppose -2*s + 37 = 3*h, 0 = s + 2*h - w*h - 17. Is s a multiple of 6?
False
Suppose -4*r - 22 = -7*r + 4*s, 5*s = -5*r - 10. Suppose -3*z + o + 4 = 0, -10 + 2 = 3*z + 2*o. Is r + 1 + 2 + z a multiple of 2?
False
Let r(m) = -43*m + 2. Let w(x) = 5*x + 1. Let k be w(-1). Let s be r(k). Let i = s - 93. Is i a multiple of 29?
False
Suppose -4*z + 64 = 4*t, z - 4*z + 5*t + 64 = 0. Is (-112)/(-12) + 12/z a multiple of 10?
True
Let m(o) = 26*o**3 - 29 + 22*o - 10 - 6 - 27*o**3 + 17*o**2. Does 4 divide m(18)?
False
Let l = 42 + -49. Is ((-8)/l + (-3)/21)*59 a multiple of 15?
False
Suppose 6*i + 5*u - 156 = 2*i, -188 = -4*i + 3*u. Let t = 41 + -39. Suppose -i = -t*c - 12. Is 8 a factor of c?
True
Suppose -23*d + 17*d + 600 = 0. Does 4 divide d?
True
Let n(l) be the third derivative of 7*l**5/30 - l**4/24 - l**3/2 + 319*l**2 - l. Suppose -5*j + 14 = -1. Does 24 divide n(j)?
True
Let o(w) be the third derivative of 17*w**6/720 - w**5/60 + 3*w**4/8 + 8*w**2. Let t(h) be the second derivative of o(h). Is t(4) a multiple of 22?
True
Let r(h) = -h**3 - 18*h**2 - 18*h + 3. Let s be r(-17). Suppose -o - 5*t + s = -0*o, 96 = 4*o + 4*t. Does 5 divide o?
True
Is (-750)/(-9)*117/65 a multiple of 8?
False
Suppose -4*v = -3*v + 3*x + 460, 0 = -2*v - 4*x - 926. Let q = 798 + v. Is 17 a factor of q?
False
Does 41 divide 8/28 + 9764*6/168?
False
Let a = 648 - 1235. Let f = 828 + a. Is f a multiple of 52?
False
Let y(h) = h**2 + h - 2. Let q be y(-5). Suppose -5*i = -4*o - 12, o - 6*i = -i - q. Suppose -65 = -o*n + 17. Is n a multiple of 20?
False
Let x be (-2317)/(-5) + 26/(-65). Suppose 5*u - x = 3*t - 1260, 2*t = -5*u + 573. Is 28 a factor of t?
False
Suppose -7*u = 42 - 112. Is u even?
True
Let s = -1731 + 2011. Does 2 divide s?
True
Let z(b) = -b**3 - 7*b**2 + 7*b - 5. Let o be z(-8). Suppose o*x - 148 = x. Is 11 a factor of x?
False
Let v be ((-3)/(-2))/(3/12). Let a(b) = b**3 - 7*b**2 + 6*b + 3. Let w be a(v). Suppose 0 = 3*f + 3*k + w - 12, 4*k = f - 28. Is f a multiple of 8?
True
Let v = -6501 + 9208. Does 23 divide v?
False
Suppose -8 = 3*j + 7. Let f(c) = -c**2 - 13*c - 16. Does 8 divide f(j)?
True
Suppose 7*k - 146 - 134 = 0. Suppose -4*i = z - k - 20, -52 = -3*i + z. Is 5 a factor of i?
False
Let z = -16 - -21. Suppose 97 = z*q - 13. Does 11 divide q?
True
Let o(i) = 128*i + 315. Is 77 a factor of o(19)?
False
Let v = 2 - 3. Let u(t) = -44*t**3 - t**2. Is u(v) a multiple of 20?
False
Let g(p) = -2*p**3 - 21*p**2 + 23*p - 8. Is 37 a factor of g(-12)?
True
Let j be 0 + (1 - 2)*-11. Suppose 0 = -3*v - a + 11 + j, -2*a = 4. Does 10 divide (-151)/(-4) - 6/v?
False
Suppose 11*l - 6*l + 201 = 4*p, 0 = p - 3*l - 45. Is p a multiple of 18?
True
Suppose 163 = 5*t - 4*r, -r = -t + 2*t - 38. Let u = 58 - 29. Let h = t + u. Is h a multiple of 17?
False
Let x be 6/9 - (-362)/6. Let w = x - 37. Does 12 divide w?
True
Suppose -s = -17 - 19. Suppose 261 = 5*b + s. Is b a multiple of 11?
False
Let o be (15/(-6))/(-5)*18/(-1). Let q(l) = -10*l - 20. Is 17 a factor of q(o)?
False
Let r(p) = 3*p**2 - 5*p - 29. Does 57 divide r(-7)?
False
Let u(r) be the second derivative of -4*r**3/3 + 6*r**2 + 13*r. Is 7 a factor of u(-5)?
False
Suppose 0 = -t - 1, -3*z = 5*t - 0*t - 1. Suppose 0 = -5*p + 4*j, -z*j + 10 = 2*p - 8. Suppose -2*m + 5*w = w - p, 5*w = -m + 16. Does 6 divide m?
True
Is 12 a factor of (1 - -177)/(10/(-75)*-5)?
False
Let n(w) be the third derivative of w**5/20 - 5*w**4/6 - 3*w**3/2 - 25*w**2. Is 11 a factor of n(-6)?
False
Suppose -12 = 31*a - 35*a. Suppose k = a*w + 64, -2*k - w = 2*k - 269. Does 23 divide k?
False
Let c(l) = l**3 - l + 13. Let v be c(0). Suppose -v - 15 = -4*o. Is 3 a factor of o?
False
Let p(y) = -15 + 0*y + 3 - 2*y + y**2 - 2*y. Is p(9) a multiple of 11?
True
Let k(o) = -16*o + 11. Let f be k(-3). Let y = f - 32. Does 5 divide y?
False
Let x = 25 + -36. Let h = 16 + x. Is 9 a factor of (215/h)/1 - -2?
True
Let p = 1 - -4. Suppose -h - 2*h = -p*v + 28, 2*h = -5*v + 23. Suppose v*w + 6*f = f + 110, 2*w - 5*f = 16. Is 18 a factor of w?
True
Let h = 152 + -21. Suppose 3*g + 9 = 0, 4*s - 3*g = 255 - 62. Suppose 0 = 5*b + s - h. Is b a multiple of 12?
False
Suppose 17*r - 20*r + 1650 = 0. Does 22 divide r?
True
Let n be 6175/(-45) - 2/(-9). Let d = -37 - n. Is d a multiple of 20?
True
Let f(b) = b**2 - 3*b + 1. Let g be f(3). Let q = g + 0. Let o = q - -3. Is 2 a factor of o?
True
Let j = 6 - 6. Let a be 12/4 + (j - -2). Let h(q) = -q**3 + 5*q**2 + 6*q - 6. Does 16 divide h(a)?
False
Suppose 17*u + 26*u = 48246. Is u a multiple of 34?
True
Let s(y) = 2*y**2 + 4*y + 3. Suppose -2*x = 2*x + 8. Let a be s(x). Is -99*-2*a/18 a multiple of 17?
False
Let i(r) = 15*r + 23. Let h(d) = 10*d + 15. Let j(x) = -8*h(x) + 5*i(x). Let w(g) = -10*g**2 - 2*g + 1. Let n be w(1). Is j(n) a multiple of 10?
True
Let r(y) = 48*y**2 + 4*y - 2. Let d(v) = -48*v**2 - 3*v + 2. Let b(i) = -6*d(i) - 5*r(i). Is b(-1) a multiple of 24?
True
Does 40 divide 2 + 70/(-14) + 87*1?
False
Let f(y) = y**2 - 10. Let p be f(0). Let d = p + 13. Suppose 0 = -5*w + 4*v + 100, d*w = -4*v + 96 - 4. Does 6 divide w?
True
Let q(b) = -b**3 - 13*b**2 + 12*b - 2. Is 13 a factor of q(-15)?
False
Suppose 5*r + 349 + 133 = 2*j, -3*j = -r - 86. Let p be (-4 - -2) + (2 - r). Suppose -c = 3*x - 9 - 62, -4*x = -2*c - p. Does 10 divide x?
False
Suppose 2*h - 3*b - 2*b = 334, -480 = -3*h - 3*b. Is 50 a factor of h?
False
Suppose q = -2 - 2, v - 626 = -5*q. Does 17 divide v?
True
Suppose 0 = 25*s - 21*s - 1400. Is 10 a factor of s?
True
Let g be 1*-3*3/(-9). Suppose -3*d + g = 3*u - 5, -15 = 5*d. Let j(k) = -k**3 + 4*k**2 + 7*k - 3. Is 4 a factor of j(u)?
False
Let y = 19 + -17. Suppose -y = 5*j + 68. Does 6 divide (-4)/j - (-1992)/84?
True
Let k(h) = -14*h - 7. Let t(b) = -42*b - 21. Let v(f) = 7*k(f) - 2*t(f). Let z(p) = -28*p - 14. Let u(r) = 13*v(r) - 6*z(r). Is u(-4) a multiple of 15?
False
Suppose 0 = 673*m - 689*m + 21824. Is 31 a factor of m?
True
Let r = -1404 - -2590. Is 122 a factor of r?
False
Suppose l + 6*s = 7*s + 7, -l + 2*s = -10. Does 4 divide l?
True
Let f(c) = -12*c - 8. Let m be f(-1). Suppose -2*k - m*v + 424 = -6*v, 3*k = -v + 652. Is k a multiple of 18?
True
Suppose 0*r + 32 = -2*r. Let s be r/10*(-5)/2. Is s*-1*26/(-8) a multiple of 13?
True
Let p(x) = x**3 + 21*x**2 + 19*x + 34. Does 17 divide p(-17)?
True
Let p(j) = j**2 + 1. Let z be p(-3). Let o be z/6 - 4/(-3). Let t(g) = -g**2 + 6*g - 1. Is 3 a factor of t(o)?
False
Let c(s) = s**3 + 8*s**2 + 3*s - 3. Let a be c(-5). Suppose 3*i - a + 9 = 0. Is 3 a factor of i + (0/3 - 2)?
False
Let x(d) = d**2 + 8. Suppose 4*z = -z + 35. Let s be