*c + 40, w = -c - c + 8. Does 58 divide 12996/w + (96/(-56))/6?
True
Let m(v) = 11*v**2 - 19*v + 5. Let z be m(3). Does 18 divide -3 + -3 + (-2)/(-1)*z?
False
Let w = 54677 + -30666. Does 8 divide w?
False
Suppose -2*y = 5*j - 110, 0 = 5*y - j + 5*j - 241. Suppose s - 6*s = -y. Let p(b) = b + 21. Is p(s) a multiple of 10?
True
Suppose 2*o - 36 = 11*o. Let v = 101 - o. Does 5 divide v?
True
Let w(j) = -j**3 + 34*j**2 - 29*j + 76. Suppose 4*v - 110 = 22. Is 8 a factor of w(v)?
True
Suppose 5*v = -10*v + 360. Let w = v + -16. Is 16 a factor of (-6)/12 + 260/w?
True
Let g = -17035 - -24934. Does 24 divide g?
False
Suppose -2*s - 14 = -4*u, -s = -0*s - 1. Let v(p) = 2*p**3 - 3*p**2 + 8*p - 14. Is v(u) a multiple of 6?
False
Suppose -4*h + 5580 = 5*k - 8*h, -3*h - 5585 = -5*k. Suppose 0 = 2*o - 5*r - k, 0 = -4*o - 9*r + 11*r + 2224. Is 34 a factor of o?
False
Let j(m) = -4*m**3 - 10*m**2 - 14*m - 22. Let g(v) = v**3 + v + 1. Let r(y) = 3*g(y) + j(y). Let w be r(-9). Is 23 + w/((-5)/(-10)) a multiple of 21?
True
Suppose 5*g = 4*g - 52. Let q = -42 - g. Suppose -6*o + q*o = 244. Does 12 divide o?
False
Let z(g) = -g**3 + 12*g**2 - 11*g + 3. Let i be z(11). Suppose -30 = -2*c + w + 9, 2*w = i*c - 61. Suppose 52 = -16*p + c*p. Is p a multiple of 13?
True
Suppose 115 = -5*d - 40. Let p = -18 - d. Is 5 + 0 + 26/p even?
False
Let f be (7 + 1)*(-6)/(-8). Let z be (4 + -4)/(1*f/(-3)). Suppose z = -2*l + 4, 0 = m - 4*l + 4. Is m even?
True
Let f be 105 - (3 + 4 + 0). Is f + 0 + 3 - -4 a multiple of 5?
True
Let h be 35/21 - (-382)/3. Suppose 411 + h = 12*s. Is s a multiple of 15?
True
Let m(a) = 1305*a**2 + 54*a - 47. Is 125 a factor of m(5)?
False
Suppose -210 = -4*r + 66. Let s = 61 - r. Let a = s - -86. Is 12 a factor of a?
False
Suppose 7*d + 5*q = 3*d + 124, -4*d + 124 = -2*q. Suppose -3*v - 17 = -p - 0*p, -4*v = p - d. Is (60/2)/(p/184) a multiple of 10?
True
Suppose -4*j + 39512 = c, 0 = 3*c + 4*j - 43252 - 75220. Does 84 divide c?
True
Let s(a) = 20*a + 26. Let u be s(8). Suppose -78 + u = 3*x. Suppose -472 + x = -5*v - 4*r, -5*r - 400 = -5*v. Is v a multiple of 9?
False
Suppose -4*m + 2*y + 5 = y, -5*m + 4 = -2*y. Suppose -m*u + 108 + 68 = 0. Does 8 divide u?
True
Let m = -245 - 389. Let d = 914 + m. Is d a multiple of 70?
True
Let j = 2058 + -3231. Let g = 1664 + j. Is g a multiple of 24?
False
Let t = 12484 - -14896. Does 37 divide t?
True
Let a(d) = 16*d**3 + d**2 - d - 1. Let m be a(-1). Let r be 3 - (12/(-10))/(m/1000). Let f = r - -119. Is 21 a factor of f?
True
Let x(j) = 20*j**3 + 4*j**2 + 21*j + 18. Is 36 a factor of x(6)?
True
Let m(b) be the second derivative of -1/20*b**5 + 16*b + b**3 + 0 + 7*b**2 - 11/12*b**4. Is 25 a factor of m(-12)?
False
Suppose -m + 11901 = 4*a, 18*a - 20*a + 4*m = -5964. Is 12 a factor of a?
True
Let o be 0*((-2)/3 - -1). Is o + 3 + (-3 - -247) a multiple of 13?
True
Suppose -101906 = 8*h - 261242. Does 17 divide h?
False
Suppose -59840 = -333*h + 248*h. Does 4 divide h?
True
Suppose 0 = 38*x - 126*x + 118791 + 172665. Does 18 divide x?
True
Suppose 26712 = -632*u + 653*u. Is 53 a factor of u?
True
Let a(g) = g - 13. Let y = -14 + 29. Let o be a(y). Let x(c) = 26*c**3 - 2*c**2 + 4*c + 2. Does 35 divide x(o)?
True
Let t(y) be the second derivative of 4*y**3/3 + 6*y**2 - 12*y. Let q be t(10). Let i = q + -81. Is i a multiple of 9?
False
Suppose -k + 2255 = -4*l, 63*l + 9020 = 4*k + 61*l. Does 11 divide k?
True
Let i(q) = -q**2 - 3*q - 108. Let f be i(-14). Let n = 474 + f. Does 6 divide n?
False
Let p be (-28)/7 - (-1 - -3). Is 6 a factor of 1/(2/p) + -26 + 191?
True
Let c(g) = -2*g**2 + 36*g + 12. Let k be c(18). Let m(t) = -t**2 + 22*t + 60. Is 18 a factor of m(k)?
True
Suppose -v = 4, 3*u + 0*u + 14 = -5*v. Suppose 0*x = -u*x + 4. Suppose -x*r + 138 = r. Is r a multiple of 19?
False
Let h(p) be the first derivative of p**4/2 + p**3/3 - p**2/2 + 30*p + 39. Is h(0) a multiple of 3?
True
Suppose 9*y = -13 + 49. Suppose 0 = -y*l - 20 + 8, -3*v + l + 135 = 0. Is 9 a factor of v?
False
Let c be 3 - -2 - (4 - 1). Suppose c*x + 1 - 9 = 0, 2*g - x + 14 = 0. Is 7 a factor of 4 - (-40)/g - -11?
True
Does 5 divide 5889*23*4/138?
False
Let i be 5347/(-7) - (-18)/(-126). Let o = -289 - i. Is o a multiple of 96?
False
Let g(y) = 2*y**2 - 13*y + 352. Does 6 divide g(12)?
False
Let z = -70 + 72. Suppose -2*i + 4*u - 202 = 0, 0*i + 2*u + 184 = -z*i. Let q = i - -215. Is 20 a factor of q?
True
Suppose -9*o - 5*p + 9 = -6*o, 4*p = -2*o + 4. Let m be (-12)/(-16) + (-85)/(-20). Suppose -m*k = -o*k + 180. Does 30 divide k?
True
Let o(l) be the first derivative of -26*l**4 - 20*l**3/3 - 21*l**2 + 103. Does 28 divide o(-2)?
False
Suppose -2*u - 2*z = -328, 0 = 5*u - 8*u + 2*z + 477. Suppose -769 = -162*x + u*x. Is x a multiple of 53?
False
Let j = 644 + 806. Is 2 a factor of j?
True
Let p(o) = -o**2 - 109*o + 792. Is 179 a factor of p(-41)?
True
Let n = 4769 - -4471. Is n a multiple of 15?
True
Let f(z) = -13*z**3 - 13*z**2 - 24*z + 19. Let m be f(-9). Suppose -29*r - 3004 = -m. Does 9 divide r?
False
Let z(s) = 110*s - 554. Is 108 a factor of z(7)?
True
Let v = 2696 - 1586. Does 4 divide v?
False
Let u(q) = 4 - 4 - 65*q + 6. Let s be u(-2). Suppose 6 - s = -5*g. Is g a multiple of 19?
False
Suppose 3*i = -2*r + 339, 3 = 2*i - 3*i. Suppose -2*v + 702 = v. Suppose 0 = -3*p + v + r. Does 21 divide p?
False
Suppose 87 = 11*k - 12. Suppose -16*m + 13*m = -k. Is 10 a factor of 6/(-9)*(-495)/m?
True
Let x(d) = 59*d**2 + d. Let i be 65/(-25) + 2/(-5). Is x(i) a multiple of 16?
True
Suppose 32*n + 168 = 77352. Suppose 12*z - n = 6*z. Is 3 a factor of z?
True
Is (154/44 - (0 - -4))*10 + 31370 a multiple of 255?
True
Let h(d) = -4966*d + 3492. Does 119 divide h(-5)?
True
Let w = -424 + 427. Suppose -w*t = h - 99, 2*h = -3*t - 79 + 286. Is h a multiple of 9?
True
Let k be (-6 - (-78)/18)/((-1)/15). Suppose 0 = 2*v - l + 13, -v = -3*v + 5*l - k. Is 6 a factor of v/10 - (-198)/4?
False
Let n = 925 - 516. Suppose 6*h - 149 = n. Suppose -8*k = -139 - h. Is 14 a factor of k?
False
Let l(r) = -r**3 - 20*r**2 - 28*r - 11. Let a be l(-22). Let w = a + 276. Does 33 divide w?
False
Let w = -51 + 46. Let y be 2*4*((-15)/(-6))/w. Let j(c) = -c**3 + 2*c**2 - 3. Does 31 divide j(y)?
True
Suppose 3*k - 2*j = 10664, 2*k = 21*j - 20*j + 7108. Is k a multiple of 48?
True
Suppose -2*c = 83*o - 78*o - 34277, -3*o - 17100 = -c. Does 72 divide c?
False
Let g = 7497 + 4755. Does 114 divide g?
False
Suppose 2*a + 4*f - 2502 = 0, 16*f = 5*a + 15*f - 6321. Is a a multiple of 12?
False
Let r = -908 + 16761. Is 191 a factor of r?
True
Let b(f) = 9*f**2 - 5*f + 35. Suppose 0 = -4*w + y + 25, -w - 4*w = -3*y - 33. Let d(u) = -3*u**2 + 2*u - 12. Let q(h) = w*b(h) + 17*d(h). Does 13 divide q(-5)?
False
Let h(c) = -86*c - 78. Let d be h(-4). Let a = d - 49. Is 31 a factor of a?
True
Let v(g) = g**3 + 13*g**2 + 2*g - 66. Let p be v(-10). Let z = 294 + p. Is 26 a factor of z?
False
Let x be 9/((-90)/(-1070)) - (1 + -3). Suppose j - 14 = x. Does 14 divide j?
False
Let v(z) = -z**3 - 12*z**2 - 11*z + 16. Suppose 0 = -54*y + 53*y - 21. Let b be 3/(84/(-8)) + 225/y. Does 7 divide v(b)?
False
Suppose 10*s = 36 + 144. Suppose -26*v + 29*v - s = 0. Does 13 divide ((-306)/(-5))/v*10?
False
Does 65 divide (14/(-70)*4)/((-1)/3815)?
False
Suppose -10 = 2*s - 5*n, -4*s + 17 - 15 = n. Suppose 46*z - 38*z - 3384 = s. Does 9 divide z?
True
Let g(f) = 26*f**3 + f**2 + 2*f + 1. Let p be 4*(60/16 + -2). Suppose -c - p = -u - 8, u - 1 = 0. Does 31 divide g(c)?
True
Is 9 a factor of 3 - (538/(-4))/((-107)/(-642))?
True
Let b(o) = -22 + 8*o - 27*o + 65 - 10*o. Is 31 a factor of b(-6)?
True
Let g = 36 + -31. Suppose -g*t - 7*t = -4848. Is 7 a factor of t?
False
Let m = -160 - -27. Let v = -131 - m. Suppose -4*n + 4 = -v*k + 494, -2*n = -3*k + 719. Does 60 divide k?
False
Does 12 divide ((-2456)/6)/(116/(-261))?
False
Let j(a) = -a**2 + a + 1. Let w(f) = -28*f**2 + 3*f + 4. Let n(p) = -j(p) - w(p). Let h be n(-1). Let r = h - 8. Does 15 divide r?
False
Is -102*(3 + 125/(-3) + 6) a multiple of 68?
True
Let c = 4136 + -2916. Does 61 divide c?
True
Let w(t) = 229*t - 136. Suppose -8*s + l + 24 = -4*s, 5*s - 4*l - 41 = 0. Is 12 a factor of w(s)?
False
Is (-10 + 336/36)/(2/(-23199)) a multiple of 19?
True
