
Let o = 54 - -144. Is 18 a factor of o?
True
Let d = -1 - -21. Does 10 divide d?
True
Let q(m) = 6*m**2 - 1. Let c(l) = -l**3 - 10*l**2 + 10*l - 10. Let y be c(-11). Let g be q(y). Suppose -k = -g*b, 22 = -k + 4*k - 4*b. Does 10 divide k?
True
Suppose -96 = -4*s - 0*s. Suppose -c + s + 0 = 3*g, 4*c = 0. Suppose 0*n = -n + g. Is n a multiple of 4?
True
Does 8 divide ((-96)/30)/(4/(-70))?
True
Suppose -3*f = -2*f. Suppose f*q + 24 = 2*q. Is q a multiple of 6?
True
Suppose 5*i - 5*w = -2 + 52, -2*i = 4*w - 38. Suppose d + c = 6, -3*d + 3*c - c + i = 0. Is d a multiple of 3?
False
Let g(k) = -7*k**3 - 7*k**2 - 7*k. Let d(p) = -6*p**3 - 6*p**2 - 6*p. Let v(t) = 6*d(t) - 5*g(t). Let z be v(-1). Does 8 divide (66/(-12))/(z/(-2))?
False
Let x be -2*((-10)/4 - 0). Suppose 17 - 39 = -4*f - 3*q, 0 = 3*f + x*q - 22. Does 2 divide f?
True
Suppose x = -4 + 21. Is 3 a factor of x?
False
Let c = 95 + -59. Does 14 divide c?
False
Suppose 6*r + 53 - 143 = 0. Is 10 a factor of r?
False
Let x(b) be the third derivative of -b**6/120 + b**5/12 + 5*b**4/24 - b**3/6 - b**2. Suppose 3*w - 14 = 1. Is 14 a factor of x(w)?
False
Let a(z) = 2*z - 3. Let g be a(3). Suppose g*f + 30 - 90 = 0. Does 11 divide f?
False
Let g(t) = t**2 - t + 61. Let z(p) = -p + 1. Let b be z(1). Let v be b/(0 + 1 + 0). Is g(v) a multiple of 25?
False
Suppose n + 4*n + 20 = 0. Let i = n - -1. Does 6 divide ((-11)/i + 1)*3?
False
Let p(l) = l**3 - 7*l**2 - l - 8. Is 16 a factor of p(8)?
True
Is 1*36 + -1 + 1 a multiple of 18?
True
Let z be (90/(-4))/(18/(-24)). Suppose 4*a + 2*w = z, 3*w + 24 = 4*a - 1. Does 6 divide a?
False
Let s be (-6)/(-3 + 0) - -11. Suppose -s = 3*j + 20. Let v = 2 - j. Is v a multiple of 10?
False
Let o(s) = -s**3 + 8*s**2 - 8*s + 1. Suppose 35 = -0*x + 5*x. Let u be o(x). Let w(y) = -5*y + 6. Is w(u) a multiple of 18?
True
Let p(z) = -z**2 + 3*z + 8. Let s be p(6). Let u = 31 + s. Let g = u + -14. Is 7 a factor of g?
True
Let y(v) = 61*v**3 + 2*v - 1. Let a be y(1). Let n = a - 38. Is n a multiple of 8?
True
Let d(v) = 3*v**2 + 2. Does 29 divide d(3)?
True
Let v(c) = -c**2 + 12*c + 4. Is 12 a factor of v(8)?
True
Let x = 203 - 130. Is x a multiple of 42?
False
Suppose 0 = -2*d + 3*d - p - 70, -5*d + p = -342. Is d a multiple of 17?
True
Let p(a) = -4*a**3 - a**2 + 1. Suppose -k + 4 = -0. Suppose k*o = 0, 4*v - 2*o = -v - 5. Is p(v) a multiple of 2?
True
Suppose 5*j = d - 47, 0 = -5*d - 4*j - 0*j + 264. Suppose -d = -u - 0*u. Suppose 2*k + 2*k = -5*l + 44, 2*k - u = -5*l. Does 9 divide l?
False
Suppose -3*v - 4*x + 41 - 236 = 0, -2*x - 132 = 2*v. Let r = -39 - v. Is 15 a factor of r?
True
Let v(b) = b**3 - 3*b**2 - b - 17. Is 4 a factor of v(5)?
True
Let b(j) = j**2 - 7*j + 4. Let m be b(8). Let s = m + -4. Is s a multiple of 8?
True
Let f be (-4)/(-16) - (-38)/8. Let j = 100 + f. Suppose -5*u = 5*k - 105, 2*k + j = 4*u + 15. Is u a multiple of 8?
False
Let m(h) = h**3 - h**2 + 3 - 4*h**3 + 4*h**3. Let b be m(0). Let c(q) = 9*q. Is c(b) a multiple of 10?
False
Let h = 143 - 99. Let b = -16 + h. Is 21 a factor of b?
False
Let n = 13 - 9. Suppose -q = k - 5*q + 3, -2*k + n*q = -6. Does 4 divide k?
False
Let i(w) = -w**3 - 7*w**2. Let r be i(-7). Suppose -4*v - m + 16 = 0, -5*v + 10*m - 5*m - 5 = r. Suppose g + 2 = -1, -v*k = 2*g - 45. Is k a multiple of 7?
False
Suppose 3*c = -c + 16. Let t = c - 2. Is 1/t + 50/4 a multiple of 7?
False
Suppose -3*l = -4*l + 22. Is 2 a factor of l?
True
Let y = -11 + 36. Suppose -5*u - y = 0, 24 = -3*c + 3*u + 192. Is c a multiple of 17?
True
Let j(d) = -3*d - 15. Is j(-9) a multiple of 4?
True
Let d(r) = 14*r**2 + r + 6. Does 45 divide d(3)?
True
Let q(i) be the third derivative of -13*i**4/24 + i**3/3 - 6*i**2. Is 7 a factor of q(-2)?
True
Suppose 3*k = 2*k + 8. Does 3 divide k?
False
Let t(g) be the first derivative of 7*g**3 - g**2 - 2*g + 6. Is t(-2) a multiple of 24?
False
Suppose 0 = -3*v + 2*v + 17. Let q = 13 + v. Does 10 divide q?
True
Let d(v) = v**2 - 3*v + 6. Let p(n) = 2*n**2 + 3*n - 1. Let f be p(-3). Let u be d(f). Let l = u + -14. Does 16 divide l?
True
Let c be (1 + (4 - 4))*8. Is c/(-6)*162/(-4) a multiple of 26?
False
Suppose 3*r - 15 = -r + 3*u, -r = -2*u - 10. Let o(z) = z + 12. Let n be o(r). Suppose 0 = 5*f - 4*f + 4*w - n, 60 = 5*f + 2*w. Is 6 a factor of f?
True
Suppose 4*s - 6*s = -18. Is 9 a factor of s?
True
Let p(b) = -7*b**2 - 1. Let l be p(-1). Let u = l - -10. Is u a multiple of 2?
True
Let m = 99 + 4. Is 22 a factor of m?
False
Let c be ((-2)/(-4))/((-1)/48). Let s be (-16)/(-3) + 8/c. Suppose -21 = -s*v + 4. Is v a multiple of 3?
False
Let j be (1 - -14)/(12/8). Suppose -27 - j = -s. Is 17 a factor of s?
False
Suppose -4*k - 2*j + 56 = 0, -2*k + 12 + 8 = -j. Is k - -2 - (3 - 4) a multiple of 14?
False
Does 30 divide 1/(-3) - (-100)/3?
False
Let l(t) = t**2 + t + 10. Does 5 divide l(7)?
False
Let a(r) = -2 + 2*r**2 - 2*r - r**2 + 0*r. Let p be a(7). Suppose -l - 2*l = -3*v + p, -v + 17 = 5*l. Is v a multiple of 6?
True
Let f(o) = 2*o + 4*o - 2*o + 8 - o. Does 16 divide f(8)?
True
Let z(x) = -14*x. Let q be z(-1). Let f = 5 + q. Does 19 divide f?
True
Does 23 divide 15/((-159)/168 + 1)?
False
Let r(g) = -g**3 - 7*g**2 - 6*g + 4. Let d be r(-6). Suppose 3*j - 3*t = -6, 6*j - 6 = d*j - 3*t. Suppose j = -6*w + 3*w + 39. Is 13 a factor of w?
True
Is 7 a factor of (-1917)/(-39) + (-1 - 22/(-26))?
True
Let c(g) = 2*g**2 + 4*g - 1. Is 29 a factor of c(3)?
True
Let g(w) be the second derivative of w**3/6 + 6*w**2 - w. Is g(0) a multiple of 7?
False
Let g be ((-18)/(-15))/(6/15). Suppose g*y = -7 + 31. Does 8 divide y?
True
Let h be (1/(-2))/((-4)/32). Let c(r) = r**2 - 5*r + 4. Let g be c(h). Suppose -4*k + 20 = g, 0*k + 23 = 2*d - 5*k. Is 12 a factor of d?
True
Let j = 22 - 16. Let d(m) be the second derivative of -m**5/20 + 2*m**4/3 - 3*m**3/2 + 2*m. Is d(j) a multiple of 7?
False
Does 7 divide -3*(-3)/9 - -13?
True
Let s = 431 - 289. Is 12 a factor of s?
False
Suppose -5*z + 6 = -4. Suppose 3*m - 2*w = z*w + 53, -w = 5. Is m a multiple of 7?
False
Let s be 1*7 + -1 + 2. Let x(d) = -d**2 + 8*d + 1. Let u be x(s). Suppose 3*k - 58 = -u. Is 11 a factor of k?
False
Let r(o) = -o**3 - 7*o**2 - 6*o - 2. Let l be r(-6). Is 3 a factor of (-2 + 0)*3/l?
True
Suppose -14*x + 385 + 2597 = 0. Does 43 divide x?
False
Let y(c) be the first derivative of -36*c**2 - 2*c + 3. Is 25 a factor of y(-1)?
False
Let r(k) = 2*k + 2. Let v be r(2). Is 68 + (-2)/v*0 a multiple of 32?
False
Suppose 0 = -3*f + 2*w + 323, -2*f + 148 = -w - 68. Suppose 22 = s - 5*p, s = -s - 3*p + f. Is 17 a factor of s?
False
Let t = 110 + -61. Suppose 4*k + 17 = 5*k. Suppose 3*q + 4*a = -k + t, -1 = a. Is 6 a factor of q?
True
Suppose r = 36 + 3. Suppose 0*s = -3*s + r. Is 11 a factor of s?
False
Let s(l) = 6*l**2 + 2*l - 2. Let h be s(2). Let o = h + -10. Is o a multiple of 8?
True
Let b(h) = 3*h - 7. Suppose -5*w + 2*x + 13 = 0, -3*w + 9 = -x + 1. Suppose 2*n - w*n - 2*l = -13, 0 = -3*l + 9. Does 5 divide b(n)?
False
Let s = 110 - 70. Suppose 6*l - l = -s. Is l*(-2)/8*3 a multiple of 3?
True
Let s(h) = 59*h**2 - 1. Suppose 4 = -5*c - 1. Is s(c) a multiple of 20?
False
Is 30 a factor of -1*(-11)/((-11)/(-60))?
True
Let z(k) = 13*k - 76. Does 4 divide z(8)?
True
Let b(t) = t**3 - 11*t**2 + 10*t - 3. Let v be b(10). Is (-1 + 12)/(v/(-15)) a multiple of 28?
False
Let x = -7 + 29. Does 6 divide x?
False
Suppose 0 = i + 4*i - 4*b - 500, -3*i + 5*b = -287. Is 26 a factor of i?
True
Let i = 95 - 83. Is i a multiple of 4?
True
Let b be 0 + 9/1*1. Is 14 a factor of 87/b*3*1?
False
Let c(h) = 17*h. Let n be c(2). Let o = n - 24. Is 4 a factor of o?
False
Is (121/(-2))/((-1)/2) a multiple of 30?
False
Suppose 0*s + 2*s = -4956. Is 1/6 - s/36 a multiple of 25?
False
Let c(s) = s**3 + 3*s**2 - 4*s - 4. Suppose 4 = -4*i + 2*q, q = -2*q - 12. Let l be c(i). Is 12 a factor of (1 - 87)*(-4)/l?
False
Suppose -34 = 2*z - 5*i + 11, 5*i = z + 20. Let l = z - -41. Is l a multiple of 16?
True
Let i = 7 + 3. Suppose -5*n = -5*y + i, 2*n - 20 = -0*n - 4*y. Suppose n = -o, -37 = -5*p + 5*o - 7. Is 4 a factor of p?
True
Let x(l) = -10*l - 5. Is 3 a factor of x(-2)?
True
Let y(i) = i**3 + 8*i**2 - i - 6. Let b be y(-8). Suppose 2*q + 88 = 3*z, b*q - 68 = -0*z - 3*z. Is z a multipl