
Let z = 15 - 9. Let t(n) = -5*n + 3. Let v be t(z). Does 8 divide -2*(-2 + v/6)?
False
Let q(c) = -19*c + 5. Let k = -7 - -3. Let u be q(k). Suppose -2*x = -5*p - 26 - 9, 3*x + 2*p = u. Does 7 divide x?
False
Let v(r) = 15*r - 3. Let s(p) = 7*p - 2. Let m(l) = 9*s(l) - 4*v(l). Is m(4) a multiple of 4?
False
Suppose -3*i - 13 = -4*q, -2*i = -3*i + 5*q - 19. Let y(j) = 5*j**2 - j + 1. Is y(i) a multiple of 5?
True
Let d = -105 + 147. Is d a multiple of 12?
False
Let c(b) = -141*b + 5. Does 56 divide c(-1)?
False
Suppose 2*t + 0*t = -2*z + 142, -5*t + 379 = -z. Is 15 a factor of t?
True
Suppose -v + 3*x + 47 = -0*x, -5*v + 163 = 3*x. Does 7 divide v?
True
Let k = 28 - 19. Suppose -189 = 4*y - 3*u, -u - k = -4*u. Is (y - -1)*(-1)/2 a multiple of 10?
False
Let i be 22/4 + 1/(-2). Suppose -r = 5*w - 87, 2*w + 0*r = -i*r + 21. Does 12 divide w?
False
Let v(x) = -x**2 + 13*x + 11. Let p be v(14). Let s(m) be the third derivative of m**6/120 + m**5/12 + m**4/8 - m**3/6 - m**2. Is 6 a factor of s(p)?
False
Suppose -2*h - 412 = 2*h. Let b = -22 - h. Let o = -36 + b. Is o a multiple of 19?
False
Let r(n) = n**3 + 4*n**2 - 8*n - 7. Let b = 10 - 15. Does 3 divide r(b)?
False
Suppose 0*h - 2*h + w = -12, 0 = 4*h + 4*w. Is h a multiple of 2?
True
Let p(o) = o**3 - 8*o**2 + 5. Let f be p(8). Suppose 3*t - f*t - 57 = -3*g, 5*g = -5*t + 70. Does 3 divide g?
False
Suppose 0 = -f - o + 165, 145 = f - 3*o - 0*o. Is f a multiple of 40?
True
Let w(m) = m**3 + 7*m**2 - 9*m + 1. Does 9 divide w(-8)?
True
Suppose -2*c + r = -71, -3*r = -c - 2*c + 114. Is 4 a factor of c?
False
Let b(x) = 2*x**2 - 6*x - 1. Let c(i) = -2*i + 4. Let n be c(0). Does 3 divide b(n)?
False
Suppose -5 = -b - 2. Suppose u - r = -3*r + 4, -5*r + 10 = b*u. Let v = u + 43. Is 13 a factor of v?
False
Suppose -4*f + 96 = -6*f. Is (-3)/2*f/9 a multiple of 4?
True
Does 22 divide 1 + 1*(4 + 0) + 104?
False
Let x be ((-2)/1)/2 - -21. Suppose 5*i + x = 110. Is i a multiple of 18?
True
Let m(d) = d**3 + 8*d**2 + 6*d - 7. Suppose 0 = -r - c - 0*c - 8, -2*r - 4 = -2*c. Is m(r) a multiple of 23?
False
Suppose -4*u + 44 = -2*u. Does 22 divide u?
True
Does 7 divide (-1 - -3)/((-10)/(-35))?
True
Suppose -3*n + 9 = 0, s + 245 = 6*s + 5*n. Is s a multiple of 23?
True
Suppose -4*v = -203 - 165. Is v a multiple of 32?
False
Let v(o) = o - 12. Let x(a) = -2*a + 12. Let n(u) = -3*v(u) - 4*x(u). Does 23 divide n(7)?
True
Let j be (24/(-20))/((-2)/(-5)). Does 5 divide (-406)/(-35) + j/5?
False
Let q = -57 + 107. Let k = q - 22. Is 14 a factor of k?
True
Let v(z) = -13*z - 1. Let g be v(-1). Is 1*4*81/g a multiple of 15?
False
Let x(l) = -40*l + 15. Does 19 divide x(-3)?
False
Let c = -11 - -8. Let n = c + 1. Let h = 8 - n. Is h a multiple of 10?
True
Let b(z) = z + 8. Let n be b(-7). Is 2 a factor of 7/((-14)/(-12)) + n?
False
Let j(r) = -r**3 + r**2 + r. Let u(k) = 4*k**3 - 4*k**2 - 4*k - 3. Let p(s) = 5*j(s) + u(s). Is 10 a factor of p(-3)?
True
Let i(r) = -r - 2. Let z be i(-4). Let s(t) = 2 + 2 + 6 + z*t. Is 9 a factor of s(7)?
False
Suppose -3*t - y = -5*t - 78, 2*t - 5*y + 62 = 0. Let a = 68 + t. Is a a multiple of 15?
False
Let k be (12/(-10))/(3/(-10)). Suppose k - 151 = -3*a. Does 15 divide a?
False
Let j(v) = -v**3 + 9*v**2 + 2*v - 3. Suppose -2*u + 27 = u. Is j(u) a multiple of 15?
True
Let j(k) = k**3 - k**2 + 5. Let h be j(0). Is 4 a factor of ((-12)/h)/((-10)/50)?
True
Suppose 0 = h + 5, -5*h = 2*c - 2 - 9. Is 6 a factor of c?
True
Let d = -60 + 27. Let y = -21 - d. Is 3 a factor of y?
True
Suppose 0 = 4*s - 5*s - 21. Let c = s - -39. Does 12 divide c?
False
Suppose z = 6*z - 10. Suppose z*r - 6 = r. Does 5 divide r?
False
Suppose u + 2*u - 54 = 0. Does 11 divide u?
False
Let b(l) = l**3 - l**2 - l + 1. Let h(c) = 6*c**3 + 3*c**2 + 3*c + 7. Let s(z) = -5*b(z) + h(z). Is 12 a factor of s(-6)?
False
Let z = -80 - -141. Is 9 a factor of z?
False
Suppose 0*j + 2 = j. Suppose -f - 2*l + 73 = 0, j*l - 7*l = -f + 87. Suppose 0 = -4*k + 4*q - 7*q + f, -2*q - 22 = -k. Is k a multiple of 10?
True
Let b(p) = p**2 + 8*p - 5. Is 25 a factor of b(-15)?
True
Let c(m) = -m**2 + 2*m. Let t be c(2). Suppose -j + 2*j - 15 = t. Is j a multiple of 5?
True
Let f = 171 + -120. Is 17 a factor of f?
True
Suppose l = 2*v - 0*l - 7, 0 = 3*v - l - 10. Let h(q) = 19*q - 3. Let j be h(3). Suppose -2*b + 34 = r, -v*b + j = -b - 4*r. Is 10 a factor of b?
False
Let o(z) = z**3 - 5*z**2 - 7*z - 1. Is o(7) a multiple of 12?
True
Let o be -184*(3/2 + -2). Let r = -10 + -42. Let l = o + r. Does 14 divide l?
False
Does 11 divide (-11)/(-5) + -2 + 164/5?
True
Let o = 17 - 10. Is o a multiple of 2?
False
Suppose -19 = 3*q + 23. Let b(i) = -i**3 - 15*i**2 - 15*i + 7. Does 15 divide b(q)?
False
Let v = 1 + 55. Does 8 divide v?
True
Suppose -11*z = -14*z + 153. Is z a multiple of 15?
False
Let m(z) = z**3 - 7*z**2 + 8*z - 6. Let n be m(6). Suppose 8 = f + 3*a - 10, n = f - a. Is 9 a factor of f?
True
Is 43 a factor of 8/6*(4 - (-167)/4)?
False
Let v(j) = j + 10. Let n be v(-6). Suppose -2 = -n*m - 6. Is 6 a factor of 16 + 1 + m - 1?
False
Let n be -2 + 3/1 - 0. Let p(g) = 23*g**2 - g + 1. Is 6 a factor of p(n)?
False
Let h = 160 - 92. Does 17 divide h?
True
Let y(d) be the first derivative of 2*d**3/3 - 13*d**2/2 - 12*d + 2. Is y(10) a multiple of 22?
False
Let t(z) = -z**3 + 9*z**2 + 2*z + 8. Is t(8) a multiple of 43?
False
Let v(h) = -h**3 + 4. Let p be v(0). Does 17 divide (85/20)/(1/p)?
True
Is 12 a factor of ((-57)/9 - -7) + 985/3?
False
Let n(u) = u**3 - 2*u**2 - 7*u - 7. Does 13 divide n(5)?
False
Let u = -221 + 323. Is 9 a factor of u?
False
Let a(u) = u**2 - 11*u - 19. Is a(16) a multiple of 7?
False
Let m(q) be the second derivative of q**4/12 + 4*q**3/3 - 3*q**2 - 2*q. Let w(l) = 5*l**2 + 41*l - 30. Let z(j) = 11*m(j) - 2*w(j). Is 4 a factor of z(-8)?
False
Suppose 2*i + n = 147, 0 = -5*i + 2*n + 170 + 193. Suppose 0*j = -5*o + j + i, -3*o - 3*j + 51 = 0. Suppose o = 4*b + b. Is b a multiple of 2?
False
Let g(o) = 25*o**2 - 6*o - 13. Is g(-2) a multiple of 11?
True
Let m(j) = -j**3 + 13*j**2 + 20*j - 15. Is 20 a factor of m(14)?
False
Let i be (-30)/(-2) - (-2 - -3). Is 9 a factor of i*9/(-12)*-2?
False
Let n be ((-7)/2)/(1/(-2)). Suppose n*o - o = 54. Is 9 a factor of o?
True
Let m be ((-22)/(-33))/((-4)/6). Let q = 5 - m. Does 3 divide q?
True
Let s be (-4)/(-10) - (-15)/25. Is (s + -17 - -3)/(-1) a multiple of 5?
False
Suppose -3*u - 4*c = 2, 4*u + 7 = 2*c - 3. Let g(h) = -h + 1. Let j be g(u). Let d(i) = i**3 - i - 2. Does 11 divide d(j)?
True
Suppose -3*u = 2*u + 25. Let l = u + 28. Is l a multiple of 6?
False
Let r(g) = 7*g + 8. Let k(l) = 13*l + 15. Let j(h) = 6*k(h) - 11*r(h). Let b be j(-5). Does 7 divide 2/3 + (-43)/b?
False
Let y(x) = 2*x**2. Let k be y(-2). Suppose w - 2*w + 26 = 0. Let q = k + w. Does 15 divide q?
False
Suppose 17*i = 14*i + 90. Is 5 a factor of i?
True
Let i(v) = v**2 - 4*v**2 + 3 - 3*v - v**2 - 3*v**3 + 4*v. Is i(-3) a multiple of 15?
True
Let t = 1 - 3. Let b be 1 - 1/(t/46). Suppose 0*o - 4*o + b = 0. Does 3 divide o?
True
Let z(b) = -17*b - 2*b**2 + 0*b**2 + b**2 + 10. Let x be z(-9). Let n = -48 + x. Does 17 divide n?
True
Suppose 2*x - 3*x + 12 = 0. Let o be (-13)/6 - (-2)/x. Let d = 4 - o. Is 3 a factor of d?
True
Let w(b) = -7 + 1 - 2 + 4*b + 1. Let m be w(6). Suppose -l = -25 - m. Is l a multiple of 12?
False
Let m(z) = z**2 + 4*z - 10. Suppose 5*d + 28 = d. Does 3 divide m(d)?
False
Let a(n) = -n - 20. Let l be a(0). Let k = 7 - l. Does 20 divide k?
False
Suppose -2*q = -3*q + 4. Suppose 0 = -q*h + 49 + 23. Is 9 a factor of h?
True
Suppose 0 = -5*a - 0*a + 20. Let r = a - -1. Is r a multiple of 3?
False
Let i = 74 + -47. Is 9 a factor of i?
True
Let u(t) = t**2 + 2. Let m be u(-2). Suppose 3*l - m = 12. Suppose -l = 5*y - 16. Does 2 divide y?
True
Let o = 755 - 519. Is o a multiple of 18?
False
Let a(f) = -2*f - 6. Let u be a(-4). Suppose u*q - 4*q = 0. Suppose q = 2*o + o - 12. Is 4 a factor of o?
True
Does 17 divide (-11)/(-2) + 33/(-22) - -287?
False
Let y(q) be the second derivative of -1/3*q**4 + 0 + 5/6*q**3 + 1/20*q**5 - q + q**2. Is y(4) a multiple of 11?
True
Let d(z) = -14*z - 19. Does 17 divide d(-9)?
False
Let i = -12 - -3. Let r = 9 + i. Let a = r + 4. Is 2 a factor of a?
True
L