a factor of l?
True
Let f(v) = v**3 - 4*v**2 + 4*v + 2. Let o be (-1 + 1)*1/(-2). Let n be 0 + (-3 + o - -7). Is f(n) a multiple of 5?
False
Suppose k = 4*j - 11, -12 = k + k - 3*j. Let i be ((-2)/3 + 1)*k. Is 15 a factor of -3*(-4 - (i - -18))?
False
Suppose -z + 1 = 0, 4*c = 2*z - z - 1. Suppose -5*t + 7*u - 4*u = -11, c = -3*t + 4*u. Does 4 divide t?
True
Let o(f) = -f**3 + 4*f**2 + 12*f + 2. Let h be o(6). Suppose -5*r = 5*l - 130, -5*l = -h*r - r + 70. Is r a multiple of 5?
True
Is 10 a factor of 27900/126 - (-5)/(35/4)?
False
Suppose 3*u + u - 4 = 0, -3*i + 145 = u. Suppose 42*q - i*q = -204. Does 5 divide q?
False
Let b = -12 + 20. Let t(o) = 7 - 2 + b*o - 9*o. Is t(-5) a multiple of 10?
True
Let j(z) = -z**3 + 14*z**2 - 19*z - 27. Is j(12) a multiple of 3?
True
Suppose -t = -3*t + 1094. Suppose 127 - t = -5*j. Is 12 a factor of j?
True
Suppose m - 867 = -4*k, -4*k + 0*m + 858 = -2*m. Does 9 divide k?
True
Suppose -c = -4*c - 945. Is (-8)/(-3)*(c/(-4) + 6) a multiple of 13?
False
Let i be ((-2)/2)/(4/(-16)). Suppose 0 = -3*s + i*h + 22, -16 = -4*s - 0*h + 2*h. Suppose 87 = 2*g - u, -2*g + 0*g - s*u + 90 = 0. Is g a multiple of 11?
True
Suppose -6310 = -18*u + 5192. Is u a multiple of 67?
False
Suppose 6*l - 4*l - 24 = 0. Suppose l*b - 900 = 96. Is b a multiple of 23?
False
Let k = 1164 + -644. Does 20 divide k?
True
Let k(c) = 62*c - 42. Let r = 147 - 140. Is k(r) a multiple of 56?
True
Let b = 5 - -1. Let a be (-42)/(-30) - b/(-10). Suppose 0 = -5*l - k + 182, -k + 2*k + 77 = a*l. Is 15 a factor of l?
False
Let y = 58 + -96. Let u(b) = 6*b**3 + b**2 + 5*b - 3. Let m be u(2). Let g = m + y. Does 7 divide g?
True
Let v(q) be the second derivative of q**7/2520 + 11*q**6/720 + q**4/3 - 9*q. Let z(w) be the third derivative of v(w). Is 29 a factor of z(-14)?
False
Let x = -33 + 95. Is x even?
True
Is (2 - 12/5) + 9060/25 a multiple of 11?
False
Suppose 10*t - 18414 = -52*t. Is t a multiple of 28?
False
Let b(l) = -3*l**3 + 5*l**2 + 6*l + 13. Is 11 a factor of b(-3)?
True
Let f be (-354)/(-30) - (-2)/10. Let z = -10 + f. Suppose 2*h = 3*y - 142, -z*y - 3*h - 45 = -3*y. Does 16 divide y?
True
Let y(x) be the second derivative of 7*x**5/120 - 5*x**4/12 + 5*x**3/6 + 2*x. Let i(a) be the second derivative of y(a). Is i(3) a multiple of 3?
False
Let z = -4 + 5. Let o be -26 - z - (-18)/9. Let k = o - -69. Is 14 a factor of k?
False
Let x(b) be the first derivative of 20*b**3/3 - 2*b**2 - 10*b - 13. Let y be x(-5). Suppose -26 = -n + 3*h + 84, 2*h - y = -4*n. Is n a multiple of 28?
False
Let v(s) = -2*s**2 + 3*s - 2. Let b be v(1). Let j be b/1*15*1. Is 3 a factor of (j/(-2))/(2/4)?
True
Let q(u) = -21*u + 5. Let j = 15 - 8. Let o(w) = -10*w + 3. Let k(p) = j*o(p) - 4*q(p). Is k(2) a multiple of 21?
False
Let s(f) be the first derivative of 43*f**2/2 - 12*f + 48. Is 16 a factor of s(4)?
True
Let j = -12 - -15. Suppose -4*i + j = -29. Let t = 15 - i. Is t a multiple of 3?
False
Let n = -12 - 5. Let d = n - -80. Is 6 a factor of d?
False
Let k(c) = c**3 + 7*c**2 - 2*c - 6. Let h be k(-7). Let y(f) = -3 + h*f - 16 + 4 - 3*f. Is y(15) a multiple of 8?
False
Let u(m) = m**3 + 13*m**2 + 10*m + 3. Let b be u(-11). Suppose 55 = 2*r - 2*x - x, 5*x = 5*r - b. Does 26 divide r?
True
Let t be 39/(-2)*12/(-4 - 2). Let x = t - 22. Does 4 divide x?
False
Let r be (2/4)/1*(6 - 2). Let s(x) = -x**2 - 2 + 0 + 3*x + 9*x**2. Is 9 a factor of s(r)?
True
Let r = 121 + -114. Suppose 5*h = r*h - 504. Is h a multiple of 36?
True
Suppose 1838*y + 672 = 1844*y. Does 15 divide y?
False
Let i = -69 - -39. Let b = i + 74. Is b a multiple of 4?
True
Let o(p) = 14*p**2 - p + 3. Let t(h) = 14*h**2 - h + 4. Let l(v) = -6*o(v) + 7*t(v). Does 32 divide l(2)?
True
Does 96 divide 5/(30/2879) - 4/(-24)?
True
Suppose 0 = 13*h + 3*h - 6272. Is 28 a factor of h?
True
Let j be (6/8)/((-10)/(-360)). Let a be 140/(-50)*(6 + -1). Let o = a + j. Does 5 divide o?
False
Suppose 82*a + 328 = 84*a - 5*q, 0 = -3*a + 5*q + 487. Is a a multiple of 6?
False
Let n be (-60)/2*12/8. Is (240/n)/((-4)/42) a multiple of 37?
False
Suppose 4*d - 2*d - 105 = -a, -5*d = 20. Suppose w + 2*p - 132 = -9, 0 = -w - 4*p + a. Is w a multiple of 19?
True
Suppose -f + 0*f + 221 = 0. Suppose -3*a + f = -103. Is 9 a factor of a?
True
Let f(p) = -p**3 + 25*p**2 - 17*p - 43. Is 25 a factor of f(24)?
True
Let s(x) be the first derivative of -x**3/3 + 5*x**2/2 + 9*x - 29. Does 3 divide s(5)?
True
Let m = -253 + 418. Is m a multiple of 33?
True
Suppose -3*v + 519 = j - 571, -4393 = -4*j - v. Is j a multiple of 5?
False
Does 47 divide (5 - 11) + 9 + 91?
True
Let h = 2 - -3. Suppose 19*p - 20*p = -244. Suppose -h*f = -p + 69. Does 7 divide f?
True
Let x = -418 - -796. Is x a multiple of 27?
True
Is 12 a factor of (28/(-35))/4 + (-1831)/(-5)?
False
Suppose 2*t = -3*t - 20, 0 = -4*j - 2*t + 8328. Is 53 a factor of j?
False
Suppose 5*n - 28 + 6 = -2*q, q + 5*n = 11. Let h(z) = z**3 - 10*z**2 - 13*z - 2. Let u be h(q). Is ((-23)/3)/(8/u) a multiple of 11?
False
Let r = 15 + -15. Suppose -2*c + 5*c - 42 = r. Does 14 divide c?
True
Let y(g) be the second derivative of -5*g**3/6 + 6*g**2 - 5*g. Is y(-6) a multiple of 14?
True
Let k(y) = 5 - 6*y**3 + 1 + 7*y**3 + 1 - 13*y - 10*y**2. Let r be k(11). Is 16 a factor of 96/r*45/(-6)?
True
Let j = 11 - 7. Suppose -2*p + j = -0*p. Is 8 + -7 - (-68)/p a multiple of 11?
False
Suppose 0*n + 4*n - 12 = 3*v, -3*n - 5*v - 20 = 0. Suppose -6 = -2*m - n*m. Suppose -4*y - m*d = -63, 0*d = -4*y + 2*d + 58. Is 4 a factor of y?
False
Is 53 a factor of ((-4276440)/132)/(-6) - (-18)/(-33)?
False
Let i = -888 + 1225. Does 9 divide i?
False
Let b be 428/12*(10 - 12/3). Suppose 0 = -3*o + 2*o - 5*h + 61, b = 4*o + 5*h. Is o a multiple of 12?
False
Suppose -11*m = 2*i - 6*m - 746, 3*i + 5*m - 1109 = 0. Is i a multiple of 5?
False
Let q be (2 + -2)*(0 + -1). Let r = 12 + q. Is 426/r + (-2)/(-4) a multiple of 18?
True
Let l = 38 + 13. Is l a multiple of 15?
False
Let l = -167 - -33. Let x = l - -218. Is 10 a factor of x?
False
Suppose 4*o - 4*f = 931 + 229, -4*f = 2*o - 604. Is 7 a factor of o?
True
Let l be -18 - 4 - 1 - -3. Let a(b) = -b**3 + 8*b**2 + 10*b - 11. Let i be a(9). Is 13 a factor of ((-510)/l)/(i/(-4))?
False
Suppose 155 = -2*x + v - 4*v, -5*x + 3*v - 440 = 0. Let f = 61 + x. Is 19 a factor of (f/5)/(5/(-75))?
False
Suppose 203 - 1316 = -q + 4*s, 5*s = -10. Does 13 divide q?
True
Suppose -g = x - 27, 0 = 2*g - 4*g - x + 59. Suppose -h = h - g. Does 4 divide 236/h + 6/(-8)?
False
Let g = 49 - 32. Suppose b - 129 = -g. Suppose -70 = -3*a - 2*s + 11, 4*s - b = -4*a. Is a a multiple of 9?
False
Let o = 45 - 40. Suppose 0 = v + 4*f - 43, -o*v + 115 = -2*v - 2*f. Is 13 a factor of v?
True
Let m = 36 - 16. Suppose 0 = 3*g + l - 236, -5*g - m + 390 = -3*l. Does 25 divide g?
False
Suppose -i + 353 = r - 1, -2*r - 4*i = -706. Does 9 divide r?
False
Let w(m) = -201*m + 15. Let t(r) = -50*r + 4. Let u(b) = 22*t(b) - 6*w(b). Is 24 a factor of u(1)?
False
Let y(o) = -o**2 - 8*o. Let w be y(-8). Suppose -a + 3*a - 58 = w. Suppose -4*s - a = -v, -3*v - 5*s - 7 = -v. Is 3 a factor of v?
True
Let k be -12*(8/(-6) + 1). Suppose k*i - 10 = 54. Is i a multiple of 8?
True
Let d(u) = 16*u**3 - u**2 + 2*u - 2. Let g be d(2). Suppose 9*p - g = 2*p. Suppose p*r - 208 = 14*r. Is r a multiple of 7?
False
Let w(c) be the first derivative of -1 + 15*c - 1/2*c**2. Is 3 a factor of w(0)?
True
Let c be (360/(-64))/(-15) + 10/16. Let y be (-2)/5 + (-932)/(-5). Is ((y/3)/1)/c a multiple of 8?
False
Suppose 0*t - 2*t + 4*q = -12, 5*q - 20 = 0. Let z = t - 12. Suppose -z*h + h = -23. Is 10 a factor of h?
False
Suppose -2*f + 3712 = 4*o, -5*o + 5564 = -6*f + 9*f. Is 44 a factor of f?
True
Let b = 238 + -83. Is b a multiple of 12?
False
Let a = 112 + -88. Does 3 divide a?
True
Let h be (2 + 0/(-2))*1. Suppose -h*k + 78 = -k. Is 38 a factor of k?
False
Let k(c) = -5 + 8*c - 3*c**2 + 2*c**2 - c**3 + 0*c**2 + 7*c**2. Let z be (2 + -1)/((-2)/(-10)). Is k(z) a multiple of 33?
False
Is ((-132)/(-55))/((-40)/(-44350)) a multiple of 25?
False
Let s(q) be the first derivative of 15*q**2 - 4*q - 18. Is 33 a factor of s(4)?
False
Suppose 7*a + 104 = 363. Is a even?
False
Let d(q) = -3*q - 3. Let y be d(0). Let t be (0 - (4 + y))*33. Let v = -