-12*l + 10*l = 3*j - 76811, 2*j - 51177 = 3*l. Does 49 divide j?
False
Suppose 158*j - 153*j = 12*a - 513, -5*a + 2*j = -214. Does 11 divide a?
True
Suppose -c = -4*m - 273 + 6897, -4968 = -3*m - c. Suppose -2*a = -6*a + m. Does 18 divide a?
True
Is 7/(-3)*38232/(-18) a multiple of 28?
True
Let g = -239 + 1416. Suppose -g = -12*t + 167. Is 14 a factor of t?
True
Does 19 divide (0 + (6 - -199))*(0 - -1)?
False
Suppose -7*n = -2*n + 2*v - 58189, 6 = -2*v. Is n a multiple of 12?
False
Let u(x) = 2*x**2 - 2*x - 14. Let y be u(-7). Suppose 0 = -2*j + 5*k - 2, 5*j - 2*j - 19 = 2*k. Suppose -y = -j*q + 2*q. Is 2 a factor of q?
True
Suppose -2*g = 4*f - 138, 5*g = 2*g - 2*f + 195. Let s be 5/4*g/15*4. Is (-1667)/(-7) - -2 - 3/s a multiple of 40?
True
Suppose -5*z + 12*z = 42. Let w(a) = -3*a**2 + 30 - 7*a - 40 + 5*a**2. Is w(z) even?
True
Is (-32)/72 - 79000/(-36) a multiple of 98?
False
Let i = -6 + 61. Let t = 58 - i. Suppose 3*f - 696 = -p, -t*p - 232 = -f + 2*p. Is 29 a factor of f?
True
Suppose 0 = 5*g - 9*g - 8. Let d(x) = x**3 + 4*x**2 + 4*x + 3. Let f be d(g). Suppose 0 = -f*p + 3*z + 354, 0 = -5*p - z + 4*z + 582. Is p a multiple of 15?
False
Suppose 0 = 4*r - 5 - 3, 16 = 2*k + 3*r. Suppose k = -2*f + 17. Suppose -f*c + 4*c + 12 = 0. Does 2 divide c?
True
Suppose -k + 3424 = -5*c, 127*k = 132*k + c - 17146. Is k a multiple of 3?
True
Suppose -127*w - 137262 = -2823312. Does 94 divide w?
True
Suppose 2*x = 3*q + 10381, -16*q + 13*q = -x + 5195. Is x a multiple of 70?
False
Suppose -2*q + 326 = -5*o - 385, 3*o + 15 = 0. Suppose -5*c - 18 + q = 0. Suppose -g + 206 = 3*d, d + 5*g = g + c. Does 13 divide d?
False
Suppose -5*x - 20*p + 44 = -24*p, 4*x + p - 52 = 0. Is -218*(2/(-5))/(x/15) a multiple of 4?
False
Let l = -221 + 1300. Suppose 3*n - 118 = l. Is 82 a factor of n?
False
Let l(q) = -6*q**3 + 7*q**2 + 4*q - 1. Let s be l(6). Let y = 2005 + s. Is 82 a factor of y?
True
Suppose -3*o + 2701 = 2*k, -28*o + 30*o + 4*k = 1814. Let c = o - 406. Is c a multiple of 10?
False
Let m(x) = 60*x - 16. Does 14 divide m(39)?
True
Suppose -27*t = -97168 - 141971. Does 17 divide t?
True
Suppose -3*j + 2*j = -2*u + 382, 0 = -4*j - 5*u - 1593. Let x be (-2)/11 + j/22 + 0. Is x/6 + (38 - 1) a multiple of 17?
True
Suppose 69*x - 65*x - t - 1272 = 0, 3*x - 8*t = 954. Is 159 a factor of x?
True
Does 14 divide (-17568)/(-35) + 2 + (-282)/(-4935)?
True
Let l(d) = d**3 + 4*d - 6. Let s be l(-6). Let y = 448 + s. Suppose -4*t + y = n + 74, -n + 4*t = -96. Is 30 a factor of n?
False
Let i(g) = 10*g + g - 7*g - 33. Let a(w) = -20*w + 166. Let y(m) = 2*a(m) + 11*i(m). Does 7 divide y(16)?
False
Does 7 divide -5 - (17/(-68) - ((-219159)/12)/(-3))?
True
Suppose -48*r + 51161 + 103591 = 0. Does 52 divide r?
True
Is 4 a factor of -4*(-5)/(-30) + (-1841)/(-21)?
False
Let p = -41121 + 96801. Is p a multiple of 82?
False
Suppose 27*s + 22*s = 9*s + 2245440. Is s a multiple of 8?
True
Let c(f) = 4*f**2 + 27*f - 101. Let v be c(5). Let d = -14 + v. Does 15 divide d?
True
Suppose 10 = 8*r - 6. Suppose r*z - 158 = 18. Is 11 a factor of z?
True
Let l be (-61 - -26) + 0/((-6)/2). Is ((-28)/l)/((-6)/(-4200)) a multiple of 20?
True
Suppose 0 = 4*n - 5*v + 13 + 2, 0 = 4*v + 20. Let q be 5/(n/8) + 8. Suppose 5*g - 612 = -q*d, 5*g - 4*d + 185 = 773. Is 15 a factor of g?
True
Let c be ((-3)/2)/(21/(-3206)). Let o = 1034 - c. Suppose 5*k = -3*n - 2*n + o, -k + 146 = -2*n. Is k a multiple of 26?
True
Suppose -2*i = 4*j + 60, 5*j = i + 3*j + 14. Let n = 19 - i. Is 10 a factor of 1 + n - (3 - 4)?
False
Let v = 659 + -455. Let p = 234 - v. Does 4 divide p?
False
Is 6 a factor of 1926/2*(-32)/30*75/(-30)?
True
Let d(r) = -1. Let f(h) = -41*h - 5. Let o(w) = -2. Let j(i) = f(i) - 4*o(i). Let v(c) = 3*d(c) - j(c). Is 33 a factor of v(9)?
True
Suppose 2*d - 5678 - 15377 = -h, -4*h - 20 = 0. Is d a multiple of 30?
True
Suppose -93*p = -48530 - 235306. Does 2 divide p?
True
Suppose 2 - 182 = -9*o. Let r = 46 - o. Let y = r - -52. Is y a multiple of 26?
True
Let k = 10 + -3. Suppose 0 = -n + 1 - k. Is n/(-4)*(3 - 1 - -4) a multiple of 4?
False
Let v(a) = -42*a + a**3 - 44*a + 75*a + 10*a**2 + 16 + 0*a**3. Is 45 a factor of v(8)?
True
Let t(v) be the first derivative of 152*v**2 - 21*v - 113. Does 13 divide t(1)?
False
Let r be ((-360)/(-140))/(-1*(-2)/56). Suppose 43*b - r*b = -7337. Is 14 a factor of b?
False
Let y be 166/(-913) - 12588/(-22). Suppose 2*w + 4*n - y = 0, 9*n = 3*w + 12*n - 846. Is 29 a factor of w?
False
Let t(m) = m**3 + 4*m**2 - m - 2. Suppose -f = 3*d + 10, -d = -2*d - f - 2. Let s be t(d). Suppose 0 = 5*g + 25, 2*g - 288 = -s*w + 4*g. Is 27 a factor of w?
False
Let t be 0/(3/(-1*(4 + -5))). Is 1191 - -1 - (t + (-12)/3) a multiple of 14?
False
Let v be 9/(-4 - 3/(-18)*22). Let o = -22 - v. Suppose p - 71 = -5*m, -5*m = -0*p - o*p + 295. Does 13 divide p?
False
Let j(b) = b**2 + 8*b + 776. Let t be j(0). Is t + (-23)/((-115)/(-30)) a multiple of 55?
True
Suppose 199*f = 146394 + 122256. Is f a multiple of 6?
True
Let p(t) = 116*t**2 + 505*t**2 - 46*t**2 + 45*t - 87*t - 11 + 54*t. Does 36 divide p(1)?
True
Suppose -11*w = -15*w + 40. Let h be (-16)/(0 + (-4)/w). Suppose 2*y - 3*y + 31 = 3*m, -4*m - 2*y + h = 0. Is 11 a factor of m?
True
Let d = -7160 - -12195. Is 265 a factor of d?
True
Suppose 0 = 4*b + 4, 0 = 2*w + 126*b - 133*b - 3063. Is 3 a factor of w?
False
Let b be (12/(-20))/((-1)/65). Let v = b - -22. Suppose 95 = 6*g - v. Is 3 a factor of g?
False
Let p(o) = o**2 - 42*o - 11. Let s = -130 - -121. Is p(s) a multiple of 14?
True
Let f = -1611 + 1655. Suppose 105 = -4*r + u, -6 = -u + 3*u. Let z = f + r. Is z a multiple of 17?
True
Let p be (0 - 294)/(2 + (-28)/8). Suppose -5*z - p = -z. Let h = z + 109. Does 19 divide h?
False
Suppose 0 = -z + 2*d + 41 + 195, 0 = -z - 4*d + 206. Suppose -10 + 16 = 3*s. Suppose s*y = 12 + z. Is y a multiple of 17?
True
Let k(y) = -y**2 + 4*y - 1. Let q be k(3). Let a(c) = 30*c - 3. Is a(q) a multiple of 6?
False
Suppose y = -1, y + 1481 = -5*i + 9*i. Suppose x = 5*l + 368, i = -x + 2*x - 3*l. Is x a multiple of 6?
False
Let l be (24/16)/3*-28. Is 6 a factor of (-1342)/l + -1 - (-64)/448?
False
Suppose -193*r + 1403904 = 47*r - 2107296. Is 22 a factor of r?
True
Let q be (-23)/(-2) - 5/(-10). Suppose 0*w - 4*b = w - 49, q = 3*b. Let l = w + -24. Is l even?
False
Let k = -859 + 2329. Suppose 9*f - k = -26*f. Does 41 divide f?
False
Let j(b) = -97 + b - 22*b + 45. Let d be j(-7). Is 10/d - (-1195)/19 a multiple of 21?
True
Is 68 a factor of (0 - 9)/((-20)/9000)?
False
Let v(w) = 50*w**2 - 8*w - 60. Is v(-6) a multiple of 149?
True
Let l(p) = p**3 - 3*p**2 - 4*p + 833. Suppose 23*i + 28*i = 22*i. Is 25 a factor of l(i)?
False
Let g(p) = p**3 - 11*p**2 - 10*p + 4. Suppose 5*o + 200 = 3*l - 3, -5*l = 3*o - 327. Suppose 3*t = -i + 7 + 27, 5*t - 3*i - l = 0. Is g(t) a multiple of 15?
False
Let a(x) = 437*x - 2541. Is a(18) a multiple of 15?
True
Let w be 5/((-180)/(-17097)) - (-2)/24. Let u = -139 + w. Is 14 a factor of u?
True
Let p = -12 + 3. Suppose -4*r + 106 = -d - 16, -r + d = -29. Let v = p + r. Is 10 a factor of v?
False
Is ((-90)/8)/(-7 - 3/((-43320)/101065)) a multiple of 38?
True
Let s(g) = 70*g**3 + 6*g**2 - 46*g + 188. Does 55 divide s(4)?
False
Let j(n) = 469*n - 1394. Is 33 a factor of j(20)?
True
Let b = -44534 + 79214. Is 120 a factor of b?
True
Suppose -81 = r - 71. Let q(w) = -18*w - 60. Is 24 a factor of q(r)?
True
Let i be 20*(-12)/(-56) - (-8)/(-28). Suppose 186 = i*g - 23*p + 26*p, 3*g - 5*p = 154. Is 4 a factor of g?
True
Suppose 53 = -3*f - 7. Let m be (-160)/12 + f/(-6) + -3. Let x = -7 - m. Is x a multiple of 3?
True
Is (-1 + 15 + -2)/(420/65240) a multiple of 8?
True
Let v(z) = 5*z + 158. Let y be v(21). Suppose 1331 = 2*l - y. Is l a multiple of 39?
False
Let b = -12807 - -18333. Is 121 a factor of b?
False
Let j = -36959 - -58019. Is 54 a factor of j?
True
Let a be 2/14 - 54730/(-70). Let t = 1189 - a. Is t a multiple of 11?
True
Suppose -8730 = 12*s - 27*s. Let d = s - 410. Does 43 divide d?
True
Suppose -543 = -3*p - 0*p - 111. Does 4 divide p?
True
Suppose -349*a + 345*a + 25805 = -5*c, -5*c = -2*a + 12905. Is 258 a factor of a?
True
Suppose 47454 = 4*j - 85274 - 12692. Does 66 divide j?
False
Suppose 4*p - 31 =