rue
Suppose -5*s + 213 = 3*g - 259, -5*g - 100 = -s. Is 5 a factor of s?
True
Let w be (-6)/(-8) - (-1506)/8. Suppose h - 4*h - w = 0. Let u = h - -102. Is 13 a factor of u?
True
Suppose w - 13 = -4*o, 0*o + 4*w - 13 = -3*o. Does 27 divide (o + -1)/((-8)/(-436))?
False
Suppose -3*k + 4 = -8. Suppose 0 = -z - 0*z - b - 8, 0 = -k*z + 2*b - 56. Is 19 a factor of (1 - z/(-8))*-102?
False
Suppose 11*k = 5238 + 284. Is 23 a factor of k?
False
Suppose 28*v = -10951 + 111415. Is 26 a factor of v?
True
Suppose -89 = -5*q + 376. Does 31 divide q?
True
Let v = -41 + 61. Suppose j = v + 15. Does 6 divide j?
False
Suppose -7 = -4*p + 3*g + 16, -3*p + 4*g = -26. Is 49/p*60/35 a multiple of 14?
True
Suppose -5*d - 3*o = -5*o + 512, 0 = -2*d - 5*o - 228. Let g = d - -188. Suppose g + 1 = r. Is r a multiple of 17?
True
Does 12 divide ((-1176)/(-70))/(1/10)?
True
Suppose -4*f - 6 = 14, 0 = -3*m + 5*f + 22. Let t(p) be the third derivative of -23*p**4/24 + p**3/6 - p**2. Is 6 a factor of t(m)?
True
Suppose -29*l + 15*l = -6440. Is l a multiple of 80?
False
Suppose 0 = -5*g + 3 + 2. Let i be 7/(g*(-3)/(-66)). Is 14 a factor of 1236/22 + (-28)/i?
True
Let t(m) be the third derivative of m**5/60 + m**4/8 - 2*m**3/3 - 2*m**2. Let h be t(-10). Suppose 5*i + 4*b - 99 = 2*i, -5*b + h = 2*i. Does 11 divide i?
True
Suppose -31 = -3*i - 163. Let l be ((-4)/2)/(2/(-8)). Is 11 a factor of ((-32)/4)/(l/i)?
True
Let u be 4 - (-1 - (3 - 0 - 6)). Suppose -2*f - 2*i = -298, u*i = f - 136 - 16. Is f a multiple of 25?
True
Is -5*1 - -23*(-6 + 9) a multiple of 3?
False
Let t be (-2)/9 + (-228)/(-54). Suppose -3*p + 8 = 4*n + t, 0 = p - 4*n - 28. Is 8 a factor of (-1)/(2/p) - -36?
True
Let t = 1420 - 314. Is 105 a factor of t?
False
Let j be (3 - (-2 + 78))*-1. Suppose -2*v = -p + j, -2*p + 2*v = 3*v - 146. Is p a multiple of 10?
False
Let v = 765 + -627. Let r be 2/(-9) + (-1059)/(-27). Let z = v - r. Does 20 divide z?
False
Suppose 0 = -5*c - t, 3*c + t = -t. Let f be (1*(c + 3))/1. Suppose 81 = -0*l + f*l. Is 13 a factor of l?
False
Suppose 0 = 2*r + 3*y + 181 + 162, -5*r = -y + 815. Let n = r + 292. Does 16 divide n?
True
Let f(m) = 359*m**3 - m**2 + 6*m. Is f(2) a multiple of 104?
False
Let q(s) = 63*s - 2. Let o be q(1). Let i be 0*3/12 - -2. Suppose -i*g + o = -91. Does 19 divide g?
True
Suppose -2 = 4*q - 6. Suppose q = -p + 13. Is 8 a factor of p?
False
Suppose -3*f - 32 = -14. Is 2 a factor of 45/10 + f/4?
False
Suppose 4*v + 2*s = 188, -5*s - 196 = -4*v - 3*s. Is 4 a factor of v?
True
Let x = 1566 - 664. Is 9 a factor of x?
False
Let x = -1168 + 1245. Does 7 divide x?
True
Suppose 5*b - 2*b - 597 = -r, 0 = 5*b - 2*r - 1006. Let j = b - 112. Is 42 a factor of j?
False
Let k(u) = -u**3 - 8*u**2 - 4*u + 27. Suppose 4*a = -x - 32, a + 4 = 5*x + 17. Is 3 a factor of k(a)?
True
Suppose -5*p + 4*c + 188 + 160 = 0, p - 70 = c. Suppose p*s - 69*s + 103 = 0. Is 19 a factor of s?
False
Suppose -32*b + 182070 = 19*b. Is 102 a factor of b?
True
Suppose -f = -3*q + 13, 3*f + 7 = -f + 3*q. Suppose 2 = f*y + 8. Let k(p) = -5*p + 3. Does 6 divide k(y)?
True
Does 15 divide 117 - 7*48/28?
True
Let t(y) = -16*y**2 - y + 18. Let j(r) = -17*r**2 - r + 19. Let b(p) = 6*j(p) - 7*t(p). Is b(-4) a multiple of 16?
True
Does 48 divide ((-6)/8 - 0) + 4998/8?
True
Let h(b) = 4*b - 16. Let f be h(12). Suppose -36*p + f*p + 92 = 0. Does 12 divide p?
False
Suppose -16 = -2*g + 10*g. Is 6 a factor of 26*3*g/(-4)?
False
Let r = 5 + -11. Let y(o) = -28*o + 4. Does 43 divide y(r)?
True
Let d be (-3)/(-6) + 2/(-4). Suppose d = -4*a + 3*i - 5*i + 188, 3*i - 236 = -5*a. Let u = -29 + a. Does 17 divide u?
True
Suppose 0 = -23*c + 1294 + 6319. Is c a multiple of 22?
False
Let d(h) = h**2 + 10*h + 7. Let i be d(-7). Let g = i - -16. Suppose -24 - 52 = -g*r. Is 17 a factor of r?
False
Let l = -5 - -2. Let r be 1365 + ((-18)/2)/l. Does 12 divide r/28 - (-4)/28?
False
Suppose d + 2*w + w = 16, -4*w = -12. Suppose d*r = 3*r + 132. Does 19 divide r?
False
Let d(z) = -z**3 - 3*z**2 + 12*z + 7. Let g be d(-5). Let v(l) = -2*l**3 - 6*l**2 - 5*l + 3. Is 4 a factor of v(g)?
False
Let q(x) = 3*x**2 - 2*x - 1. Let m be q(-3). Let d(h) = -4*h - 88. Let y be d(-24). Suppose -6*p - m = -y*p. Is 5 a factor of p?
False
Let b(y) = -10*y + 7. Let n(q) = -5*q + 4. Suppose j = 3*j + 14. Let i(f) = j*n(f) + 3*b(f). Is i(5) a multiple of 3?
True
Suppose -5*n - 3*i + 5*i + 8 = 0, -5*i = -n + 20. Let a be (7 - n)/(4/32). Suppose -y + a = y. Is 3 a factor of y?
False
Suppose 0 = -5*b + 1496 - 531. Let l = b - 53. Is l a multiple of 7?
True
Suppose 4*l - 22163 - 732 = -5*w, -22900 = -5*w - 5*l. Does 25 divide w?
True
Suppose -2*v = -7*v - 2*o - 9, 3*o + 10 = -4*v. Let t = 47 + v. Is t a multiple of 12?
False
Is (4 + -1 - (-99)/11)*23 a multiple of 12?
True
Let n be (7 - 5)*2*3/4. Suppose d - 4*m - 22 = 0, n*d = 4*m + 41 + 41. Is 12 a factor of d?
False
Let j = 1611 + -569. Is j a multiple of 19?
False
Let d = 12 + -10. Suppose 2*l - 1 = -d*j + 3, -j = -4*l + 8. Suppose -l*u - 2*u = -288. Is u a multiple of 17?
False
Let v(u) = -u**2 - 10*u + 15. Let m be 4 - 3*(-2)/(-3). Suppose m*w = -1 - 15. Is v(w) a multiple of 31?
True
Let v = 306 - -244. Is v a multiple of 46?
False
Let u be (-30)/4 - 11/22. Let h = -6 - u. Suppose l = -h*l + 42. Does 14 divide l?
True
Suppose -2*d = 2*r + 28, 0 = -0*d + 4*d + r + 41. Is d/(2 + (-28)/12) a multiple of 27?
True
Let c(b) = -2*b**3 + 30*b**2 + b - 3. Is 3 a factor of c(15)?
True
Let w(a) = 112*a + 14. Does 14 divide w(3)?
True
Suppose 3*d - 3 = 0, x - 3*d + 3 = -0*d. Suppose -4*j + 2*q + 50 = 0, -q = -5*j + q + 62. Suppose x*l - j = -l. Is 5 a factor of l?
False
Let u(c) = -281*c**2 - 1. Let w be u(1). Does 22 divide w/(-1)*((-20)/(-15) - 1)?
False
Let m be ((-10)/3)/(20/(-60)). Suppose -m*s + 14*s - 368 = 0. Is s a multiple of 28?
False
Suppose g + 150 + 39 = r, 3*r - 4*g = 570. Is 18 a factor of r?
False
Let c = 14 - 10. Suppose 0 = -4*f - c*g + 176, 4*f - 8*g + 3*g - 149 = 0. Is 9 a factor of f?
False
Let v(u) = 2*u**3 + 4*u**2 - u. Let n(o) = 2*o**3 + 4*o**2 - 1. Let l(a) = -3*n(a) + 4*v(a). Let y be -1 + (12/4 - 0). Does 27 divide l(y)?
True
Let u(c) = c**3 + 5*c**2 - 5*c + 6. Let m be u(-6). Suppose m*l - 5*l + 2*w + 1058 = 0, -5*w - 207 = -l. Does 28 divide l?
False
Does 7 divide (108/42)/(-2 - 199/(-98))?
True
Let c = 79 - 35. Suppose 0 = -2*n + 4*p + 10, -n + p = -5*n + 11. Suppose -f + c = n*f. Is f a multiple of 8?
False
Suppose 2 = -h + 4. Let t(s) = -s**h + 9 + 8*s**2 - s**3 - 1 + s + s**2. Is 23 a factor of t(7)?
False
Does 5 divide (90/5)/((-3)/(-2))?
False
Suppose 0 = -3*n + 4*k + 1894, 0 = -3*n - k + 2344 - 425. Is 22 a factor of n?
True
Let v(f) = f - 9. Let j be v(7). Is 15 a factor of j/7 - 149/(-7)?
False
Suppose -13*w + 9*w + 36 = 0. Let m be 5/(-10) - w/(-6). Does 17 divide 1*m/(2/62)?
False
Suppose 0 = -5*k, 0 = 3*y - 3*k - 0 - 9. Let h(r) = -4*r**2 - r - 4. Let t(u) = -12*u**2 - 3*u - 11. Let m(i) = 8*h(i) - 3*t(i). Is m(y) a multiple of 18?
False
Let n = 78 - 69. Suppose -485 - 514 = -n*b. Is 15 a factor of b?
False
Suppose -4*g - 3*b = -5, 5*g - 3*g = b + 15. Suppose 0 = -4*c - g*x + 355, 5*x = c + 2*c - 275. Does 30 divide c?
True
Suppose 9 = -3*w - 3, -4 = -5*c + w. Let z(b) = b**2 - 3*b - 13. Let r be z(6). Suppose c = -r*d + 225 - 0. Is 15 a factor of d?
True
Let s(b) be the third derivative of b**5/60 - b**4/8 - b**3/6 + 4*b**2. Let l be s(6). Suppose l*r - 15*r = 18. Does 4 divide r?
False
Let l = 29 - 41. Let w be 3 + 0 - (-11 - l). Suppose -w*t + 232 = 4*s, -3*s + t = -2*t - 174. Is s a multiple of 17?
False
Let r = -44 - -27. Let q = 66 + r. Does 11 divide q?
False
Let d = 651 - -1736. Is d a multiple of 49?
False
Suppose 0 = 9*u - 40*u + 12741. Does 12 divide u?
False
Let o(z) = -10*z**3 + 7*z**2 + 11*z**3 - 3 + 3*z - 3 + 5. Is 33 a factor of o(-5)?
False
Let t(o) = -o**3 - 5*o**2 + 6*o + 6. Let p be t(-6). Let x be ((-16)/p)/((-2)/3). Suppose -6*u = -x*u - 154. Does 20 divide u?
False
Let l(r) = 3 - 3 + 7*r**2 + 2*r**2 + r**3 - 3 - 4*r. Let i be l(-5). Suppose 0 = -2*a - a + i. Is 30 a factor of a?
False
Let c(i) = -i**3 - 10*i**2 - 10*i. Let q be c(-8). Let s = 223 - 129. Let b = q + s. Is b a multiple of 23?
True
Suppose 3*n - 2*n - 4 = 0. Let s(m) = -9 - 3*m*