2*t - s. Is f a multiple of 13?
False
Suppose -4*n + 3679 = -3*d + 1318, 0 = 4*n + 2*d - 2346. Does 68 divide n?
False
Suppose -31 + 1 = 5*z + 3*n, -n + 4 = -3*z. Let k = z + 27. Is 8 a factor of k?
True
Let u(n) = 2*n**3 + 2*n**2 - 5*n + 10. Suppose 4*d - 46 = -30. Is u(d) a multiple of 25?
True
Suppose -s - 28 = -5*s. Suppose -2*l - 20 = -s*l. Is l a multiple of 3?
False
Let p(u) = -5*u + 355. Is p(-41) a multiple of 20?
True
Is 17 a factor of (-7619)/(-14) - (-396)/(-1848)?
True
Does 15 divide (-1546 - -16)*1/(-3)?
True
Let c be (1 + -3 - -1) + 5. Suppose 8 = c*s, -3*g + 4*s - 74 = -0*g. Is ((-12)/8)/(1/g) a multiple of 11?
True
Suppose 108 = -2*o + 6*o. Let i = 23 + o. Is 5 a factor of i?
True
Let o(y) = y**3 + 13*y**2 + 12*y - 9. Let m be o(-9). Suppose 87 = -2*a + m. Does 8 divide a?
False
Let v be (-5)/((-1)/(-2)*-2). Suppose -3*a = v*q - a - 249, -q + 66 = -5*a. Let b = q + -32. Does 19 divide b?
True
Let h(a) = -57*a**3 - 2*a**2 - 2*a - 1. Let k be (0 - -231)*(-6)/(-18). Let o be (-8)/(-6) - k/33. Is 14 a factor of h(o)?
True
Let u(n) = 328*n - 159. Is u(14) a multiple of 143?
True
Let q be 4 + (-3)/(6/2). Suppose -j + 132 = q*c, 5*j + 116 = 3*c + 2. Let f = c + -22. Is 7 a factor of f?
True
Let n = 4537 - 2593. Is 18 a factor of n?
True
Let i = 15 + -19. Let l(r) = 3*r**2 + 9*r + 3. Is 4 a factor of l(i)?
False
Let l = 6 + 271. Does 22 divide l?
False
Let n be 10/8*(-10 - -14). Suppose -n*p + 142 = 552. Let v = -22 - p. Is v a multiple of 8?
False
Let z(b) = -2*b**3 + 3*b**2. Let g = -16 + 18. Let u be z(g). Let f = u - -33. Is f a multiple of 18?
False
Is 5680/(-24)*2/(8/(-30)) a multiple of 71?
True
Suppose 0 = -39*i + 46*i - 1435. Is i a multiple of 8?
False
Let s(j) be the second derivative of j**3/6 + 12*j**2 - 3*j. Let v be s(0). Suppose 4*k = i + i + 82, 4*i = k - v. Is 6 a factor of k?
False
Let t = -1 + 1. Suppose t*u + 11 = -2*w + u, u = -5*w - 38. Let b = w - -11. Does 2 divide b?
True
Let s(l) = 7*l**2 - 13*l**2 - 4*l + 8*l**2 + 9 + 4*l**2. Is s(-5) a multiple of 14?
False
Let c = -37 + 89. Let f = c + -27. Is f a multiple of 25?
True
Suppose 0 = 162*g - 178*g + 8064. Does 6 divide g?
True
Suppose 25 = -5*l, 0 = -2*g - 2*l + 4*l. Suppose -5*c + 73 = 23. Let v = g + c. Is v a multiple of 5?
True
Suppose -4*f - x - 73 = -0*x, x + 16 = -f. Let d = -2 - f. Is d a multiple of 2?
False
Let c = 1057 - 887. Does 34 divide c?
True
Let f(t) = 244*t - 259. Is f(6) a multiple of 31?
False
Let r = -56 - -60. Suppose r*t - 83 = 85. Is t a multiple of 5?
False
Suppose -101 = -4*y - 1. Does 4 divide 26 - -5*(-15)/y?
False
Let k = 1258 - 367. Is k a multiple of 27?
True
Let q = 169 + -70. Is q a multiple of 5?
False
Let m(x) = -22*x**2 + x + 5. Let v be m(3). Let s = 98 + v. Let f = s - -142. Is 10 a factor of f?
True
Is 455/(-70)*(-67 - (1 + 0)) a multiple of 17?
True
Suppose 5*p = 22 + 3. Suppose -q = -3*g - 154, -p*q = 3*g - 5*g - 835. Is 9 a factor of q?
False
Suppose -1831 - 9779 = -27*o. Is o a multiple of 9?
False
Let b(l) = l**3 - 4*l**2 - 4*l - 4. Let w be b(4). Let o = w + 26. Is 17 a factor of 44/2*15/o?
False
Suppose 4*u = -3*l - 0 + 17, -4*l - 29 = -5*u. Let n be l/((-2)/4) - -119. Suppose -5*y = 16 - n. Is 7 a factor of y?
True
Suppose 11*w = 10300 - 3777. Is 7 a factor of w?
False
Let w(f) be the first derivative of 3*f**2/2 - 2*f - 14. Let u be w(2). Suppose -u*k = -4*g - 76, -4*k + 2*g - 16 = -5*k. Is k a multiple of 7?
False
Let f(l) = -l + 21. Let m = 0 + 11. Let j be f(m). Is ((-56)/j)/(5/(-25)) a multiple of 7?
True
Let i = -37 + 50. Let x = i + 16. Suppose n - x - 20 = -5*y, -4*n - 4*y = -212. Is n a multiple of 9?
True
Suppose -2*d + 81 = -4*h - 191, 3*h + 205 = d. Let r = h - -120. Does 17 divide r?
True
Let v = 1309 + -706. Does 17 divide v?
False
Suppose 45 = -4*n - 5*k, -2*k = 3*k + 25. Let v(f) = -5*f - 13. Let o(l) = -5*l - 14. Let i(u) = -3*o(u) + 4*v(u). Is 8 a factor of i(n)?
False
Let o(t) = -16*t - 6. Suppose -6*w = 10 + 26. Does 15 divide o(w)?
True
Let v be ((24/(-10))/(-3))/((-14)/(-735)). Let r = -16 + v. Is 26 a factor of r?
True
Let s(q) = -15*q**3 - 2*q**2 - 8*q - 11. Is s(-2) a multiple of 5?
False
Suppose -4*x + 5*y + 869 = -341, -5*y = 5*x - 1490. Is 6 a factor of x?
True
Suppose -4*x = 5*q - 463, -460 = -4*x - 10*q + 6*q. Does 9 divide x?
False
Let k = 35 - 33. Suppose -k*r = -8*r + 498. Does 26 divide r?
False
Let c be (-2)/10*-17 + 2/(-5). Let l(m) = 46*m - 38. Does 13 divide l(c)?
False
Suppose 3*h - 7*h + 3*s + 149 = 0, -5*s + 55 = 2*h. Suppose -7 = -z - 0. Suppose -k - z = -h. Is 7 a factor of k?
True
Suppose 0*m + 5*m + 30 = 0. Suppose -2*l + 15*l = 325. Let d = m + l. Is d a multiple of 9?
False
Suppose 3*p - 33 = -3. Suppose p = -5*c + 30. Suppose 0 = -5*k + z + 246, c*k - 5*z - 200 = -z. Is 23 a factor of k?
False
Let i = 1202 + -476. Does 7 divide i?
False
Let d(h) = 21*h - 93. Is d(9) a multiple of 4?
True
Let k be (-1*4/(-2))/(4/6). Suppose k*i + 84 = b - i, 3*b - 2*i = 262. Does 4 divide b?
True
Let j be (-8)/(-20) + 4/(-10). Suppose -b + 5*a = b - 66, -2*b + 2*a + 66 = j. Is 28 a factor of b?
False
Let m(k) = k**2 + 6*k + 5. Let s be m(-7). Let y be ((-18)/s)/((-3)/150). Suppose w + 2*c - 30 = 0, 3*c + 140 = 5*w - y. Does 10 divide w?
True
Suppose 9 = 6*m - 9. Let x(q) = 9*q - 3. Is 6 a factor of x(m)?
True
Suppose 2*n = 16 - 8. Suppose 0 = p - n + 1. Suppose -2*z = r - 78, 0 = -2*z - 2*z + p*r + 136. Does 15 divide z?
False
Let c(b) = -b**3 - 8*b**2 - b - 2. Let f be c(-8). Let o be f/14 + (-27104)/(-98). Let h = o - 163. Does 19 divide h?
True
Let k be (-2)/((2 - 1)/8). Let h = k + 17. Let w(u) = 18*u - 1. Is 3 a factor of w(h)?
False
Let m = -55 - -126. Suppose 5*i + 26 = m. Suppose 14*s - 160 = i*s. Is 32 a factor of s?
True
Suppose -g - 5*f + 3 = g, 0 = -3*g - 4*f + 8. Is 46 a factor of -3 + 215/(g/4)?
False
Suppose 386 = d - 4*p, 11*d - 779 = 9*d + p. Does 4 divide d?
False
Suppose -7*q + 2*q - 3*i = -4, 0 = 4*i + 8. Suppose 0 = -4*x + 2*x + q. Is x - 124/(-8)*2 a multiple of 8?
True
Is (711/(-8 + 5))/((-9)/6) a multiple of 79?
True
Let j(m) = -m**2 - 3*m + 4. Let y be j(-4). Let z = 6 + y. Suppose -4*l + 0*l + 4*g = -48, -z = -l - 2*g. Does 8 divide l?
False
Suppose -35*z + 43*z = 16. Is -7*(-1 - (z + 6)) a multiple of 24?
False
Suppose 0 = 2*u - 3*u + 9. Let w(i) = -i**2 + i + 12. Let g be w(u). Does 19 divide (1 - -2) + -6 - g?
True
Let i = 18 - 15. Suppose i*d - 18*d = -540. Is d a multiple of 3?
True
Let g(k) be the third derivative of k**5/30 + 4*k**2. Is 3 a factor of g(-2)?
False
Let l = 486 + -304. Suppose 7*q - l = 763. Is q a multiple of 45?
True
Let d(n) = -n**2 - 6*n - 7. Let q be d(-6). Let f be (-6)/2 + q + 12. Suppose 2*r = -f*r + 268. Is r a multiple of 19?
False
Let i(z) = -z**3 + 6*z**2 - 4*z - 229. Let s(n) = -n**3 + 7*n**2 - 5*n - 230. Let p(r) = -6*i(r) + 5*s(r). Is 52 a factor of p(0)?
False
Let o(i) = -3*i - 8. Let n(a) = -6*a**3 - 1. Suppose 2*v + 3*v - 5 = 0. Let p be n(v). Does 13 divide o(p)?
True
Suppose 152*m - 171*m = -4009. Is m a multiple of 3?
False
Suppose 1376 + 325 = 7*o. Suppose 4*t = 217 + o. Is 23 a factor of t?
True
Suppose 2*q = -b + 972, 3*q - 4*b - 1764 + 328 = 0. Does 20 divide q?
False
Let s(d) = -d**3 + 16. Is s(0) a multiple of 16?
True
Let o = 107 - -287. Is 14 a factor of o?
False
Let s = -32 + 110. Suppose 5*f + s = 2*q + f, -98 = -2*q - f. Is q a multiple of 20?
False
Let c(n) = 108*n - 17. Is 17 a factor of c(1)?
False
Suppose 2*a - 6*a - 20 = 0. Let q be a*(3414/15 + 0). Is 14/(-49) + q/(-14) a multiple of 13?
False
Suppose 10*y - 4147 = -3*y. Is y a multiple of 29?
True
Suppose 4*y = -r - 3, -2*y + r = -0*y - 3. Suppose -4*m - 3*l = 56, -5*m + 5*l - 70 = -y*l. Does 9 divide 2/7 - 122/m?
True
Suppose -61*k + 48*k = -2431. Does 13 divide k?
False
Suppose k = -r + 10, 2*r + 3*k + 6 = 31. Let h = r + -3. Suppose 3*j = -4*f + 16, -5*f + 3 + h = 0. Is 4 a factor of j?
True
Let r = 362 + -44. Suppose -3*z - b = -r, 3*z + 2*z - 530 = -3*b. Suppose 4*v - 3*v = 3*d - z, 5*d - 172 = 4*v. Is 10 a factor of d?
False
Suppose 0 = 4*h + 4*y, -5*y = -0*h - 2*h. Suppose -b - b + 5*g + 22 = h, -5*b + 34 = -2*g. Let c(m) = m**3 - 4*m**2 - 8*m - 2. Does 11 divide c(b)?
True
Suppose 2 = -i + 2*i, 0 = -2*u + 5*i + 26. Let a be ((-8)/12)/(