le of 12?
True
Let b(i) be the first derivative of -i**3/3 + 5*i**2 - 2*i + 2. Is 16 a factor of b(4)?
False
Let m = -5 + 11. Let p(b) = 2*b - 8. Let u be p(m). Let n = 1 + u. Does 5 divide n?
True
Let q(z) = -10*z - 18. Does 8 divide q(-8)?
False
Suppose -372 = -2*v - 122. Suppose 5*m - 198 = -3*h, -h = h + m - v. Is 21 a factor of h?
False
Suppose -4*p = -3*k - 11, 2*k - 2*p + 9 = 3. Let a = k - -7. Let v(h) = 7*h - 6. Is v(a) a multiple of 12?
True
Let m = -118 + 175. Does 19 divide m?
True
Suppose -u = -6*u + m - 8, 5 = 4*u + 3*m. Let s be 2/u + 42/7. Suppose 0 = s*h + 8, -k = 4*k - 5*h - 110. Is 10 a factor of k?
True
Let k(p) = -p**2 + 12 + 35 - p + 0*p**2. Is k(0) a multiple of 12?
False
Let m be (-2)/4*220/(-5). Let r = m - 15. Is 2 a factor of r?
False
Let f be -3*(6/(-9) + 0). Suppose 0 = f*n - 0*n. Is 4 a factor of (n - 2*-1) + 6?
True
Let d be (-5 - -5)/(2/(-2)). Suppose l - 61 + 21 = d. Does 15 divide l?
False
Let q(a) = -3*a**3 - a**2 - 2*a - 3. Is q(-3) a multiple of 25?
True
Let p = -13 + 8. Let r(g) = -5*g - 3 + 2*g + g. Does 3 divide r(p)?
False
Let l(c) = -7*c - 7. Let s be (-12)/8 + 18/(-4). Let g be l(s). Let u = g + 15. Is u a multiple of 13?
False
Let k(t) = -t**3 - 7*t**2 + 5. Let g be k(-7). Suppose 3*f = -6 - 0, 5*a = g*f + 270. Does 26 divide a?
True
Let l(m) = -m**2 + 12*m + 2. Is 9 a factor of l(10)?
False
Let b be 9 + (0 - 1) + 0. Suppose -5*u + b = -7. Suppose -23 = -x - 2*l - 6, 2*l = u*x - 11. Is 7 a factor of x?
True
Let i(c) = -6 - c - 2*c**3 - 3*c + c**3 - c**3 + 3*c**2. Let n(x) = x**2 - x - 1. Let f(z) = i(z) - 4*n(z). Does 5 divide f(-2)?
True
Let u = 52 + 25. Is u a multiple of 13?
False
Let a = -35 + -478. Does 16 divide a/(-15) - 1/5?
False
Let t be -2*(-1)/(-4)*-320. Suppose t = -5*j + m, 3*m = -m. Let d = 22 - j. Does 23 divide d?
False
Let v = -5 + 9. Suppose -v*s - 3*z = -s - 153, 5*z = -4*s + 207. Does 12 divide s?
True
Let z = -4 + 6. Let s = -3 - -3. Suppose s = z*o - 4*o + 28. Is o a multiple of 7?
True
Suppose -2*j = -3*j. Suppose j*k + 4*k = 24. Is 2 a factor of k?
True
Let s(w) = w**3 - 3*w**2 - 2*w - 3. Let f be s(4). Suppose -h + 6 = h. Suppose -f = -a - h. Is a a multiple of 2?
True
Let k = -19 - -9. Let a = k - -6. Is (1 - a) + (-2 - -1) a multiple of 2?
True
Suppose 0*l + l - 48 = 0. Let h = l + -28. Is h a multiple of 10?
True
Let i = 0 - 0. Suppose 5*t + 16 - 66 = i. Is 10 a factor of t?
True
Suppose q - 2 - 8 = 0. Is q a multiple of 7?
False
Let h be -2 + 1 - (-8 + -3). Let f = h - 6. Does 3 divide (2/(-6))/(f/(-72))?
True
Let l be 152 + (-2)/(-1) - -1. Suppose 4*y - 4*s - l = 185, -300 = -4*y - 4*s. Suppose -5*a = 5*t - y, t + 5*a = -9 + 25. Is 16 a factor of t?
True
Let r be (4/(-8))/(1/30). Let h = r - -37. Is 16 a factor of h?
False
Let m(v) = v**3 + 9*v**2 + 10*v + 6. Let z be m(-6). Let d = -76 + z. Does 16 divide 5 - 3 - (d + 0)?
False
Let o = 0 - -3. Suppose 2*y - o = 19. Does 7 divide y?
False
Let r be 1/(6/(-15))*-2. Let l be (-393)/(-5) - (-2)/r. Suppose 3*q + w - 159 = 0, -q + 5*w - 10 + l = 0. Is q a multiple of 14?
False
Let w = -17 + 17. Suppose i - 3*k - 50 = -0*k, 3*i + 4*k - 176 = w. Does 12 divide i?
False
Suppose -21 = -5*u + 4. Suppose -u*t + 32 = -3*t. Is t a multiple of 6?
False
Let j(b) = 8*b - 6. Let t be j(7). Let c = 119 - t. Is c a multiple of 23?
True
Is 2 a factor of 25 - ((-3)/(-3) + -5)?
False
Is (1090/(-15))/((-6)/9) a multiple of 11?
False
Let n be (-2 - -1) + -3 + 1. Let b(y) = -y**2 - 4*y - 1. Let m be b(n). Let c(u) = 5*u + 2. Does 6 divide c(m)?
True
Let n = -38 - -59. Is 3 a factor of n?
True
Let b(w) = -w**2 + 3*w + 3. Let l be b(3). Suppose -l*y + 5*y = 114. Is 19 a factor of y?
True
Suppose 0 = 5*h - 7*h + 346. Is 10 a factor of h?
False
Suppose 2*o = -0*o + 6. Let s be 20*(26/8 - 2). Suppose z - o*n = -5*n + 7, 4*z - s = -5*n. Is z a multiple of 5?
True
Let v be (-10)/(-4)*(-376)/(-10). Suppose 94 = 3*h + o, -4*o + 12 + v = 3*h. Does 15 divide h?
True
Let w(x) = -3*x + 9. Is 9 a factor of w(-12)?
True
Suppose -4*u + 0 + 2 = 3*c, c + 5*u = 8. Let l(h) = -h + 11. Let z be l(-12). Is c/4 + z/2 a multiple of 3?
False
Let z = 115 + 0. Let s = z - 79. Is s a multiple of 9?
True
Suppose 0*c = 6*c - 282. Is c a multiple of 3?
False
Suppose x + 13 = 141. Is 8 a factor of x?
True
Let v(i) = i**2 + 5*i + 3. Let u be v(-5). Suppose u*n + 6 + 4 = 2*l, l - 5 = -4*n. Suppose -x - x + l*y = -45, 0 = x + 5*y. Does 12 divide x?
False
Let n = 167 - 95. Does 8 divide n?
True
Let v = -28 - -146. Suppose -4*f - v = -6*f. Does 16 divide f?
False
Let q(j) = -j**3 + 6*j**2 + 11*j - 8. Let r(y) = -y**3 + 6*y**2 + 11*y - 8. Let t(b) = -5*q(b) + 6*r(b). Is t(7) a multiple of 13?
False
Let l(y) = 17*y + 6. Is l(2) a multiple of 9?
False
Suppose -5*f - 4*m = 20, -4*f - m = 6 - 1. Suppose f*x - 39 = -x. Does 13 divide x?
True
Suppose 3*c - j - 5 = 0, -2*j = -3*c - 7*j + 11. Suppose -5*h + c*h = 27. Let a = h - -16. Is a even?
False
Let g(n) = n**3 + 14*n**2 + 9*n - 28. Is 10 a factor of g(-10)?
False
Suppose -2*k - 5*s = -s - 62, 4*k - 4*s = 184. Let y = k - -19. Does 12 divide y?
True
Suppose -5*j + 312 - 82 = 0. Let q = j - 74. Is (q/6)/(10/(-15)) a multiple of 4?
False
Suppose 0 = 5*l - 7 - 8. Suppose l*j + j = 16. Suppose 4*u + 5*v - 32 = j*v, -5*u - 5*v = -40. Is u a multiple of 4?
True
Let m(j) = -j - 1. Let k(z) = 3*z**2 + 4*z + 5. Let h(u) = k(u) + 4*m(u). Let x be h(1). Suppose -3 = i - 5*l, 0 = -0*i + 5*i + x*l - 72. Is 4 a factor of i?
True
Let h = 8 - 2. Suppose j - h = 16. Does 13 divide j?
False
Let x(i) = -i**3 + 8*i**2 + 10*i - 4. Let z be 4/18 + (-474)/(-54). Is x(z) a multiple of 5?
True
Suppose -7*c = -8 - 496. Is 18 a factor of c?
True
Let w = -322 - -475. Suppose -174 = -3*d + 4*n, 3*n - w = -4*d + d. Is 13 a factor of d?
False
Suppose -5*r - 3*u - 200 - 35 = 0, r - 5*u = -19. Let k = r + 104. Is 15 a factor of k?
True
Let b = -11 + 7. Let i = b - -4. Is (-1)/(i - (-3)/(-18)) a multiple of 3?
True
Suppose 4*x + 0*x = o + 29, 0 = 5*o - 15. Suppose -4*h = -2*h - x. Is h a multiple of 2?
True
Suppose 0*r = -2*r + 18. Let i = r + -4. Is 5 a factor of i?
True
Let i = 20 + -9. Suppose 0 = 2*k - 21 - i. Is k a multiple of 10?
False
Let v(i) = -i**3 - 12*i**2 + 14*i - 16. Let k be v(-13). Let w = 43 + k. Is w a multiple of 3?
False
Let c(s) = s**2 + 7*s - 6. Let r be c(-8). Suppose 6*d = r*d - 3*a + 177, 2*d - 71 = -5*a. Suppose -2*z = 2*z - d. Is 12 a factor of z?
True
Let d(h) = -121*h**3 - 13*h**2 - 13*h - 9. Let q(l) = -30*l**3 - 3*l**2 - 3*l - 2. Let v(o) = -2*d(o) + 9*q(o). Does 14 divide v(-1)?
True
Is 17 a factor of -6 - -41 - 1/1?
True
Let j(m) = m**3 - 10*m**2 + 11*m + 2. Let d be j(9). Suppose d = 3*a + 2*y, a + 0*y - 3*y - 14 = 0. Does 8 divide a?
True
Let s(j) = -j**2 - 15*j. Is s(-5) a multiple of 17?
False
Is (-9)/45 - (-1 - (-166)/(-5)) a multiple of 8?
False
Let h(r) = -r + 1. Let s(g) = -4*g**3 + 3*g**2 + 1. Let b(u) = -2*h(u) - s(u). Let i be b(2). Suppose q - i = -2*q. Is q a multiple of 2?
False
Is (-595)/17*6/(-7) a multiple of 10?
True
Let y be 18*(-2 + 17/3). Suppose -3*w + y = 12. Suppose 24 = 3*f - w. Does 10 divide f?
False
Let m = 1 - -1. Suppose -17 = h - m*h. Does 17 divide h?
True
Suppose 3*n + 4 = -2, 5*w - 364 = 2*n. Is w a multiple of 6?
True
Let z(o) = -21*o. Let n be z(-1). Suppose 2*a - n - 3 = 0. Suppose a = 2*y - 0*y. Does 6 divide y?
True
Let r = -21 - -31. Let l be 27/2 - 5/r. Let m = l + 1. Is m a multiple of 9?
False
Let t = 10 + -7. Suppose -2*a = t*h + 1, -38 = -3*a + 4*h + 3. Let y(f) = f**2 - 5*f - 4. Is 8 a factor of y(a)?
False
Suppose -2*h = 1 + 7. Let t be ((-1)/4)/(h/16). Is t/(-5) + (-162)/(-10) a multiple of 16?
True
Let y be ((-8)/5)/(16/(-40)). Suppose -4*t + 3*g + 195 = 0, -y*t + 189 = -0*g + 3*g. Does 13 divide t?
False
Let c(d) = -d**3 + 8*d**2 - 6*d + 5. Suppose -4*p - 4*l + 40 = 0, 5 - 1 = l. Let x be c(p). Suppose 3*j + j + 2*a - 118 = 0, -5*a = -2*j + x. Does 11 divide j?
False
Let v(b) = 4*b**2 - 13*b + 1. Is 9 a factor of v(5)?
True
Suppose 0 = 4*y - 0*y - 68. Let c = 45 - y. Is 14 a factor of c?
True
Let j(b) = -b**3 + 8*b**2 - 7*b + 4. Let f be j(7). Suppose -d = -3*s - 5*d - 10, 2*d = -f*s - 10. Does 21 divide (-1)/s - 261/(-6)?
False
Suppose 9 = 3*r - 2*r. Is r even?
False
Let b = -16 -