ose -2*i + p*z - 255 = -3*i, -4*i + 2*z + 1006 = 0. Is 18 a factor of i?
True
Is 1936/(-66)*(4 + 69/(-6)) a multiple of 33?
False
Suppose -65*s + 8830605 = 53*s + 1120485. Does 15 divide s?
True
Suppose 84*n - 91*n - 1393 = -7546. Does 8 divide n?
False
Does 28 divide -4*((-10258)/8 - 11)?
False
Is ((-21)/(-9))/(-7) + 119214/27 a multiple of 18?
False
Let g = 64157 - 18742. Does 26 divide g?
False
Suppose 45 = -2*x + j, 4*j - 22 - 53 = 3*x. Let b be 18/x + -3*(-4)/(-84). Does 23 divide (b/10*-4)/((-2)/(-460))?
True
Let y = -21 + 29. Suppose y = -2*r, -9643 = -5*q - 4*r - 1104. Is q a multiple of 13?
False
Suppose 32 = 3*s + 4*c, 5*s + 2*c - 1 - 29 = 0. Suppose s*y = -5*v + 2234, -702 = -2*v + 2*y + 206. Is 5 a factor of v?
True
Let s(w) = w**3 - 79*w**2 - 208*w - 143. Is s(86) a multiple of 209?
False
Let f = -8676 - -13770. Is f a multiple of 29?
False
Let g(p) = 9*p - 41. Let s be g(27). Suppose -25 = q - s. Is 42 a factor of 28 + -30 + 1 + 0 + q?
False
Is 13 a factor of 2*17530*67/268?
False
Suppose 3*l + 131*t - 126*t = 44958, l + 4*t = 15000. Is l a multiple of 39?
True
Suppose 4*z = x - 467, -3*x + 827 = 3*z - 634. Is x a multiple of 23?
True
Let g(v) = 73*v - 941. Let f(q) = 24*q - 314. Let y(j) = 17*f(j) - 6*g(j). Is 11 a factor of y(0)?
True
Suppose -28*x = -35*x + 8414. Is -1*3/12 - x/(-8) a multiple of 6?
True
Suppose 3*m = 4*m - 6*m. Suppose m = -9*j + 126 + 396. Is j a multiple of 58?
True
Let j = -165 - -201. Suppose 2*h = -9 - 37. Let f = h + j. Is f a multiple of 13?
True
Let c(r) = r - 4. Let b be c(9). Suppose -b*a - 64 = 6. Is (-1124)/a + 4/(-14) a multiple of 25?
False
Suppose 5*v + 41422 = 3*p, -7*p + 41450 = -4*p - v. Does 213 divide p?
False
Let x(c) = 4*c - 22. Let b be x(6). Let s = 12 + b. Is 2 a factor of s?
True
Let q be ((-7)/((-28)/(-12)))/(-3) - -1016. Suppose 5*o = q - 7. Is o a multiple of 27?
False
Let m be (-490)/18 + (3 - 125/45). Let i be (-2)/(4/(-51))*2. Let k = m + i. Does 3 divide k?
True
Let y(j) = 27*j**2 - 849*j + 9192. Does 5 divide y(11)?
True
Suppose -7*p = -116*p + 1062750. Does 39 divide p?
True
Suppose -8*d + 6*d - 402 = 0. Let i be ((-5)/(25/d) - 3)*5. Suppose -5*q + 2*j - 78 = -388, 3*j + i = 3*q. Is 29 a factor of q?
False
Let x be (-17)/(98/336 - (-3)/(-8)). Suppose -2*b - 4*i + 280 = 0, -b + 2*i - 52 = -x. Is 73 a factor of b?
True
Let o(q) = -q**2 - 14*q + 8. Let f be 0/(-2) + 1 + 51 + -56. Is 16 a factor of o(f)?
True
Suppose 6*z = -14*z + 60. Suppose 812 = -0*x + 3*x - 4*a, -z*x + a + 824 = 0. Is x a multiple of 46?
True
Let r(v) = -8*v**3 - 5*v**2 - 23*v + 97. Is 3 a factor of r(-10)?
True
Suppose -5*x + 1461 - 401 = 0. Let p = x + -142. Is p a multiple of 14?
True
Suppose 42*o = 47*o - 20, 2*w - 3*o - 2256 = 0. Is 21 a factor of w?
True
Suppose -10*v - 3*o = -12*v + 28806, 3*v = -2*o + 43196. Is v a multiple of 18?
True
Let i be (2 - (-45)/(-10))/((-2)/28). Let j = 67 - i. Does 13 divide ((-186)/(-4)*-2)/((-24)/j)?
False
Suppose 3*l = -143*k + 148*k + 190223, l = 5*k + 63381. Is l a multiple of 116?
False
Suppose 0 = -61*j + 47*j. Suppose -2*u = -4*n - 62 - 80, 5*u + n - 388 = j. Does 11 divide u?
True
Suppose -4*s - 6*v = s - 1464, 2*s = -3*v + 582. Is s a multiple of 16?
False
Let p(y) = -15*y - 80. Let f be p(-18). Suppose f + 20 = 2*v. Is v a multiple of 3?
True
Let a = 26 + -19. Suppose 540 + 167 = -a*z. Let c = -47 - z. Is 9 a factor of c?
True
Let b be (-3)/(-3)*(-58 - -9). Let c = b - -49. Suppose -6*l + 388 - 94 = c. Is 5 a factor of l?
False
Let k(c) = 9*c**2 - 3*c + 6. Let w be k(4). Let v = w + 39. Is v a multiple of 8?
False
Let s(a) = 10*a - 9. Let t(l) be the third derivative of -l**4/24 + l**2. Let f(x) = -s(x) - 6*t(x). Is f(-8) a multiple of 9?
False
Let n(s) = -s**2 + 6*s - 3. Let g be n(2). Suppose -g*d + 4*d - 275 = 0. Let q = -102 - d. Is q a multiple of 12?
False
Let w(o) = o**3 - 7*o**2 - 23*o - 44. Let m be w(10). Suppose 2*r = 4*r - 16. Is 32 a factor of (12/r + 0)*m?
False
Let p(f) = 34*f**2 + 40*f - 661. Does 10 divide p(13)?
False
Does 167 divide 501*42*70/180?
True
Suppose -3*c = -6, -14*h = -18*h - 3*c + 30654. Does 75 divide h?
False
Suppose 0*m = -2*m + 84. Suppose 5*t = 0, 3*t - 130 = -4*v - 10. Let r = m - v. Is r a multiple of 12?
True
Suppose 647 = 7*n - 263. Is 3 a factor of n?
False
Suppose 4*h - 2*p = 66, -5*p = h - 7 - 4. Suppose 5*s + 15*n - 1895 = h*n, 4*s - n = 1515. Is 38 a factor of s?
True
Let j(s) = 5*s**2 + 106*s + 836. Is j(43) a multiple of 52?
False
Let k(g) be the third derivative of g**6/120 + 19*g**5/60 - 5*g**4/6 + 31*g**3/6 + 2*g**2. Let o be ((-280)/15)/4*(-270)/(-63). Is 4 a factor of k(o)?
False
Let x(b) = 9*b - 2*b**2 + 2 + 5*b**2 - 4*b**2 + 2*b**2. Let a be x(-9). Is -3*(-695)/45 - a/6 a multiple of 23?
True
Is -7 + 13 + -1 + 11232 a multiple of 28?
False
Suppose 12*c - 10*c - 512 = 0. Let j = -96 + c. Does 12 divide j?
False
Let d(u) = -2*u + 20 - 15*u**2 + 7*u**2 + 9*u**2. Does 11 divide d(16)?
False
Suppose 80*b + 13538 = 76*b + 41906. Is 13 a factor of b?
False
Suppose 338 = 4*h - 38. Let t = h - -11. Is 15 a factor of t?
True
Suppose 0 = 2*t + u + 25 - 241, u = -4*t + 428. Let w = 129 - t. Let b = 113 - w. Is 23 a factor of b?
False
Suppose -2*q = -5*t - 1315, -59*q - 4*t + 2672 = -55*q. Is 16 a factor of q?
False
Let o(z) = z**3 - 7*z**2 + 14*z - 43. Let j be o(6). Suppose j*v = -5*f + 695, 2*f - 770 = -5*v - 66. Is 6 a factor of v?
False
Suppose 0 = 5*k - 2*j + 4*j + 470, -2*j = -10. Is 72*(k/(-56))/((-9)/(-70)) a multiple of 20?
True
Let n = -55 + 77. Suppose -5*c - n = -7. Is ((-4)/4)/(c/51*1) a multiple of 2?
False
Let j be 7 - -3*(-2 + (-8)/(-12)). Suppose 124 = 2*h + 2*n, h = -j*n - n + 68. Suppose 42 = 2*m - 3*s, 4*m - 3*s = 24 + h. Is 21 a factor of m?
True
Let y = -2277 + 1326. Let w = 1338 + y. Does 9 divide w?
True
Is 10 a factor of (-29588)/(-11) + 130/715?
True
Let k = 4123 - 2810. Let u = k - 705. Is 12 a factor of u?
False
Let u = 7 + -7. Suppose 5*w - 3*g - 34 = u, 3*w + w + 5*g = 5. Suppose -5*q + 150 = 4*z, -w*z + 10 = -3*z. Is 13 a factor of q?
True
Let m(y) = 1148*y + 2935. Is 60 a factor of m(8)?
False
Let q(s) = 695*s**2 + 29*s - 39. Does 21 divide q(-2)?
False
Suppose 5*x - 51869 = -b, 4*x + b = 3*x + 10369. Is x a multiple of 223?
False
Let a(g) = 69*g + 5480. Does 10 divide a(101)?
False
Let f(t) = 60*t + 204. Let h(v) = -v + 6. Let y(i) = f(i) + 5*h(i). Does 81 divide y(9)?
True
Suppose 113*y - 271940 = -42*y + 875680. Is 69 a factor of y?
False
Suppose -541 - 327 = -7*b. Let r = 132 - b. Let j(h) = 13*h + 21. Does 14 divide j(r)?
False
Let u be (-2)/7 - (-88)/14. Let p = 17 - 14. Suppose u*q = -p*q + 405. Is 5 a factor of q?
True
Suppose -w - 2*z = -6*z + 19, 2*z + 113 = -3*w. Let v = 37 + w. Suppose v*b - b = 105. Is 15 a factor of b?
True
Let b = 67 + -65. Suppose -4*l = -3*w + 3 + 50, w = -b*l - 29. Is 111*1 - (-14 - l) a multiple of 13?
False
Let v = -27 + 29. Let q be (24 - -5) + (0/v)/(-3). Suppose -2*m - 6 = 0, 2*j + 4*m - 45 = q. Is 43 a factor of j?
True
Is 94 a factor of 3/105*554309 + (-72)/(-45)?
False
Suppose 0 = 108*m - 446630 - 425755 + 228921. Is m a multiple of 18?
True
Suppose 0 = -42*d - 6*d + 450720. Does 17 divide d?
False
Let h(m) = 16*m + 28. Suppose 0 = 5*n - 3*q - 56, 5*q - q - 64 = -4*n. Let y be h(n). Suppose -8 = 4*r - y. Is 10 a factor of r?
False
Suppose 1878119 = -310*t + 3165652 + 3039447. Is t a multiple of 142?
False
Let d = 2325 - 2033. Is 4 a factor of d?
True
Let y(p) = p**3 + p**2 - 1. Let g(q) = 21*q**2 - 37 - q**3 + 4*q**3 - 5*q - 2*q**3. Let k(i) = -g(i) + 2*y(i). Is k(19) a multiple of 20?
False
Let a(h) = h**3 - 14*h**2 + 3*h - 25. Let x be a(14). Let r(g) = -g**3 + 19*g**2 - 10*g - 15. Let k be r(x). Let j = k + -232. Does 30 divide j?
False
Let n(c) = c**2 + 7*c - 94. Suppose -72*s - 272 = -56*s. Does 7 divide n(s)?
False
Let k(s) = -6*s - 3. Let z be k(-1). Suppose -21*u = -15*u. Suppose -h + 4*x = 2*x - 99, u = z*x. Is 11 a factor of h?
True
Suppose 3*w + 10 = 52*z - 50*z, -2*z + 10 = 5*w. Let f be 2 + (-240)/(-2) + -2. Suppose w = -6*u + u + f. Is 9 a factor of u?
False
Suppose 3*b - 3*i - 8652 = 0, -4*b + 8668 = -b + i. Does 19 divide b?
True
Suppose o - l + 283 = 1874, 0 = -3*o - 2*l + 4748. Suppose 0*n = 4*m - 2*n - o, -n - 1189 = -3*m.