2 + 6, 2*t - 390 = 5*f. Is t a multiple of 25?
True
Suppose 4*b = 0, 2*k - b - 4982 = -922. Is 14 a factor of k?
True
Is (-68)/102 + (-1330)/(-6) a multiple of 29?
False
Let r = -25 - -24. Is 1*(r + -1) - (-108)/2 a multiple of 7?
False
Let y = 16 + -11. Suppose -2*d + 30 = r, -77 - 148 = -5*r + 5*d. Suppose 0 = y*o + r - 335. Does 25 divide o?
False
Let z(j) = 7*j**2 - 82*j + 400. Does 15 divide z(5)?
True
Let w = 43 - 38. Suppose 4*s = -v + 74, -w*v + s = 2*s - 370. Is v a multiple of 37?
True
Let o = 13 + -42. Suppose -21*p + 733 = -317. Let c = o + p. Does 7 divide c?
True
Does 10 divide 1*(-236)/(-8) - (-16)/(-32)?
False
Suppose -2*n + d = -6, -n = n - 5*d - 14. Suppose n*f = -0*f + 8, -3*c + 5 = 2*f. Let y = 8 - c. Does 3 divide y?
True
Let r(o) = -o**3 + 8*o**2 + 4. Let a(s) = s**3 - 2*s**2 + s + 3. Let l be a(2). Suppose l*c - 35 = -0. Is 13 a factor of r(c)?
False
Let u(i) = -i**3 - 9*i**2 - 5*i - 15. Let w(r) = r**2. Let p(n) = u(n) - 6*w(n). Let z be p(-15). Is 2 a factor of (2/(-1))/((-15)/z)?
True
Suppose -3*n + n = -40. Let d = n + -16. Is d a multiple of 2?
True
Let i(l) = l**3 + 3*l**2 - l - 1. Let x be i(-4). Let d = -3 - x. Let y(k) = k**3 - 11*k**2 + 11*k + 8. Does 4 divide y(d)?
False
Suppose -4 = -3*d + 8. Suppose 65 + 207 = d*x. Suppose x = -4*f + 8*f. Does 9 divide f?
False
Let m be 4/(-2) + 3 + 35. Suppose -5*j + 15 = 0, s + j - m = -3*j. Does 5 divide s?
False
Suppose -3*l - 2*i = -6*i + 193, -127 = 2*l - i. Let u = -32 - l. Does 6 divide u?
False
Suppose 16 = 4*c + 5*g, 2*g = -3*c - g + 12. Suppose -c*d - 20 = -9*d. Suppose -4*k + 8*x + 208 = d*x, -274 = -5*k - 2*x. Is 18 a factor of k?
True
Suppose -11*m + 5016 + 7667 = 0. Does 22 divide m?
False
Suppose -2*l = -l - 5*x - 235, -5*x = 25. Does 7 divide l?
True
Let l(z) = 4*z**2 - 6*z - 5. Suppose 5*d - 12 = 8*d. Let b be l(d). Suppose -k = 2*u - 4*u + b, 0 = -2*u - 2*k + 68. Is 13 a factor of u?
True
Let c = -1578 - -1606. Is 14 a factor of c?
True
Suppose 25*z - 23*z + 2*q - 1394 = 0, 2*q - 2798 = -4*z. Is z a multiple of 13?
True
Let a(k) = k**3 - 15*k**2 + 7*k - 21. Suppose x - 12 = 2*o, 66 = 5*x - 3*o - 29. Let t = x + -7. Is 21 a factor of a(t)?
True
Suppose -117*a + 21*a = -189600. Is 66 a factor of a?
False
Suppose 8*j - 10*j = -d - 132, 5*j - 4*d = 330. Is j a multiple of 6?
True
Suppose x - 2*k = 538, -x - 2*k + 453 = -77. Let a = x + -279. Is 15 a factor of a?
True
Suppose -g + 646 = 18*g. Does 34 divide g?
True
Let r = 1108 - 697. Is 37 a factor of r?
False
Suppose 6*z - 1140 + 384 = 0. Suppose -6*r + 246 + z = 0. Does 31 divide r?
True
Let k = 15 + -14. Suppose 0 = -2*a + k - 5. Is 21 a factor of -1 + 3 + 29 + a?
False
Let c(j) = 0 - 4 - j + 8. Let w be (12/8)/(3/(-8)). Does 8 divide c(w)?
True
Suppose 88 = -4*y - 20. Let s = 123 + y. Is 23 a factor of s?
False
Suppose -5*t = 2*v - 188, -4*t - 99 - 53 = -2*v. Suppose 0 = 4*m - 3*m - v. Is 21 a factor of m?
True
Suppose -9*q - 12 = -21*q. Does 19 divide 1 + -2 + ((-145)/(-1) - q)?
False
Suppose -2*r - k = -41 + 4, 4*k = 3*r - 28. Let a be 4/(r/(-12)) - 1. Is 35 a factor of ((-32)/(-24))/(a/(-210))?
True
Let b(i) = i**3 - 6*i**2 + 5*i. Let p be b(5). Suppose 0*l + 3*l + 72 = p. Let w = l - -51. Is w a multiple of 4?
False
Let h be 3/(-2) + 14/4. Suppose -2*j - h*j = -16. Is 25 a factor of j/10 + 744/15?
True
Let p(l) be the first derivative of -l**4/4 + 2*l**3 + 4*l**2 - 7*l - 6. Let c be p(7). Suppose 4*z = -c*z + 156. Is 11 a factor of z?
False
Suppose 0*w - 4*w = -548. Suppose 5*f + 156 = 3*f. Let v = w + f. Is v a multiple of 16?
False
Let x(o) = -177*o - 272. Is 28 a factor of x(-5)?
False
Suppose -4*l = -5*d + 10, 0 = 5*l - 4*d + 8. Let m(z) = -2*z + 10 + l*z - 6. Is 9 a factor of m(-3)?
False
Let z be 5/3 - (-10)/(-15). Let d = z - -1. Suppose -d*o - 48 = -4*o. Is 12 a factor of o?
True
Suppose 3*j - j = 2. Let x(z) = -z**3 + 2*z**2 - z. Let f be x(j). Let d(c) = c + 11. Is d(f) a multiple of 11?
True
Suppose -3*v + 27 = 3*m, -4*m = v - 0*m - 21. Suppose n - 8 = 3*k, 2*n + 3*n - v*k = 60. Is n a multiple of 7?
True
Let u(l) = l**3 + 10*l**2 + 12*l + 18. Let c be u(-8). Suppose -5*y + 10 = j - 2, -2*j + c = -3*y. Let i = j - 2. Is i a multiple of 12?
False
Suppose -2*p - 74 - 76 = 0. Suppose -102 = -16*k - k. Does 19 divide (p/k)/((-1)/6)?
False
Suppose -3*j + 2*r + 5 = 0, 4*r = j + 5 - 0. Suppose 2 = -j*g + 17. Is g a multiple of 2?
False
Let o be (-1 + 1)/(12 - 13). Suppose l + x - 61 = o, -4*x = -7*l + 4*l + 148. Is l a multiple of 24?
False
Let j(i) = -3*i + 21. Is 27 a factor of j(-15)?
False
Suppose -3*g + 142 + 281 = 0. Suppose -14*q + 19*q = 15. Suppose 4*r = 2*s - 42, -5*s - q*r = -r - g. Is s a multiple of 15?
False
Suppose 5*j + 1177 = -7*i + 10*i, -i + 4*j = -397. Does 39 divide i?
False
Suppose 39*s - 16281 - 14841 = 0. Does 6 divide s?
True
Let v = 10 + -4. Suppose 2*l - v = -l. Suppose 0 = l*d - 4*d + 106. Does 19 divide d?
False
Suppose 4*m = 48 + 12. Suppose -m = 3*o - 3. Is o/4 - -4 - -2 even?
False
Let x(g) = g**2 - 1. Let t be x(-5). Let r = t + -15. Let h = r + -4. Does 5 divide h?
True
Suppose -6*d + 50 = -46. Let a(c) = -c**2 + c. Let w(y) = y**3 - 13*y**2 - 18*y + 12. Let l(f) = 2*a(f) + w(f). Is l(d) a multiple of 6?
True
Let b be 10*(2 - 1) + -1. Let m = 113 - b. Is 17 a factor of m?
False
Suppose -10*n = -20*n + 6600. Does 10 divide n?
True
Suppose 3 = 2*c - 2*p + 3*p, -2*c + p = -1. Let a be (0/c)/((-9)/3). Suppose -y + 6*y - 90 = a. Is 6 a factor of y?
True
Let j(x) = 3*x**3 + 5*x. Let q(f) = 15*f**3 - f**2 + 26*f - 1. Let y(l) = -11*j(l) + 2*q(l). Let s be y(-2). Suppose 0 = -6*v + 58 + s. Does 9 divide v?
False
Let n = 22 - 18. Suppose -3*z - z + n = 0. Let c(y) = 15*y**3 + y**2 - y + 1. Does 3 divide c(z)?
False
Suppose -2*k - 3*k = -60. Suppose 0 = -4*b + 3*y + k, 0*y - 5*y - 9 = -3*b. Suppose b*t = s - t - 28, -t + 129 = 4*s. Is 16 a factor of s?
True
Let n(j) = -j - 9. Let r be n(-9). Suppose r = 3*h - 5*h + 8. Suppose 5*l = -h*b + 132, 10*l - 3*b = 5*l + 146. Does 14 divide l?
True
Let h(y) be the second derivative of -9/2*y**2 + 0 + 1/3*y**3 + 1/4*y**4 - 10*y. Is h(5) a multiple of 12?
False
Is ((-9)/2)/(105/(-4340)) a multiple of 34?
False
Suppose -3 + 13 = 5*d. Is 11 a factor of ((-28)/20)/(d/(-110))?
True
Let l be 8*(10/(-4) - -3). Suppose 0 = z - 0*v - v - 13, -2*v = -l*z + 54. Is z a multiple of 14?
True
Let r = 780 + -540. Suppose 9*x - 5*x - r = 0. Is 10 a factor of x?
True
Let a = 23 + -19. Suppose 70 = -a*d + 502. Does 18 divide d?
True
Suppose 0 = -19*p + 22*p - 183. Does 42 divide p?
False
Suppose 4*m = -4*z + 16, 4*z - 4*m = z + 19. Suppose -6*h + 225 = -h. Suppose -4*c - 68 = -z*b, -3*b = -c - 0*c - h. Does 8 divide b?
True
Is 55 a factor of (3 - 168)*900/(-54)?
True
Suppose -i - 6 = -4*i. Suppose -3*k - 4*c = -88, i*c = -3*k + 78 + 20. Does 6 divide k?
True
Does 30 divide 610 + -12 + (-4)/(-2)?
True
Suppose -4*n + 4*h = -0*h - 1256, 5 = 5*h. Does 7 divide n?
True
Let f be 1/((-1)/2 + 0). Let t = f + 2. Suppose -2*b = -4*w - 78, t*w + 191 = 4*b - w. Is 15 a factor of b?
False
Let a(m) = -13 - 4*m**2 + 0*m**2 - 23*m - m**2 + 3*m**2. Does 16 divide a(-9)?
True
Let n(w) = w**3 + 8*w**2 - 31*w - 37. Is n(-10) a multiple of 2?
False
Let s(w) = -236*w**3 + w + 1. Let f be s(-1). Let z = f + -164. Does 18 divide z?
True
Let d(k) = 59*k**3 - 5*k + 18. Is d(2) a multiple of 20?
True
Suppose 0 = 3*p - 9*p + 582. Is p a multiple of 37?
False
Let i = 62 - 132. Let u = i + 101. Suppose u = p + 6. Does 9 divide p?
False
Suppose 2*i - 5 = 11. Let s be ((-38)/(-4))/(7 + (-65)/10). Let n = s - i. Is n a multiple of 11?
True
Let w = -1376 - -4851. Is 25 a factor of w?
True
Suppose 9 + 3 = -4*p. Let j = -4 - p. Is 66/12 - j/2 a multiple of 3?
True
Suppose -4*t - 2 = -22. Suppose -p = -6*p + 120. Suppose -5*n - 125 = -t*k, 46 = 3*k + 2*n - p. Does 12 divide k?
True
Suppose 0 = 2*x + 6, g - 3*x + x - 65 = 0. Suppose 4*a + t = 4*t + 48, 5*a - g = 4*t. Does 4 divide (-1 - 8)*(-25)/a?
False
Suppose -19*d + 9252 + 2186 = 0. Does 43 divide d?
True
Let h(g) = -6*g**2. Let n be h(-1). Let u(f) = 2 - 6*f + 0 - 3*f**2 + 4*f**2 + 5*f. Does 13 divide u(n)?
False
Let p = 2292 + -2068. Does 7 divide p?
True
Let o(n) = -5*n + 25. Let s be o(5). Suppose 3*a - 5*i - 14 - 97 = 0, 4*a +