 - -48. Suppose 41 = 5*t - d. Does 2 divide t?
True
Let f = -213 + 215. Suppose 7 = 5*x - 13. Is 6 a factor of f/x + (-57)/(-2)?
False
Let j be (36/6)/(3/62). Let m = j + -27. Suppose 2*i + 239 = 5*n, 3*n = -3*i + m + 59. Is 13 a factor of n?
False
Suppose 24*w - 29*w - 4*m = -217, 3*w + 3*m = 129. Does 29 divide w?
False
Suppose -18 = 2*x + k, x + 16 = 2*k + 2. Let i = 4 - x. Let g = i + -6. Is g a multiple of 8?
True
Suppose -2*h - 7*c + 8*c = -721, 0 = -h + 2*c + 356. Is h a multiple of 23?
False
Let r(y) = 5*y + 13. Let h(o) = -2*o + 1. Let x be h(6). Let m be r(x). Is (m/(-4))/((-12)/(-24)) a multiple of 7?
True
Suppose 5*p = -5*w - 55, 0*p = -2*p - 4*w - 26. Does 5 divide 4*(-1 + p/12 - -3)?
True
Let h = -19 - -189. Let q be 2/4 - 1185/10. Let r = h + q. Does 16 divide r?
False
Suppose 2*c - 3*s = -3*c + 745, 0 = 4*c - 5*s - 596. Does 15 divide c?
False
Let c be (-41)/(-2) - 5/10. Suppose -c = -5*i, -3*m + 2*i + 15 = -4. Does 9 divide m?
True
Let w be (48/36)/(2/6). Does 12 divide -4 - (-79 + w/(-1))?
False
Let v = 181 + -153. Does 13 divide v?
False
Let u(s) = s**3 + 4*s**2 + 7*s + 15. Let y(j) = -2*j**3 - 8*j**2 - 14*j - 30. Let d(z) = -7*u(z) - 3*y(z). Is 11 a factor of d(-6)?
True
Let v = -106 - -160. Suppose -5*s = -4*j - v, 2*s + 2*s = -4*j + 36. Suppose -2*m + s = -m. Is 7 a factor of m?
False
Let h = -36 - -25. Let y = h + 14. Suppose 2 - 17 = -y*c. Does 2 divide c?
False
Let o(k) = -11*k**3 - k**2 - 30*k - 202. Is o(-5) a multiple of 22?
True
Let i = -75 - -68. Let r(j) = -20*j - 47. Does 41 divide r(i)?
False
Let p(m) = 2*m**2 + 5*m - 3. Suppose 0 = j - 3*j. Let x be j + 1 + 2 - 0. Is p(x) a multiple of 30?
True
Suppose -4*p + 0*t + t - 35 = 0, 2*p - 2*t + 22 = 0. Let i be -10*(28/p - 0). Suppose w = -4*k - 2, 2*k + 3*k - i = -5*w. Is 10 a factor of w?
True
Suppose 2*w - 4*j - j = 6, -3*w + 3*j = -9. Let g(l) = 4*l**3 - l**3 - 1 + 6*l + 0*l**w - 4*l**3 + 4*l**2. Does 11 divide g(4)?
False
Is ((-9)/2 - -4)/((-2)/516) a multiple of 15?
False
Let d = -8 + 14. Suppose -2*l + d*l - 24 = 0. Is 5 a factor of 17/3 - l/9?
True
Does 7 divide -5 + (111/(-3))/((-2)/26)?
True
Suppose 5*q = -u + 621, q + 20*u = 16*u + 128. Does 31 divide q?
True
Suppose -3*s + 106 + 14 = 0. Is (-4)/5 + 752/s a multiple of 7?
False
Suppose -2 = z - 2*z. Suppose 10 = z*x - 26. Is x/(-4)*(-80)/12 a multiple of 15?
True
Let c(d) = d**2 - 2*d + 1. Let m(f) = -f - 15. Suppose 5*l = -y - 32, -l = -2*y - 3*y - 4. Let o be m(l). Is 27 a factor of c(o)?
False
Let l be ((-12)/(-15))/(6/45). Suppose -5*d = l*h - h, 3*d + 10 = -5*h. Suppose -5*p + 12 + 23 = b, 0 = 5*p - d. Is 15 a factor of b?
True
Suppose 2*y - 7*y = -5. Let n be 1/(((-3)/(-15))/y). Suppose -3*v = m - 30, 2*m + n*v - 110 = -3*m. Does 3 divide m?
True
Let y = 5554 + -3895. Is 21 a factor of y?
True
Suppose 990 = -7*m + 18*m. Suppose 0 = 9*u - m - 81. Is u a multiple of 19?
True
Suppose -3*g + 823 + 194 = 0. Is g a multiple of 12?
False
Let d be -1 + -189 + 10/(-5). Let f = d + 416. Is 28 a factor of f?
True
Suppose -k + 1217 = 2*n, 0 = 3*n + 2*n + 5*k - 3050. Is n a multiple of 16?
False
Let k(c) = 2*c**3 - 14*c**2 + 11*c + 8. Let u be 7/((0 - -4) + -3). Does 19 divide k(u)?
False
Let d be -8 - (-2)/(2/3). Let c(l) = -l**3 - 5*l**2 + l + 7. Let g be c(d). Let x = g + 0. Is x a multiple of 2?
True
Is 9 a factor of 49280/11 + 13 - -3?
False
Let j be 142/9 + (-4)/(-18). Let y = j - -24. Is 8 a factor of y?
True
Let z = -62 - -63. Let r = -1 - -2. Is 17 a factor of -2 + (36/r)/z?
True
Let n(m) be the second derivative of -2*m**3 - 3*m**2/2 + 5*m. Does 12 divide n(-4)?
False
Suppose 13*a - 964 = -275. Is 3 a factor of a?
False
Let u = -402 + 787. Suppose 0*i + v = 5*i - u, 0 = 3*i + 4*v - 254. Does 29 divide i?
False
Let m(n) = -2*n**3 + 4*n**2 - 4. Let s be m(2). Let w be (s + 0)*(-2)/2. Does 12 divide 2/(-10)*(-291 - w)?
False
Let d(j) = j**3 + 8*j**2 - 12*j - 5. Let w be d(-8). Suppose 2*l = 5*s + w, 0*l + 63 = l + s. Does 29 divide l?
True
Suppose -2724 = 4*h - 2*n, 5*h = n - 1497 - 1905. Is 29 a factor of h/15*(2 - (-21)/(-6))?
False
Suppose z - 21 = -3*z - s, -18 = -2*z - 2*s. Suppose z*y = 10*y - 72. Let t = 22 - y. Does 10 divide t?
True
Suppose 3*y = -3 - 0. Let h(l) = 5*l**2 + 16*l**2 - l + 2*l. Is 9 a factor of h(y)?
False
Let o be 2 - (-6)/2 - 2. Suppose o = r + 7. Let c = 24 + r. Is c a multiple of 10?
True
Let h = -9300 - -13020. Is h a multiple of 20?
True
Let u(r) be the third derivative of r**5/20 + 7*r**4/24 + 16*r**2. Is u(-6) a multiple of 16?
False
Suppose 27 = 3*y - 6. Suppose y*r - 8 = 9*r. Does 2 divide r?
True
Let y = 1433 + -1049. Is 64 a factor of y?
True
Suppose 0*t + t = j + 3, 4*t - 3*j - 11 = 0. Let l(b) = -t*b + 3*b - 3*b**2 + 8 - 11 - 2*b**3. Is l(-3) a multiple of 21?
True
Let u(n) = n**2 + 3*n - 3. Let v be u(-5). Suppose -o = -v*o + 6. Does 31 divide (-1)/(o - 246/244)?
False
Let g(m) = 3*m - 11. Suppose -5*t = -16 - 14. Let v be g(t). Let r = 21 - v. Does 11 divide r?
False
Let w(i) = 2*i**2 - 2*i + 7. Let b(r) = r**2 + 10*r + 5. Let l be b(-10). Let n be w(l). Suppose -n + 5 = -3*s. Does 7 divide s?
True
Let u be (-5 - -2 - 2) + 690. Suppose -c - 2*t + 146 = 0, -t - u = -5*c + 4*t. Is c a multiple of 7?
True
Let l be (-2)/(-15) + 1376/30. Let a = l + -5. Suppose -m = 5*r - 71, -a = -3*r - m + 2. Is r a multiple of 5?
False
Is 7 a factor of (100/3)/((-117)/(-27) - 4)?
False
Let w(x) = -x**2 - 5. Let s be w(0). Suppose 4*z + 6*c = 2*c + 244, -4*z + 244 = 3*c. Let p = s + z. Is 14 a factor of p?
True
Let p = 50 + -44. Suppose v - 6 = -2*h, p*v - 2*h = v + 66. Is v a multiple of 5?
False
Let a(h) = h**2 + 7*h + 10. Let u be a(-6). Suppose 18 = 2*p - 2*o, o = u*p + 2 - 38. Is p even?
False
Does 4 divide 9/(((-357)/(-16))/7 + -3)?
True
Let f(c) = -c - 2. Let g be f(-2). Suppose 2*u - 3*i = -0*u + 7, 7 = -u - 2*i. Is 15 a factor of 34*(u - (g - 2))?
False
Let w(x) = -x**2 - 14*x - 14. Suppose -6*b + 7 = -7*b. Does 6 divide w(b)?
False
Let a(f) = 15*f + 67. Is a(-3) a multiple of 11?
True
Suppose -2*u - 32 = -4*j, 5*u - u + 44 = -2*j. Let l be 2736/(-28) + (45/(-35) - -1). Is l/u - 4/24 a multiple of 2?
True
Does 16 divide (13 - 120/9) + 88/3?
False
Let l = -50 + 47. Let k = 78 - l. Is 13 a factor of k?
False
Let f(a) = 2*a**3 - 4*a**2 + 3*a + 5. Let p be f(6). Suppose 2*n = 3*n - s - 77, 4*n - s - p = 0. Is n a multiple of 16?
False
Let q = -290 + 143. Suppose -3*r - g + 27 = 215, -6*g = -5*r - 298. Let j = r - q. Is j a multiple of 30?
False
Let i = -9 + 8. Let h = 16 + i. Is h a multiple of 14?
False
Let i(g) = -8*g**2 + 2*g - 4. Let q be i(2). Let c = q - -79. Suppose -25 = -3*z - 2*d, 0 = 3*z + 2*z - 2*d - c. Is z a multiple of 3?
True
Let d(n) = 43*n + 10. Let g be d(14). Suppose -4*w + 144 + 322 = 3*f, -4*f = 3*w - g. Does 30 divide f?
True
Let d = -18 + 24. Let t = 18 + d. Does 15 divide t?
False
Does 8 divide 17936/136 - (-2)/17?
False
Suppose 0 = -0*r + 6*r - 750. Does 25 divide r?
True
Let h = 942 - 162. Is 10 a factor of h?
True
Let n(r) = 2*r**2 + 10*r - 5. Let p be n(-6). Suppose 200 = -p*q + 3*q. Is 13 a factor of 1*(-3 - -5) - q?
True
Let q be 9*((0 - 0) + 1). Let c(h) = 9*h**3 + 15*h**3 - 25*h**3 + 8*h**2 + 5 + 11*h. Does 14 divide c(q)?
False
Suppose 0 = s - 0*s + 16. Let f = 154 + -241. Let u = s - f. Is 38 a factor of u?
False
Let a(z) = z + 32. Let q = 23 + -20. Suppose -4*u = -q*u. Does 16 divide a(u)?
True
Is 33 a factor of (132/(-1))/((-28)/70)?
True
Suppose -1 = 2*z - 11. Suppose 0 = -4*m + 4, -4*d + z*m - 2*m = -541. Is 17 a factor of d?
True
Let v = -32 - -36. Suppose v*p - 6*d = -d + 566, 0 = 5*p - 5*d - 705. Is p a multiple of 12?
False
Suppose -4*m = -4*f - 256, 3*m - f = -5*f + 171. Suppose -640 = -10*p - 0*p. Suppose -q + p = 4*q - y, 4*y + m = 5*q. Is q a multiple of 6?
False
Let i(f) = f**3 + 36*f**2 + 7*f - 44. Does 10 divide i(-34)?
True
Suppose 12584 = 42*m + 2*m. Does 22 divide m?
True
Suppose -2*g - 264 = -6*g. Is g a multiple of 6?
True
Suppose 18*n = 44*n - 40742. Is n a multiple of 65?
False
Let i = 344 + -250. Is i a multiple of 47?
True
Let n = 8 - -25. Suppose 3*a - n = -5*z - 11, -a - 6 = -z. Suppose -z*g + 46 = 6. Is 8 a factor of g?
True
Suppose -2*s + 3*v + 25 + 14 = 0, -5*v - 15 = 0. Suppose 0 = 4*z - s - 1. Suppose p = -3*c 