+ 137 = -2*x. Let t = 72 + z. Suppose 0 = 4*f - t - 13. Is f a multiple of 9?
True
Let l(j) = -j - 23. Let u be l(9). Does 26 divide u/(6/(-45) - (-12)/765)?
False
Suppose -2*i = 3*t - 1873, -5*t + 2*i + 2*i + 3151 = 0. Does 5 divide t?
False
Let z(l) = l - 3. Let f be z(8). Suppose -f*w + x = -263, -2*w = 5*x - 10 - 79. Suppose -2*d = -d - 2, -w = -2*u + 2*d. Does 7 divide u?
True
Suppose -9*z - 20*z = -3016. Does 19 divide z?
False
Let u = 36 - 31. Suppose u*j = 5*d + 48 + 42, j - 18 = -d. Does 16 divide j?
False
Let i(m) = 1 - 1 + m**3 + 1 + 3 - 4*m**2 + m. Let t(p) = -p**3 + 5*p**2 + p - 1. Let a be t(5). Is 4 a factor of i(a)?
True
Suppose -9*w + 36*w = 7479. Does 3 divide w?
False
Let k be 1 + -9 - (-10)/(-5). Let i(h) = h**3 + 11*h**2 + 3*h + 7. Does 37 divide i(k)?
False
Is (84/(-10))/(40/(-8400)) a multiple of 18?
True
Is (847 - -42) + 2/(4/(-14)) a multiple of 42?
True
Let l(m) be the second derivative of m**4/4 - m**3/3 - m**2/2 - 2*m. Is 15 a factor of l(-2)?
True
Let h(g) = -8*g - 8. Let p be h(-8). Suppose -p = -0*d - d. Does 14 divide d?
True
Is 10 a factor of (44/(-198) - 1609/9)*-7?
False
Suppose -1028 + 48 = -u. Is u a multiple of 110?
False
Suppose 0 = 3*x - 8*x. Suppose -3*p + 2*p - 103 = x. Let n = 179 + p. Is 13 a factor of n?
False
Let o = -1825 - -1985. Is 8 a factor of o?
True
Let u(o) = 5*o - 18. Let m be u(4). Suppose 0 = 2*s - c + 3*c - 6, 9 = 3*c. Suppose -2*w - 3*x + 67 = -m*x, -4*x - 4 = s. Is w a multiple of 17?
True
Let y(i) = -i**3 + 6*i**2 - 4*i - 3. Let u(m) = m**3 + 6*m**2 + 5*m + 5. Let z be u(-5). Let q be y(z). Does 6 divide 72/q*1/3?
True
Suppose 0 = -3*o - w + 5 + 1, 4 = 2*o + 5*w. Suppose 0 = -0*z - o*z + 10. Suppose z*h + 36 = 201. Is 14 a factor of h?
False
Suppose -6 = -2*f - 36. Let s = -36 - f. Let m = s + 35. Is m a multiple of 14?
True
Does 5 divide (-11 + 16)/((-2)/(-150)*3)?
True
Let p be 16/3*(-51)/(-68). Suppose p*r + 116 - 464 = 0. Is 7 a factor of r?
False
Suppose -336 = 6*k + 2*k. Let t = 102 + k. Does 21 divide t?
False
Let w(r) be the third derivative of -r**4/8 - 3*r**3/2 - 16*r**2. Is 15 a factor of w(-8)?
True
Suppose -2*v + 6*v = 12. Suppose -a + 36 = -2*p, 2*p - 108 = -3*a - v*p. Does 9 divide a?
True
Let x = -11 - -17. Suppose 6*z - x = 3*z. Suppose 0*c - 5*c + z*o + 112 = 0, -3*c + 60 = -3*o. Is 8 a factor of c?
True
Let y(j) = -j**2 - 19*j + 2. Let l be y(-19). Suppose l*o = o + 54. Is 6 a factor of o?
True
Let p = 576 - 373. Does 7 divide p?
True
Suppose -f = 3*l - 940, -f - 4*f + 1550 = 5*l. Suppose 13*j = 8*j - l. Let u = 22 - j. Is 27 a factor of u?
False
Let f be (0 - (-400)/6)*3. Suppose 2*j + 4*u = 90, -3*u + f = 4*j + u. Is j a multiple of 22?
False
Suppose -2*o + 1512 = 4*o. Let d = o + -111. Does 17 divide d?
False
Let b be 760/180 - (-4)/(-18). Suppose -3*i = -4*n - 117, -163 = -b*i - i - 4*n. Is i a multiple of 7?
True
Suppose 279 = -3*b - 123. Let c = -20 - b. Is c a multiple of 19?
True
Does 44 divide (-6090)/(-63)*(3 - 102/(-10))?
True
Suppose 3*l - 5*l = -6. Let w = -104 + 112. Does 3 divide (-10)/l*(-12)/w?
False
Suppose -9 = 4*w - 29. Let y(p) = p**3 - 6*p**2 + 6*p. Let m be y(w). Suppose -2 = -o + m. Does 5 divide o?
False
Suppose 6*f - 42 = -18. Suppose 5*y - 2*i + 3*i - 58 = 0, f*y = -3*i + 42. Is 4 a factor of y?
True
Let a(k) be the second derivative of k**6/120 - k**5/40 + k**4/8 + k**3 + k. Let j(p) be the second derivative of a(p). Is 10 a factor of j(-3)?
False
Let f(b) = -b**3 - 5*b**2 - b - 4. Let d be f(-5). Suppose -u = -d, -t + 0*u - 13 = 5*u. Let m = t + 38. Does 7 divide m?
False
Suppose 6*v - 8 = 4*v. Suppose -v*w = w + 55. Let i(g) = g**2 + 7*g + 5. Is 14 a factor of i(w)?
False
Suppose 4*k - 24 = -0*k. Suppose 4 = f + f. Suppose 64 = k*n - f*n. Does 6 divide n?
False
Is 50 a factor of -3 + 1 + 11/(88/10000)?
False
Let v be 1/((-4 - -9)/345). Let a = -44 + v. Does 13 divide a?
False
Is 5/(-60) + (-120628)/(-48) a multiple of 11?
False
Suppose -4*b + 90 = 2*l, -4*b = 4*l - 7*b - 169. Let q = 78 - l. Is 7 a factor of q?
True
Suppose -3*d = 5*x - 8*d + 20, 5*d + 34 = -4*x. Is 20 a factor of -34*(-1 + 9/x)?
False
Let g(a) be the second derivative of -a**3/3 + 24*a**2 + 9*a. Is g(-18) a multiple of 12?
True
Suppose 3*x + 299 + 34 = k, 329 = k + x. Suppose -5*q = 5*m - 410, q = -3*q - 2*m + k. Is 11 a factor of q?
False
Suppose 16 = 5*v + 1. Suppose 0*l + v*l - 336 = -k, 3*l - 2*k - 327 = 0. Does 37 divide l?
True
Let a = -1406 - -2234. Is 46 a factor of a?
True
Suppose 0 = -3*i + 5*o + 14, -3*i = -i - 3*o - 9. Let b(y) = y**3 - y**2 - 5*y + 4. Let v be b(i). Let c(u) = 9*u + 15. Does 15 divide c(v)?
False
Suppose 0 = 2*j + 14. Let h(b) = -b**2 + 5*b - 6. Let l(w) = w**2 - 4*w + 5. Let o(u) = j*h(u) - 6*l(u). Is o(10) a multiple of 2?
True
Let w = -155 + 206. Does 3 divide w?
True
Suppose -50*y + 7251 = -7849. Is y a multiple of 92?
False
Suppose -83 = -6*s - 29. Is s a multiple of 2?
False
Let j be 10 - -118 - (-1 - -2). Suppose 4*f - j - 155 = 5*y, -3*f + 214 = -5*y. Is f a multiple of 34?
True
Let b = -109 + 121. Suppose 9*n = b*n - 198. Is n a multiple of 33?
True
Suppose 0 = 6*q - 33*q + 8424. Is 13 a factor of q?
True
Let m = 10 + -7. Suppose -12 = s + 5*p, 2*s + 0*s - 15 = m*p. Suppose s*c = 32 + 124. Is 13 a factor of c?
True
Let z = 95 + -18. Let j = 6 - 6. Suppose j = i - 3*f - 21, 2*i = -f - 0*f + z. Is i a multiple of 12?
True
Let z = 2643 + -1943. Is z a multiple of 14?
True
Let d(v) = v**3 + 3*v**2 - 2*v + 1. Suppose -5*n = -a - 34, 5*n = 3*n - 2*a + 4. Suppose -2*h + n = 4*y, 11 = -2*y - 5*h + 2. Does 9 divide d(y)?
False
Let k = 1056 - 528. Is k a multiple of 22?
True
Let x = -549 - -918. Does 18 divide x?
False
Suppose -2*a = -44 + 14. Suppose 5*r + 0 = a. Is r even?
False
Let i = -6 + 13. Let s(z) = 4*z + 10. Is 19 a factor of s(i)?
True
Let l = 11 - 8. Suppose r - 7 = -0*r - 3*w, l*w = 2*r - 23. Does 10 divide r?
True
Suppose -34 = -4*u - 6. Let z(y) = 26*y + 5. Let b be z(u). Let g = b - 126. Is 16 a factor of g?
False
Let q = -13 + 12. Suppose -2*b = -3*b + 1. Is 16 a factor of (2 + q)/(b/41)?
False
Suppose 6156 = -0*t + 27*t. Is t a multiple of 12?
True
Suppose 10 = b + 2*t, -3*t - 30 = -0*b - b. Let i = b - -8. Does 7 divide i?
False
Suppose 3*o + 67 = 5*c, -c - 117 = 5*o - 4*c. Is o/(-16) + 525/6 a multiple of 30?
False
Let z(k) = k**3 - 13*k**2 + 12*k + 16. Let p = 2 + 16. Suppose -p*m = -19*m + 12. Is z(m) a multiple of 16?
True
Let u(f) = -20*f - 82. Does 26 divide u(-21)?
True
Suppose -11*h + 896 = -10*h - 5*q, 2688 = 3*h + 5*q. Is 4 a factor of h?
True
Let g(z) = -z**2 - z + 2. Let q be g(1). Suppose q = 5*n + 3*i - 2*i - 50, -3*i = n - 24. Suppose n*j - 8*j = 18. Does 9 divide j?
True
Suppose -3*c - 445 = -8*c. Let h = c + -32. Is h a multiple of 7?
False
Suppose -7*o = -5*o + 2. Let x = -6 + o. Is (-483)/(-15) - x/(-35) a multiple of 16?
True
Suppose 2*v - 86 = 5*o - 264, 3*v + o + 267 = 0. Let z = v + 220. Does 21 divide z?
False
Let x = 1966 - 1862. Is x a multiple of 2?
True
Suppose -5*l = -5*f + 395, f - 236 = -2*f + 2*l. Suppose -3*y - f = -9*y. Does 13 divide y?
True
Suppose -4*c - 5248 = -2*s, -5*s + 26*c = 24*c - 13112. Is 69 a factor of s?
True
Let x = 40 + 34. Is 14 a factor of x?
False
Let w(z) = 50*z + 4. Let x(u) = -2*u - 1. Let r be x(1). Let a(l) = 101*l + 7. Let h(d) = r*a(d) + 5*w(d). Does 35 divide h(-2)?
True
Suppose 4*m = -m + 860. Does 43 divide m?
True
Suppose -n - 2 + 5 = 0. Suppose 4*g + 27 = x, -5*x + n*g + 24 = -4*x. Is x even?
False
Let u be (-1141)/(-42) + (-1)/6. Suppose -5*z = -2*h - u, -2*h = -4*z - 6*h + 44. Does 2 divide z?
False
Let u be (-3 + 1)*-1*2. Suppose u*y + 411 = 7*y. Does 23 divide y?
False
Let r be 11 - (-1)/((-7)/3 + 2). Let t(j) = 3*j**3 - 2*j**3 - 9*j - 5*j**2 - j. Does 33 divide t(r)?
False
Is -6*(-244)/8 + 6 - -6 a multiple of 5?
True
Suppose 0 = -5*i + 4*r + 50, 5*i = r - 4*r + 15. Let p(z) = 13*z + 6. Does 14 divide p(i)?
True
Let m(x) = 0*x**2 - 3*x**3 + 9*x**2 + 4*x**3 - 3*x + 6. Let f(r) = r**2 - r + 1. Let s(n) = -2*f(n) + m(n). Is s(-5) a multiple of 19?
False
Let h(b) = -64*b + 2. Suppose -1 = 8*q - 7*q. Is 11 a factor of h(q)?
True
Suppose f - 47 = -2*n + 117, -5*f - 176 = -2*n. Does 25 divide n?
False
Suppose -210*v = -207*v - 1482. Is 19 a factor of v?
