alse
Suppose 3*c - 16 = -1. Suppose -5*k - c*n = -305, -n - 67 = -k + n. Is 25 a factor of k?
False
Let z(a) = a**3 - 4*a + 3. Let v be z(2). Suppose 11 + v = n. Let q = n + -1. Is q a multiple of 13?
True
Suppose 2*r = -y - 11, 7 + 18 = -5*r. Is ((-3 + 8)*1)/(y/(-6)) a multiple of 2?
True
Let m(w) = -3*w - 1. Let f be m(-1). Suppose -f*x - 52 = -0*x. Let v = -7 - x. Is v a multiple of 10?
False
Suppose -3*a + 2*u = -92, 3*u - 152 - 33 = -5*a. Suppose 5*z + a - 79 = 0. Is 4 a factor of ((-4)/5)/(z/(-180))?
True
Let q be 4/((-16)/(-332)) - (3 + -2). Let d be (-2 + 1)/(-1)*3. Suppose d*y - q = 2. Is 13 a factor of y?
False
Suppose -3*s + 392 = -2*s - 4*t, 0 = -5*s + t + 1922. Does 12 divide s?
True
Let v(q) = 2*q**3 - 16*q**2 + q - 8. Let a be v(8). Is 3 a factor of 16 + 1 + 0 + a?
False
Let p be -2*5/(-35) + 1212/21. Suppose -o - 4*s = -58, -5*s + p = o - 9*s. Is o a multiple of 20?
False
Suppose -5*z - a + 9 = 0, -8*a + 20 = 4*z - 4*a. Let b(f) = 1. Let m(c) = -c. Let w(r) = z*m(r) - 2*b(r). Does 5 divide w(-7)?
True
Let s be (-1 + 0 - 48)*1. Let q be (-8)/(-18) + 0 - 19089/(-243). Let r = s + q. Does 14 divide r?
False
Let i = -17 - -20. Suppose i*f - 6*f - 1584 = 0. Does 12 divide 8/10 + f/(-15)?
True
Let j(p) = -p**2 - 31*p - 36. Does 33 divide j(-18)?
True
Let w(j) = -124*j + 13. Let r be w(-2). Let s = r + -125. Is 11 a factor of s?
False
Suppose -q + 2*p = 5*p - 30, 5*p = -2*q + 55. Is ((-33)/q + 0)/((-1)/5) a multiple of 10?
False
Suppose -4*r = -o - 28, -o - 3*o - 16 = 0. Let k(d) = 2*d - 3 + 3*d**2 - 5 - d**2 + r. Is k(2) a multiple of 5?
True
Let d = -78 - -85. Let g(z) = 0 - 1 + 0*z + 2*z**2 - 4*z. Is g(d) a multiple of 18?
False
Let i(m) = 2*m - 7. Suppose -28*p + 230 = -5*p. Is i(p) a multiple of 4?
False
Let l(v) = -874*v - 596. Is l(-5) a multiple of 51?
True
Let k(q) be the first derivative of -9*q**2 - 5*q - 24. Is 25 a factor of k(-10)?
True
Let m = 855 + -369. Does 22 divide m?
False
Suppose 0 = -a + 3*a - 34. Suppose -5*t - 2*g - a = -245, 4*t - 168 = 2*g. Does 22 divide t?
True
Let q = -66 + 54. Is (-4)/((q/(-46))/(-3)) even?
True
Does 5 divide -2 - (-323 - (1 + 2))?
False
Let c = -4 + 14. Is 12 a factor of (0 + c/25)*90?
True
Suppose 34*u = 7890 + 474. Is 10 a factor of u?
False
Suppose 4*b - 1066 = -9*b. Let o = -68 + b. Is 7 a factor of o?
True
Let c = 652 - 280. Does 29 divide c?
False
Let w(r) = 6*r + 217. Is 9 a factor of w(37)?
False
Let v be ((-1)/(-2))/((-14)/(-140)). Suppose 8 = 4*i - 4*l, -v*i - 2*l + 5 = -5. Suppose 33 = 3*p - s, -2*p - i*s - 11 = -3*p. Does 3 divide p?
False
Suppose 4*h = 2*s - 14, 2*h = -4*s + 32 - 4. Let k(o) = -o**3 + 7*o**2 + 10*o - 17. Is 7 a factor of k(s)?
False
Let w(q) = -q + 19. Let a(u) = u - 29. Let c(x) = -5*a(x) - 7*w(x). Suppose -10*j = -5*j - 40. Is 9 a factor of c(j)?
False
Does 7 divide 1*(122 + -1) - (0 - -3)?
False
Is -3 - -2*(7 - (-1240 - -4)) a multiple of 15?
False
Suppose -4*p = -2*g - 186 - 384, -699 = -5*p - 2*g. Is p a multiple of 47?
True
Suppose -100 = -16*a + 140. Is a a multiple of 3?
True
Suppose -q + 2*o - 5 = 0, -3*q = o - 6*o + 11. Suppose 6*x = 4*x + 4. Suppose -3*s = -2*w + x*s + 51, -q*w + 80 = -4*s. Does 14 divide w?
True
Suppose -416 = -0*z - z + r, 1248 = 3*z - 4*r. Suppose 0*a + 4*a = z. Suppose 5*h - 354 = -a. Is 9 a factor of h?
False
Suppose 0 = 2*m - 6*m - 1396. Let l = 621 + m. Let o = -187 + l. Is 18 a factor of o?
False
Let c = 3003 - 1675. Suppose 5*g = 2*n + c, 3*n = 5*g + 66 - 1398. Is g a multiple of 44?
True
Suppose 0 = 5*q - 767 - 88. Suppose 2*s = -v + 200, -2*s + q = -2*v - 17. Is s a multiple of 10?
False
Suppose 0 = -13*a + 889 + 658. Is 3 a factor of a?
False
Suppose 657 = 2*b + 3*g, g + 1027 = 3*b + 14. Is 24 a factor of b?
True
Suppose 3*u = 4*r - 5*r + 410, -3*u + 406 = 2*r. Suppose -u = -9*h - 3. Is 3 a factor of h?
True
Let v(y) be the third derivative of -y**6/20 + y**5/10 + y**4/4 - y**3/3 + 33*y**2. Is 49 a factor of v(-3)?
True
Suppose -5*u + 4*u + 996 = 2*n, n - 5*u = 476. Is 13 a factor of n?
False
Let w be 10/3*(-9)/6. Let t = -1 - w. Suppose t*a = 6*a - 100. Is 10 a factor of a?
True
Let i(n) = -33*n + 39. Is i(-6) a multiple of 19?
False
Let x(u) = 9*u + 3. Let q be x(2). Let k = -16 + q. Suppose 0 = n - k*n + 168. Is 13 a factor of n?
False
Suppose 0 = 3*n - 3, 0 = -5*m + m - n + 17. Let g(v) = 1 - 4 - v**3 - 11*v + 0 - m*v**2 - 5*v**2. Is g(-9) a multiple of 32?
True
Suppose 3*x = -4*v + 26, 0 = -3*v + 3*x - 0 + 9. Suppose -2*p = 2, -v*f - 4*p = -336 - 125. Suppose -14*n = -11*n - f. Does 10 divide n?
False
Suppose 13 = -2*m - 3*h - 14, 0 = -5*m - 3*h - 45. Let b(n) = -n**2 - 5*n + 3. Let g be b(m). Is (g - 57/(-15))*20 a multiple of 8?
True
Suppose 1993 - 8113 = -8*l. Is l a multiple of 39?
False
Suppose -2*b + 28 + 16 = 0. Let l = -19 + b. Does 2 divide l?
False
Suppose 0 = 4*y + 32 - 8. Let t be ((-666)/12)/(y/8). Suppose -t = -i + 5*w - 15, -3*i + 4*w = -155. Is 16 a factor of i?
False
Let f be -3*(43 + -2)/(-1). Let p = f + -42. Let h = p + -33. Does 16 divide h?
True
Let o(x) = 2*x - 7. Let z be o(4). Suppose 0 = -4*a + z - 5, 0 = -3*u + 2*a + 101. Let l = -11 + u. Is l a multiple of 6?
False
Let m = -39 + 51. Is 10 a factor of 8/(-6) + 1300/m?
False
Suppose -9*u + 4*u + 10 = 0. Is 35 a factor of 4248/28 - u*(-2)/14?
False
Does 9 divide 425 - (2 + 11 + -3)?
False
Let x(j) = -2 - j**2 - j - 2*j**3 - 2*j**3 - 2*j. Suppose 14 - 2 = -12*z. Does 2 divide x(z)?
True
Suppose 2*k + 0*k = 12. Is 1/k - 1045/(-66) a multiple of 16?
True
Let t(s) = 88*s. Does 11 divide t(1)?
True
Suppose 5*g = -4*p + 941, 559 = 3*g + 9*p - 8*p. Is 18 a factor of g?
False
Let x(y) = 4*y - 5. Let l be x(2). Suppose -l*u - a + 1 = -2, 4 = 4*u + 4*a. Suppose -4*s - u = -41. Does 6 divide s?
False
Suppose 0 = -5*x + 768 + 382. Suppose n = 6*n - 20. Suppose u = -n*u + x. Does 10 divide u?
False
Suppose -13*y + 5*y - 16 = 0. Let f be ((-1)/y)/((-6)/(-576)). Let n = 118 - f. Is n a multiple of 14?
True
Is 6 a factor of -3*(-596)/30 + (-16)/(-40)?
True
Suppose -22*y + 20*y = -1088. Suppose 9*k - y = 5*k. Is 17 a factor of k?
True
Let l be 1 - 1/2*0. Suppose -11 = -3*w + l. Suppose 3*u - 336 = 2*h, w*u - h + 243 = 686. Is 18 a factor of u?
False
Suppose 2*p - m = 657, 9*p - 14*p = 5*m - 1665. Is 14 a factor of p?
False
Let l(b) = -5*b**3 + 13*b**2 - 7*b + 9. Let k(j) = -4*j**3 + 12*j**2 - 6*j + 8. Let u(c) = -4*k(c) + 3*l(c). Let g be (-2)/6 + (-56)/(-6). Does 18 divide u(g)?
False
Let a(i) = -3*i**3 - 2*i**2 + 1. Let t be a(-1). Suppose -3*r + 29 = -r - 3*d, -3*r + 24 = t*d. Is -2 + 1 + r + 1 a multiple of 8?
False
Let z be 147/(-15) + (-3)/15. Let n be 5/z - 34/(-4). Suppose 4*g = n*g - 156. Does 13 divide g?
True
Let y(w) = w**3 + 11*w**2 - 7*w. Does 75 divide y(-9)?
True
Let y = 226 + 1254. Does 59 divide y?
False
Let j(i) = -i**2 + 11*i - 22. Is j(5) a multiple of 8?
True
Let y be (62/(-4))/(1 - (-1)/(-2)). Let z = y - -46. Does 5 divide z?
True
Suppose -7*b + 852 = -1003. Let k = b - 136. Does 23 divide k?
False
Let a be -2 + -2 + 45 - 3. Let s = a + -38. Suppose s*p = p - 36. Is 9 a factor of p?
True
Let l = -64 + 246. Suppose -l = 11*h - 1810. Is h a multiple of 13?
False
Let o(m) = -7*m + 29. Let q be o(5). Let g(p) = p**3 + 6*p**2 + 5. Is 5 a factor of g(q)?
True
Is 26 a factor of ((-7)/(-4))/(9*(-5)/(-13140))?
False
Let i be (-189)/(-28) - (-6)/(-8). Suppose -2*t - 2*x = -234, -3*t + i*x - 4*x = -346. Is t a multiple of 29?
True
Suppose 5*d - 3*p = 7412 - 125, -4*d - 3*p + 5835 = 0. Does 54 divide d?
True
Suppose -15*s + 148 = -16*s. Let f = -58 - s. Is 9 a factor of f?
True
Let g(v) = -13*v - 15 - 11*v**2 - 4*v**2 + v**3 + 13. Is g(16) a multiple of 25?
False
Let o = -735 + 1724. Is o a multiple of 11?
False
Suppose 5*i + 2*b = 1788 + 232, 4*b + 426 = i. Is i a multiple of 34?
False
Suppose 539*q - 548*q + 17910 = 0. Is 23 a factor of q?
False
Suppose 0 = 3*b - 3*k - 2121, 5*k = 4*b - 0*b - 2828. Is 19 a factor of b?
False
Let a = -141 + 1768. Is a a multiple of 33?
False
Let j = 59 - 31. Let w be (0 - -2)*(j - -1). Let r = w - 36. Does 9 divide r?
False
Suppose 2*q = -4*v - 12, -q + 5*v - 2 = -31. Is (-689)/(-5) - q/(-20) a multiple of 28?
False
Let s be 0 + 1 - (1 - -8). Is 6 a factor of s/(-14) - (-6656)/112?
True
Let g(b) = -b**2 