- 3). Suppose -84*x = -d*x - 360. Does 10 divide x?
True
Let n = -2218 + 5027. Is n a multiple of 11?
False
Let o(s) = -s**3 - 7*s**2 + s + 10. Let y be o(-7). Suppose -3*l - 1044 = y*n - 3051, 3*l + 2*n = 2004. Is l a multiple of 37?
True
Suppose -2018 = -5*u - 4*h, 2*u - 4*u + h + 815 = 0. Suppose 154 = -9*v + u. Suppose 5*g - 108 + v = 0. Is 11 a factor of g?
False
Suppose 0 = -3*z - 2*f + 568 + 136, -f = -2*z + 474. Let q = 396 - z. Suppose -k - 4*v + q = 0, -4*k - 2*v = -7*k + 452. Is 34 a factor of k?
False
Let s(q) = -q**3 - 5*q**2 - 2*q + 6. Let m(y) = -y**3 + 9*y**2 + 9*y + 13. Let z be m(10). Suppose 3*n - 3*j = -6, 21 = -4*n - z*j - 15. Is 11 a factor of s(n)?
False
Suppose -13*y - 215 = -709. Is y a multiple of 2?
True
Is (53 - 76)*(-152 - -1) a multiple of 11?
False
Suppose y - 10*m = -5*m + 9, 11 = 4*y + 5*m. Is 21 a factor of (-12)/48 - (-421)/y?
True
Let q(j) = -j**3 + 41*j**2 - 23*j - 386. Does 14 divide q(40)?
True
Let b be 1*(4 + -6 - 1). Suppose 0 = 4*w + 3 + 1. Does 11 divide 42/b*(-2 - w)?
False
Suppose 4*i + n - 10414 = 0, -561*i + 5*n = -566*i + 13025. Is 15 a factor of i?
False
Is (-42734)/(-6) - ((8 - (-328)/(-24)) + 5) a multiple of 29?
False
Suppose -4*c + 3*c = 1. Let j be 6 + -4 - (c + -62). Let q = j - 23. Is q a multiple of 14?
True
Let j = -59 - -66. Let b(u) = u**3 - 4*u**2 - 11*u + 12. Let d be b(j). Suppose 63 = 5*w - d. Is w a multiple of 29?
True
Suppose -3*d = 5*r - 22597, -4*d + 52004 = 4*r + 21888. Is d a multiple of 76?
True
Does 175 divide 350/4*(29 + 165)?
True
Let x(d) = 22*d**2 + 2024*d + 142. Does 19 divide x(-93)?
False
Suppose 3*j + 2045 = w, 13*j = 8*j + 4*w - 3420. Is 14 a factor of (2 + j/25)*(-2 - 3)?
True
Let h(r) = -68*r**3 + 62*r**2 + 5*r + 22. Let n(x) = -45*x**3 + 41*x**2 + 3*x + 14. Let l(z) = 5*h(z) - 8*n(z). Is 14 a factor of l(2)?
False
Does 5 divide -3 + (1422 - 48/(24/(-3))) - -5?
True
Does 5 divide -11*(6/48*8 - 40)?
False
Let h = -62 + 67. Suppose 4*b = -0*b + f + 1051, -h*b = 2*f - 1330. Suppose b = 2*o + 4*y, 5*o - 1006 = -4*y - 346. Is o a multiple of 33?
True
Suppose 7 = i + 3. Suppose -i*d = -3*y + 10 - 152, -y + 168 = 5*d. Suppose -3*g + d + 89 = 0. Does 8 divide g?
False
Let j be 53/(-477) - 953/9. Let d = -39 - j. Does 2 divide d?
False
Let w = 41 - 38. Suppose 3*g = 9, -w*s + 2*g = -5*s + 10. Is 16 a factor of (-88)/(-2) + s + 2?
True
Let c(i) = -i**3 + i**2 - i - 27. Let o be c(0). Suppose 3*b + 10 = -2*g + b, 4*g + 2*b = -26. Is (-2 + g)*o/6 a multiple of 4?
False
Let f(y) = y**2 - 8*y + 2*y**2 - 50 + 19. Let n(i) = 10*i**2 - 24*i - 92. Let h(b) = 7*f(b) - 2*n(b). Does 28 divide h(-8)?
False
Let n = 192 + -189. Is ((-9)/n)/(24/(-5288)) a multiple of 15?
False
Let x(f) = 18*f**2 + 2*f - 2. Let h be x(1). Let r(c) = h*c - 1613 + 1613. Does 12 divide r(2)?
True
Is (-44)/(-506) - (30722/(-69) + (-3)/(-9)) a multiple of 12?
False
Let z be (19/((-57)/(-90)))/(-1). Let l be (-3)/(-18) + (-145)/z. Suppose 0 = 2*b - 2*k - 184, -l*b = 2*k - 6*k - 459. Is b a multiple of 13?
True
Suppose 0 = 2*h - 8, 0*h + 3*h - 11 = m. Let r(j) = 201*j**3 + j**2 + 2*j - 3. Does 6 divide r(m)?
False
Suppose -3 = -2*w + w, 5*w = -3*d - 156. Let c be 6/(-8) + 293/(-4). Let l = d - c. Is l a multiple of 2?
False
Let p be (-2439)/(-45) + 3/(45/12). Let m = 5 + -10. Is 6 a factor of (-22)/p + (-92)/m?
True
Let p = -6818 + 11086. Suppose 11*g - 22*g + p = 0. Is 27 a factor of g?
False
Suppose -4*r - 7*r - 624800 = -36*r. Is 27 a factor of r?
False
Let x = 59 + -2. Suppose -3*r = 3*r - 306. Let h = x + r. Is 24 a factor of h?
False
Suppose 3*t + f - 3453 = -0*f, 3453 = 3*t - 5*f. Let u = t - 491. Does 44 divide u?
True
Let m(z) = z**3 - 8*z**2 + 6*z - 21. Let b be m(8). Suppose 3*k - 405 - b = 0. Is 16 a factor of k?
True
Does 5 divide -3 + 3 - 1 - (-25008)/(8/1)?
True
Let s = -191 + 130. Let h(w) = -w**3 - 4*w**2 + 5*w + 4. Let p be h(-7). Let q = p + s. Does 11 divide q?
True
Let y(w) = -4*w - 13 + 38 + 18 - 11*w. Let j be y(-20). Let v = j - 126. Is 18 a factor of v?
False
Suppose 428715 = 41*x - 132575. Is x a multiple of 74?
True
Suppose -12*g + 14 = -22. Suppose 0 = g*k - 715 - 14. Does 27 divide k?
True
Let b(l) = 7*l**3 - 60*l**2 + 204*l + 24. Is 14 a factor of b(8)?
True
Suppose 4*r - 7364 = -4*g, -4*g + 6*g + 1832 = r. Is r a multiple of 77?
False
Suppose -20*m = -7*m - 104. Is (-6)/(-9) - ((-29568)/18)/m a multiple of 10?
False
Let j(a) = -3*a**2 + 3*a - 3. Let l be j(2). Let u(r) = -7*r**2 + 0*r**2 + 14*r**2 + r - 6*r**2 + 4*r - 10. Is u(l) a multiple of 17?
False
Let u = 11482 + -6322. Is u a multiple of 10?
True
Let c(i) = -493*i - 3706. Is c(-12) a multiple of 65?
True
Let h = 127 + -213. Let a = 6 - h. Suppose 0 = 8*f - a - 76. Does 6 divide f?
False
Let y(m) = 16*m + 5. Let f be y(-13). Suppose 3*w - 2*j = -w + 1454, -4*j = -3*w + 1098. Let i = w + f. Is i a multiple of 20?
False
Let a(z) = -z**2 - 7*z + 4. Let f be a(-7). Let r be (8 - (5 + 2) - 0)*-1 - -325. Suppose -2*b - f*b + r = 0. Is b a multiple of 9?
True
Suppose -158266 + 24591 = -25*k. Does 4 divide k?
False
Let r = -908 - -604. Let t = 101 - r. Does 5 divide t?
True
Let g(p) = -18*p**2 - 3*p + 3. Let i be g(1). Let k be (-27)/i*(-12)/(-9). Suppose -31 = -3*c + k*c. Is 8 a factor of c?
False
Let u(d) = -3*d**2 - 3*d + 3. Let r be u(-2). Is 26 a factor of 6*(-2)/r + 304/2?
True
Let h(t) = t**3 + 8*t**2 + 10*t - 5. Let l = -58 - -54. Let i be 57/(-9) + l/(-12). Is 2 a factor of h(i)?
False
Suppose -5*b - 5*h = -261 + 891, -3*b = -3*h + 360. Let y = b - -195. Is y a multiple of 12?
True
Let k(m) be the first derivative of -m**3/3 + 12*m**2 + 22*m - 27. Let v be k(25). Does 11 divide 10/45*v*-33?
True
Let f = 58 - 54. Suppose -f*p + 1838 = 514. Is p a multiple of 44?
False
Suppose -1 = -5*k + 9. Suppose -k*m = m. Suppose 10 = 2*o, -3*p - 3*o - 2*o + 175 = m. Is 16 a factor of p?
False
Suppose -4*b + 3*o = -23, -4*b + 2*b + o = -11. Suppose -11 = -2*x - b. Suppose 0 = -4*n - 0*d + d + 419, x*n - 315 = d. Does 26 divide n?
True
Suppose -n - 168 = b + 4*n, -n - 840 = 5*b. Let o = 387 + b. Is o a multiple of 6?
False
Suppose -44*w + 929516 - 578845 = -663881. Is 223 a factor of w?
False
Is (3 - 1001/(-11))*22 a multiple of 94?
True
Let o be 0*(-4)/((-16)/4). Suppose 3*r + r - 184 = o. Does 24 divide r?
False
Let o be (2 - 148/3)/(8/(-60)). Let k = 86 + o. Does 63 divide k?
True
Let u = -4 - -9. Suppose -u*j = -10, -4*j = -8*o + 3*o + 22. Let b(w) = 17*w - 11. Is 13 a factor of b(o)?
True
Let b(k) = -5*k**3 + k**3 + 8*k**2 - 3*k**3 + 15 - 9*k + 6*k**3. Let y be b(7). Suppose q - 4*s + y - 7 = 0, -12 = -3*s. Is 8 a factor of q?
False
Let i be (459/4)/(((-9)/(-12))/(-3)). Let m = -415 - i. Is m a multiple of 8?
False
Let x be (-19532)/(-57) + (-8)/(-6). Suppose 4*d - 276 = -4*y, -5*d + x = -2*y + 6*y. Does 11 divide d?
False
Let g be (4 - (-13)/2)*2 - 4. Let k(n) = 2*n**2 - 30*n + 167. Is k(g) a multiple of 47?
True
Let q(f) be the first derivative of -f**4/4 + 6*f**3 - f**2/2 + 8*f + 63. Is 20 a factor of q(17)?
True
Is -2*(-74)/(22/77 - (-218)/(-812)) a multiple of 148?
True
Let l(j) = 943*j - 132. Does 98 divide l(9)?
False
Let l(g) = -g**3 + 8*g**2 - 12*g - 8. Let n be l(4). Does 11 divide (-1)/n - (-5)/(80/2642)?
True
Let i(j) = 465*j**2 - 532*j + 2686. Does 13 divide i(5)?
False
Let p = -33244 - -56385. Is 180 a factor of p?
False
Suppose -5*k + 182 = -2*k - 5*h, k - 57 = -2*h. Suppose -k + 269 = 3*c. Is c a multiple of 7?
True
Suppose -2*z - 1 = 5*w - 11, -3*w - 2*z = -2. Suppose -86 = -3*g + w*s, 5*g + 50 - 170 = 2*s. Let d = g - -12. Is d a multiple of 5?
False
Let s(j) = 14*j - 86. Let y be s(-7). Let b = y - -371. Is 11 a factor of b?
True
Suppose 3*l - 17 = -2*r + 43, 5*l + r = 93. Suppose l*p = 17*p + 174. Suppose -7*x + 204 + p = 0. Is 18 a factor of x?
True
Let a(l) = -7*l + 4. Let s(r) = -20*r + 12. Let t(k) = 11*a(k) - 4*s(k). Let y be t(11). Let d = 35 - y. Is 6 a factor of d?
True
Suppose -100*i + 32 = -108*i. Let a(b) = -2*b**3 - 15*b - 10. Is a(i) a multiple of 31?
False
Let t = 2632 - -10594. Is t a multiple of 106?
False
Does 15 divide 414*(-11)/(44/(-20))?
True
Suppose -51*v = -33051 - 31056. Does 90 divide v?
False
Let p = -1644 - -1773. Does 17 divide p?
False
Let u(a) = -a**2 + 16*a - 1. Let g be u(8). L