ivide i?
False
Let s(y) = -4*y**3 - 5*y**2 + y + 2. Does 36 divide s(-3)?
False
Let z(l) = l**3 - 2*l**2 - 3*l - 2. Let v be z(3). Is 18 + v + 1 + 1 a multiple of 18?
True
Is 36 a factor of ((-104)/(-3))/(2/(9 - -3))?
False
Suppose 3*j + 3*s - 27 - 75 = 0, -3*j - s + 98 = 0. Does 10 divide j?
False
Let n(i) = -2*i**3 - 16*i**2 - i + 6. Is n(-8) a multiple of 14?
True
Let l(x) = -2*x - 7. Let t be l(-5). Suppose -23 = -3*a + 4*z, a - 3 = 3*z + t. Is a even?
False
Let t(p) = p**3 - p**2 + p - 1. Let s(y) = -y**3 - y**2 + 2*y - 3. Let n(k) = -s(k) + 3*t(k). Is n(1) a multiple of 2?
False
Let g(w) = -5*w**3 + 2*w**2 + 3*w. Let o be g(-2). Suppose -3*j = -5*j + o. Suppose 4*l - 15 - j = 0. Does 9 divide l?
True
Suppose 0 = 4*d + d + 180. Is (5 - 1)/(d/(-27)) even?
False
Let t(d) = 15*d + 6. Let g be t(4). Let p = g + 24. Is 17 a factor of p?
False
Let j(h) = 29*h - 6. Is 22 a factor of j(4)?
True
Suppose -10*q + 3*q + 112 = 0. Is q a multiple of 8?
True
Suppose -h - 4 = 21. Let b = 41 + h. Is 8 a factor of b?
True
Let c = -263 - -593. Is c a multiple of 15?
True
Let u = -9 + 13. Suppose -u*n - 10 = -3*f - 0*n, 3*f = 5*n + 8. Is 3 a factor of 9/((45/f)/5)?
True
Suppose -2*w + 4*d + 12 = 2*w, -2*d + 4 = 0. Suppose w*n = -3*j - 51, 3*n = 2*j + 63 - 10. Let o = -2 - j. Does 14 divide o?
False
Suppose 9*v = 3*v + 408. Is 34 a factor of v?
True
Suppose -2*l + 23 = 4*m + 3*l, -2*m = 4*l - 16. Suppose 0 = m*o - 0*o + 18. Let j = o + 17. Is 7 a factor of j?
False
Suppose -f - f + 3*z + 25 = 0, 3*f - 65 = -z. Suppose -3*c + 34 = -f. Is 8 a factor of c?
False
Let d be (-1)/((-1)/(17/1)). Is d/((-2)/(0 - 2)) a multiple of 17?
True
Let k(b) = -3*b + 1. Let s(z) be the first derivative of -9*z**2/2 + 2*z - 2. Let p(t) = -7*k(t) + 2*s(t). Is p(4) a multiple of 9?
True
Suppose w - 292 = -3*m, -2*w + 0*w = 5*m - 487. Is m a multiple of 9?
False
Let p be -3 + (-2)/6*0. Let f be (-1 - p)*10/4. Suppose -5*y + f*j + 60 = 0, -4*j + 57 = 2*y + y. Does 6 divide y?
False
Suppose -6 + 2 = 4*m - 4*z, 5 = 4*m + 5*z. Suppose m*d - d + 3*q + 107 = 0, 4*d = 4*q + 444. Suppose 4*n = -0*k - k + d, -5*n + k = -148. Is n a multiple of 20?
False
Let l(o) = 5*o - 6. Let q = 14 - 11. Is 9 a factor of l(q)?
True
Let w be 1 + 4/2 + 9. Suppose 2*n - w - 52 = 0. Does 16 divide n?
True
Suppose -2*y + 114 = y. Does 19 divide y?
True
Suppose -13*w - 240 = -14*w. Does 20 divide w?
True
Let r = -22 - -13. Let l = r + 41. Is l a multiple of 11?
False
Let f(c) = -c - 1. Let k be f(-3). Suppose -3*l - 1 = 5. Is 13 a factor of k - ((l - 0) + -22)?
True
Let b = 491 + -337. Is 11 a factor of b?
True
Suppose 3*i = m + 3*m + 152, 5*i - 3*m = 235. Let b = 78 - i. Does 19 divide b?
False
Let s = 127 + -64. Suppose 0 = d + 13 + 9. Let f = s + d. Does 14 divide f?
False
Suppose -4*h = -h. Suppose -5*m = b + 3*b - 18, h = b + 4*m + 1. Is b a multiple of 7?
True
Let m = -33 - -54. Is m a multiple of 21?
True
Suppose -2*r - r = -33. Does 7 divide r?
False
Suppose -3*n + 3*u = 31 - 112, -u = -3*n + 75. Let k = n + 4. Does 7 divide k?
True
Suppose -2*s + 4 = 4*o, 2*s - 3 = -2*o + 1. Suppose j + s = 7. Suppose j*z - 15 = 155. Is z a multiple of 17?
True
Let r(p) = 3*p + 76. Is r(19) a multiple of 7?
True
Let x = -84 + 129. Is 3 a factor of x?
True
Suppose -89 = -4*l + 147. Let w = 99 - l. Is 19 a factor of w?
False
Let f(n) = n**3 - n + 16. Let u = 1 - 3. Let i = 2 + u. Does 16 divide f(i)?
True
Suppose 0 = -2*q + 6*q. Let l = q + 6. Does 3 divide l?
True
Let x(i) = -i**3 + 5*i**2 - 5. Let b be x(5). Let q(c) be the second derivative of -c**5/20 - c**4/3 - c**3/3 + 7*c**2/2 + 31*c. Does 14 divide q(b)?
True
Let t(l) be the second derivative of -l**5/20 + l**4/2 + 5*l**3/6 - l**2/2 - 3*l. Is t(6) a multiple of 13?
False
Suppose 90 = 6*k - k. Is 6 a factor of k?
True
Let l(x) = x**2 + 7*x + 6. Is l(-10) a multiple of 12?
True
Suppose 3*l + 1 = 13. Suppose -4*y - 3*i = -4, -2*i + i + 12 = l*y. Is 4 a factor of y?
True
Is 10 a factor of ((-2)/2 + 2)*49?
False
Let y = -2 + 7. Let u = y + -6. Is 11 a factor of -1 + (-12)/(1/u)?
True
Suppose -5*o - 22 = -c, 0 = 2*c + 6*o - 2*o - 72. Is c a multiple of 21?
False
Let p(d) = -5*d - 2. Let v be p(-2). Let a = v + -9. Is ((-144)/(-30))/(a/(-5)) a multiple of 8?
True
Let b(g) be the second derivative of -2*g**3/3 - 5*g**2/2 + g. Let s be b(-5). Suppose 9 = 4*o - s. Does 6 divide o?
True
Suppose 2*a - 11*a + 2331 = 0. Does 24 divide a?
False
Let q(h) = 4*h. Let r be q(6). Suppose r = c - 2*p, 4*c - 84 = -p + 6*p. Does 14 divide c?
False
Let t(a) = a + 12. Let f be t(-11). Let j(c) = 29*c - 1. Is j(f) a multiple of 20?
False
Suppose 9 = -3*a, -v - 4*a + a - 27 = 0. Does 16 divide 4/18 + (-572)/v?
True
Does 15 divide 2/(3/(225/2))?
True
Let t = -33 - -96. Is t a multiple of 21?
True
Let g(p) = -2*p. Let s be g(-2). Suppose 48 = 3*d - 4*z - s, d = -4*z + 12. Does 12 divide d?
False
Suppose 3*u = -v + 455, -2*v - v - 3 = 0. Suppose -4*i + 4*d - u = 0, 0 = -0*d - 3*d + 15. Let f = -11 - i. Is 12 a factor of f?
False
Suppose -4*v = 5*o - 318, 0 = 7*o - 8*o - v + 63. Is o a multiple of 3?
True
Is 1/((-3)/288*-2) a multiple of 12?
True
Let u be 3/(-2)*(-8)/6. Suppose 0 = u*x + 3*x. Does 6 divide 2 - x/(-2) - -7?
False
Let l be (-1 - 0)*(1 + -5). Suppose 1 = x + k - l, -2*k = 3*x - 20. Is 5 a factor of x?
True
Suppose 3*f + 5*s = -365, -2*f + 2*s - 238 = 4*s. Is 10 a factor of (0 - 2)/(10/f)?
False
Suppose 3*y = 2*a - 2 + 1, 4*y - 6 = -a. Let x be (100 - (1 + 1)) + 2. Suppose -25 = -5*k, -a*z + 3*k = 3*z - x. Is 13 a factor of z?
False
Let p = 13 + -8. Suppose p*u = 5*s - 105, -5*s + 4*u = -4*s - 21. Is 9 a factor of s?
False
Let q(f) = -f**2 - 6*f - 2. Let g be q(-5). Suppose -3*p + g = -6*p, 0 = l - p. Is 1*l - (-38)/2 a multiple of 18?
True
Suppose 4*v - 4*m - 4 + 16 = 0, -v + 2*m = 4. Let t be 1 - (v - (-2 - -1)). Suppose 0 = 5*s - 4*x - 308, t*s + 0*x - 116 = 4*x. Is 22 a factor of s?
False
Suppose 5*p - 3*z - 632 = 0, 4*p - z - 506 = z. Is p a multiple of 8?
False
Let j be (6/(-6))/(2/(-4)). Suppose 4*i - 16 = -m, 4*i - m = 5 + 11. Is 6 a factor of (i/(-4))/(j/(-26))?
False
Let m = 97 + -23. Let v = m + -31. Is 13 a factor of v?
False
Suppose 5*l - 105 = -c, 84 = 2*l + 2*l + c. Is l a multiple of 7?
True
Let r(n) be the second derivative of -n**4/12 - 8*n**3/3 - 5*n**2/2 + n. Is r(-15) a multiple of 7?
False
Suppose 3*f = 4*w + 17 - 58, -3*f + 3 = 0. Does 4 divide w?
False
Is -4*6/(-8) + (6 - 3) a multiple of 4?
False
Suppose s + 4*i - 63 = 0, -3*s + 2*i = -138 + 5. Is s a multiple of 21?
False
Suppose -5*r + l = -112, -3*r + l + 62 = 3*l. Is r a multiple of 2?
True
Suppose 4*g - 4 = 4. Let k be (g/(-6))/(5/(-60)). Suppose 4*x + 4*c = -0*x + 148, -3*x = -k*c - 83. Is 12 a factor of x?
False
Let r = -7 + 79. Is 36 a factor of r?
True
Suppose -3*l - 6 = 0, -r + 3 = -4*l - 9. Suppose r*o - 75 = -o. Is o a multiple of 11?
False
Let r(u) be the second derivative of -u**5/30 + u**4/12 + u**3/2 + 4*u. Let t(v) be the second derivative of r(v). Does 5 divide t(-4)?
False
Let g = 62 - 42. Suppose l = -l - g. Let j = 24 - l. Is 17 a factor of j?
True
Suppose -4*p + 288 = 3*i + i, 3*p + 2*i = 215. Is p a multiple of 8?
False
Suppose -m - 2*m = -2*n + 87, 2*m + 66 = 4*n. Let s = 40 + m. Is s a multiple of 13?
True
Suppose -7*n + 9*n = 36. Is n a multiple of 7?
False
Suppose -4*w + 4*x - 20 = 0, 2 + 1 = x. Let t = 4 - w. Does 2 divide t?
True
Suppose -w + 1 = -4. Let q = -3 + w. Suppose 0 = 5*o + 3*n - 73, 42 = 2*o - 0*n - q*n. Does 17 divide o?
True
Let u = 83 + -51. Is 6 a factor of u?
False
Let r = -4 - -4. Is 7 a factor of 20 + 2 - (1 + r)?
True
Let r = -7 - -35. Does 7 divide r?
True
Suppose -4 + 0 = -a. Let x be a/(-10) - (-44)/10. Suppose -c + 4*v - 3*v = -5, -x*c + 41 = 3*v. Is c a multiple of 8?
True
Suppose 220 = h - 2*b, 0 = -2*h - 4*b + 406 + 26. Is h a multiple of 20?
False
Suppose -2*l + 108 = 5*k, -l - 87 = -4*k - 2*l. Suppose 5*x + 2*a + 0*a + 59 = 0, 3*x - 3*a + 27 = 0. Let v = x + k. Is v a multiple of 4?
False
Let d be (-5)/((-15)/6) - -3. Suppose -d*v = -110 + 20. Is 9 a factor of v?
True
Let t = -15 + 52. Is 37 a factor of t?
True
Let c(d) = 3*d + 2. Let u be -1*8/(-6)*3. Does 7 divide c(u)?
True
Suppose 4*k - 672 - 87 = -3*u, -5*k = -5*u - 940. Is k a multiple of 2