2 - -6 - x - -4?
True
Let j = -521 - -563. Is j a multiple of 14?
True
Suppose 0 = 51*c - 29*c - 6292. Does 13 divide c?
True
Let u(f) = f**3 + 11*f**2 + 19*f + 4. Is u(-6) a multiple of 14?
True
Let h = 1556 + -1206. Is h a multiple of 10?
True
Let x = 16 - -2. Let m = x - -174. Is m a multiple of 8?
True
Let k(o) = o**3 + 7*o**2 - 15*o - 12. Let y be k(-10). Let x be y/10 + (-1)/(-5). Let d = 12 - x. Is d a multiple of 28?
True
Suppose -3*o = -7297 - 7523. Is 81 a factor of o?
False
Let t be 2013/4 + (1 - (-10)/(-8)). Suppose 4*a + c - t = 0, -5*c - 3 - 22 = 0. Is a a multiple of 6?
False
Let o(i) be the first derivative of i**4/4 + 2*i**3 - 3*i**2 - 9*i - 50. Let v be 1 - (10 + -3 + 0). Does 8 divide o(v)?
False
Let c(s) = -5*s**2 + 17*s + 56. Let a(p) = 3*p**2 - 11*p - 37. Let m(u) = -8*a(u) - 5*c(u). Is m(-15) a multiple of 14?
True
Let w(u) = -4*u + 32. Let m be w(8). Suppose q - 5*n - 87 = 0, 2*n - 458 = -4*q - m*n. Is q a multiple of 22?
False
Suppose 0 = 3*n - 3*s - 13362, n + 4*s - 2659 = 1785. Is n a multiple of 53?
True
Suppose -62*a + 6990 + 16818 = 0. Does 9 divide a?
False
Let g(t) = -t + 1. Let b(z) = 3*z + 2*z - 5*z - 3*z. Let x(d) = b(d) - 4*g(d). Is x(6) a multiple of 2?
True
Let t be (10/6 + 0)/(1/(-3)). Let y(k) = -19*k + 14. Let s(a) = -6*a + 5. Let r(m) = 7*s(m) - 2*y(m). Is 10 a factor of r(t)?
False
Let w = 13 - 10. Suppose -29 = 2*x + x - 4*b, 2*x + 42 = -w*b. Let d = x + 54. Does 13 divide d?
True
Suppose 33*t - 146073 = -40*t. Does 29 divide t?
True
Let o be (-108)/(-5)*(-120)/18. Is (o/(-56))/(3/28) a multiple of 12?
True
Let j = 237 + 31. Is j a multiple of 11?
False
Suppose -21*z + 41391 = -12474. Does 19 divide z?
True
Suppose -1496 = -104*d + 103*d. Is 21 a factor of d?
False
Is ((-9)/6)/(27/(-558)) a multiple of 31?
True
Let y(i) = 9*i**3. Let w be y(1). Let k(m) be the third derivative of -m**4/24 + 2*m**3 + 3*m**2. Does 3 divide k(w)?
True
Suppose -4*p + 33 = -487. Let y = p - 81. Suppose 3 = -g + y. Is g a multiple of 23?
True
Does 10 divide 29/(3480/(-16)) + 16204/30?
True
Let m(u) = u**3 - 5*u**2 + u. Let z be m(4). Suppose 4*w - 2*w + 16 = 0. Is z/w + 42/4 a multiple of 8?
False
Let t(o) = 0*o - o - 38 + 58. Does 2 divide t(13)?
False
Does 36 divide -1 + -1 - (1 + -257 - -2)?
True
Suppose 532 = -42*y + 43*y. Does 38 divide y?
True
Let j(a) = 33*a. Is j(10) even?
True
Let f = -494 - -1072. Is 34 a factor of f?
True
Suppose 9*f - 12587 + 1247 = 0. Is 30 a factor of f?
True
Let q(i) = -2*i + 12. Let o be q(5). Suppose 0 = 2*h - 5*j - 40, -h = 4*h - o*j - 142. Suppose -5*m + h = -75. Is 7 a factor of m?
True
Let m = 40 + -35. Let a(b) = -b**3 + 7*b**2 + 9*b - 12. Is 15 a factor of a(m)?
False
Suppose -1 = w + 3, 4*o = 2*w + 28. Suppose -o*u + 89 + 281 = 0. Is u a multiple of 10?
False
Is 1/((-2)/(-1248))*(-10)/(-5) a multiple of 16?
True
Let i(d) = d**3 + 16*d**2 + 8*d + 67. Is i(-15) a multiple of 8?
False
Let p(z) = -688*z - 18. Let w be p(-3). Does 10 divide 8/(-20) - w/(-15)?
False
Suppose -4*f - 1628 = -9*f - 3*o, -f + o + 332 = 0. Is 82 a factor of f?
True
Suppose -370 = -6*l + 5*l - 3*j, 3*j = 5*l - 1760. Does 71 divide l?
True
Let z(u) = -u**3 - 7*u**2 - 5*u + 6. Let o be z(-6). Suppose 2*w + d = -38, -5*w + 8*d - 3*d - 110 = o. Does 7 divide (w/(-50))/((-1)/(-70))?
True
Let n = -6 - 33. Let w = -16 - n. Is w a multiple of 3?
False
Let l(b) = -3*b**2 + b. Let h be l(-1). Let k be 3 + -2 - (h - 0). Suppose -2*s + 116 = -2*j, -s - 15 = -k*j - 81. Is 15 a factor of s?
False
Let f(m) = m**3 + m**2 - 3*m + 2. Let k(j) = -j - 5. Let b be k(0). Let z be f(b). Let w = z + 136. Is w a multiple of 28?
False
Suppose 15*g = 12*g - 9. Is 27 a factor of (-420)/(-2) - (-3 - -2 - g)?
False
Let y = 140 - 310. Let j = -142 - y. Is 3 a factor of j?
False
Let k(t) = -2*t**3 - 6*t**2 + 4*t + 1. Let d(w) = -w**3 + 11*w**2 + 13*w - 16. Let a be d(12). Is k(a) a multiple of 16?
False
Suppose -3*a + 3*v = a - 49, 5*v - 15 = -3*a. Let i = a - 8. Suppose 0 = -i*c + 6*c - 220. Is c a multiple of 24?
False
Suppose 11*s - 3477 = 1605. Does 70 divide s?
False
Let y(f) be the second derivative of 0 - 4*f + 4/3*f**3 + 2*f**2. Is y(7) a multiple of 20?
True
Let c(v) = v**3 + 12*v**2 + 10*v + 9. Suppose 5*b - 10 = -0. Let o be ((-5)/(-15))/(b/(-66)). Is 10 a factor of c(o)?
True
Let v(h) = -h**2 - 9*h. Let c be v(-9). Suppose c = -j + 4 + 4. Suppose 3*b + 115 = j*b. Is b a multiple of 8?
False
Let g(k) be the first derivative of k**2 - 4*k + 3. Let u be g(4). Is u + -3 - (2 + -56) a multiple of 15?
False
Let m(u) = u**3 + 14*u**2 - 17*u + 4. Let a be m(-14). Suppose a = 17*q - 15*q. Does 11 divide q?
True
Suppose -h = 5*f - 23, 0 = -h + 5*h - 5*f + 8. Suppose -6*r + h*r = 12. Is 94*(-1 + -1)/r a multiple of 17?
False
Let d be (-2)/(-8) - 165/(-12). Let q be (-223)/9 + d/(-63). Is 3 - q*(-1)/(-1) a multiple of 7?
True
Let c(b) = b**2 + 6*b + 1. Let t = -12 - -6. Let z be c(t). Is 15 a factor of (z/2)/(3/180)?
True
Let v = 166 + -98. Suppose -2*z = 2*k - v, k + k = -z + 30. Does 19 divide z?
True
Let c be 0/(-1) + -1 + -1. Suppose -1 - 383 = -2*n. Is 24 a factor of ((-36)/48)/(c/n)?
True
Let t = 1549 - 1351. Is t a multiple of 54?
False
Let w(i) = i**3 - 4*i**2 - 19*i + 24. Is w(8) a multiple of 16?
True
Let k(n) = n**3 - 5*n - 1. Let m be k(-5). Let t = m + 32. Let s = t - -129. Does 20 divide s?
True
Let o be (-4 - -4) + 0 + (-116)/(-2). Let g = 159 - o. Is g a multiple of 18?
False
Suppose 5738 = b + 3*r, b + 2*r = 4*b - 17181. Does 8 divide b/102 + 1/(-6)?
True
Let w(y) = -10*y + 16. Let m be w(12). Let g = 329 + m. Suppose 5*i + 113 = 2*q, -i + 44 = 5*q - g. Is 18 a factor of q?
True
Let q = -16 + 19. Suppose 4*y = -f - q*f + 84, 4*f - 59 = y. Does 4 divide f?
True
Suppose -7*z = -1472 - 1034. Is z a multiple of 28?
False
Let o = -964 + 1366. Is 9 a factor of o?
False
Let o be 14/(-8) - 1/4. Suppose 0 = 3*m - 7 - 5. Let j = m - o. Does 5 divide j?
False
Suppose 5*m - 13*m + 5632 = 0. Does 44 divide m?
True
Suppose -261*i = -259*i - 924. Does 14 divide i?
True
Suppose 0 = 33*w - 32*w - 7. Suppose -5*s + w = -68. Is s a multiple of 15?
True
Let z = -65 - -29. Suppose -4*d = 113 + 87. Let v = z - d. Is v a multiple of 14?
True
Let k be ((-165)/45)/(1/6 + 0). Is k/(-33) - 1245/(-9) a multiple of 14?
False
Is 22 a factor of 2/(-7) - (-12492)/63?
True
Let v(j) = -3*j**2 + j - 1. Suppose 0 = c - 0*c - 1. Let u be v(c). Let g(r) = -r**3 + r**2 + 3*r - 2. Does 25 divide g(u)?
True
Let g(o) = 17*o - 3. Let p be g(2). Is 14 a factor of (-4)/(-2*2)*p - 3?
True
Let p(f) = 2*f**2 - 17*f + 20. Suppose -2*y + 3*z = 8*z + 5, 3*z + 35 = 2*y. Is p(y) a multiple of 7?
False
Suppose -2*j + 45 - 7 = 0. Let w = -16 + j. Suppose -2*b + w*b + 3*c = 15, -2*c = 4*b - 60. Is 7 a factor of b?
False
Suppose -4 = -0*f + 2*f - 2*q, 5 = 2*f + q. Is 27 a factor of 54/1*7/2*f?
True
Suppose 0 = 4*t + 11 + 13. Is 18 a factor of (-8)/t - 320/(-3)?
True
Suppose 4*c = -x + 10, -3*c + 8 = 2. Suppose -14 + x = -3*g. Suppose g*n - 173 - 19 = 0. Is 12 a factor of n?
True
Let m(i) = 25*i**2 - 2*i - 3. Let x be m(-1). Let w = 12 + -19. Is x/w*315/(-30) a multiple of 18?
True
Let c be ((-15)/4)/(((-77)/(-56))/11). Let v = c - -47. Is 2 a factor of v?
False
Let n(q) = 2*q**2 - 19*q - 140. Does 5 divide n(-13)?
True
Let g(o) = -o**3 - 3*o**2 + 13*o + 11. Let k be g(-5). Let r(m) = 8*m + 1. Let x(z) = 16*z + 3. Let w(a) = -13*r(a) + 6*x(a). Does 13 divide w(k)?
False
Let i(a) be the first derivative of a**3/3 + a**2/2 - 2*a + 32. Is 15 a factor of i(5)?
False
Let a = 0 + 4. Suppose 22*l - 32 = 14*l. Is 6 a factor of ((-5)/l)/(a/(-48))?
False
Let s = 3 + -5. Let a be (-10)/(-5) + 1*s. Suppose 5*g - 35 = -2*m, 2*m - 4*g = -a*g + 26. Is 15 a factor of m?
True
Suppose 8*x = 4*x - 5*w + 78, 0 = -4*x - 4*w + 76. Let g(u) = -6*u - x + 9*u + 2. Is g(7) even?
True
Suppose -c - 15 = 3*m - 5, 4*c - 45 = 5*m. Let l(b) be the third derivative of -b**4/24 + 5*b**3/6 + 4*b**2. Does 10 divide l(m)?
True
Suppose -o + 4*z - 148 = -3*o, -5*z = 5*o - 370. Is o a multiple of 37?
True
Suppose 15 = 7*z - 4*z. Let f be (-2 + z + -2)*-2. Let o = 16 - f. Is 9 a factor of o?
True
Let q be ((-5)/(5/(-2)))/1. Suppose 5*d - q*d = -45. Is 7 a factor of ((-21)/d)/(2/10)?
True
Let y(i) = -i**3 - 3*i**2 + 2*i