rue
Is 14 a factor of (-10220)/(-8)*(-80)/(-50)?
True
Let q be 2/4*(-204)/(-6). Suppose -t = -91 - q. Is t a multiple of 23?
False
Let g(c) = 21*c**2 + 3*c - 5. Let j be g(2). Let l = j + -55. Does 6 divide l?
True
Let o(v) = 2*v + 5. Let n be o(1). Suppose -n*p + 517 - 139 = 0. Is p a multiple of 9?
True
Let j be (-2)/(-1 - 12/(-15)). Suppose 0 = k + 2*k - 2*b - 4, -4*k = 5*b + j. Suppose -4 + k = -4*f - 4*d, -33 = -3*f + 3*d. Is f a multiple of 2?
True
Suppose 0 = -3*d - 5*k + 120, k = 3*d - k - 141. Suppose -b = 2*b - d. Is b a multiple of 2?
False
Let b be ((-160)/(-6))/(1 - 8/12). Let a = b + 42. Does 28 divide a?
False
Let y = 24 + -19. Suppose 360 = 2*b + 4*p, 2*p = -y*b + 3*b + 356. Suppose -4*m = 16 - b. Does 10 divide m?
True
Suppose -5*d + 4*b = -21, 0 = 4*d + 2*b + 3*b + 16. Let x be (5 - 2) + d + -5. Is 2 a factor of ((-24)/42)/(x/7)?
True
Suppose -8*o = -4*o - 852. Suppose -2*j = 5*x - 76 - 279, 0 = 3*x - 5*j - o. Is x a multiple of 13?
False
Let o(z) = z**3 - 4*z**2 + 4*z - 3. Let j be o(3). Suppose -4*a - 95 + 479 = j. Suppose -6*b + 2*b = -a. Is 8 a factor of b?
True
Let u = -44 - -46. Suppose k - 3*q = 251, u*k + k - 2*q = 746. Is 51 a factor of k?
False
Let v be (-1 + 219)*(54/(-12))/(-9). Let y = 137 - v. Is 7 a factor of y?
True
Let k(g) = -g - 1. Let t be k(-5). Suppose -t*y = 5*u + 5, 0*y - 2*u - 2 = -2*y. Suppose y = 17*l - 12*l - 50. Is 10 a factor of l?
True
Suppose 3*z + 26 - 120 = -4*v, 3*v + 57 = 2*z. Suppose -5*s + 2*u + z = 0, -4*u = 3*s - 9 - 9. Suppose 90 = -a + s*a. Is a a multiple of 8?
False
Let j = -6 + 16. Suppose 4*u - j = -3*y - 87, 4*u = -4*y - 80. Let l = u + 53. Does 9 divide l?
True
Let d(i) be the second derivative of i**5/20 - i**4/3 - 2*i**3/3 - 12*i**2 + 4*i. Is d(6) a multiple of 12?
True
Suppose 9*c - 171 - 243 = 0. Suppose 41*k = c*k - 305. Is k a multiple of 5?
False
Let a = -4 - -6. Let z(o) = o - 5 - 28*o**a + 30*o**2 + 1 + 3*o**3 - 4*o**3. Does 10 divide z(-3)?
False
Let j(n) = -n + 13. Let z be j(8). Let p(l) = 12*l + 8. Is 9 a factor of p(z)?
False
Suppose -10 = -3*u - 5*d, -3*d = -7*d - 4. Suppose -u*i = 2*c - 480, 5*i - 480 = -2*c + 3*c. Does 18 divide i?
False
Is 3256/20 + (32/10)/(-4) a multiple of 18?
True
Let n be (-8 + -6)/(4/(-2)). Let v(w) = w**3 - 8*w**2 + 17*w - 8. Does 23 divide v(n)?
False
Let m(y) = 3*y**2 + 3*y + 12. Is 19 a factor of m(6)?
False
Suppose 5*x - 38 = 4*o, 2*x - 5*o - 12 = 10. Let h(q) = -3*q + 18. Let v be h(x). Is 13 a factor of (-3)/(v + (-2)/52)?
True
Let l(n) = 331*n**2 - 11*n + 11. Is 93 a factor of l(1)?
False
Let h = 372 + -78. Does 21 divide h?
True
Let g = -225 + 377. Suppose -a - a - g = 2*m, 0 = 4*a - 12. Let u = m - -139. Is u a multiple of 20?
True
Let q(g) = g**3 + 2*g**2 - g. Let a be q(1). Is 10 a factor of 50/a + -1 - 1?
False
Let u(z) be the third derivative of 7*z**5/120 - z**4/24 + 2*z**3/3 - 4*z**2. Let l(r) be the first derivative of u(r). Is 3 a factor of l(1)?
True
Let g(i) = 6*i + 6. Does 15 divide g(14)?
True
Does 22 divide 9 + ((-12220)/(-5) - 11)?
True
Let k(u) = -2*u**2 + 43*u - 27. Is k(20) a multiple of 11?
True
Let b = -11 - -16. Suppose -1501 - 494 = b*l. Does 15 divide 4/6 + l/(-9)?
True
Let t = -2 + 2. Suppose -h + 7*h - 444 = t. Is 37 a factor of h?
True
Let v(a) = a**2 - a + 162. Does 6 divide v(0)?
True
Suppose -25*y = -60*y + 5635. Is 13 a factor of y?
False
Suppose -17 + 25 = 2*k. Let f(v) be the first derivative of 4*v**2 - 2*v - 1. Is 10 a factor of f(k)?
True
Suppose -3173 = -29*a + 3265. Does 29 divide a?
False
Suppose 2 - 22 = 5*b. Is 22 a factor of (327/1)/3*b/(-4)?
False
Let c(v) = 1112*v**2 + 3*v - 4. Is c(-1) a multiple of 65?
True
Let i(a) = -a + 2. Let v be i(-3). Suppose 3*n - 4*y = -130, -v*y + 174 = -5*n - 51. Let k = 41 - n. Does 15 divide k?
False
Let o(n) = n**2 + 6*n - 1. Let s = 21 - 25. Let q be ((-16)/8)/(2/s). Is 13 a factor of o(q)?
True
Let g(u) be the third derivative of -43*u**4/12 + u**3/3 - 3*u**2. Let r(c) = -43*c + 1. Let o(d) = -6*g(d) + 13*r(d). Does 16 divide o(-1)?
False
Let i be 11/3 - (-2)/(-3). Suppose -5*l = -i*l. Let y(h) = -h + 19. Is 19 a factor of y(l)?
True
Suppose -157*a = -160*a + 5130. Is 15 a factor of a?
True
Let b = 2 - -2. Suppose 0 = 4*u - 3*u - b. Suppose 135 = u*c + 47. Is c a multiple of 14?
False
Let p(a) = 6*a**2 - 8*a + 12. Let z be p(8). Suppose -2*g + g = 3*d - z, 213 = 2*d - g. Suppose -4*w + 197 = -2*o - o, -5*o - d = -2*w. Is w a multiple of 18?
False
Suppose 12 = -2*r + 20. Suppose 2*h + 2*f = -h + 265, r*h - 365 = -5*f. Does 17 divide h?
True
Suppose -22*b + 5*b = -4624. Is b a multiple of 16?
True
Let g(x) = -x**2 - 3*x + 68. Let w be g(0). Let j = -28 + w. Is 8 a factor of j?
True
Let j = -51 + 56. Suppose 0 = j*t + 4*c - 416 - 132, 3*t - 322 = c. Is t a multiple of 12?
True
Suppose -v = -2*v + 8. Suppose -5*a + v*a = 120. Is a a multiple of 20?
True
Suppose -g - j = -199 + 71, 4*j - 382 = -3*g. Is 2 a factor of g?
True
Suppose 4*r - 7 - 13 = 0. Suppose 2*n = -2*n + 3*t + 75, 3*n - 78 = -r*t. Does 3 divide n?
True
Suppose 0 = 20*j - 18*j - 180. Let f = j + -73. Does 5 divide f?
False
Suppose 0 = -12*r + 11*r + 23. Is r a multiple of 16?
False
Let x(o) = 1330*o**3 + 3*o**2 - 5*o + 4. Is x(1) a multiple of 6?
True
Let u(n) = 2*n + n**2 - 7 + 3*n**2 - 7*n**2 + 4*n**2. Let i be u(-6). Suppose 5*v - 38 = i. Is v a multiple of 5?
False
Suppose -3*l = 2*l + 210. Let q = l - -116. Suppose -34 = -4*b + q. Does 9 divide b?
True
Let x be 9/36 + 17/(-4) - 269. Let m = x + 398. Is m a multiple of 25?
True
Suppose 15410 = -33*s + 45902. Is s a multiple of 14?
True
Let s(t) = t**3 - 7*t**2 - 3*t + 4. Let p(o) = -3*o**3 - 15 + o**2 + 13*o - o**3 + 26*o**2. Let v(k) = -2*p(k) - 9*s(k). Does 2 divide v(9)?
False
Let x = 442 - 252. Let s = 327 - x. Does 18 divide s?
False
Let m = 123 + 729. Suppose -m + 258 = -9*r. Does 11 divide r?
True
Let u(b) = -b**3 + 23*b**2 + 8*b + 54. Is 21 a factor of u(22)?
True
Let a be 6*((-5)/3 + 2). Suppose 2*o = -a*o + 16. Does 4 divide o?
True
Suppose 0 = -0*r - 9*r + 63. Let s(q) = 2*q**2 - q + 1. Does 19 divide s(r)?
False
Let b(x) = x**2 + 13*x - 60. Is 9 a factor of b(-30)?
True
Let n = -14 + -41. Let s = -20 - n. Does 7 divide s?
True
Suppose -75 = -17*s - 24. Is 61 + (-4)/2 + s a multiple of 17?
False
Let s(w) = -w**3 - 7*w**2 - 2*w + 10. Let q be s(-7). Does 10 divide (-6)/q + (-281)/(-4)?
True
Let v(f) = f**3 - 2*f**2 - 3*f + 7. Let r be v(5). Suppose r = -5*g + p, -5*p + 73 = -5*g - 6*p. Let x = g - -26. Does 3 divide x?
True
Let d = -5 - -10. Suppose -d*j = -4*n - 89, 0 = -j + 2*j + 2*n - 29. Does 3 divide j?
True
Let c be (-3)/((-3)/(-3) - 0). Let x be 1*(2/(-2) - c). Suppose 0 = g - 3, 4*g - x*g = z - 68. Is 37 a factor of z?
True
Suppose -74*i + 55*i = -1254. Is i a multiple of 2?
True
Suppose -2*d + 0*d + 2*c = -14, -4*c = 5*d + 10. Suppose 0 = 2*a + d - 62. Is 8 a factor of a?
False
Suppose -2*s = -2*y - 476, 10*y = -5*s + 9*y + 1160. Does 40 divide s?
False
Let g(z) be the first derivative of -5*z**2/2 - z + 3. Suppose 3*v + 8 = -4. Does 6 divide g(v)?
False
Suppose 0 = 6*t + 5*t - 3080. Is 10 a factor of t?
True
Suppose 8*d - 5*d = 2*j - 156, 4*d - 234 = -3*j. Is 6 a factor of j?
True
Let m(c) = -2*c**3 + 2*c**2 + 3*c - 7. Does 28 divide m(-3)?
True
Let f = -406 - -1852. Does 6 divide f?
True
Let o(c) = 7*c**2 - c - 2. Let u be o(2). Suppose -2*w + 76 = u. Does 12 divide (1 - -51)*13/w?
False
Let z(m) = 2*m + 138. Is 31 a factor of z(-22)?
False
Let g(x) be the second derivative of -4*x + 0 + 10*x**3 + 1/2*x**2. Is 13 a factor of g(1)?
False
Let w = 74 + -89. Is 1581/9 + (-20)/w a multiple of 16?
False
Let w be (6 + -2 + 8/(-2))/(-4). Suppose w = -4*f + 193 + 75. Does 9 divide f?
False
Suppose 0 = -5*q - 20 + 60. Suppose 3*j - 4 = 26. Let g = q + j. Does 8 divide g?
False
Does 15 divide (99/5 - 0)/((-165)/(-550))?
False
Let b(d) = 91*d**2 + 18*d - 3. Is 6 a factor of b(-3)?
True
Let r(o) = o**2 + 3*o + 6. Let u be r(-5). Let y be ((-5)/2)/((-8)/u). Suppose -2*j = d - 52, 7*d - 2*d = -y*j + 125. Is 9 a factor of j?
True
Is 4 a factor of 98 - -4 - 40/(-20)?
True
Suppose 19 = -3*m + a, 3*m - 2*a = 6*m + 16. Let c(j) = j**3 + 6*j**2 - j + 1. Is c(m) even?
False
Let h(f) = 54*f + 6. Let s be h(7). Let j(q) = -q**3 - 4*q**2 