 + l) - -12?
True
Let p(i) = i - 1. Let q be p(6). Suppose q*s + 2*n = 21, -2*s = 3*s - 5*n. Suppose 18 = -s*a + 144. Is a a multiple of 21?
True
Let h(o) be the third derivative of o**6/60 - o**5/20 - o**4/24 - o**3/3 + o**2. Let w(g) = -g + 3. Let z be w(0). Is h(z) a multiple of 11?
True
Suppose -a - 10 = -16. Is a a multiple of 2?
True
Let c = -1 + 4. Let a be (-3*c)/(3/(-6)). Suppose 0 = -4*s + a + 14. Is s a multiple of 8?
True
Suppose -6*k + 4*k + 114 = 0. Is k a multiple of 20?
False
Let c(g) = -g**3 + 3*g**2 + 5*g. Let k be c(4). Suppose 4*u - 2*b - 456 = 0, -b = -3*u + 102 + 241. Suppose -z + u = k*z. Is 23 a factor of z?
True
Let x(s) = 5*s. Let i(l) = -6*l. Let h(k) = 3*i(k) + 4*x(k). Let a be h(1). Suppose 33 = a*n + 5*o, -5*n + 25 = o - 69. Is 12 a factor of n?
False
Let s(d) = 15*d**2 + 2*d + 1. Does 7 divide s(-1)?
True
Suppose -4*v = -2*v - 140. Does 12 divide v?
False
Let x(j) = 2*j**2 + 14*j + 41. Is x(-8) a multiple of 19?
True
Suppose 4*f + 105 = 37. Is (2 + 1 - 4)*f a multiple of 17?
True
Let h = 13 - -20. Let k = 49 - h. Is 16 a factor of k?
True
Suppose -13 = 5*h - 538. Does 13 divide h?
False
Let k(c) = 3*c**2 - 2*c - 2. Is 7 a factor of k(-2)?
True
Let r(u) = -2*u + 7. Let m be r(3). Suppose -m = 2*a - 15. Is 3 a factor of a?
False
Let y(v) = -18 + 18 + 21*v. Is y(2) a multiple of 14?
True
Suppose 3*j = -2*l - 100 - 16, 4*l - 128 = 4*j. Let s = -12 - j. Is s a multiple of 8?
True
Let p(d) = -2*d + 8. Let i be p(-6). Does 4 divide (-16)/(-24) - i/(-6)?
True
Let s(n) = 3*n**2 - 19*n - 9. Is s(7) a multiple of 2?
False
Suppose -15*k + 20*k - 875 = 0. Is 17 a factor of k?
False
Let t = 384 - 192. Suppose 0 = 5*a - a - t. Is a a multiple of 16?
True
Suppose 0 = 7*t - 2*t + 5*d + 20, 8 = -2*d. Suppose t*f - 47 = -f. Is 12 a factor of f?
False
Let n = 1 + 1. Suppose v + 2 = r, 5*r + 2*v = -13 + n. Let q = 15 + r. Is 6 a factor of q?
False
Suppose -2*r + 20 = -r. Let d = r + -10. Let n = 28 - d. Is n a multiple of 10?
False
Let z = 11 + -9. Suppose 0 = -3*v - 4*k + 116, 5 = 3*k - z*k. Is v a multiple of 12?
False
Is 33 a factor of -1 - (-3*6/9 + -87)?
False
Suppose 2*j = -6 + 2, 2*j = -2*d - 8. Let n be (-3)/4*1*12. Is 6 a factor of (-106)/n - d/9?
True
Suppose 2*o + 5*v + 7 = 0, 0 = 2*o - 4*v + 2*v - 14. Let r(p) be the third derivative of p**6/120 - p**5/15 + p**4/8 - 2*p**3/3 - p**2. Is r(o) a multiple of 4?
True
Let i(o) = -o**3 - 9*o**2 + 3. Let x = 2 - 11. Let q be i(x). Suppose q*a - 130 = -2*a. Is a a multiple of 13?
True
Suppose -j + 12 = 4*k - 29, 3*j = 3*k - 27. Let a be 36/16 - 1/4. Suppose -a*z + k = -14. Does 5 divide z?
False
Let y(g) = 33*g**2 + g + 1. Let z = 5 + -6. Is 11 a factor of y(z)?
True
Suppose -3*y = 2*v + 174, -v - y + 27 = 115. Let z = v + 128. Does 19 divide z?
True
Suppose -a = -0*a, 5*m + a = 1015. Does 23 divide m?
False
Suppose -12 = m + 2*m. Let o = m - -6. Suppose a + 20 = o*a. Does 10 divide a?
True
Let z(x) = -x + 3. Let w be z(3). Suppose w = -2*y + 43 - 9. Is y a multiple of 12?
False
Suppose -5*v = 2*d - 3, 0 = d + v + 2*v + 1. Is 3 a factor of d?
False
Let s be -86*(0 + -1) + -2. Let k = s + -60. Suppose q - 4*q = -k. Is 8 a factor of q?
True
Suppose -d - 5*s - 134 = -4*d, 0 = -2*d - 2*s + 100. Is d a multiple of 12?
True
Suppose -25 + 0 = 5*v. Let r(y) = -8*y + 1. Let s be r(-5). Let k = s + v. Is k a multiple of 16?
False
Suppose -4*h + 6*h = 4. Let y be -5 + h*2/(-4). Let n(x) = -x**2 - 9*x - 2. Is n(y) a multiple of 16?
True
Let b(x) = 2*x**3 - 2*x**2 - 3*x + 5. Let j be b(2). Let r(f) = -7*f - 33. Let u(c) = 3*c + 16. Let o(p) = 4*r(p) + 9*u(p). Does 4 divide o(j)?
False
Let c(q) = -2*q**2 - 3*q + 2. Suppose 0 = 5*o + 37 - 12, -3*f + 27 = -3*o. Let k be c(f). Let j = -21 - k. Is 12 a factor of j?
False
Let c(j) = 5 + 0*j**3 + 5 + j**3 - 8*j**2 + 1 + j. Is 11 a factor of c(8)?
False
Let x be -10*(2 + (-12)/5). Let d be x/(-2) + 2 - -2. Is 18 a factor of 16 + d + 0 + 0?
True
Let l = 70 + -10. Does 31 divide l?
False
Let q(a) = -a**3 + a**2 + 2*a - 4. Let k be q(3). Let b be (-52)/k + (-3)/12. Let u(n) = n**3 - 2*n**2 + n - 4. Is 4 a factor of u(b)?
True
Suppose 0 = 3*k - 5*c - 340, -k - 2*c + 104 = c. Does 16 divide k?
False
Let v(i) be the first derivative of -i**4/4 - 2*i**3/3 - 2*i - 1. Let q be v(-3). Suppose 5*z + 3*t - 49 = 0, -47 = -5*z + 3*t - q*t. Does 11 divide z?
True
Let r(k) be the second derivative of k**4/12 + 5*k**3/6 + 3*k**2/2 - 4*k. Let q be r(-5). Suppose 0 = -q*b - 2*b + 60. Is b a multiple of 4?
True
Let a(p) = -16*p + 3 + 2 - 3 - 4. Is a(-2) a multiple of 30?
True
Let i(r) = r**3 - 3*r**2 + 2*r. Let x be i(2). Suppose -2*p + 107 + 15 = x. Is 17 a factor of p?
False
Let s = -56 + 14. Let z = 79 + s. Suppose 5*w - 334 = 2*i, w - z - 22 = 3*i. Is w a multiple of 24?
False
Let d(g) = -4*g - g + 4*g - 1. Let j be d(-4). Suppose -j*y + 13 = 3*i - 2*i, 5*i - 125 = -3*y. Does 14 divide i?
True
Suppose 4*m + 2*h = 26, m + 2*m - 3*h - 33 = 0. Suppose -6*w = -2*w - 3*v - 8, 0 = -w + 2*v + 2. Let c = m - w. Does 6 divide c?
True
Suppose 9*o = 4*o - 85. Let i = o - -23. Does 6 divide i?
True
Let s(i) = 4*i**2 + 2*i + 2. Does 16 divide s(-3)?
True
Suppose 32*x = 28*x + 220. Is 11 a factor of x?
True
Let p(a) be the second derivative of -9*a**5/20 + a**4/12 - a**2/2 + 4*a. Is p(-1) a multiple of 8?
False
Suppose 3*l - r = 32, l - 12 = -r - 0. Does 3 divide l?
False
Suppose -3*y - 2*y = 5*h - 55, 3*y - 25 = -2*h. Suppose -h*z = -4*z - 8. Is z a multiple of 2?
True
Suppose 0 = 4*n - 7*n - 5*t + 568, 2*n - 3*t - 404 = 0. Does 12 divide n/6 - 1/(-3)?
False
Suppose -5*v + 614 = -o, 8*v - 4*o = 3*v + 626. Does 27 divide v?
False
Suppose 0 = -3*d - d + 8. Suppose -52 = -4*i + w, 5*i + 6*w - 86 = d*w. Does 10 divide i?
False
Let a = 8 + -6. Suppose 6*n - a*n - 76 = 0. Does 8 divide n?
False
Let z = -13 + 34. Is z a multiple of 4?
False
Suppose 2*j - 5 = j. Suppose -46 = -4*c + j*b, -2*c + 2*b = -17 - 5. Does 2 divide c?
False
Let d be (-2)/(-7) + (-16)/56. Let v be (-3)/(-1 + (1 - 1)). Does 7 divide ((-1 - d) + v)*8?
False
Let k(u) = u**3 - 10*u**2 + 2*u - 4. Is k(10) a multiple of 8?
True
Let d(r) be the third derivative of 23*r**4/24 - r**3/2 - r**2. Let g be d(4). Suppose 3 + g = 2*q. Does 18 divide q?
False
Let f be (-4 + 3)*(-5 - 1). Suppose c - f*c + 175 = 0. Suppose 5*r - 65 - c = 0. Is 10 a factor of r?
True
Suppose -v + 151 = 2*h + 2*h, -h + 28 = -3*v. Is h a multiple of 37?
True
Does 7 divide (-3 + -13)/(2/7*-1)?
True
Let t(r) = -2*r + 6. Let p(l) = -l + 3. Let c(a) = -7*p(a) + 4*t(a). Let j be 6/(2/(4/(-3))). Does 6 divide c(j)?
False
Let p(o) = o**3 - o**2 + o + 1. Let x(h) = 6*h**3 + h**2 + 8*h + 1. Let f(g) = 5*p(g) - x(g). Let v be (-2 + 4)*-4 - -2. Does 14 divide f(v)?
False
Let m be (-2 - 22)/((-3)/(-2)). Let n = 44 + m. Is n a multiple of 18?
False
Suppose 394 = 5*v + 4*y, -2*v - 6*y + y + 144 = 0. Does 41 divide v?
True
Suppose 3*o = -0*o - 3. Let b(h) = 16*h**2 + h. Is b(o) a multiple of 12?
False
Let o(f) = 7*f**2 + 3*f + 8. Let g be o(-7). Is g/25 + 1/(-5) a multiple of 8?
False
Suppose 2*g - 3*n + 2 - 5 = 0, -3*n + 3 = 0. Suppose 0 = -g*h + 4*h - 53. Suppose 0 = 4*d - 169 + h. Is d a multiple of 11?
False
Suppose -j + 2*j + 9 = 0. Let q = 6 - j. Is q a multiple of 4?
False
Suppose 3*c - 86 = 76. Does 10 divide c?
False
Suppose m = 5*w - 23, -w = 2*w - m - 13. Suppose -w = -5*s - 5*a + a, s + 20 = -5*a. Is s a multiple of 2?
False
Suppose 3*r = 7*r + 28. Let u = r - -37. Let z = u - 16. Is 6 a factor of z?
False
Let c be -1 + 1 + 1 + -1. Suppose -n - 33 = -5*u, -2*u - u - 5*n + 31 = c. Let g = u - -1. Is g a multiple of 8?
True
Let v = 19 - 10. Let o(b) = -b**3 + 8*b**2 + 12*b - 10. Is 7 a factor of o(v)?
False
Suppose -4*g + 2*g = -46. Let f = -35 + g. Let z = -5 - f. Is 2 a factor of z?
False
Suppose 3*g + 44 = 2*b + g, 0 = 4*b - 2*g - 78. Let m = -3 - b. Let x = -4 - m. Is 8 a factor of x?
True
Suppose 15 = 3*l + 3*d + 3, 2*l - 3*d = 8. Suppose 0*f + 25 = x - 5*f, l*f = x - 22. Is 3 a factor of x?
False
Suppose -3*a - 492 = -2*o, -5*o + 810 = -a - 433. Is o a multiple of 40?
False
Let q be 14/(-1)*(7 + -5). Let x = -9 - q. Does 18 divide x?
False
Let c = 8 + -4. Does 2 divide 2 + -2 + 2 + c?
True
Let p(m) = m + 22. Let x be p(0). Suppose 3*d = 41 + x. 