et o = -99 - -103. Suppose 0 = -o*i - 2*f + 18 + 22, 3*i = -4*f + 30. Is (i/4)/(14/448) a multiple of 8?
True
Suppose -g + 10*g + 18 = 0. Let x be ((48/(-4))/g)/((-6)/(-4)). Does 22 divide ((-107)/x - -2)*(-16)/6?
True
Let v(n) = n**3 - 10*n**2 - 21*n - 28. Let x be v(12). Suppose -x*d + d = -700. Does 16 divide d?
False
Let p(b) = -259*b - 992. Is p(-14) a multiple of 6?
True
Let v(m) = 56*m**2 + 106*m + 17. Is 116 a factor of v(-4)?
False
Let a be 1 - 46/(3 + -1). Let m = -37 - a. Is 17 a factor of (-18)/30 + (-1284)/m?
True
Let g be (-3)/12 + 50/8. Let d be (2 - g) + 4 - -20. Let v = 3 + d. Is v even?
False
Let a(n) = 19*n - 146. Let t be a(11). Is 203 - 2/(-1) - (-63)/t a multiple of 17?
False
Let y(s) = 2*s - 7. Let c be y(5). Suppose 5*n - 5*u = 823 + 1437, 2*n + c*u - 889 = 0. Suppose 3*i + n = 8*i + 4*q, q - 1 = 0. Is 12 a factor of i?
False
Let f(p) = 1222*p - 1894. Is f(38) a multiple of 11?
False
Let c(l) = -l**3 + 2*l**2 + 3*l + 3. Let n be c(3). Suppose 255 = -3*r - n*x, 4*r - 2*x + 158 = 2*r. Let h = -1 - r. Is 30 a factor of h?
False
Let s(l) = 7*l**2 - 12*l - 17. Let m(x) be the second derivative of x**4/4 - x**3 - 9*x**2/2 + 8*x. Let f(q) = -5*m(q) + 2*s(q). Is 4 a factor of f(5)?
True
Let r(y) = 2*y - 14. Let z be r(8). Let k be (-212)/12*(1 + z). Let h = 113 + k. Is h a multiple of 10?
True
Suppose -25*m + 45545 = 16720. Is 27 a factor of m?
False
Suppose 9 = -5*z + 34. Let c(i) be the first derivative of 8*i**2 + 6*i + 1065. Does 9 divide c(z)?
False
Let a(g) = 4*g - 9. Let l be a(2). Let h be ((-3 + l)/8)/(3/(-18)). Let r = 24 - h. Is r a multiple of 5?
False
Let n = -108 + 112. Suppose 5*u - 3*l - 2*l - 700 = 0, n*l = -3*u + 441. Suppose -s = 2*g - 142, 4*g - 3*g - u = -s. Is s a multiple of 8?
True
Suppose -5 = 2*l - 41. Suppose -3*k - f = -737, 709 = 3*k - f - l. Suppose -4*b + 3*d = -228, 4*b = -0*d - d + k. Is 20 a factor of b?
True
Suppose 5*s + 46 = -x + 711, -x - 523 = -4*s. Suppose s - 546 = -n. Is 38 a factor of n?
False
Let u(x) be the first derivative of -134*x**2 + 15*x - 44. Is u(-3) a multiple of 65?
False
Let s = 40 + -37. Suppose -5*z = g + 23, z + 7 = s*g + 156. Let p = -32 - g. Does 3 divide p?
False
Let g(u) = -u**3 - 20*u**2 + 12. Suppose -11*b - 5 = -16*b. Let m be 2*(-10 + (b - 1)). Is g(m) a multiple of 4?
True
Let q(n) = 8*n**2 + 59*n + 592. Does 3 divide q(-8)?
False
Let c(v) = 2980*v - 22. Does 58 divide c(1)?
True
Suppose 4*g + 2470 = -g. Is 22 a factor of 7 - 3 - 2 - g?
False
Suppose -3*t = 6*t - 27. Suppose 0 = -j + t, 0 = -2*h + 7*h + 4*j - 2422. Suppose h - 127 = 5*a. Is a a multiple of 21?
False
Let x = -172 + 345. Let d be (832/156)/((-2)/39). Let h = d + x. Does 5 divide h?
False
Suppose -19*f + 645 = -14*f. Suppose -f = -2*t + 3*g, -52 = -t - 17*g + 21*g. Is 18 a factor of t?
True
Suppose -7*u - 32050 = -32*u + 74375. Is u a multiple of 43?
True
Let d(w) = -3*w**3 + 40*w**2 + 45*w - 27. Is 44 a factor of d(12)?
False
Let y(n) be the first derivative of -n**5/20 + 2*n**4/3 + 2*n**3/3 - n**2/2 + 2*n + 20. Let o(j) be the first derivative of y(j). Does 8 divide o(8)?
False
Suppose z + 2 = 2*k + k, 22 = 3*k + 4*z. Let r(d) = 2*d**2 - 2*d. Let x be r(k). Suppose -4*o - x*f + 92 = 0, 2*o - 70 = -o - 2*f. Does 19 divide o?
False
Suppose 2*q - 2 = 6, -40 = -4*p - 4*q. Let z be (12/10)/((-9)/(-60)*-1). Is 10 a factor of (3 - z/6)/(1/p)?
False
Suppose 29*z = -88*z + 237510. Is 5 a factor of z?
True
Suppose -21*m - 13*m + 77746 = -73010. Is 56 a factor of m?
False
Suppose -4*s + 46 = 2*p, 2*s + 11 = 4*s + 5*p. Let n be (-3*15/(-18))/((-7)/(-112)). Let m = s + n. Is 9 a factor of m?
False
Let l(d) be the third derivative of -3*d**5/20 + d**4/3 - d**3 - 9*d**2. Let k(x) be the first derivative of l(x). Does 27 divide k(-7)?
False
Suppose -4*a + 14573 = -k, 3*a - 5*k + 975 - 11909 = 0. Does 2 divide a?
False
Let j = -6339 - -13563. Is 56 a factor of j?
True
Let c = -2 - 4. Let w be 7*(-2 - -1)*(c + 5). Suppose -557 - 521 = -w*g. Is g a multiple of 22?
True
Let u = 45 + -38. Suppose -27*i = -u*i - 1020. Does 2 divide i?
False
Let n = -34633 - -49360. Is n a multiple of 108?
False
Let s = 1570 - 1356. Does 9 divide s?
False
Let b(m) = -17*m + 165. Let l be b(9). Does 3 divide (-3)/((-9)/228) - (16 - l)?
True
Let c(h) = 10*h**2 + 3*h + 27. Let f be c(6). Is 10 a factor of f*(-1 + 10/(-24)*-4)?
True
Let f be (3 - 2)*(21 + 4). Let c(t) = 9*t**2 + 13*t - t**3 - f*t + 8*t + 8. Is c(6) a multiple of 9?
False
Let t(f) = -287*f**3 + 3*f**2 + f. Let y(p) = -286*p**3 + 4*p**2 - 1. Let c(v) = 3*t(v) - 2*y(v). Is c(-1) a multiple of 17?
True
Let z be (-1722)/(-15) + 1/5. Suppose 113*h + 4*o = z*h - 968, 5*h + 4*o - 2490 = 0. Does 5 divide h?
False
Suppose -20*c + 3642340 + 1612845 = 45*c. Is 46 a factor of c?
False
Suppose 47873 + 87459 = 26*k + 36324. Does 14 divide k?
True
Let c = 75 - 26. Let t = c + -26. Let n = t + 61. Is n a multiple of 12?
True
Suppose 72 = -2*f - 5*l + 540, 5*l + 1404 = 6*f. Is f a multiple of 6?
True
Suppose -j = -0 - 3. Suppose 0 = -5*v + j*v + 30. Suppose -355 = -v*r + 10*r. Does 31 divide r?
False
Suppose 4*o - 34 + 14 = 0. Suppose -o*m - 40 = -180. Let j = m - 10. Does 9 divide j?
True
Does 17 divide (-56339 - -1)*(-213)/426?
True
Suppose 4*v - 2*w = 6*v, -w + 6 = 4*v. Suppose 0 = -25*r + 21*r + 5*q + 221, 4*r = -v*q + 214. Is r a multiple of 27?
True
Let x be 5/(10/(-6)) + -17. Let z = x - -22. Suppose -p = z*p - u - 525, 4*p + 5*u - 719 = 0. Is p a multiple of 20?
False
Suppose -1212 = -32*n + 836. Suppose -32*t + 34*t = n. Is t a multiple of 2?
True
Let u be 35/(-175) - (-2912)/10. Suppose -542 = -7*v + u. Is 17 a factor of v?
True
Let y be 1733 + 5 + (4 - 12). Suppose k - y = -50. Suppose 11*c - k = -c. Is c a multiple of 14?
True
Suppose b - 2*q = 38, 0 = -1294*q + 1295*q - 2. Is 7 a factor of b?
True
Suppose -18*b + 6170 = -7582. Is 32 a factor of b?
False
Let d be (-1 - -41) + (69/46)/((-15)/(-10)). Suppose -3*t - 2*o + 182 = 0, -3*t = -o + 6*o - 167. Let x = t + d. Does 17 divide x?
False
Let x(m) = 45*m + 3. Let v(j) = -1. Let s(p) = 6*v(p) + x(p). Let y(i) = i. Let l(o) = s(o) + 2*y(o). Is 11 a factor of l(1)?
True
Suppose -d + j + 77 = -0*d, 2*j + 385 = 5*d. Suppose 26*g + 19*g - 31*g - 84 = 0. Suppose -43 = -g*y + d. Does 6 divide y?
False
Let r(y) = -67*y - 851. Is 44 a factor of r(-37)?
True
Let r(m) = 2*m**3 - 20*m**2 - 3*m - 37. Let n be r(11). Let q = n + -78. Is q a multiple of 9?
False
Let x(o) = 5*o**2 + 20*o - 52*o**3 + 51*o**3 - 35 + 8*o**2. Is 31 a factor of x(10)?
True
Suppose 309*v + 98974 = 343*v. Is 17 a factor of v?
False
Let h(b) = 21*b - 186. Let i be h(19). Suppose i*s = 218*s - 2030. Is 24 a factor of s?
False
Suppose -y + 4*x + 8349 = 0, 4*y = -x + 10188 + 23259. Suppose -17*k + y = 2547. Is k a multiple of 19?
True
Suppose 3*t + 3*w = -2*t + 21, -5*w = 3*t - 19. Suppose 2*a + t*a - 10 = 0. Suppose a*s - 78 = 2*c, -191 = -4*s + c - 4*c. Does 8 divide s?
False
Let z(n) = -5*n**2 + 9*n + 7. Let k(l) = l**2 - l - 1. Let a(o) = 6*k(o) + z(o). Suppose -52 = -22*d + 58. Does 10 divide a(d)?
False
Let p(b) = -14 - 4 + 1 + b. Suppose -1 - 474 = -19*f. Is p(f) a multiple of 8?
True
Let s be 9/((-441)/14) - 16/(-7). Suppose 3*h + 4 = s*u, -3*u = -4*h - 6 - 1. Is (h*3)/((-133)/45 + 3) a multiple of 17?
False
Suppose 10 = 11*u - 56. Does 15 divide 3*u/9 - (-114 + 31)?
False
Suppose -h = -3*n - 2, 5*h = 3*n + n + 10. Let m be ((-1)/(-3))/(h/12). Let a(b) = 24*b**3 + 2*b**2 + b - 3. Does 34 divide a(m)?
False
Suppose -4*c - 2*p + 18 = p, 9 = c + 3*p. Suppose -5*v + 4*v + c = 0, -v - 369 = -3*t. Does 4 divide t?
True
Let w = 171 + -169. Suppose -13*r + w*n = -10*r - 1322, -3*r + n = -1321. Is 88 a factor of r?
True
Suppose 4*z - 10801 = -3*u, -42*z - 10787 = -3*u - 44*z. Does 6 divide u?
False
Suppose -14 = g - x + 15, 3*x - 37 = g. Let i(o) = o**3 + 26*o**2 - 10*o - 59. Does 20 divide i(g)?
False
Suppose -7*i = -2*i. Suppose 2*z + 12 - 16 = i. Suppose -z*v - 10 = 0, 3*t - 4*v = -58 + 204. Is 4 a factor of t?
False
Let j = 21693 - 12848. Is j a multiple of 5?
True
Let l be -810 - (-15)/(-9)*-3. Is 15 a factor of l/(-46)*(-408)/(-14)?
True
Suppose 0 = -8*k + 2*k + 1722. Suppose -k*o + 306*o - 304 = 0. Is o a multiple of 3?
False
Suppose -5501208 = -431*i + 6563328