ose v - 19*r - 30 = -16*r, 3*v - 2*r - 104 = 0. Is v a multiple of 12?
True
Let i(s) = 121*s - 77. Does 70 divide i(7)?
True
Let k = 5 + 5. Let c = -183 + 303. Suppose -5*x - c = -k*x. Is x a multiple of 24?
True
Let r = -17 + 51. Let c = -26 + r. Is c a multiple of 2?
True
Let a(g) = 49*g**3 - 3*g + 6. Is a(2) a multiple of 2?
True
Suppose 3*q - 285 = -2*u, u - 482 = -16*q + 11*q. Is 6 a factor of q?
False
Suppose 1740 = -129*t + 132*t. Is 29 a factor of t?
True
Suppose d + 17 = 3. Let n = d + 54. Is 5 a factor of n?
True
Let u = -9 - -25. Suppose 2*r = -x + u, -3*x - r + 1 = -27. Is 4 a factor of x?
True
Let a(s) = s**3 - 20*s**2 + 55*s + 22. Is 15 a factor of a(25)?
False
Suppose d + 4*x = -3*d + 1648, 10 = -5*x. Is d a multiple of 23?
True
Let p(l) = -l + 8. Let f be p(4). Suppose 3*o + 12 = f*o. Let v = o + 6. Is v a multiple of 9?
True
Suppose 0 = n + 111 - 182. Let c = n + -19. Is 52 a factor of c?
True
Suppose 2*p - 42 = 1122. Suppose 4*n = 50 - p. Let o = 206 + n. Does 20 divide o?
False
Suppose -6*d - 4 = 8. Is ((-136)/(-17))/(d/(-12)) a multiple of 8?
True
Suppose 0*s + 62 = s + 5*p, 110 = 2*s - 4*p. Suppose -s*m = -55*m - 104. Is m a multiple of 15?
False
Let u(n) = -5*n + 5. Let s be u(4). Let r = -12 - s. Does 7 divide 72/r + (-9)/3?
True
Let b be (-44)/33 - 19/(-3). Suppose b*v = 5*z - 80, 4 = 3*v - 5. Does 9 divide z + (1 - 3)*-2?
False
Suppose -4*w = -3*w + 47. Let b = w - -137. Does 13 divide b?
False
Suppose -a - 3*a - 2*y + 1742 = 0, 1296 = 3*a + 5*y. Does 24 divide a?
False
Let c = 37 - 20. Let w = c - 7. Is w a multiple of 10?
True
Does 26 divide 10/10 - -718 - 8?
False
Is (105/(-20) - -4) + (-7770)/(-40) a multiple of 10?
False
Let g = 28 + 22. Suppose 3*f + f = -4*y + 80, 0 = 5*y + 3*f - 110. Let r = g - y. Is 9 a factor of r?
False
Suppose 2*y - 2*n - 8726 = 0, 3*y - 13089 = -3*n + 4*n. Does 78 divide y?
False
Suppose 20*c = 17*c + 198. Suppose g = -m + c, 66 = -4*g + 5*g - 4*m. Does 33 divide g?
True
Suppose 0 = 9*j - 16*j + 1064. Does 5 divide j?
False
Let h(x) = 30*x**2 + x + 1. Let o be h(2). Let r be o*(30/(-9))/(-5). Let k = r - 41. Does 11 divide k?
False
Let k(q) = 174*q + 5. Let o be k(1). Let s = o + -88. Is s a multiple of 24?
False
Suppose 0 = 24*t - 27*t + 438. Suppose -o + 205 = -3*q, -t = -o + q + 67. Is 8 a factor of o?
False
Suppose 6*w = 13*w + 21. Let x(g) be the second derivative of -g**5/10 - 5*g**4/12 - 2*g**3/3 - g**2 - g. Is x(w) a multiple of 4?
False
Let d(y) = 2 + 2*y + 25 - 3*y. Is d(12) a multiple of 13?
False
Let k = 8 - 5. Suppose -4*j + 58 = -5*q, -2*q + k*j - 5 - 21 = 0. Is 3 a factor of 26/3 - q/(-15)?
False
Suppose -285 = -7*m + 2. Is 6 a factor of m?
False
Let m(k) = -33*k**3 + 3*k**2 + k - 1. Let b(u) = 2*u**2 + 5*u - 5. Let f be b(-3). Is m(f) a multiple of 39?
True
Is 11 a factor of ((-280)/50 - -6)*470?
False
Suppose -2*w + 3*s + 10 = 3*w, -2*w + s = -4. Suppose -29 = w*h - 55. Does 4 divide h?
False
Let t(w) = -w**3 + 47*w**2 + 58*w - 304. Is t(48) a multiple of 11?
True
Let b(t) be the second derivative of t**4/12 + t**3 + 37*t**2/2 + 10*t. Does 43 divide b(-15)?
True
Let o(n) = -263*n**3 + n**2 + 4*n + 4. Is o(-1) a multiple of 22?
True
Let n = 559 - -421. Is n a multiple of 14?
True
Is (109 + -9)*(8 - 7) a multiple of 10?
True
Let p be (10 - 2)*(-116)/8. Let h = p + 163. Suppose 0 = 5*u + w - 71 - 39, 2*u = -w + h. Is u a multiple of 7?
True
Suppose 57*r = 62*r. Suppose r = 8*l - 1490 + 394. Is 30 a factor of l?
False
Let m = 60 - -3. Let u = m + -35. Suppose -u - 62 = -5*x. Is x a multiple of 5?
False
Let c = 9 + -5. Suppose 0 = -y + 2*b - c*b, 4*y + 6 = -2*b. Let p = y + 11. Is p even?
False
Does 47 divide (225 + -6)/((-12)/(-76))?
False
Let w(t) be the first derivative of t**3 - t**2/2 + t + 6. Let g be w(1). Suppose g*j + 42 = 5*j. Is 21 a factor of j?
True
Let n be 1000/28 + 6/21. Suppose -6 = -3*i + n. Is 4/i + 82/7 a multiple of 3?
True
Let j(u) = -4*u**2 - u + 2. Let y be j(-3). Let s = y - -51. Does 4 divide s?
True
Let b(j) = -j**3 + 8*j**2 + 5*j + 3. Let l be b(7). Is 13 a factor of 1/(1 - 86/l)?
False
Suppose -3*g = -2*s + 712, -2*g - 710 = 32*s - 34*s. Does 8 divide s?
False
Let c(b) = 64*b + 2. Let d be ((-1)/2)/((-9)/18). Is c(d) a multiple of 22?
True
Let b be (0 - (-2 + 3 + 0))*-3. Suppose -4*u = 5*p - 253, 2*p - 7*p + b*u + 274 = 0. Does 12 divide p?
False
Let r = -99 - -64. Let d be ((-12)/5)/((-7)/r). Is 4 a factor of d/78 + 54/13?
True
Let t(b) = 3*b - 8. Let w be t(5). Suppose w*u - 2*u = 495. Suppose 0*p - 3*p + u = -2*n, -4*p + 132 = 2*n. Does 26 divide p?
False
Let w = -257 - -567. Is 25 a factor of w?
False
Let x(q) = 23*q + 5. Let m be x(13). Suppose -8*o = -4*o - m. Is o a multiple of 8?
False
Let s(d) = d**2 - 11*d - 31. Is s(43) a multiple of 20?
False
Let i(c) = 13*c**2 + 1 - 22*c - 14 + c**3 - 3. Is 12 a factor of i(-14)?
True
Let a(f) = 16*f**3 - 4*f**2 - 5*f + 22. Does 13 divide a(4)?
True
Let z be 438/14 - 4/14. Suppose z*q - 15 = 26*q. Is (-66)/9*q*-3 a multiple of 11?
True
Suppose -8*w - 5*a = -5*w - 2408, -w - 3*a = -808. Is w a multiple of 10?
False
Suppose 11*w + 981 = 20*w. Is 14 a factor of w?
False
Suppose -6*w + 1865 - 5 = 0. Is 62 a factor of w?
True
Let a be (-4)/(-6)*(-45)/(-10). Let j = a + 1. Suppose -g + 8 = j. Does 2 divide g?
True
Suppose -i + 20 = 3*i. Suppose 3 = -i*d + 18. Suppose d*f = 4*s + s + 20, -3*f + 30 = -3*s. Is f a multiple of 5?
True
Does 4 divide ((-228)/7)/(-9 - (-372)/42)?
True
Let u(x) = 14*x - 169. Is u(23) a multiple of 10?
False
Let a(f) = -2*f + 5. Suppose 13 = 2*v - 4*i - 13, 9 = 5*v + 4*i. Suppose -24 = v*s - d, d + 4*d + 5 = 0. Is a(s) a multiple of 15?
True
Let o = 79 + -54. Suppose -j + u + 9 = 5*u, -u = 2*j - o. Does 13 divide j?
True
Let d = 16 - 14. Let v be -4 + 3 - d - -13. Is (-5)/(-25) - (-638)/v a multiple of 32?
True
Let k = -9 - -10. Suppose k = -f - 1. Is (5 + f - 5) + 43 a multiple of 13?
False
Suppose -3*y = u - 25, 0*u + 2*u + 10 = 0. Suppose 0 = -4*i + 16, l + 2*i + 2*i = 48. Let p = y + l. Is p a multiple of 21?
True
Let b(t) = -23*t - 77. Is 7 a factor of b(-14)?
True
Let k(p) = 2*p + 37. Suppose -2*t - 83 = c - 6*c, 0 = 4*c - t - 67. Is 13 a factor of k(c)?
False
Let z be (-318)/(-14) - 24/(-84). Suppose -o = t - 35, 5*o + z + 12 = t. Is t a multiple of 6?
False
Suppose -4*b - 290 = -2*g, -4*b - 241 = 4*g + 67. Suppose -27*r + 7 + 74 = 0. Is -6*(-1)/r - b a multiple of 19?
True
Suppose 2*c + 1 = 7. Let v be -18*(22/(-3) - c). Suppose -3*y - 4*j = -132, 4*y = 2*j - 4*j + v. Does 16 divide y?
True
Suppose -z = -5*c + 16 + 19, 3*c - 81 = 3*z. Let v = z + 47. Is 12 a factor of v?
False
Suppose 0*l - l + t = -319, 3*t + 1601 = 5*l. Let i(z) = 3*z**2 - 2*z + 1. Let q be i(1). Suppose 5*v - l - 161 = 4*g, q*v - 201 = -g. Is v a multiple of 33?
True
Suppose 8*u - 9*u + 3495 = 5*c, 5*c = -3*u + 3505. Is c a multiple of 7?
False
Let w(r) = -76*r + 52. Is 15 a factor of w(-7)?
False
Let q(r) = r**3 + 5*r**2 - 5*r + 7. Let n be q(-6). Let f = -790 + 809. Let i = f + n. Is i a multiple of 5?
True
Let f(n) = 2*n + 21. Let i be f(-9). Let p be (-3)/2*(-4)/3. Suppose p*o - 73 = -i*k, 2*k + 24 = o - 16. Does 20 divide o?
False
Let t(l) = -l**2 - 14*l + 17. Let i be t(-15). Is (-123)/(-6) - i/4 a multiple of 5?
True
Suppose -166 = -o - 4*o + 3*r, -4*o = 4*r - 120. Let j = o + 3. Does 5 divide j?
True
Let z = -625 - -910. Let k be z/(-7) + (-8)/28. Let b = -19 - k. Is b a multiple of 4?
False
Let x(n) = -6*n + 128. Let y be x(21). Suppose 0 = -0*c + 5*c + 20. Let u = y - c. Is u a multiple of 3?
True
Suppose 8*x - 1135 = -135. Is x a multiple of 58?
False
Suppose -5*n + 440 = -0*n. Suppose 3*o - 3*u - 128 = -2*u, 0 = 2*o + 2*u - n. Let v = 63 - o. Is 5 a factor of v?
True
Suppose 0*l - l = -2*g + 8, 0 = 5*l + 5*g + 70. Let m = l + 30. Is 6 a factor of m?
True
Let d be (7 - 7)*(-2)/4. Suppose d = m - 6. Suppose -3*p = 2*i - 8 - m, -2*i + 2*p = -14. Is 7 a factor of i?
True
Suppose 20 = -4*a - a. Let j be (-4)/(a + 0) + 4. Suppose -j*k + 315 = -0*k. Does 9 divide k?
True
Is (524580/225 + 12/10)*3 a multiple of 24?
False
Suppose -4313 = 15*w - 27563. Is w a multiple of 31?
True
Is ((-270)/(-60))/((-2)/4)*-377 a multiple of 13?
True
Suppose 0*m + 75 = 3*o - 2*m, 5*m = -4*o + 123. Suppose 3*f + o = 