-1). Suppose 0 = 11*z - i*z - 477. Suppose -f - 18 + z = 0. Does 21 divide f?
False
Suppose 254996*i - 450 = 254995*i. Is 210 a factor of i?
False
Suppose -5*p - 12 = -27. Suppose d = 2*w - 1 + p, 3*w = -5*d + 10. Is 16 a factor of (d/(-4))/(23/(-736))?
True
Is (4/(-3))/(788/(-5810121)) a multiple of 113?
True
Let b = -21350 - -30118. Is b a multiple of 22?
False
Let o be ((4/10)/(-1))/(8/2080). Let r = o + 67. Let x = r - -142. Is x a multiple of 15?
True
Suppose 0 = 5*o + 2*a - 12, -5*a = 4*o - 9*a - 4. Suppose -v + 3*u = 38 - 137, 0 = o*v + u - 177. Is 18 a factor of v?
True
Let s = 6482 - 6158. Is s a multiple of 15?
False
Is 1/(3/29589) + 6 - 5 a multiple of 6?
True
Suppose 5*v = -3*p - p - 92, 4*p = -2*v - 80. Let x = -13 - p. Suppose -x*s + 300 = -160. Does 23 divide s?
True
Let l = 98 - 144. Let p be (24 + -17)*6/(-21). Does 8 divide (l/(-4))/((-1)/p)?
False
Let j = 6 + -1. Suppose j*o - 105 = -5*t, -77 = -4*o + 3*t - 0*t. Is 12 a factor of 5/o + (-743)/(-4)?
False
Let y be (20/6)/((-26)/(-39)). Suppose y*d + 5*u - 55 = 30, 0 = -3*d - 4*u + 46. Does 18 divide d*(-3 - -7) - -2?
True
Is 45 a factor of (20/(-6))/((-64780)/(-10800) - 6)?
True
Let r(q) be the first derivative of 3*q**2/2 + 21*q - 19. Let d(v) = v**3 + 13*v**2 + 23*v + 11. Let g be d(-11). Does 7 divide r(g)?
True
Suppose 0*c = 6*c - 24. Let p(t) = -2*t**2 - 3*t**3 + t**3 + t + 120 + 3*t**3 + c*t**2. Is p(0) a multiple of 30?
True
Let s(x) = 26*x**2 + 150*x + 1134. Does 7 divide s(-7)?
True
Suppose -28 - 20 = 4*k. Does 14 divide ((-128)/6 - 2)*k/5?
True
Let g = 154 - 2443. Let s = -819 - g. Is 15 a factor of s?
True
Suppose -220 + 4588 = 26*j. Suppose 468 = 172*b - j*b. Is b a multiple of 13?
True
Does 154 divide (359*3 - (29 + -30))*(-20)/(-4)?
True
Let u(d) = -633*d - 305. Is 29 a factor of u(-3)?
False
Let w = 16939 + -9221. Is 227 a factor of w?
True
Let k(x) = -5*x + 43. Let c be k(8). Suppose -1945 = -3*o + v, -c*v + v - 1290 = -2*o. Is o a multiple of 73?
False
Let c(l) = 11*l**3 + 20*l**2 - 67*l - 16. Let u(j) = 7*j**3 + 13*j**2 - 44*j - 11. Let h(v) = -5*c(v) + 8*u(v). Is 6 a factor of h(5)?
True
Does 13 divide (-2 + (4 - 4))*-9178?
True
Let q = -49 + 88. Let z be 4011/q - 12/(-78). Is (z + (-1 - -5))/(1 - 0) a multiple of 9?
False
Suppose 295 = 4*r - 29. Let v be 2 - 6/2 - 1. Is 29 a factor of -5*(r/(-3) + v)?
True
Let j(u) = 2*u**2 + 205*u - 1626. Is j(-124) a multiple of 3?
False
Suppose 10*u - 5*u + 3*a + 14 = 0, 0 = -5*u - 4*a - 12. Let y be (u + 3)*(2 + -2). Suppose -13*q + 12*q + 60 = y. Is q a multiple of 23?
False
Suppose -285 = -p - 4*p + 5*f, -5*p = 2*f - 299. Suppose -d = 3*g - 6*g + 173, -g + d + p = 0. Is 2 a factor of g?
False
Suppose -2*j = 4*o - 7140, -5*o - j = -0*o - 8928. Suppose -3*a - o = -2*b, 49*a = -2*b + 48*a + 1786. Does 12 divide b?
False
Suppose 4668*r - 4671*r + 35862 = 0. Does 18 divide r?
False
Let z be (16/32)/(2/24). Suppose 7219 - 913 = z*g. Is 8 a factor of g?
False
Let i = 667 + 345. Is i a multiple of 4?
True
Suppose -226868 = -4*q - 4*b - 0*b, -5*b = 5. Is q a multiple of 69?
True
Let w = -4549 - -6252. Is 13 a factor of w?
True
Suppose 162 = 463*f - 466*f. Let c = -74 + 45. Let n = c - f. Does 5 divide n?
True
Let u(t) = -t + 12*t**2 + 6*t - 30 - 4*t - 9*t**2 + 0*t. Is u(-12) a multiple of 18?
False
Suppose -5*i + 3546 = -5*d + 24406, 5*i + 12522 = 3*d. Is d a multiple of 14?
False
Let g(h) = -37*h**3 + 2*h - 4. Let t be (-8)/10*-1*(-15)/6. Let x be g(t). Suppose 4*o = -5*j - 0*o + x, 0 = 2*j + 2*o - 114. Is 20 a factor of j?
True
Suppose -56703 = -73*o + 10*o + 125871. Is o a multiple of 69?
True
Suppose -4*x - 75*t + 6523 = -78*t, 0 = x + t - 1636. Does 91 divide x?
False
Suppose -4*p + 2*p = -2*g + 20, 4*g - 3*p = 39. Suppose 121 = g*x - 770. Does 7 divide x?
False
Suppose -9*g - 2*g = -176. Suppose g*o - 10283 = 3253. Suppose o = -m + 10*m. Is 47 a factor of m?
True
Is 9082 + (14/((-84)/(-18)) - 11) a multiple of 18?
False
Let c(u) = -u**2 - 97*u + 1328. Is c(-107) a multiple of 130?
False
Let n(y) = 135*y + 5. Let f be (-45)/(-54) - (-7)/6. Is n(f) a multiple of 7?
False
Let l = -2106 + 26372. Is l a multiple of 30?
False
Suppose 0 = -3*s + 537 + 2142. Suppose 5*b = -2*o + s, -2*o - b = -428 - 469. Suppose 0 = -3*f + w - 34 + o, -5*w = -4*f + 546. Is f a multiple of 11?
False
Let f(t) = t**3 + 11*t**2 + 20*t - 228. Is 4 a factor of f(8)?
True
Suppose 4*f = 2*f + 222. Suppose 150 = g + 4*t, -g + t = -f - 49. Is g a multiple of 9?
False
Suppose 0 = -2*l - 4*w + 6, -4*l + 5*w - 3 = -6*l. Suppose 2*b + 12*k - l*k = 409, -3*b + 633 = -2*k. Does 6 divide b?
False
Let o = -1 - -4. Suppose 1190*g = 1188*g - 3*r + 1, g + 3*r + 7 = 0. Suppose o*z = 4 + g. Does 4 divide z?
True
Suppose -4*h + 3*x + 51828 = -2*h, 4*h - 103654 = 5*x. Does 9 divide h?
True
Suppose 7*g = 10*g + 2*q - 2782, g - 933 = 5*q. Suppose 752 = 14*w - g. Is 12 a factor of w?
True
Suppose 3*i - 4*d - 4 = 0, 0*d + 3*d + 3 = 0. Suppose 69*g - 68*g - 141 = i. Is 70 a factor of g?
False
Let f(i) = -i**2 + 1. Let w be f(1). Suppose w = 14*p + 3*p - 3128. Is 23 a factor of p?
True
Is (-61450)/(-14) + (-7 - 470/(-70)) a multiple of 72?
False
Let i(b) = 6228*b + 4612. Does 23 divide i(7)?
True
Let y = -91 + 91. Suppose 4*o + 4 = y, 2*a = 5*o - 18 + 157. Let f = -34 + a. Is 11 a factor of f?
True
Suppose 1192 + 2912 = 4*h. Is 5*-4*h/(-24) a multiple of 15?
True
Let j(f) = f**2 - 37*f + 6. Let c be j(37). Suppose -2*g = -4*k + 4484, c*k = k - 5*g + 5590. Is k a multiple of 28?
True
Let x = 234 - -158. Let r = x + -225. Is r a multiple of 8?
False
Suppose 4*o - 63720 = q, 6*q = 3*o + 3*q - 47772. Is o a multiple of 28?
True
Let z(x) = -941*x**3 + 7*x**2 + 1. Is 28 a factor of z(-1)?
False
Let r be (0/1)/(-1*2). Suppose 22*d - 58 + 13 = 21. Is 9 a factor of ((d - 4)*-4 + r)*4?
False
Does 22 divide ((-6)/(-10)*56/(-21))/((-8)/33220)?
True
Is 158 a factor of (-3)/(-5) + (-13)/325*-572735?
True
Let f(r) = -2*r**3 - r**2 - 2*r - 1. Let o be f(-1). Let g = o + -5. Does 4 divide (15*2 - (4 + g)) + 1?
False
Let a = 5874 + -2409. Does 75 divide a?
False
Suppose -93*c + 88*c + 10940 = 0. Suppose -c - 2420 = -4*i. Is 10 a factor of i?
False
Let q(m) = m**3 - 71*m**2 + 235*m + 162. Is 227 a factor of q(68)?
True
Suppose -31674 = -4*n - g, -12 = 29*g - 31*g. Is n a multiple of 203?
True
Suppose 8102 = 3*y - 272*s + 271*s, 0 = 5*y + s - 13498. Is 36 a factor of y?
True
Let h(d) = -4*d**2 - 27*d + 16. Let j be h(-7). Suppose j*b = -17*b + 2860. Is 3 a factor of b?
False
Let v(q) = 12*q - 15. Let x be v(2). Suppose h + x*h = -80. Is 3 a factor of 1 - (h*3 - (0 - 1))?
True
Suppose 0 = 762*v - 712*v - 224500. Is 78 a factor of v?
False
Let w(x) = -x**2 - 22*x + 6. Let u be w(-22). Suppose 5*p - 28 = 47. Is 166/u - 1*(-5)/p a multiple of 21?
False
Is 14810370/660 - 2/(-44) a multiple of 17?
True
Let v(s) = 2*s**3 - 3*s**2 + 23*s + 70. Is v(14) a multiple of 54?
True
Let i(w) = -4*w**3 - 32*w**2 + 14*w - 527. Does 18 divide i(-23)?
False
Let l(c) = 8*c**2 - 21*c - 105. Suppose 2*i - i + 6 = -r, -4*i + 11 = -3*r. Does 3 divide l(r)?
False
Suppose -7 = -90*q + 89*q. Suppose 3*o = q*o - 1700. Does 17 divide o?
True
Let l = 3912 - 3695. Is 11 a factor of l?
False
Let q(z) = -179*z + 7604. Does 5 divide q(41)?
True
Let a(j) = j**2 + 6*j + 272. Is a(24) a multiple of 32?
True
Suppose 0 = -6*t + 11*t - 20. Let g(p) = -p**2 + 2*p + 9. Let i be g(t). Suppose -m + 29 = -i. Is 30 a factor of m?
True
Does 7 divide -473 - -469 - 1*-25729?
True
Suppose -80*l - 87 = -83*l. Suppose -34*h + l*h + 3905 = u, -5*h + 4*u = -3880. Is 16 a factor of h?
False
Let s(f) = 114*f**3 - 8*f**2 + 135*f - 814. Is s(6) a multiple of 14?
True
Let u(s) = s**2 + 9*s - 36. Let y be u(-12). Suppose -g + 12*g - 3168 = y. Is g a multiple of 18?
True
Let m(u) = 2*u + 28. Let n = -37 - -47. Is m(n) a multiple of 48?
True
Suppose -24*y - 115 = 149. Let k(n) = -4*n**2 - 46*n + 6. Is 2 a factor of k(y)?
True
Let b(o) = 3*o - 22. Let a be b(9). Suppose a = 4*y + 9. Is -3 - (-32 + -4 + y) a multiple of 34?
True
Suppose 0 = -186*u + 70*u - 133*u + 80427. Does 79 divide u?
False
Let n = -81 + 85. Suppose -3*p = -3*t - 2*t + 572, 0 = -n*t - p + 444. Suppose 2*i + 2*m - 121 = 3*m, t = 2*i + 2*m. Is i a multiple of 7?
False
Let f(o) = -53*o