t + -339. Is 12 a factor of r?
False
Suppose -88*a + 928200 = -0*a - 23*a. Does 119 divide a?
True
Suppose -60*q + 52*q = -1480. Suppose -q*m - 119 = -186*m. Is m a multiple of 46?
False
Let j be ((-96)/9)/(4/108). Suppose 2251 = 10*v - 2009. Let g = j + v. Is g a multiple of 40?
False
Let m(i) = 21 + 2*i + 3*i**3 + 2 + 19*i**2 - 9. Let q(r) = -13*r**3 - 76*r**2 - 8*r - 55. Let u(y) = -9*m(y) - 2*q(y). Is 11 a factor of u(-19)?
True
Suppose 4*i - 2*a = 28900, -a = 3*a + 32. Is i a multiple of 87?
True
Let i(f) = 3*f - 28. Let k be i(10). Suppose 0 = -k*y + 2, -5*u + 4*y = 14. Does 20 divide 482*(-8)/(-48) + u/6?
True
Let c = -179 - -184. Suppose c*p - 947 = 3*t + 1739, -p + 4*t = -527. Is 10 a factor of p?
False
Let x(z) = 4*z**2 + 24*z - 15. Let a = -19 - -4. Does 75 divide x(a)?
True
Is ((-624)/(-18))/(-3*14/(-2583)) a multiple of 14?
False
Let m = 118 - 121. Let i be (20 - (-2 - -10))/(m/(-2)). Suppose -2*g = -5*h + 55, 5*h - 58 = 3*g - i. Is h a multiple of 2?
False
Suppose -2*j = m - 20 + 19, -j = -m - 5. Let i(k) = -k**3 - 3*k**2 - k - 1. Let r be i(-3). Suppose 126 = j*x + 2*z, r*z + 12 = -z. Does 16 divide x?
False
Let t(b) = 592*b - 3091. Is t(9) a multiple of 60?
False
Suppose 0 = 11*c - 19*c - 24. Let w(b) = -18*b - 36. Is w(c) even?
True
Let f(z) = -z**2 + 10*z + 150. Let i be f(24). Let b = i - -769. Is b a multiple of 14?
False
Let p(c) = -11*c**3 - 313*c**2 - 20*c + 58. Is p(-29) a multiple of 69?
False
Suppose -614*i = -552*i - 1823482. Is i a multiple of 11?
False
Let l be 2 + -6 + 89 + -87. Let a be (4/10)/((-2)/(-10)). Is 2 - (l + (-272)/a) a multiple of 28?
True
Suppose -2*k + 12*k - 9840 = 0. Suppose 2*j - k = -4*j. Does 37 divide j?
False
Let d = -144 + 279. Let v be 3*(-2)/(-27) - 30/d. Let m = 27 - v. Is 3 a factor of m?
True
Let m = 44 - 47. Let j(a) = 13*a**3 - 3*a**2 + 5*a + 7. Let q(s) = 7*s**3 - 2*s**2 + 2*s + 3. Let p(n) = -4*j(n) + 7*q(n). Is p(m) a multiple of 12?
False
Let w = 88 + -155. Let z be ((-10)/3)/(((-12)/(-9))/(-2)). Let n = z - w. Is n a multiple of 13?
False
Suppose -2835 = a - q - 7658, 0 = -2*a - 5*q + 9625. Is 10 a factor of a?
True
Is 3*(4273 - 1/(4/(-20))) a multiple of 58?
False
Suppose 0 = 5*b + 2*p - 3572, 1539 = -4*b - 4*p + 4387. Does 29 divide b?
False
Let a be (-4 + 10 - 5/1)*-3. Let c = 777 + a. Does 86 divide c?
True
Let s(w) = -32*w + 1779. Suppose 6*y + 5*y = 5*y. Is s(y) a multiple of 17?
False
Suppose -2*n + 4*f + 62 = n, 3*f - 41 = -4*n. Let z(h) = n - 18 + 9 - h. Is 2 a factor of z(-4)?
False
Let y = -6882 + 7909. Does 7 divide y?
False
Suppose x = -2*q + q + 62, -121 = -2*q - 3*x. Suppose 2*r - 4*b - 416 = 0, 148 + q = r - b. Is r a multiple of 26?
False
Let v(p) = p**3 + 10*p**2 - p - 13. Let r be v(-9). Let l(g) = -2 - r*g + 33 + 33*g. Is 50 a factor of l(-7)?
False
Let n = -718 - -719. Does 22 divide (n/((-3)/330))/((-3)/12)?
True
Let x = 7389 + -3473. Suppose x = 5*y + 3*q - 5525, -y + 1884 = 2*q. Is 14 a factor of y?
True
Suppose 2*x + 5*w - 1898 - 1067 = 0, -5*x + 7401 = w. Is x a multiple of 74?
True
Suppose -16*o = -5*o + 1331. Let w = o - -148. Is 8 a factor of w?
False
Let i be ((-21)/(-7))/(-3) + 25. Suppose i*y = 6691 + 8309. Is 32 a factor of y?
False
Suppose 15093 = 5*i - 3*c, 3*c - 6012 = 10*i - 12*i. Is i a multiple of 16?
False
Suppose 0 = 11*p - 20*p - 1836. Let m = -145 - p. Does 16 divide m?
False
Suppose 39*f = 27*f + 53316. Does 11 divide f?
False
Let c be 110/(16 - 6)*(-531)/3. Let s = -1063 - c. Does 17 divide s?
True
Let j = -3235 - -9964. Does 138 divide j?
False
Suppose 0 = 14*i - 11339 - 115541 - 185124. Does 11 divide i?
True
Let r = 13133 - 319. Is r a multiple of 15?
False
Does 52 divide (4 + 3/((-120)/51968))/(8/(-20))?
False
Suppose -6*o = -g - 3*o + 13, -3*o = -2*g + 23. Suppose -5*b = -5*q - g, -4*q - 3*b - 4 = -5*b. Suppose 5*n - 280 = -q*n. Does 7 divide n?
True
Let p(d) = -372*d**2 - 3*d - 3. Let q be p(-1). Let v = q + 584. Is v a multiple of 7?
False
Let f be 16 - 0 - 10*(-10)/25. Let x(b) = -b**2 + 23*b + 66. Is x(f) a multiple of 9?
True
Suppose 8496784 = 428*q + 3752645 - 6296121. Does 55 divide q?
True
Let h(z) = -8*z + 62. Let n be h(12). Let u = n + 151. Is 18 a factor of u?
False
Suppose 110*d - 31*d = 178066. Does 3 divide d?
False
Suppose 846162 = 157*w - 818038. Is w a multiple of 126?
False
Suppose 0 = z - 4*z + 2*x + 15, -5*x = -z + 5. Suppose -23 = -z*y - 3*v - v, -3*v + 15 = 3*y. Suppose l = -w - l + 102, 5*l = -y*w + 301. Is w a multiple of 23?
True
Let c(x) = x**3 + 6*x**2 - 23*x + 29. Let p be c(-9). Let j(a) = -123*a - 77. Is 16 a factor of j(p)?
True
Suppose 2*n - 42 = -14. Suppose 4 - n = -2*o. Suppose 0 = 3*y + o*s - 169, y - 212 = -3*y - 4*s. Is 6 a factor of y?
True
Let h(m) = 2*m**3 - 194*m**2 + 189*m - 142. Does 51 divide h(97)?
False
Suppose -d - 12 + 4 = 0. Let i(q) = 5*q**2 - 20 - 3*q**2 - 625*q + 616*q. Is 25 a factor of i(d)?
False
Suppose o - 34420 = -4*h, 102*o - 107*o = -4*h - 172076. Is 18 a factor of o?
True
Let s be (-8)/(-12)*(0 - -1095). Suppose 16*a + s = 21*a. Suppose t = 2*n - 56, 0 = 5*n - 2*t + t - a. Does 17 divide n?
False
Let n(k) = 6*k - 31. Let c be n(10). Let v = c + -11. Suppose -v = -6*q + 12. Does 2 divide q?
False
Does 98 divide (-294)/(((-1)/(-2))/((-51)/221) + 2)?
True
Suppose 754*z - 656*z = 2057706. Does 44 divide z?
False
Suppose -2*a + 5608 = w - a, -5*w - 4*a + 28041 = 0. Is 79 a factor of w?
True
Let x(z) = -z**3 - 6*z**2 - 8*z + 19. Suppose -5*p + 15 = 55. Let a be x(p). Suppose -6*i + a = -263. Does 29 divide i?
False
Let a = 101 - 98. Suppose 4*j - 1473 = -5*g + 2*g, a*g = 3*j - 1131. Does 9 divide j?
False
Suppose 0 = -5*h - 1 + 11. Let x be (h - 4) + (4 - -3). Suppose -x*c + 101 = -9. Does 11 divide c?
True
Suppose -17 = k - 2. Let t(j) = -j**2 - 13*j + 30. Let b be t(k). Is (6 + -3 - b)*24 a multiple of 9?
True
Suppose -8 = 4*u, 5*l - 2 = 2*u - u. Suppose 3*g - 129 - 141 = l. Suppose 5*d = 3*n - 338 + g, 2*n - 4*d - 162 = 0. Does 40 divide n?
False
Suppose l + g - 413187 = 0, -l + g + 364539 = -48642. Let j be 4/(-22) + (l/33)/4. Suppose 20*v = 10*v + j. Is v a multiple of 14?
False
Let h(u) = -33*u + 2952. Is 10 a factor of h(-46)?
True
Suppose 958848 = 191*b + 150727. Does 71 divide b?
False
Let g be 18/117 - (-24)/13. Let w be (1 - 2990/(-5)) + g/2. Is 15 a factor of ((-3)/(-6))/(2/w)?
True
Let b be 2 + (2 - 6) - (-1 - 1). Suppose -5*p + 39 = f - 22, b = -2*p - f + 22. Does 11 divide p?
False
Let j(d) = -20*d**2 - 668*d + 434. Is 19 a factor of j(-33)?
False
Let a be (-6*(4 - 5))/2. Suppose -a*n = 0, -7*v + 5*n = -3*v - 864. Suppose -3*y + 6*y = v. Is y a multiple of 22?
False
Let u = -13221 - -16105. Is u a multiple of 3?
False
Suppose -21*t + 121 = -10*t. Suppose t*d + p + 1438 = 13*d, -p = 2*d - 1442. Is d a multiple of 18?
True
Let j(p) = 2*p - 13. Let u be j(0). Let k(y) = 2*y**2 + 12*y + 31. Let v be k(u). Let d = v - 139. Is 10 a factor of d?
False
Let r be (4 - 3)*(-3 - 2199)/1. Let u = -1155 - r. Is u a multiple of 26?
False
Let n(c) = -4*c + 134. Let l be n(33). Suppose 3*k - 185 = -l*d, -17*k - 59 = -18*k + 2*d. Does 22 divide k?
False
Suppose 4*d - 4*p = 1084, 2*p + 2157 = 5*d + 811. Does 28 divide d?
False
Let s(r) = 43*r + 1. Suppose -4 = -2*b + 12. Suppose -3*a = b - 11. Does 44 divide s(a)?
True
Let g(d) = -114*d**3 + 5*d**2 + 41*d - 57. Let t(r) = 23*r**3 - r**2 - 8*r + 11. Let b(n) = 2*g(n) + 11*t(n). Is 8 a factor of b(2)?
False
Suppose 160*w - 66333 + 157054 = 1136641. Does 8 divide w?
False
Let d(j) = 6*j**2 - 34*j + 24. Let b be d(12). Suppose -12*q + 8*q + i = -496, -4*q = 3*i - b. Is 18 a factor of q?
False
Suppose 564300 = 167*p + 13*p. Does 179 divide p?
False
Let f = 17800 + -7125. Is f a multiple of 157?
False
Suppose 29*l = 28*l + 301. Suppose l = 7*c - 84. Suppose 4*n - c = 3*j - 6*j, 2*n + 49 = 3*j. Is j a multiple of 5?
False
Let a(q) = 71*q + 223. Does 41 divide a(65)?
True
Let z = 171 - 168. Suppose z*w - 82 = -r, w + 78 = 2*r - r. Is 3 a factor of r?
False
Suppose -u + b + 291 = u, 2*u - 3*b - 297 = 0. Let f = 1 + -1. Suppose f*s = -4*s + u. Is 18 a factor of s?
True
Suppose 0 = 2*g - 4*q + 2, 14 = 4*g - 3*q + q. Is 14*g/2*(-29)/(-5) a multiple of 7?
True
Suppose -2*z + 13 + 9 = 0. Suppose z + 9 = 5*c. Suppose -c*m + 19 = -1. Does 