alse
Let b = -2 + 7. Suppose b*n = -2*m - 2*m + 99, 0 = -5*m - 3*n + 127. Does 13 divide m?
True
Suppose -4*m - 20 = 0, 5*v + 3*m + 20 = -2*m. Does 16 divide (-380)/(-8) - v/(-2)?
True
Let p(r) = r**3 + 7*r**2 - 8*r - 7. Let s be p(-6). Suppose -4*j + 2*v - v = -99, 2*j + 5*v = s. Does 13 divide j?
True
Let o be ((-9)/4)/3*12. Let k = o - -14. Suppose v - 2*v + 25 = -3*p, 0 = 2*v + k*p - 72. Does 10 divide v?
False
Let r(i) = -i + 1. Let a be r(-3). Suppose -4*v = -0*v - 16, 112 = a*m + 2*v. Is 17 a factor of m?
False
Let p be 120/9*6/5. Let z be 0 + 6/(-3) + p. Suppose -2*y = -4*l - z, 3*y + 2*l - 3*l - 36 = 0. Is y a multiple of 13?
True
Suppose 5*x + 20 + 0 = 0. Let c = 3 + x. Let k(f) = -8*f. Does 7 divide k(c)?
False
Let m be 20/8*(-8)/(-10). Suppose 2*c - m = 22. Does 6 divide c?
True
Let u = 2 + 1. Suppose t - 2*t - 17 = -m, -6 = -u*t. Is 10 a factor of m?
False
Let w(u) be the second derivative of -3*u**4/4 - u**3/3 - u**2/2 - u. Let k(l) be the first derivative of w(l). Is 15 a factor of k(-2)?
False
Suppose -3*l - 12 = -4*s, -5*s + 3 = -5*l - 12. Suppose -w = s*x + 2, 2*w + 4 = 3*x - 0. Suppose 3*t - 61 = -3*a - a, 3*a - 3*t - 72 = x. Does 6 divide a?
False
Let s(r) be the second derivative of r**5/20 - 5*r**4/12 + r**3 + 2*r**2 - 5*r. Is 11 a factor of s(5)?
False
Suppose -g = -0*g - 88. Is g a multiple of 19?
False
Let k(g) = -14*g. Let z be k(-4). Let x be (-4)/6*(-189)/18. Suppose 3*o + z = x*o. Is o a multiple of 9?
False
Let u be (4/10)/(6/60). Suppose -v = -u*v + 9. Suppose -2*x - k + 17 = 0, -x + 9 = -2*x + v*k. Does 4 divide x?
False
Let c = -7 - -12. Suppose 7*n - 5*n + c*f = 39, -5*f + 105 = 5*n. Is n a multiple of 11?
True
Let y be 4/(-6) + 2764/6. Let v be (-4)/(-14) + y/7. Suppose -2*g + 54 = -0*g - u, 5*u - v = -2*g. Is g a multiple of 14?
True
Does 31 divide -1*-31*(-2 - -3)?
True
Let j(n) = n**3 + 5*n**2 + 3. Let f be j(-5). Suppose 37 + 11 = f*h. Does 5 divide h?
False
Let c(f) be the first derivative of f**3/3 + f**2 - 1. Suppose -i = -1 - 3. Is c(i) a multiple of 9?
False
Suppose -3*f = -0*v - 3*v + 24, 0 = 5*v + 5*f. Suppose 0 = -d + v*a + 38, 4*d - 38 - 78 = 4*a. Is 5 a factor of d?
False
Let v = 13 + -18. Let a = v + 8. Suppose -l + a*o = -3*l + 18, 0 = -l + 4*o - 2. Is 6 a factor of l?
True
Let n be (-4)/26 - (-41)/13. Suppose -q + n*q = 30. Is q a multiple of 13?
False
Let m(f) = 3*f**2 - 3*f - 1. Let d be m(-2). Suppose 0 = 4*x - d + 1. Does 10 divide x/(-12) - 31/(-3)?
True
Let c(b) = 386*b + 1. Let m be c(1). Suppose -m - 141 = -4*t. Suppose 0 = 5*q - t - 228. Is 26 a factor of q?
False
Let r = 1635 + -1142. Does 17 divide r?
True
Suppose 4*b = -3*s + 16, s + 17 = 6*s - 3*b. Let a(p) = 26*p + 5. Let t be a(s). Suppose q + 3*l - 53 = 0, 3*l + t = 3*q + 2*l. Does 22 divide q?
False
Let x(u) = -u - 4. Let b be x(-3). Let o(m) = 3*m**3 + m. Let y be o(b). Is (39/y - -1)*-4 a multiple of 13?
False
Let m = 10 + -6. Suppose 4*s = m*b - 48, 8 - 2 = 2*b + 4*s. Does 3 divide b?
True
Let j(u) = 6*u**3 + 6. Is 21 a factor of j(3)?
True
Let z = -93 + 132. Is z a multiple of 7?
False
Suppose -z - 12 = 3*d, -z - 5*d - 19 = z. Is 2 a factor of 1 + 2 + (z - 3)?
False
Let i = 7 + 23. Is 15 a factor of i?
True
Let q = 97 - -17. Suppose -6 = 3*a - q. Is 18 a factor of a?
True
Let i = 12 - 12. Is 2 a factor of 3 - 1*i/(-3)?
False
Let r(o) = o**3 + 6*o**2 - 2*o - 2. Is r(-6) a multiple of 10?
True
Suppose -14 = -2*c + z, -4*c + 23 - 7 = z. Is c a multiple of 3?
False
Let n(h) = h**2 - 3*h - 12. Does 14 divide n(10)?
False
Suppose 3*p + 2*v - 4 = 0, 5*v = -3*p + 2*p - 16. Suppose 11 = 3*s - p. Is 3 a factor of s?
False
Suppose x = 3*x - 2*i - 32, -120 = -5*x - 3*i. Suppose a - x - 21 = 0. Is a a multiple of 14?
True
Let t(f) = 2*f**2 + 4*f + 2. Let j(y) = y**2 - 6*y + 4. Let l be j(6). Suppose 9*d = l*d - 20. Is 6 a factor of t(d)?
True
Suppose 0 = -m + 4*l - 22, 3*m - l + 3*l = 4. Is (-5)/15*42/m a multiple of 4?
False
Suppose 0 = 3*w - 15, 0*u + 2*w = u + 8. Suppose 3*d + u = -4*x + 3*x, -4*d - 24 = 4*x. Let z(j) = j**3 + 8*j**2 - j + 7. Is 12 a factor of z(x)?
False
Let f(u) = -u + 195. Let w be f(0). Suppose 5*v - w = 120. Does 22 divide v?
False
Let b(g) be the second derivative of 41*g**6/360 - g**5/120 - g**4/24 - g**3/6 - g. Let y(l) be the second derivative of b(l). Is 18 a factor of y(-1)?
False
Suppose 3*t - 161 = 3*u - 47, -119 = 3*u + 2*t. Let s = u - -74. Does 30 divide s?
False
Let g = 45 + -27. Suppose 3*f - 6 = 5*a + 4, 0 = 4*f - 2*a - g. Let x(r) = -r**3 + 4*r**2 + 6*r - 2. Is 3 a factor of x(f)?
True
Let v = 48 - 37. Suppose 12 + 8 = 5*w. Suppose -w*b + 61 = -v. Is b a multiple of 9?
True
Suppose 7 - 6 = d. Let s = 1 + d. Suppose -s*m - 5*x = -59, -m - 2*x = x - 27. Does 18 divide m?
False
Suppose -9*c = -11*c + 598. Is c a multiple of 15?
False
Suppose 0*n + 5*n - v + 94 = 0, v + 77 = -4*n. Let k = 27 - 37. Let p = k - n. Does 9 divide p?
True
Suppose 2*c + 8 = -2. Let p = c - -17. Does 12 divide p?
True
Suppose -y = -3*y - m + 144, -216 = -3*y + m. Let b(s) = -s**3 + 11*s**2 + 3. Let w be b(11). Suppose -y = -5*k - w*j, -7*k = -2*k - 5*j - 40. Does 10 divide k?
False
Suppose 5*w - 60 - 85 = 0. Is w a multiple of 8?
False
Does 14 divide (-362)/(-13) + (-18)/(-117)?
True
Let b(q) = -q**3 - 7*q**2 - 3*q + 5. Suppose 4 - 7 = l, -16 = k + 3*l. Does 13 divide b(k)?
True
Let m(x) = 5*x**2 - 4*x + 1. Let f(q) = -4*q**2 + 3*q - 2. Let j(r) = -4*f(r) - 3*m(r). Does 23 divide j(8)?
True
Suppose 2*m - 6 = -2*s, 3*s - 5*m = -10*m + 9. Suppose s*i - 4 = 2. Is i a multiple of 2?
True
Let w(q) = q**2 + 5. Let f be w(0). Suppose -6 = m - 2*m - 5*h, -f*m + 5*h = 0. Let s = 8 - m. Is 6 a factor of s?
False
Suppose 58 = m - 6. Does 16 divide m?
True
Does 13 divide (-1 - -4) + (50 - 1)?
True
Suppose -2*o = a - 5*a + 146, -a = 5*o - 53. Suppose -3*j - c + a - 115 = 0, -5 = -5*c. Let n = -14 - j. Is n a multiple of 12?
True
Let g = -7 - -26. Let q(a) = a**2 - 19*a + 24. Does 10 divide q(g)?
False
Suppose 2*a - 56 = 34. Let c = a + -22. Is 23 a factor of c?
True
Does 13 divide (7/28 - 34/8) + 163?
False
Let n(g) = g**2 - 2*g - 7. Let w be n(0). Let s(z) = -5*z - 12. Is 23 a factor of s(w)?
True
Suppose -166 = -3*m + 410. Is 8 a factor of m?
True
Let n = -10 + 12. Let p(q) = q**3 + 3*q**2 - 3*q + 3. Does 17 divide p(n)?
True
Suppose -3*n - 6 + 3 = 0, -5*j - 3*n = -57. Is 11 a factor of j?
False
Let b(i) = 10*i. Let x(j) = -4*j + 11. Let u(a) = -3*a + 10. Let q(c) = 3*u(c) - 2*x(c). Let y be q(7). Is 5 a factor of b(y)?
True
Let x = -45 - -169. Suppose 2*l - a = x, 0*l + 4*l + 5*a = 262. Is l a multiple of 21?
True
Let q(g) = -g**2 + 11*g - 22. Let h be q(9). Does 7 divide (-10)/40 + (-89)/h?
False
Let s = 66 - -15. Does 27 divide s?
True
Suppose 7 = -z + 19. Suppose -z = l - 0. Is 14 a factor of ((-136)/16)/(2/l)?
False
Let c(t) = t**3 - 2*t**2 + 5*t - 3. Let u(j) = 3*j**3 - 3*j**2 + 10*j - 5. Let f(v) = -5*c(v) + 2*u(v). Does 2 divide f(-5)?
False
Let r be (-49)/(-21) - 1/3. Suppose 28 = r*k - 0*k. Is 14 a factor of k?
True
Let p = 930 + -628. Does 59 divide p?
False
Suppose -r - 4 = 0, -17 = -4*k - r + 3. Suppose k*n = 3*n + 207. Is 27 a factor of n?
False
Let g(z) = z**3 - 6*z**2 - 4*z + 6. Does 9 divide g(7)?
True
Let x be -8 + 7 - (-1 + -1). Is 18 a factor of -2 - x*(-96)/3?
False
Suppose -3*z = -14*z + 2090. Is 38 a factor of z?
True
Let o(k) be the first derivative of 55*k**3/3 + k**2/2 - k + 3. Is 17 a factor of o(1)?
False
Let o(c) be the first derivative of 7*c**2/2 + 2. Let m be (-2)/(0 - (-3)/(-6)). Is 10 a factor of o(m)?
False
Let y be 2/7 + 76/28. Suppose -y*q + 3 = 3*j - 0*j, 0 = -q - 4*j + 10. Is 20 a factor of ((-9)/(-4))/(q/(-48))?
False
Suppose 5*i + 3*d - 3 = 0, 2*d + 2*d = -5*i - 1. Suppose -i*n + 33 = -2*n. Is n a multiple of 12?
False
Let d = 4 - 8. Is 11 a factor of 8*((-12)/d - -1)?
False
Suppose -v + 168 = 2*v. Suppose 0 = x + x - v. Is 14 a factor of x?
True
Let v be 3 - (3 + 22 - 1). Suppose 2*g - g = 36. Let y = v + g. Is 15 a factor of y?
True
Let c = -9 - -19. Does 4 divide 36/c + 4/10?
True
Let p(j) = -j**2 - 7*j - 4. Let x be p(-6). Let a = x + 16. Does 9 divide a?
True
Suppose 2*d - 20 = -2*u, -5*u = -u + 3*d - 36. Is 278/u - (-22)/33 a multiple of 12?
False
Let r = 65 - 26. Does 3 divide r?
T