0 = -5*o - 2*c, w*c = -o - c + 28. Is 9 a factor of o?
False
Suppose 18*u + 8*u = 18798. Is 15 a factor of (u/3 - -4) + (-3 - 2)?
True
Suppose -15*o + 19*o = 12. Does 13 divide 4/o*7722/44?
True
Let c = -41 + 27. Let b be 1516/(-12) - (c/6 - -3). Let l = 248 + b. Is 21 a factor of l?
False
Suppose 18870 = 16*y - 64074. Is y a multiple of 57?
False
Suppose 0 = -3*w - 4*z + 14035, -5638 = -w - 5*z - 945. Is w a multiple of 123?
False
Let s = -89 - -648. Suppose -5*g - 480 = -5*c, -2*g - 72 = 5*c - s. Suppose 5*k + c - 512 = 0. Is k a multiple of 11?
False
Let w be -1 + -2 - (7 - 11). Let r(u) = -163*u - 23. Let z(v) = -245*v - 35. Let y(i) = -8*r(i) + 5*z(i). Does 11 divide y(w)?
True
Suppose 33*n = 131201 + 231321 - 67568. Does 17 divide n?
False
Let p = 138 + 391. Is p a multiple of 10?
False
Let w(z) = z + 23. Let q be w(-10). Suppose -g = c - q, c = -0*g - 2*g + 17. Suppose j = -3*o + c, -4*o + 10 = j - 0*o. Is 5 a factor of j?
False
Suppose -4*k + 79331 = 3*m, 4*k + 1862*m = 1858*m + 79324. Is k a multiple of 91?
True
Suppose 78*t - 365183 = 154095 - 88328. Is t a multiple of 17?
True
Suppose 2*q - 5*q - 5*x + 115 = 0, 0 = 3*q + 3*x - 117. Let a = 42 - q. Suppose -a*y + 56 = -y. Does 17 divide y?
False
Let r = -1320 - -760. Let a = r - -989. Suppose 0 = v + 3, -3*q + 3*v + a = 2*q. Is 19 a factor of q?
False
Suppose 5*k - 14 = 16. Suppose 0 = k*o - 11*o - 25. Is ((o - -10) + -21)*-3 a multiple of 12?
True
Let a = -163 + 135. Let k = 332 + a. Is 4 a factor of k?
True
Suppose 4*h + 7384 = -18*n + 22*n, -9206 = -5*n - h. Does 21 divide n?
False
Let j(h) = 41*h + 29. Let z be j(-9). Let x = 492 + z. Suppose -k + x = 3*k. Does 16 divide k?
False
Suppose 7*r = 2*r + 25. Suppose -5*i = 4*d - 5, -2*d + r*i + 20 = -5. Does 11 divide 5 + -163*(4 - d)?
False
Suppose -y + 5 = 0, -2*y = -5*r - 43 - 117. Let c be 8094/(-30) + 3/r*2. Let p = c - -441. Is p a multiple of 9?
True
Suppose -4 = -2*l - n + 3, -5*l + n + 28 = 0. Suppose -k = -5*i + 530, l*i + 2*k = -18 + 548. Let p = i - 64. Is 7 a factor of p?
True
Let l(u) = -15*u**3 - 9*u**2 - u - 9. Let n(w) = 22*w**3 + 14*w**2 + 2*w + 13. Let m(r) = -7*l(r) - 5*n(r). Is m(-2) a multiple of 9?
False
Let k(m) = -m**2 + 101*m + 4016. Is 16 a factor of k(0)?
True
Let p(v) = -3*v**2 - 77*v + 56. Suppose -8*s - 95 - 89 = 0. Does 12 divide p(s)?
True
Let c(z) = -28*z + 16. Suppose -15 = -4*b + 4*r + 17, -b + 8 = -5*r. Let k be -5*b/(-80) + (-22)/4. Does 30 divide c(k)?
False
Suppose -44*l - 39*l - 865810 = -117*l. Is 214 a factor of l?
False
Suppose 5*o + v = 2361 + 32794, 4*o - 28124 = 3*v. Does 9 divide o?
False
Let m(d) = -482*d - 1228. Is 32 a factor of m(-30)?
False
Let g(b) = 95*b**2 + 227*b - 48. Is g(-14) a multiple of 90?
False
Let f be 245/4 - (4 + 15/(-4)). Let y = -53 + f. Let s = 157 + y. Does 29 divide s?
False
Suppose -121 = -4*r + 2*r + 3*f, -12 = 4*f. Let w = r + -48. Let u = 64 + w. Does 18 divide u?
True
Let n = 29167 + -16627. Is 22 a factor of n?
True
Suppose 5*v - 6*d + 7*d = 155, 5*d = 25. Suppose 55*r = 50*r - v. Is 30 a factor of 3 + (-4)/r*303?
False
Suppose -4*d = 3*s + 23, 16 + 0 = -4*d + 4*s. Let h(j) be the second derivative of j**4/12 - 7*j**3/6 - 2*j**2 + 2*j. Does 28 divide h(d)?
True
Suppose 0 = 4*x - 1241 - 35. Suppose 0 = -2*d - 225 + x. Is 3 a factor of d?
False
Let d = -42443 + 61205. Does 159 divide d?
True
Let n = 425 + -412. Suppose 2*w - 15*l - 82 = -11*l, w + 5*l = n. Is 4 a factor of w?
False
Suppose 20*k - 8*k = -144. Does 35 divide (-10)/(k/(-162)*3)*-21?
True
Let x(d) be the first derivative of -d + 16 + 3/2*d**2. Is 5 a factor of x(2)?
True
Let s(f) = -2*f**3 - 82*f**2 + f + 44. Is 95 a factor of s(-47)?
True
Let c(y) = y**2 + 29*y - 62. Let f be c(14). Let w = f + -348. Does 53 divide w?
False
Let b(j) = 6*j**2 - 8*j + 21. Suppose 7*v + 4 = 5*v. Let c be (70/84)/(v/(-12)). Is 13 a factor of b(c)?
False
Let k(b) = b**3 + 41*b**2 - 129*b - 159. Is 14 a factor of k(-33)?
True
Suppose j - 792 = 3*b, 4*j + 6*b - 11*b - 3203 = 0. Let v = j + -479. Does 29 divide v?
False
Suppose -166 - 170 = d + o, -4*d + o - 1364 = 0. Let g = d + 782. Does 26 divide g?
True
Let g = 111984 + -79043. Is 196 a factor of g?
False
Let l(n) = 20*n - 138. Let c be l(7). Suppose -394 = -2*i + 5*v + 17, -c*i + 381 = 5*v. Is 18 a factor of i?
True
Let d be (-1)/((-9)/(-216))*(-1)/2. Suppose -5*b = -d*b + 1190. Is b a multiple of 34?
True
Let u(r) = 249*r**2 - 89*r - 658. Is u(-8) a multiple of 30?
True
Suppose 0 = 6*w + 4456 - 7817 - 22931. Does 14 divide w?
True
Let z = 2126 + 116. Does 7 divide z?
False
Suppose -16114 = -2*i + 5508. Is i a multiple of 17?
False
Let x = -32 - -27. Let p be (-2)/(-7) - ((-1220)/(-28))/x. Suppose 0 = -c - 4*q - p, 3*c + 3*q = -0*c. Is 2 a factor of c?
False
Let o be -68*(-26)/12 + (-3)/9. Suppose 0*y + 5*y = 3*w + o, w - 151 = -5*y. Does 23 divide y?
False
Suppose 0 = 3*d - 28 + 37. Let j be (d/7)/(7/(-49)). Is 2 a factor of (-1)/((-3)/(j - -18))?
False
Suppose -5*a = -c + 194, 3*a + 27 + 87 = 3*c. Suppose 9*v = 126 + 396. Let g = a + v. Is g a multiple of 3?
False
Let j(r) = r**3 + 42*r**2 + 18*r - 478. Is j(-36) a multiple of 7?
True
Let a(z) = z**3 - 15*z**2 + 27*z - 12. Let w(v) = v**3 + 6*v**2 - 11*v - 15. Let b be w(-7). Let d be a(b). Does 8 divide (-1 + d/5)/((-2)/20)?
True
Let i be 3 - 4/((-48)/180). Let d = -152 + 107. Does 6 divide ((-116)/5)/(i/d)?
False
Suppose 40*f + 507 + 1489 = 33116. Is f a multiple of 8?
False
Let q = 4435 + -1801. Does 5 divide 9/81*q - 2/3?
False
Let n(g) be the first derivative of 13*g**5/60 - g**4/8 + 2*g**3/3 - 25*g**2/2 + 27. Let r(m) be the second derivative of n(m). Does 10 divide r(2)?
True
Suppose 0 - 4 = -s + a, 16 = -4*a. Suppose s = -r - 2*d + 2, 2*r + 5*d = 7*r - 10. Does 22 divide ((-22)/(-55))/(r/1320)?
True
Let n(k) be the third derivative of 0*k + 0 - k**4 + 35/6*k**3 - 21*k**2 - 1/60*k**5. Is 13 a factor of n(-23)?
False
Let t = -33 - -1095. Is t a multiple of 5?
False
Suppose 0 = -7*x + 38 - 66. Is 24*(x/12)/((-1)/8) a multiple of 11?
False
Is 81/(-108)*(-9359 + 3) a multiple of 153?
False
Let p(y) = -23*y + 6. Let q(g) = 24*g - 5. Let d(k) = 3*p(k) + 2*q(k). Suppose 20 = -5*b - 0. Does 18 divide d(b)?
False
Let t be 1070/(-1 - 4) - (-1 - 4). Let y = t + 228. Does 11 divide y?
False
Suppose -46 = -5*p + 2*x, 5*x = -4*p + 2*x + 46. Suppose 2*t + 0*t = -p. Does 10 divide 1 + 129 - ((-5 - t) + -2)?
False
Suppose -3638262 = -197*t - 472669. Is t a multiple of 20?
False
Let w be ((-112)/(-42))/(2/(-9)). Let s(g) = g**3 + 13*g**2 + 15*g + 8. Let y be s(w). Does 29 divide (31/4)/((-7)/y)?
False
Let o = -9204 + 17909. Is o a multiple of 56?
False
Let n = 15489 + -9817. Does 8 divide n?
True
Let v(q) = 7*q**2 + 16*q + 21. Let p be v(6). Let k = 862 - p. Is k a multiple of 29?
True
Suppose -13*g + 546 = -10*g. Suppose 0 = 4*z - 132 - 148. Let c = g - z. Is 10 a factor of c?
False
Is 68*(-45)/(-60) + 13 a multiple of 7?
False
Let q(d) = 627*d + 12926. Is 280 a factor of q(62)?
True
Does 70 divide (9/6 - 2) + ((-12615)/(-6) - 2)?
True
Let q(h) = -h**2 + h - 18. Let f be q(0). Let o(m) = -m**2 - 24*m - 102. Is o(f) a multiple of 4?
False
Is 69 a factor of 666/(-8)*(-19136)/312?
True
Let x = 8 - -16. Let w(d) = d**3 - 24*d**2 + 134*d - 7. Let u be w(9). Let o = x + u. Is o a multiple of 4?
True
Suppose 12*g = 13*g - 5*f + 428, 2*f - 2232 = 5*g. Let z = g + 546. Is 18 a factor of z?
False
Let p(m) = -2*m**2 + 11*m - 1. Suppose -5*r + 3*r = -3*o + 88, -5*r - 270 = 5*o. Let s = -46 - r. Is p(s) a multiple of 3?
False
Let v(n) = -4*n + 21. Let w(k) = -k + 7. Let f(l) = -2*v(l) + 7*w(l). Let d be f(-5). Suppose p - 188 = -2*x, 0*p = -d*p - 8. Is 16 a factor of x?
True
Suppose -1936 = 63*z - 74*z. Suppose 0 = -8*n + 952 + z. Is 11 a factor of n?
False
Let s(i) = -9*i - 112. Let t(v) = v. Let x(l) = s(l) - 4*t(l). Does 16 divide x(-16)?
True
Is 10589 - 200/60*(-3 + 0) a multiple of 6?
False
Suppose 4*f = -2*f + 336. Let a = -50 + f. Is (-8)/a + 2 - (-2191)/21 a multiple of 21?
True
Let u(h) = -10*h - h - 6*h**2 + 0*h - 7 + 4*h**3 + 4*h - 15*h. Does 7 divide u(7)?
True
Let v be 7/((-63)/(-6))*3. Suppose -5*b - 25 = 0, 0 = 4*g - 0*g - 2*b - 18. Is 9 a factor of (v - (g + -1))/(2/178)?
False
Suppose 69071*a - 91770 = 69052*a. Is