71, -4*o + 1660 = 4*t. Does 11 divide t?
False
Let c = 18 + -9. Suppose -3*i - 10 = -2*i. Does 10 divide (7 - c)/(2/i)?
True
Let d(o) = 4*o**2 - o + 4. Let r(b) = 4*b**2 - b + 3. Let t(u) = -3*d(u) + 4*r(u). Let g be t(1). Suppose -g*c + 23 = -1. Is c even?
True
Let i = 32 + 771. Is i a multiple of 75?
False
Suppose -29618 - 109486 = -21*j. Is 23 a factor of j?
True
Let v = -46 + 40. Let k = v + 25. Is 5 a factor of k?
False
Let i be 4 - (-11)/((-22)/(-120)). Suppose -i - 50 = -3*s. Is s a multiple of 19?
True
Let m(s) = s**2 - 7*s - 6. Let q be m(8). Suppose 9 - 3 = q*b. Suppose 0*t + 43 = b*t + 2*l, -12 = -2*t + 2*l. Is 7 a factor of t?
False
Suppose -44*h = -49*h + 375. Suppose 4*p - h - 437 = 0. Does 32 divide p?
True
Let t be 1/3 - (-683)/3. Suppose -4*n + t = -96. Suppose u - n = -0*u + 3*y, -3*y = 4*u - 309. Is u a multiple of 26?
True
Suppose 3*x - 3*h - 403 = 2549, 0 = h + 1. Does 8 divide x?
False
Suppose 2*t + 7 = -3*o, -2*o = 4*t - 5*o - 31. Is t + (0 - 3 - -79) a multiple of 20?
True
Suppose 0 = 3*v, -2*u + 900 = -4*v + 128. Is u a multiple of 5?
False
Suppose -2*c + 857 = -5*f, 5*c + f = 4*c + 432. Is 13 a factor of c?
False
Suppose 0 = -14*q + 13*q + 81. Suppose 11*d - 708 + q = 0. Is d a multiple of 6?
False
Let d(t) = 42*t - 236. Is d(14) a multiple of 23?
False
Suppose -4*x = 91*t - 92*t - 12544, 12544 = 4*x + 2*t. Does 28 divide x?
True
Let g(z) = -z**2 + 5*z - 4. Let j be g(4). Suppose -w - w + 28 = j. Let y = w + 6. Is 10 a factor of y?
True
Suppose -m + 2*t = 6*t - 2453, 6 = -6*t. Is 21 a factor of m?
True
Suppose 0 = 2*t + 5*k - 8, 6 + 6 = 3*t - 2*k. Suppose -t*r - f - f = -20, -r + 19 = -3*f. Let p(y) = -y + 13. Is p(r) a multiple of 2?
True
Let k be 2/4*(-8 + 14). Suppose 105 = 6*y + k. Is 6 a factor of y?
False
Let s be 76/(-3)*42/7. Let a = s + 372. Is a a multiple of 20?
True
Let c be 1*2 + (15 - 1). Let a = c + -4. Does 4 divide a?
True
Let r = -3 - -7. Let y be 3 + -7 + r + 0. Suppose -n - o = -24, 3*n + 5*o - 85 + 7 = y. Is 7 a factor of n?
True
Suppose 13*p - 15*p + 4*z + 5614 = 0, -z - 5611 = -2*p. Is 17 a factor of p?
True
Suppose 2*m = 31 - 1. Let p be (-5)/(m/(-6)) + 1. Suppose z - 3*z = -4*j + 56, p*j - 55 = -5*z. Does 5 divide j?
True
Suppose v + 3*f = -0*v - 51, -4*f - 138 = 3*v. Does 3 divide v/49*(-1 + -20)?
True
Suppose 0 = -3*f + f + 2. Let c be 39/(-52) + f/(-4). Is 19 a factor of (-20)/(-6)*(c - -7)?
False
Let i be 3 + 9 + -34 + 1*2. Is 5 a factor of (0 + i)*208/(-64)?
True
Let a = -2 + 650. Suppose a = 19*l - 7*l. Does 27 divide l?
True
Let y(x) = -8*x - 6. Let b(q) = 4*q + 3. Let k(p) = 11*b(p) + 6*y(p). Does 9 divide k(-11)?
False
Suppose -14 = -4*p + 4*d + 62, 79 = 5*p - d. Does 12 divide 1/(p/(-174))*-5?
False
Suppose 0 = t - 114 - 171. Suppose -6*q + 69 = -t. Is q a multiple of 3?
False
Let w = 2597 + -1860. Is 43 a factor of w?
False
Suppose 3*y = 915 - 228. Suppose 5*p = 311 + y. Is p a multiple of 12?
True
Suppose 1030 = 4*b - 518. Is b a multiple of 31?
False
Does 15 divide 0 + (5 - (6 + 4) - -79)?
False
Is 20 a factor of (29 - (-1 - 4))/((-2)/(-10))?
False
Suppose -110 - 10 = -4*v. Let h be (-12)/2*7/(-14). Suppose h*i - 4*x - v = 0, -2*i + 3*x = 2*i - 33. Does 6 divide i?
True
Suppose s - 3*s + 6 = 0. Suppose 14 = s*a + d, 0*a + 5*d - 34 = -3*a. Suppose -3*k = -a*c - 111, 4*k - 156 = c + c. Is k a multiple of 14?
False
Let a(o) = 4*o**2 - 12*o**2 + 6 + o - o**2 + o**3. Let r be a(11). Suppose 3*v + 94 = r. Is v a multiple of 12?
False
Let l(d) = 13*d**2 - 3*d + 7. Let q be l(3). Suppose 12*v + q = 17*v. Is v a multiple of 20?
False
Suppose 4*l - 6 = -2*c + 4*c, 2*c = -3*l + 15. Suppose i + c*w - 42 = 0, -i + 39 = -w + 13. Does 15 divide i?
True
Let k(z) = z**2 - 19*z + 2. Let m be k(19). Suppose -2*y - 2*u = -160, m*y - 5*u - 145 = 36. Does 27 divide y?
False
Suppose 0 = k - 125 + 120. Suppose 3*m - 303 = -3*u, 3*u = -k*m + 7*u + 541. Is m a multiple of 18?
False
Let z be (0 - 0) + (-5 - -9). Suppose -6*a + a - 53 = -4*l, z*l - a - 49 = 0. Is 6 a factor of l?
True
Let h(c) = -158*c + 7. Does 48 divide h(-3)?
False
Suppose -103*m - 4180 = -125*m. Is 19 a factor of m?
True
Suppose -532 + 532 = 9*p. Let s be 3/((1*-1)/42). Does 9 divide p + 3 + s/(-3)?
True
Let r(s) = 8*s**2 + 11*s + 25. Is r(-6) a multiple of 13?
True
Let z = 16662 + -11657. Is z a multiple of 65?
True
Suppose -l - 163 = -450. Does 16 divide l?
False
Is 1*1865/5 + 0 a multiple of 39?
False
Suppose 0*a - a - 3*r + 2 = 0, 4*a = 3*r + 8. Does 33 divide ((-6)/(-18))/(a/618) - 4?
True
Suppose 1120 = 53*c - 51*c. Is c a multiple of 14?
True
Let k be 2 - (-1 + 5 - 328). Let v = k - 86. Is v a multiple of 20?
True
Is -5 - (-80)/8 - -346 a multiple of 12?
False
Is 16 a factor of -11 + (1899 - (-9 + -3))?
False
Let s(m) = m**3 - 15*m**2 - 16*m + 20. Let o be s(16). Is ((-210)/4)/((-15)/o) a multiple of 16?
False
Let c = 267 - -158. Is c a multiple of 6?
False
Let t = 1210 - 760. Is t a multiple of 64?
False
Let n(t) = t**3 - t**2 + 2*t - 33. Suppose 9*q = 4*q. Let b be n(q). Let g = -20 - b. Is g a multiple of 5?
False
Suppose -12*q + 394 = -674. Does 4 divide q?
False
Let g be (12/15)/((-1)/(-5)). Let v(k) = 3*k**2 + 5*k + 0 - 1 - k**3 + 0*k**3 + 2. Is 2 a factor of v(g)?
False
Let t = -1621 + 2076. Does 35 divide t?
True
Let m be 32/(-176) + (-8584)/(-22). Suppose -3*b = -2*b - 7. Suppose b*a - m = -5. Is 12 a factor of a?
False
Let i be ((-3)/4)/((-6)/48). Suppose w + i = 2*w. Let v(p) = 14*p - 14. Is 20 a factor of v(w)?
False
Let o(g) = 5*g**3 - 60*g**2 - 30*g + 39. Let v(d) = -d**3 + 12*d**2 + 6*d - 8. Let z(x) = 2*o(x) + 11*v(x). Is z(11) a multiple of 17?
False
Let v(z) = -2728*z**3 - 4*z**2 + z + 3. Does 29 divide v(-1)?
True
Let q = 817 - 247. Is 3 a factor of q?
True
Let x be 10/5 - (2 + 2). Let i be -10*(-12)/(-20)*x. Let v = 5 + i. Is 17 a factor of v?
True
Let i(l) = l - 3. Let w be i(8). Suppose -2*q + 0*q + 81 = w*g, -3*g = -2*q + 105. Does 24 divide q?
True
Suppose -9*c = -3*c - 8568. Is c a multiple of 28?
True
Does 18 divide ((-4012)/(-51))/((-5)/(-45))?
False
Let x = -38 - -772. Is 11 a factor of x?
False
Suppose 47 - 21 = 2*r. Suppose -11*b = -r*b + 76. Is 14 a factor of b?
False
Let y(s) = -s + 4. Let z be y(4). Suppose -2*r + 33 - 6 = 3*i, 3*r - i - 13 = z. Suppose 0 = r*p - p - 20. Is p even?
True
Let x be (-10)/(-45) - (-50)/18. Suppose 2*s = -5*p - 0*s + 160, 2*s = x*p - 96. Is 16 a factor of p?
True
Suppose 0 = 3*y + y + 3*y. Is 19 a factor of (4 + -2 - -22 - 1) + y?
False
Suppose 0 = -2*g - g + 15. Let a = g + -3. Is 9 a factor of 2/(352/(-180) + a)?
True
Suppose -14*p + 10*p + 12 = 0. Suppose -p*c = -3*a + 300, 0*c - 3*c + 116 = a. Is a a multiple of 13?
True
Let c be 2 - (3 + -2 + -12). Let a = 23 - c. Suppose i + a = 3*i. Is i a multiple of 5?
True
Suppose -2*k + 5313 = 9*k. Does 49 divide k?
False
Suppose 3*s - 6 = -0. Suppose 0 = -3*d + 2*m + 206, -s*d + 336 = 3*d + 4*m. Does 4 divide d?
True
Suppose -5*w + 79 = 4. Suppose 5*v - w = r, 5*r + v - 14 = 15. Suppose -23 = r*c - 88. Does 13 divide c?
True
Suppose 245 = 3*k + 5*v, -4*k - v = -0*v - 321. Is 20 a factor of k?
True
Is 15 a factor of (-93)/248 + (-603)/(-8)?
True
Let x = 64 + -41. Suppose -41 = -k - x. Does 6 divide k?
True
Let w = -467 + 927. Is w a multiple of 20?
True
Suppose -32*m + 31*m = -19. Let j(g) = g**2 - 14*g - 14. Is j(m) a multiple of 16?
False
Suppose -28*h = -14*h - 5306. Is h a multiple of 8?
False
Let q(r) = 10*r**2 - r - 12. Does 38 divide q(-4)?
True
Let x(p) = 9*p - 13. Let c(j) = 0*j + 7*j - 9*j + j + 18. Let w be c(10). Is x(w) a multiple of 21?
False
Let f(i) = 2*i**2 - 6*i - 4. Let y(v) = -v**3 + 5*v**2 - 3*v - 4. Let g be y(3). Suppose -q = g*n + 8, n + 0*n + 1 = 0. Does 17 divide f(q)?
False
Let o(g) = -g**3 + 17*g**2 - 16*g + 9. Let a be o(16). Let t(p) = 16*p - 15. Is 43 a factor of t(a)?
True
Let k = 79 - 77. Is (2 + -3)/(k/8) + 19 a multiple of 4?
False
Let g = -1232 + 2268. Is g a multiple of 74?
True
Is (-1)/10 + 1987788/1480 a multiple of 47?
False
Suppose 3*o + 16 = 34. Suppose 0 = 2*a - 0 - 210. Is a/o + (-1)/2 a multiple of 5?
False
Let o = -40 - -41. Is ((-66)/(-4))/(2/4*o) a multiple of 5?
False
Suppose 2*o = -31 + 45. Suppose -o*b + 186 = -122. Is 11 a factor of b?
True
Let n = -120 - -207. Suppose 