= 2*x - 59. Is 13 a factor of x?
True
Suppose 1 = 3*x - 2*z - 23, 0 = 5*x - 4*z - 38. Let l = -634 + 914. Suppose x*y - 8*y = l. Is y a multiple of 10?
True
Let l(k) = -2*k + 10. Let a be l(3). Suppose 0 = -a*b - 11*b + 4095. Does 21 divide b?
True
Suppose 0 = 5*y + 4*w - 23668, -5*y - 442 = -4*w - 24094. Is y a multiple of 14?
True
Let s = 58067 + -36284. Is s a multiple of 46?
False
Is (-12)/(-21) + (-9 - (-2212977)/91) a multiple of 22?
True
Suppose v - 5*b = 33, v + 5*b = -3*v + 182. Suppose 1019 - v = 8*n. Suppose 0 = -3*i + 5*i - n. Does 6 divide i?
False
Let o be (3 - -775 - 6)/2. Let n = o + -352. Does 34 divide n?
True
Let p(r) = r**3 - 19*r**2 + 5. Suppose 16*k - 3 = 301. Is p(k) a multiple of 5?
True
Let l = -981 + 688. Let i = l + 61. Let c = -125 - i. Is 15 a factor of c?
False
Let y(q) = -2*q + 7. Let b be y(1). Let c(u) = u**3 - 6*u**2 + u - 1. Let z be c(6). Suppose z*x = b*v - 160, -v + 3*x = -13 - 27. Is v a multiple of 12?
False
Suppose 6*v + 8 = -4. Is 3 a factor of ((-176)/20)/(v/25)?
False
Let a(z) = 9*z**3 - 3*z**2 + 4*z + 2. Let i be -5 - (-372)/21 - (-4)/14. Suppose 5*n = 11 + 14, 0 = o - 3*n + i. Is 11 a factor of a(o)?
False
Let f = -50 + 49. Let l be (10/12)/(f/(-6)). Suppose 0 = -w + 4*b + 79, 0 = -2*w + 3*b - l*b + 108. Is 10 a factor of w?
False
Suppose 7*f - 2*s - 53 = 6*f, 47 = f + s. Suppose 3*v = -4*b - 67, 0 = -3*v - b + 3*b - 61. Let r = f + v. Is r a multiple of 7?
True
Let t(a) = a**3 - 18*a**2 + 21*a + 20. Let u be t(17). Let s = u + -85. Suppose s*k = 4*b - 561, 0 + 25 = 5*k. Does 18 divide b?
True
Is (-1 + 3)/((-23)/(-8832)) a multiple of 48?
True
Let b be (-25)/(-25) + (-59 - 0)/1. Let u(w) = -24*w + 21. Let t be u(4). Let j = b - t. Is 4 a factor of j?
False
Let z(t) = t**3 + 18*t**2 - 2*t - 21. Let x be z(-18). Let v(u) = -u**3 + 18*u**2 - 41*u - 46. Does 4 divide v(x)?
False
Suppose -m + v + 1031 + 1040 = 0, 4*m - 8257 = -5*v. Does 94 divide m?
True
Let s(b) = 2*b + 14. Let h be s(-7). Suppose 2*j + 2*j = h. Suppose -27 = -3*c - j*c. Does 5 divide c?
False
Let k = 639 + -456. Suppose l = -s + k + 268, -3*l - 5*s + 1355 = 0. Is 18 a factor of l?
True
Let k = -292 + 300. Let x(p) = 69*p - 123. Is x(k) a multiple of 11?
True
Suppose 3*h + 4*v - 24 + 66 = 0, h = -5*v - 3. Let c be (6/(-5))/(h/45). Suppose 0 = 8*p - c*p - 30. Does 2 divide p?
True
Suppose -2*k + 18224 = 3*j - 0*j, 24296 = 4*j + 2*k. Is j a multiple of 69?
True
Suppose -41284 = 1493*h - 1498*h + 3*p, 5*h = -p + 41292. Is 32 a factor of h?
False
Suppose 2*i = 3*n + 39033 - 12485, 66331 = 5*i - n. Is i a multiple of 28?
False
Let h(d) be the second derivative of -d**5/60 - 7*d**4/8 - d**3 + 5*d**2/2 - 14*d. Let k(q) be the first derivative of h(q). Is k(-9) a multiple of 38?
False
Let o(p) = 490*p + 1119. Is o(6) a multiple of 9?
True
Is 3746/9 - 64/288 a multiple of 26?
True
Let a(m) = 2*m**3 + 3*m**2 - m - 2. Let h be a(3). Suppose 0 = -h*p + 80*p - 376. Does 20 divide p?
False
Let d be (265/50*-4)/(1/(-5)). Let q = 11 - d. Let u = q + 182. Does 29 divide u?
True
Suppose t - 4*r = 196 + 2644, -3*t + 3*r + 8466 = 0. Does 32 divide t?
True
Is 31 a factor of (3664/3)/(24/1080*15)?
False
Let n = 8286 + -5899. Is 7 a factor of n?
True
Let k(y) = 2*y**2 + y - 3. Let f be k(-2). Let s = 10 + -10. Suppose f*u - 9 = s, 3*h + 5*u = 4*u + 18. Does 2 divide h?
False
Let a(y) = y**2 + 34*y - 894. Is a(-55) a multiple of 29?
True
Let z(a) be the first derivative of 33*a**4/4 - a**3/3 + a**2 + 100. Does 22 divide z(2)?
True
Suppose 7*h = 5*h + g + 1658, 7*g = -3*h + 2470. Is h a multiple of 23?
True
Suppose 0 = 3*z + z - 3*o - 12, 3*z + 2*o + 8 = 0. Suppose z = 9*b - 2*b - 2366. Is 20 a factor of b?
False
Let s be -5 - (-5 + 3401)/(-6). Let i = -390 + s. Does 12 divide i?
False
Let n = -21018 - -35290. Does 8 divide n?
True
Suppose 10*s - 466 = 684. Does 50 divide 683 + (4/5)/(23/s)?
False
Let u(o) be the second derivative of 25*o**3/3 + 11*o**2 - 18*o. Let z(w) = w + 7. Let k be z(-3). Does 37 divide u(k)?
True
Let z(k) = 6*k - 27. Let g(x) = -7*x + 30. Let n(v) = 5*g(v) + 4*z(v). Suppose -43 = 2*b + c + 4*c, -b - 4*c - 26 = 0. Is 28 a factor of n(b)?
True
Suppose 5*p + 4*r = -81, p - 3 = 5*r + 4. Let u(j) = 3*j + 181. Is u(p) a multiple of 12?
False
Suppose -32 = -5*j - 112. Let x = 187 + j. Does 32 divide x?
False
Let g(v) = -4366*v - 669. Is g(-3) a multiple of 9?
True
Suppose 435*m - 10706538 = -238*m + 12682904. Is 11 a factor of m?
False
Let p(m) = m**2 - 21*m + 5. Let i be p(21). Suppose i*j + 2*j - 63 = 0. Is j a multiple of 7?
False
Suppose -5*w + 20 = 14*t - 19*t, 2*t + 5*w + 22 = 0. Let l(o) = -154*o. Is 77 a factor of l(t)?
True
Suppose -3*l + 2 = -2*l, -2*a + l = 2. Let i(x) = 3*x + 27. Let w be i(11). Suppose -9*g + 3 + w = a. Does 7 divide g?
True
Let l be (-81)/(-4) - (-4)/(-16). Suppose 8*d = 100 - l. Is 11 a factor of 2398/55 - 6/d?
False
Let n(t) = -289*t + 104*t + 29*t - 32. Is 28 a factor of n(-1)?
False
Suppose 2*o + 5*i - 67 = 0, 5*o = i + 220 + 15. Let p = o + -43. Suppose -89 = -n - 2*n - c, c + 85 = p*n. Is 7 a factor of n?
False
Let w be 356 + (0 - -8 - 8). Is (-4 + (-15)/(-3))*-2 + w a multiple of 12?
False
Suppose 73353 - 15353 = 12*a - 78656. Is a a multiple of 31?
False
Let h(y) = 1001*y**2 - 429*y - 2203. Is h(-5) a multiple of 8?
False
Let t = 129 - 122. Suppose -2*u = -5*i - t*u + 990, -5*u + 590 = 3*i. Is i a multiple of 10?
True
Suppose 22802 = 5*a + p - 2*p, -4*a - 2*p + 18236 = 0. Is a a multiple of 57?
True
Let b(u) = -u**3 + 10*u**2 - 2*u - 12. Suppose 10*z = 38 + 22. Is b(z) a multiple of 8?
True
Suppose -5*h = 28*d - 32*d + 36563, 0 = 2*h - 18. Is 8 a factor of d?
True
Let r = 779 - 520. Let o = 505 - r. Is 28 a factor of (-2 - o/(-8)) + (-3)/4?
True
Let n(w) = -14*w**2 + 2*w**3 - 2*w**2 + 2*w + 3 - 5*w - 10. Let y be n(8). Let c = -20 - y. Is c a multiple of 2?
False
Suppose -m + 61 = 5*y, -3*m + 2*y + 137 - 39 = 0. Suppose 35*f = m*f - 273. Let t = -105 + f. Does 14 divide t?
True
Suppose -183594 = -339*h + 117*h. Does 3 divide h?
False
Suppose 60905 - 4073 = 26*g - 13992. Does 3 divide g?
True
Let c = 8221 - -6681. Is 117 a factor of c?
False
Let g = 529 + -452. Does 34 divide g?
False
Suppose -992 = -4*u + 5*s + 1308, -s = -u + 574. Is u a multiple of 7?
False
Suppose -120*x - 17*x = -263493 - 1105411. Is x a multiple of 40?
False
Let g = 1 + 5. Let z = -118 - -162. Is 22 a factor of 27/g*z/3?
True
Let r(f) = f**2 - 10*f + 23. Let s be r(7). Suppose 1334 + 598 = s*k. Is k a multiple of 21?
True
Let n(i) = -i**3 - 8*i**2 - 6*i + 12. Let h be n(-7). Suppose -33*t + 24 = -30*t. Suppose -h*k + 1287 = t*k. Does 8 divide k?
False
Suppose 2*f - 14197 = -140*a + 135*a, a - 7103 = -f. Is f a multiple of 19?
True
Suppose -5259 = -3*y - 3*x, 7*x - 3508 = -2*y + 3*x. Is 13 a factor of y?
False
Suppose -4*p + 170 = -0*c + 3*c, 2*p - c = 80. Suppose 2*a + 8*i + 138 = 10*i, -271 = 4*a + i. Let y = p - a. Is y a multiple of 22?
False
Let b be (-6)/(-9)*-9*(-30)/36. Suppose -4*k + 246 = 2*f - k, 0 = 3*f + b*k - 367. Is f a multiple of 43?
True
Let z(a) = 3*a**3 - 58*a**2 + 29*a - 31. Is 23 a factor of z(21)?
True
Let q(c) = 3*c**2 - 50. Let w be q(0). Let i be 4925/w*2/(-1). Suppose 4*y + r - i = 3*y, 2*y - 396 = -r. Does 21 divide y?
False
Let w(m) = m**3 - 7*m**2 - 39*m + 10. Let g(y) = -y**3 + 6*y**2 + 40*y - 11. Let u(j) = 2*g(j) + 3*w(j). Is u(13) a multiple of 5?
False
Let a(k) = 61*k**2 - 15*k - 50. Is 24 a factor of a(-6)?
False
Suppose -3*h = -10*h - 14. Let o(w) = -122*w + 6. Is o(h) a multiple of 5?
True
Let a(j) = -6373*j - 5005. Is 85 a factor of a(-5)?
True
Suppose -85*d - 20*d + 170181 = -228924. Is d a multiple of 181?
True
Suppose 4*h = -8*h - 708. Let t = 67 + h. Suppose 0 = -4*y + t*y - 4*u - 260, 0 = -y - 4*u + 70. Is y a multiple of 11?
True
Suppose 2*p + 43*k = 40*k + 4001, -2*k = -2*p + 3976. Does 40 divide p?
False
Suppose -2*u + 4*u - 15542 = -2*g, 5*u - 38861 = g. Let r be u/8 + 2/4. Is 11 a factor of r/14 + (-8)/(-14)?
False
Let c = -275 - -311. Is 15 a factor of 90/48*2*c?
True
Let m(a) = a**2 - 19*a + 174. Let x = -247 - -247. Is m(x) a multiple of 6?
True
Suppose -5*s + 4*m = -48, 3*s + 3*m - 1 - 17 = 0. Suppose -s*y + 28 = -12. Suppose -y*i + 4*c = -99, c = i - 18 - 1. Is i even?
False
S