- d*c - 128 = 0. Suppose 0 = -i + 3*b + c, -2*b = 2*b. Does 17 divide i?
False
Suppose 2*q - 22 = -4*y, 7*y = -q + 2*y + 23. Suppose q*t + t + 12 = 2*a, -4*a = -2*t - 12. Let p(o) = o**3 - 4*o**2 + 5*o. Is p(a) a multiple of 2?
True
Let a = -547 + 516. Let c(l) = -23*l - 243. Is 94 a factor of c(a)?
True
Let k be (-3*2/(-18))/((-4)/(-1896)). Suppose -4*h + 10 = w - k, h + 188 = w. Is w a multiple of 43?
False
Does 5 divide (78 - 0)/((-3)/(-97))?
False
Suppose 5*m - 30 = 0, -r - 39*m + 35*m = -2056. Is 127 a factor of r?
True
Let m(k) = k**2 - 11*k - 64. Let v be m(15). Let t(y) = -23*y + 52. Is t(v) a multiple of 36?
True
Suppose 151*v + 196*v - 310960 = 117*v. Is 54 a factor of v?
False
Is 1/((-3)/(-9)) + -1 + 2238 a multiple of 7?
True
Suppose 22*i - 24*i + 624 = 4*o, -5*i = 10. Is o a multiple of 2?
False
Suppose -11*s - 16443 = 10*s. Let o = 1590 + s. Is o a multiple of 41?
False
Let n(a) = -a**2 + 14*a - 29. Let q be n(11). Suppose q*x + 1 = -15, 0 = 2*f - x - 484. Is f a multiple of 60?
True
Let p(l) = -295*l - 15. Suppose -28*w + 17*w - 11 = 0. Is p(w) a multiple of 20?
True
Let m be (-113)/(-7) + 6/42*-1. Does 15 divide ((-722)/m + (-38)/(-304))*-12?
True
Suppose -5*f + 464 = r, 19*r - 2216 = 14*r + f. Let z = r - 147. Is z a multiple of 6?
False
Let b(h) = -988*h - 22. Let q be -7 + (1 - -7) + -2. Is b(q) a multiple of 69?
True
Let z(l) = l**3 + 4*l**2 - 14*l - 9. Let i be z(-6). Let u(k) = 13 + k + 0*k**3 - 15 - 2*k**2 + 4*k**i. Is 12 a factor of u(2)?
True
Let v(q) = 284*q + 6569. Is v(-6) a multiple of 2?
False
Let a = -102 - -106. Let o(w) = -3*w**3 - 5*w**2 + 3*w + 8. Let y(j) = 3*j**3 + 5*j**2 - 4*j - 8. Let h(c) = a*o(c) + 3*y(c). Is 19 a factor of h(-4)?
False
Let z(u) = u**3 - 17*u**2 - 14*u - 72. Let i be z(18). Suppose i = -3*j - h + 1224 - 285, -6 = -2*h. Is 3 a factor of j?
True
Let k = -114 + 48. Does 51 divide 11/(k/(-12)) - -222?
False
Let m(l) be the first derivative of 7*l**3/3 - 5*l**2 + 37*l - 15. Does 13 divide m(10)?
True
Let q be (-78380)/(-70) + 8/28. Is q/5 - (-4 + 3) a multiple of 15?
True
Let z be (8/(-14))/(2/(-28)). Let i(x) = -x**2 + 7*x + 8. Let w be i(z). Suppose w = -5*c - 2*c + 728. Is 13 a factor of c?
True
Let l = 673 - -1127. Is 30 a factor of l?
True
Let o(h) = 2*h**2 + 9*h + 15. Let b = 106 + -110. Let s be o(b). Suppose 0 = 2*u - s*u + 180. Is u a multiple of 10?
True
Let h = -3648 - -16161. Is 42 a factor of h?
False
Let y(n) = -n**2 - 5*n**2 - 9*n + 4*n**2 + 28*n - 8. Let b be y(9). Suppose 0 = -s - 2*u + 32, 2*s + 3*u - 67 = -b. Is 9 a factor of s?
True
Let n(q) = -2*q - 2*q**2 - 28*q**3 + q**2 + 29*q**3 + 615 + 0*q. Let w be n(0). Suppose -5*k = -5*u - 1045, 3*u = k - 4*k + w. Does 23 divide k?
True
Suppose -112 = 4*y - 2*c, 5*y - 2*y + c + 94 = 0. Is 16998/90 - 4/y a multiple of 28?
False
Let m be (6 - (-1 + 2)) + 0/(-1). Suppose -m*b + 170 + 220 = 0. Does 6 divide b?
True
Let l = 654 + -631. Suppose 0 = -20*o + l*o - 1593. Is 17 a factor of o?
False
Suppose -23*m + 40497 + 46811 = 0. Is m a multiple of 20?
False
Let k(j) = 405*j**2 + 2*j. Let w be 6/(-3 + 15)*(4 - 2). Is 27 a factor of k(w)?
False
Let l be (72/(-2))/(3/(-24)). Suppose -4*r - q - q = -354, 3*r - l = 3*q. Is 7 a factor of r?
True
Suppose -2*g + 178 = g - 5*j, -5*j - 112 = -2*g. Suppose -2*t = q - 90, t = -5*q + g - 3. Let w = -35 + t. Is 8 a factor of w?
True
Let u(g) = -7*g - 12. Let y = 42 + -29. Suppose -2*k - y = -1. Is u(k) a multiple of 5?
True
Let z = 1857 + -1850. Let b(j) = 15 + 3*j + 3*j**2 - 2*j**2 + 2*j. Is b(z) a multiple of 11?
True
Let q(t) = 9*t + 3. Suppose -c + 4*j = 12, 0 = j + 9 - 4. Let h = c - -41. Is q(h) a multiple of 14?
True
Suppose 14*j - 2079 = 41*j. Let x = -26 - j. Is x a multiple of 7?
False
Suppose -38*b + 8*b - 33*b = -75663. Is 7 a factor of b?
False
Let r = -206 - -2413. Is 46 a factor of r?
False
Suppose -790*f = -792*f + 17224. Suppose -11*x + 5743 = -f. Is x a multiple of 36?
False
Let i = -359 + 6957. Is 184 a factor of i?
False
Does 73 divide (261/6)/(((-66)/348)/(-11))?
False
Let z(x) = x**3 - x**2 - x + 1. Let a(n) = -11*n**3 + 10*n**2 + 2*n - 4. Let d(b) = a(b) + 6*z(b). Is 12 a factor of d(-3)?
False
Let v = 14826 + -5547. Does 9 divide v?
True
Does 21 divide 1/(1/(20605 - -17))?
True
Suppose -2*i - 3*f = -5*f + 14, 0 = -5*i + 3*f - 31. Let u(r) = -17*r - 12. Let x be u(i). Suppose 5*n - 26 = -2*s, -3*s + x = -n - 0*n. Is 12 a factor of s?
False
Let j be (2/(-14))/(7/(-315)) + (-6)/14. Let n(h) = h**2 - 4*h + 4. Let a be n(-5). Suppose 119 = j*z - a. Does 6 divide z?
False
Let x(v) = -2*v + 18. Let f be x(8). Let a be 3 - (-27)/(-3) - f. Let c(u) = 2*u**2 + 7*u + 6. Is 18 a factor of c(a)?
False
Suppose -5*c = -4*x - 21 - 14, 0 = -c + 2*x + 13. Suppose 26*u = -c*u + 6902. Does 19 divide u?
False
Let i(a) be the second derivative of -a**4/4 + a**3 - 5*a**2/2 + 2*a. Let x be i(3). Let w(n) = n**2 + 3*n - 19. Is 37 a factor of w(x)?
False
Let b(n) = -7*n**2 + 9*n - 2. Let t be b(1). Suppose t = -11*d + 3758 - 414. Is 8 a factor of d?
True
Is 47 a factor of 6*1*(-2608389)/(-666)?
False
Let f = 282 + -282. Suppose f = 26*z - 37*z + 1562. Is z a multiple of 18?
False
Suppose -39 = -6*a + 27. Let c = 101 + a. Is 28 a factor of c?
True
Let w be (2/1)/((-1)/7). Does 35 divide (w + -1)*(-157)/3?
False
Let b be 1/(-3) - 5585/(-15). Suppose -3*g - b = 5*z - 1075, -2*g - z + 464 = 0. Is g a multiple of 84?
False
Is 0 + 19045 + (-3)/((-111)/148) a multiple of 10?
False
Suppose -248136 = -232*i + 190*i. Is i a multiple of 211?
True
Let y = 27535 + -18310. Is 15 a factor of y?
True
Suppose -g = -101 - 116. Let b = g + -115. Does 6 divide b?
True
Let w be 1446/(-36) + (-33)/18 + 2. Let b = -28 - w. Is b a multiple of 12?
True
Let j be (269/(-2))/((-22)/(-44)). Let a = 398 + j. Is 4 a factor of a?
False
Let p(f) = -45*f**3 + 4*f**2 + 3*f + 3. Let b(o) = o**3 - 4*o**2 - 4*o - 5. Let m be b(5). Suppose k - 2*t + 6 = m, -12 = -k - 5*t - 4. Is 29 a factor of p(k)?
False
Let y(w) = 2*w**2 - 2*w + 89. Let m(l) = -l**2 + 3*l - 88. Let h(k) = 5*m(k) + 4*y(k). Is h(-15) a multiple of 24?
False
Let x = -6511 + 10383. Is 121 a factor of x?
True
Is 4 a factor of (-37100)/(-159) - (-16)/6?
True
Suppose -10216*l + 10214*l = -4. Let t = -5 + 8. Suppose 2*k + l = k, 66 = 5*a - t*k. Does 12 divide a?
True
Let d(q) = 7*q + 67. Let h be d(6). Let x = h + -97. Is x a multiple of 2?
True
Is 213 a factor of ((-2414)/(-119))/((-6)/(-63))*(6 - -182)?
True
Let k be (-57)/3*(-7 + -5). Suppose -3*o + o + 128 = 4*h, -4*o - h = -k. Is 4 a factor of o?
True
Let l(u) = 5*u**3 - 2*u**2 + u - 4. Let o be l(-4). Let d = o - -397. Does 37 divide d?
True
Let g be (-4)/22 - (-82524)/253. Let a = g + -244. Does 12 divide a?
False
Does 10 divide (461660/68 - 9) + 6/(-51)?
True
Suppose 0 = -11*t + 182170 - 55384. Does 51 divide t?
True
Let y(b) = b**2 - 11*b + 71. Suppose 4*l - 20 = -4*a, 2*l - 5 = -4*a + 3. Does 19 divide y(l)?
False
Let n be 388 - (5 + -6) - (8 + -4). Let f = n + -320. Does 4 divide f?
False
Suppose 4*g - 55 = -5*x, -4*x + g + 52 = -13. Suppose 2*v + 25 = x. Is -92*(v/20 - 2) a multiple of 38?
False
Suppose -5*c - 3*b = -4, 0 - 3 = -3*c - 2*b. Suppose 4*h = 14*h + 4520. Is 9 a factor of 2 + c*h/4 + 2?
True
Suppose -2*v = 18 + 130. Suppose -211*o - 522 = -208*o. Let i = v - o. Is 20 a factor of i?
True
Suppose -2*d + 2*a = -56488, 11043 + 45421 = 2*d + a. Is 78 a factor of d?
True
Let m be ((-16)/12)/((-6)/(-117)). Let a = m - -28. Suppose 193 = a*t - 25. Is 15 a factor of t?
False
Suppose -93000 = 915*x - 927*x. Does 135 divide x?
False
Is 9 a factor of ((-5480)/(-5))/(9/9)?
False
Let f = 61845 - 36735. Is 135 a factor of f?
True
Suppose 5*h + 77 = 47. Is 351/h*8/(-6) a multiple of 13?
True
Suppose -363*v - 4680 = -368*v. Suppose 5*b + 7*f - 10*f = v, -2*b - 2*f + 384 = 0. Does 21 divide b?
True
Let l be (-30)/((-5)/((-30)/(-12))). Let m be 2 + ((-1415)/l - (-1)/3). Let t = m - -389. Is 16 a factor of t?
False
Let w = -364 + 366. Is 15 a factor of 16/4*15/w?
True
Let j(n) = 250*n + 13. Let p be j(-3). Does 3 divide p/(-44) + (-2)/(-8)?
False
Let f = -21 + 21. Let m be 138 - 0 - f - -2. Is 10 a factor of ((-36)/(-14))/(-5 - (-706)/m)?
True
Suppose -17*c = -23403 - 20746. Is c a multiple of 49?
True
Let p = -52155 + 