e -652 + ((-15)/(-18)*2)/(40/48). Which is smaller: i or -649?
i
Let v be 2 + -4 + 136/58. Let n = -102/377 - v. Is 0 less than n?
False
Let f(y) be the first derivative of -y**3/3 - 8*y**2 - 22*y + 263. Let g be f(-14). Which is greater: 5/4 or g?
g
Suppose 30*m - 55 = 19*m. Let s be 76/(-18) - (m - (-282)/(-54)). Is s at least -17?
True
Let v = 222 - 146. Suppose -239*b + 243*b = -v. Let i = -47 - -31. Which is greater: b or i?
i
Let k be 1*(11 + 5/((-10)/(-4))). Let u = 4757/408 + 1/136. Is k <= u?
False
Let g(f) be the third derivative of -f**5/60 - 17*f**4/8 + 29*f**3 + 72*f**2. Let l be g(-55). Suppose -2*m - 21 = 69. Does m = l?
False
Let u be 62 + 12/(-4) + 1. Suppose 12*v + u = 15*v. Suppose -16*j = -v*j + 36. Is 25/3 bigger than j?
False
Let p = -7 - -3. Let w(o) = -o**3 + 17*o + 19. Let k be w(-7). Let n = 238 - k. Which is smaller: p or n?
n
Suppose 3*v = -w + 11585, 0 = 18*w - 23*w + 10. Is v bigger than 3863?
False
Suppose -12 = -44*w + 38*w. Let v be (40/6 - w)*(-6)/(-4). Which is greater: 5 or v?
v
Suppose 128*b + 501248 = 39*b. Are 0.1 and b nonequal?
True
Let m = 47 + -40. Let k(f) = f**3 - 14 - m*f + 33 - 4*f**2 - 5. Let d be k(5). Is d at least 6?
False
Let j be -1*(-1 + 2)*(-77 - -77). Is -41/51 >= j?
False
Suppose -3*h = -4*w - 2, -4*w + 70*h = 74*h + 44. Suppose 0 = -0*b + 3*b + 12. Is b smaller than w?
False
Let b = -44/129 - -8654/12513. Which is bigger: 0.2 or b?
b
Let n be -17*(3 + -1)*3070*14/140. Which is greater: n or -10439?
n
Let w be ((-6899)/(-360) - 1) + 1/3. Let f = -1/360 - w. Suppose 2*j - 4*v = -18, 0 = -j + 3*j + 5*v + 63. Is f at most as big as j?
False
Let v(h) be the first derivative of -5*h**2/2 - 8*h - 31. Let u be v(30). Is -158 < u?
False
Let v(x) = -13*x - 92. Let t(s) = 26*s + 184. Let n(z) = -3*t(z) - 5*v(z). Let o be n(-7). Let i = 2/379 - 792/6443. Is i at most o?
False
Let p be (4 + -3)*8 - (-15)/(-2). Which is greater: 1/849 or p?
p
Suppose -3*c = -5*k + 10*k + 85, -c + 3*k = 33. Let h be (4/8)/((-35)/c). Which is bigger: h or -40?
h
Let n = 12 - 25. Let m = 495.059 - -0.941. Let q = -495 + m. Is n < q?
True
Let v = 22164 + -22312. Is -149 bigger than v?
False
Suppose -d = 5, 0*d + 2*d = 4*m - 58. Let w be (-62)/(-110) - m/120*2. Which is greater: -5/3 or w?
w
Let p = 529/3 - 179. Which is greater: -2 or p?
-2
Suppose -14 = 2*t - 4*a, -3*a = -10*t + 5*t - 14. Let d be 3*8/(-774)*5/4. Is d smaller than t?
False
Let y be 245/(-28)*-4 + (1 - 4). Let n(r) = 2*r**2 + 20*r + 4. Let o be n(-14). Suppose o + 12 = 4*z. Are z and y equal?
True
Suppose 0 = -4*t + 18 + 22. Let o(g) = -21*g + 2. Let z be o(t). Let n be 6/4 + 488/z + -1. Is n equal to -3?
False
Let k(y) = -232*y - 1. Let s be k(10). Let g be (14/(-252))/((-1)/s). Let n = g - -129. Is n less than 1?
True
Let h = -40 - -82. Suppose -3*b + 5*f = h, -4*f + 83 = -11*b + 6*b. Which is smaller: 0 or b?
b
Suppose -i = 2*i - 3*v - 15, -5*i - 5 = v. Let p(n) be the third derivative of -n**4/12 - n**3/6 - 131*n**2 - 12. Let t be p(i). Is -2/35 at least t?
True
Suppose 16 + 0 = 2*q - 4*k, 8 = 3*q + 2*k. Suppose 86 + q = -5*s. Let f = 91466 + -365865/4. Which is smaller: s or f?
s
Let z = 223.212 + -223. Let c = -0.012 + z. Is 1/55 < c?
True
Let a(l) = -l**3 + 82*l**2 - 83*l + 365. Let k be a(81). Suppose -578 = -3*s + 31. Is k at least s?
True
Let d = -2.18 + 2.1. Let p = -0.32 + d. Let s = p + 1.4. Which is bigger: -1 or s?
s
Let m = 42354/21271 - 172/89. Is m smaller than -1?
False
Let z(o) = 2*o**2 + 120*o + 0*o**2 - 1 + 0 - 124*o. Let k be z(3). Suppose 2*q = k*s - 11, -4*q - s = 3*s + 36. Is q less than -5?
True
Let j = -1406 + 1523. Let c be (-470)/(-4) - (-3)/6. Is c greater than j?
True
Let q(y) = 10*y**2 + 290*y - 52. Let c be q(-34). Is c < 1649?
True
Let b = 9852 + -10045. Which is greater: -967/5 or b?
b
Let g = 2155 + -2154.9. Which is greater: 2121 or g?
2121
Let z = 388 - 385. Suppose -z*i + 300 - 1536 = 0. Is i at most -412?
True
Let o(s) = 2*s**2 + 33*s + 13. Let m = -21 + 5. Let g be o(m). Let n = -3662/9 - -404. Is g not equal to n?
True
Let f(k) = -194*k**3 + k**2 - 30*k + 30. Let m be f(1). Is m at least -189?
False
Let o = 77/109 + 19825/327. Let d be 0 + (244/2)/2. Which is bigger: d or o?
o
Let r be 5*-1 + (-758000)/150. Let y = 5124 + r. Is 65 > y?
False
Let y be (-319)/33 + 10 + 210/(-549). Is y not equal to 2?
True
Let q be 3 + 48/(-18) + (-3238)/(-6). Let n = -135 + q. Suppose 13*z = 18*z + n. Is -81 != z?
False
Let m be (-169882)/(-1818) + (-4)/(12/15). Is 87 > m?
False
Let s = -2 + 1.2. Let t = 18235 - 18235. Is t smaller than s?
False
Let k = -8429 + 134819/16. Are -4 and k unequal?
True
Suppose -18*n + 4622 = 986. Which is bigger: 1217/6 or n?
1217/6
Let g be 250/1*((-5)/(60/(-114)) - 11). Are g and -378 equal?
False
Let f be ((-93)/(-2))/1*2. Let l be ((-2678)/(-104))/(2*2/16). Suppose 3*c + 25 - 296 = -4*r, -c + l = -5*r. Is f >= c?
True
Suppose -198 = -6*t - 156. Suppose 47 = 8*u + t. Let k = -6 + 10. Is u != k?
True
Let t = 86856 - 86875. Let a(b) = -b + 1. Let m(f) = -15*f - 6. Let g(l) = -5*a(l) - m(l). Let v be g(-1). Is t <= v?
True
Suppose -4*c + f + 1318 = 10447, -5*f = -3*c - 6868. Is c greater than -2283?
True
Suppose -2*h = -m + 474 - 118, 2*h + 3*m = -388. Which is smaller: h or -187?
-187
Let z be 2314*137/(-1096)*-1*4. Which is smaller: 1164 or z?
z
Suppose -2*q + 13*q = 176. Suppose w + w + q = 0. Let n be (-2 - w/3)*231/11. Which is bigger: 15 or n?
15
Let h be (1/4 - (-10 + 56244/2832)) + 1. Which is bigger: h or -9?
h
Let l(b) = 18*b**2 - 4*b - 4. Let v be (-24)/(-54)*18/4. Suppose v*o = -4*h + 4 + 2, 0 = -3*h + 4*o - 23. Let y be l(h). Are 18 and y equal?
True
Suppose -10 = -5*a - g, 7*g + 1 - 31 = 5*a. Which is smaller: a or -1/1182?
-1/1182
Let x(d) = -d**3 - 4*d**2 + 4*d + 3. Suppose 4*g - 4*k = -8, -g + 7 = -2*k + 6. Let a be x(g). Is a greater than or equal to 6?
True
Let o be 12*8*(-11)/(-704). Is -1/116 smaller than o?
True
Suppose 2*q + 2*o = 0, -8 = -q + 5*o - 10*o. Let t be 3648/2340 + q/(-15). Is t less than or equal to 1?
False
Suppose -3*w = -5*w + 22. Suppose 71 = -3*y + 131. Is w less than or equal to y?
True
Suppose 6*c = -5*c - 209. Suppose 0 = -2*s + 3*q - 51, -5*s - 37 = 2*q + 81. Which is greater: s or c?
c
Let f = 324 - 323. Let u be 0/f - 30/(-6)*-2. Is u at most -12?
False
Let b be (-145)/(-75) - 1/(-15). Let q be b*6/24*-204. Which is bigger: -105 or q?
q
Suppose -347*m + 345*m = 14. Do -575 and m have different values?
True
Suppose 3*i = 3*z - 186, -2*z + 5*z + 62 = -i. Let f = i + 84. Which is greater: 1 or f?
f
Let v(p) = -p**2 + 9*p + 5. Let n be (-3)/6 - (-273)/6. Suppose 37*b - 42*b = -n. Let z be v(b). Which is smaller: z or 0?
0
Suppose 0*g = -3*g + 9. Suppose -g*k + 9 = 5*v, -5*k = -5*v + 39 - 14. Suppose 0 = 3*m + 3*u - 2 - 1, 3*u = -v. Is m bigger than 4/5?
True
Let j(b) = -13*b - 33. Let c be j(-2). Let x be 20/(-11)*(19 - (-62)/(-4)). Which is greater: c or x?
x
Suppose 5*q + 5*b + 4 = -6, -b - 2 = -5*q. Let p be (136952/(-498) + 2)*-6. Let a = 1638 - p. Is a bigger than q?
False
Let y = 0.04 - 85.04. Let n = y + 31. Let w = n - -53. Which is greater: -2/63 or w?
-2/63
Suppose 0 = 4*o + 9962 - 2254. Is -1927 not equal to o?
False
Let s(t) = 24*t**2 + 4*t. Suppose 5*k - 2*p - 8 = -15, k + 11 = -2*p. Let h be s(k). Is 203 not equal to h?
True
Let h(f) = -f**3 + 3*f**2 + 5*f - 2. Let p be h(4). Let o be (2/4)/(p/(-48)). Let v = 4410 + -4421. Which is bigger: v or o?
v
Suppose 1627 = 8*l - 1749. Let g = 373 - l. Does g = -148/3?
False
Suppose 4 = 5*n - 1. Let r be (-116)/(-1682) - (-771)/(-2349). Is n at most as big as r?
False
Let d = -16 + 10. Let s = d + 5. Let b be -2 + 753/(-189) - (7 - 13). Which is smaller: s or b?
s
Let p(t) be the second derivative of -5*t**3/3 - 11*t**2/2 - 3*t. Let n(g) = -g**2. Let m(j) = n(j) + p(j). Let w be m(-10). Is w greater than -11?
False
Let z = -722312/43417 + 1/3947. Let c = -2869/66 - z. Which is bigger: c or -28?
c
Let t = -7039 - -3547657/504. Let v = t + 899/54936. Are 1 and v non-equal?
True
Let p be (-1208)/(-4)*4/8. Let d = 156 - p. Let n(c) = -c**3 + 5*c**2 - 3*c + 1. Let s be n(4). Are s and d equal?
True
Let s be (-1888)/360 + -2 + 5. Let g = s + 1/45. Which is bigger: 0 or g?
0
Let z = -3.2 + -5.2. Let h = 36.