*j - l + 3*l. Is 21 a factor of j?
False
Suppose -n - 2856 = -18*n. Does 28 divide n?
True
Suppose -o - 4 = -2. Let s be -2*(1*-1)/(-1). Is -7*(s + 2/o) a multiple of 11?
False
Suppose 6*s = 8*s - 456. Is s a multiple of 57?
True
Suppose 2*d - z - 10 = 2*z, -5 = -d + 5*z. Suppose 3*k + k + 92 = -h, -64 = 2*k + d*h. Let u = 34 + k. Is u a multiple of 6?
True
Let i(k) = -k**3 + 7*k**2 + k. Let n be i(6). Is n/(-4)*(-96)/28 a multiple of 18?
True
Suppose 3*u = -o + 340, -5*u + 5*o + 41 = -539. Is u a multiple of 8?
False
Suppose 57 + 27 = -4*l. Let y = 33 + l. Suppose g + 54 = 3*m + 4*g, -y = -3*g. Is 14 a factor of m?
True
Let n(z) = 9*z**3 + 2*z**2 - z. Let r be n(1). Suppose 0 = 2*u - r - 2. Is u even?
True
Let y(a) = 76*a. Does 18 divide y(2)?
False
Let f(o) = 9*o**3 - 2*o**2 - 4*o + 4. Does 12 divide f(2)?
True
Let r be 1*(-1 + (1 - -3)). Suppose 3*g = -5*l + 19, 2*l - 5*g = -2*l + 30. Suppose -l*s + 86 = -r*s. Does 17 divide s?
False
Let s be (-6)/3 - 8/(-2). Let w = 28 - s. Is w a multiple of 16?
False
Suppose -2*u = -2*z, 0*z - 2*z + 18 = 4*u. Suppose -3*l + z = -9. Suppose 0*b - l*b + 96 = 0. Is b a multiple of 12?
True
Let q(x) = 5*x - 7. Let r(h) = -6*h + 7. Let c(g) = -3*q(g) - 2*r(g). Is c(-15) a multiple of 13?
True
Suppose 2*o + 51 = 367. Suppose -4*a - 2*s + 44 + 176 = 0, o = 3*a - 2*s. Is a a multiple of 18?
True
Suppose -2*z + 4 - 2 = 0, -502 = -2*t - 4*z. Is 16 a factor of t?
False
Suppose 3*a + 3*t - 83 = t, 5*a - 3*t = 132. Does 9 divide a?
True
Let g be -3*(1 - 3)/2. Suppose -2*m - g*m + 69 = 3*x, -15 = -2*m + 3*x. Is m a multiple of 11?
False
Suppose 0 = -0*j + 3*j - 15. Let w(k) = -3 - 5*k**3 + 0*k**3 + 4*k**3 + 5*k**2 + 10. Is 6 a factor of w(j)?
False
Let g(n) = -n**2 - 9*n + 26. Let j be g(-11). Let c(a) = -a**3 - 2*a**2 + 4*a - 1. Let l be c(-4). Suppose j*b + b = l. Does 2 divide b?
False
Let b be 1/(1/(5 + -2)). Suppose 44 = b*g + 14. Is g a multiple of 4?
False
Let w = -1 - -20. Let y = w - -12. Is y a multiple of 13?
False
Let n be ((-16)/10)/(10/(-25)). Suppose 97 = n*j + 21. Does 8 divide j?
False
Let c be 0*-4*(-1)/12. Suppose 3*o - 8*o + 65 = c. Is 13 a factor of o?
True
Let t = 22 + -14. Is t + 3 - (-1 + 5) a multiple of 3?
False
Let k = 0 + 3. Let u(x) = x**3 - x**2 - 5*x + 4. Does 6 divide u(k)?
False
Suppose -3*v - 104 = -i - v, -3*v + 104 = i. Does 56 divide i?
False
Suppose q + 30 = 4*m - 3*m, 0 = 5*m + 5*q - 100. Let f(a) = -a**2 - 14*a + 1. Let y be f(-14). Let k = y + m. Does 10 divide k?
False
Let k be (-121 - 3)*2/4. Let p = 104 + k. Is 21 a factor of p?
True
Suppose 0 = i + 3*x - 7, 8*i - 2*x - 69 = 3*i. Is 2 a factor of i?
False
Suppose -4*v = -5*k + 14, 2*k + v - 13 = 3. Suppose l = k*l - 45. Does 3 divide l?
True
Let x(w) = -w**2 - 6*w - 3. Is x(-3) even?
True
Let n(d) = 7*d - 10. Is 17 a factor of n(9)?
False
Suppose 11 + 5 = 4*l. Let u be ((-3)/(-6))/((-1)/(-4)). Suppose -u*f + 55 = 3*f + l*b, -70 = -5*f - b. Does 15 divide f?
True
Let w = 18 - 25. Suppose -t = 4*t - 55. Let q = t + w. Is 4 a factor of q?
True
Suppose 0*i - 3*i + 99 = -5*d, 3*i = -d + 81. Is 12 a factor of i?
False
Suppose 3*g - 10 = c, 3*g = -2*g + 4*c + 5. Suppose -s + 130 = 4*i - 240, i - 102 = -g*s. Does 23 divide i?
True
Suppose h + 3*d + 31 - 97 = 0, -2*d = -2*h + 108. Is h a multiple of 17?
False
Let u(a) = -9*a**2 - 1. Let l = 0 + 1. Let y be u(l). Let s = 24 + y. Is 7 a factor of s?
True
Let u be (-1 - -1)/3 - -36. Suppose 2*s - u = -2*c, -2*c = 3*s - 52 - 0. Is s a multiple of 7?
False
Let s be (0/2)/(6 - 5). Suppose s = 3*i + p - 3, 3 = -3*i - 3*p - 0. Is i even?
True
Let p be 0/(-2) + 4 - 25. Suppose -o + 4*o - 123 = 0. Let d = o + p. Does 10 divide d?
True
Suppose 165 = 5*x - 4*a - a, a = 5*x - 161. Is x a multiple of 10?
False
Let z(u) be the second derivative of -u**4/12 - 2*u**3 - u. Is 15 a factor of z(-10)?
False
Suppose -4*z + 250 = -242. Suppose z = 5*s - 27. Is s a multiple of 10?
True
Suppose 2*k + 119 = -291. Let u = k + 303. Suppose 54 = 3*c + 3*s, 5*c - 2*s + 3*s - u = 0. Does 10 divide c?
True
Let i = 7 - -37. Does 8 divide i?
False
Let l be 10/(-15) + 4/6. Suppose 0 = -5*f - l*f + 20. Suppose -o + 3*o + 14 = f*c, -2*c + 13 = o. Does 2 divide c?
False
Let q be (-873)/(-27) + 2/3. Suppose 0*i + 3*i = q. Is 8 a factor of i?
False
Let s be (2*5)/(-3 + 5). Suppose 0 = -5*g + 4*c, -s*c = -g - c. Suppose -2*q - 7 = 4*n - 49, g = 3*n - q - 29. Is n a multiple of 5?
True
Let a = -2 - 2. Let d = 32 + a. Is 14 a factor of d?
True
Suppose 4*v - 20 = -0*v. Suppose -v*t + 54 = -2*t. Is 16 a factor of t?
False
Let d(p) = 6*p**2 + 2*p + 3. Let h be d(-3). Suppose -2*w + 87 = 3*l, 0 = 2*w - l - h - 48. Is w a multiple of 24?
True
Let y(q) = -q**3 + 5*q**2 - 5*q + 3. Does 3 divide y(3)?
True
Let d(o) = -o**2 - 7*o - 6. Let z be d(-6). Let m = z - -4. Let v = 0 + m. Is v even?
True
Is (2 - (-32)/(-24))/(4/858) a multiple of 11?
True
Let l(m) = 3*m - 17. Let j be l(8). Suppose f - 46 = -j. Is 10 a factor of f?
False
Is 49 a factor of (12/18)/((-6)/(-441))?
True
Is 31 a factor of 186*1*(-4)/(-12)?
True
Let b(u) = -2*u - 9. Let o be b(-7). Suppose o*i = -34 + 194. Does 16 divide i?
True
Suppose 0 = -2*w + 6, 4 - 20 = -b + 5*w. Does 6 divide b?
False
Let l(j) = -3*j + 1. Let t be l(5). Suppose s = 4*s + 12. Does 2 divide (-32)/(-14) - s/t?
True
Let o(x) = 6*x + 1. Let j be o(1). Suppose j - 28 = -3*c. Is c a multiple of 3?
False
Let l(g) be the third derivative of g**7/2520 + g**6/360 + g**5/30 + g**4/12 + g**2. Let r(z) be the second derivative of l(z). Is r(-4) a multiple of 5?
False
Let p(n) = -n**2 + 7*n - 3. Let k be p(5). Suppose k = a - 7. Is 7 a factor of a?
True
Let u = 109 + -69. Is 10 a factor of u?
True
Let t(d) = -d**3 - 6*d**2 - 7*d - 4. Let z be t(-5). Let n = z - 3. Suppose -a - n + 15 = 3*w, 124 = 5*a - w. Is a a multiple of 12?
True
Let p be ((-2 - -2) + -1)/(-1). Let w = 13 - p. Is w a multiple of 6?
True
Let l(h) = -h - 7. Let r be l(-7). Suppose 2*p + r*p = 14. Let t = p + 9. Is t a multiple of 8?
True
Suppose -3*n - 2*n = -175. Does 17 divide n?
False
Suppose 0 = 3*r - 6*r + 9. Suppose -r*s - 22 = -5*s. Is 11 a factor of s?
True
Let v = -4 + 9. Suppose -v*y = 2*f - 3 - 28, 0 = -4*y + 20. Suppose 3*l - 8 - 30 = m, -f*l + 4*m = -26. Is 6 a factor of l?
False
Let j(p) = -p**3 + 5*p**2 - 3*p - 2. Let a be j(4). Let t(m) = 2*m**2 + 12*m - 2 - 2*m**2 - m**a. Is 15 a factor of t(8)?
True
Let q(o) = -o**3 + 7*o**2 - 6. Let p be q(5). Suppose p = 2*y - y. Suppose -2*d + 0*t = 4*t - y, 4*d + 4*t - 72 = 0. Is 5 a factor of d?
False
Let y = -19 - -21. Suppose 62 = y*u - 10. Is u a multiple of 9?
True
Let q(i) = -i**3 - 4*i**2 + 5*i - 4. Let b be q(-5). Is (-6)/(b + (2 - -1)) a multiple of 4?
False
Is (2 - (-14)/(-6))/((-3)/99) a multiple of 4?
False
Suppose 0 = -4*n + 267 + 133. Suppose g - 2*u = 6*g - n, -20 = 4*u. Is g a multiple of 22?
True
Let s(f) = -f + 1. Let j be s(9). Let t = 15 + j. Let p = 25 - t. Does 9 divide p?
True
Suppose 0 = -5*l + m + 3*m - 10, 2*m - 12 = -l. Suppose 55 + 7 = l*f. Is f a multiple of 19?
False
Is 28 a factor of (5 - (-3 - -4)) + (-2 - -138)?
True
Let j(r) = 3*r - 3. Let t be j(-5). Is 5 a factor of t/12*(-20)/6?
True
Let q(z) = -5*z + 5. Let y be q(4). Let v be y/(-5) - 10/2. Is 11 a factor of v/(-7) + 225/21?
True
Suppose -t - 3 = 3. Does 4 divide ((-1)/(-1))/(t/(-48))?
True
Let o(x) = -15*x**2 + x + 1. Let v be o(-1). Let u(h) = h + 8. Let s be u(0). Does 20 divide s/(-20) + (-771)/v?
False
Suppose 2*v + v - 234 = 0. Suppose 5*i - 18 = -v. Is 31/4 + i/16 a multiple of 7?
True
Let v = -469 + 684. Is 20 a factor of v?
False
Let o = 11 + -7. Suppose -3*h + o = -2. Let g(l) = l**3 - 3*l**2 + 3*l. Is g(h) even?
True
Let n be ((-88)/12)/(1/9). Let i be (n/(-7))/((-1)/(-14)). Suppose x - k - 31 = 0, -4*k + 8*k = -4*x + i. Is 16 a factor of x?
True
Let m(f) = -f**3 - 4*f**2 - 4*f + 4. Is m(-4) a multiple of 7?
False
Suppose 2*n + 0*n + 3*g + 7 = 0, 2*n - 4*g = 28. Suppose 5*k - 47 = 4*j, 0 = -n*k - 0*j - 3*j + 50. Is 11 a factor of k?
True
Let m(g) = 2*g**2 - 11*g - 33. Does 42 divide m(15)?
True
Suppose -10*w + 8*w = -6. Suppose -f = -w*f + 50. Does 13 divide f?
False
Suppose -2*c = -5*m - c - 5, -m - 4*c - 1 = 0. Is m/3 + (-26)/(-6) a multiple of 2?
True
Let z(d) = -5*d**2 + 5*d 