t h be (-1465)/19 + 18/171. Let w be 3/21*-4 + (-58)/h. Which is smaller: 0 or w?
0
Let v(i) = i**3 - 6*i**2 + 78*i - 788. Let c be v(8). Which is greater: -17 or c?
-17
Let f = 4038 + -4037.205. Which is bigger: -2/9 or f?
f
Let m = 1 + -14. Let w = -23 - m. Let j(z) = z**3 - 28*z**2 - 31*z + 51. Let y be j(29). Is w equal to y?
False
Suppose -2*u + 5*w - w = -28, -4*w = 12. Let q be (-320)/(-616) + u/14. Let l = -25/33 + q. Do 4 and l have the same value?
False
Let h be 49/(-35) - (-9134)/10. Suppose -8*q - 960 = -h. Is -0.1 not equal to q?
True
Let c(g) = g**3 + 21*g**2 - 19*g + 76. Let u be c(-22). Suppose d = w + 3, -u*d = 4*w - 9*d - 8. Is -2/5 less than or equal to w?
True
Let y = -5.15 - -5. Let r be (-33)/(-484)*11*(-16)/78. Is y less than or equal to r?
False
Let y = -4636 + 4653. Which is smaller: y or -54?
-54
Suppose 0 = -2*y - 5*x - 65, -2*x + 17 = -5*y - 131. Let u(g) = -g**2 - 11*g + 10. Let f be u(-8). Let j = f + y. Is j at least 4?
True
Let c = -94103219077/78047 - -1205725. Which is smaller: -1 or c?
-1
Suppose -8 = -4*z, 4*l = l - z + 5. Let w = -1708644332289/15037 + 113629336. Let x = 2/1367 + w. Which is bigger: l or x?
l
Let x = 0.6968 + -11.6968. Is x greater than 58?
False
Let z be -4*((-41)/(-342) + (-29)/261). Suppose h = 5*h - 2*k - 10, 0 = -h - k + 7. Suppose v + 0*d = -d - 3, h*d + 12 = 2*v. Which is smaller: v or z?
z
Let f be (-4)/(-3)*-3 - -35. Suppose -28*u + 3 = -f*u. Let k = -391/6160 - -2/77. Is k < u?
False
Let k(a) = -a**2 + 20*a - 55. Let y be k(16). Let u be 2*(2/3 + 11/y). Is 4 at least as big as u?
True
Let z = 392 + -504. Let n = 93 + z. Let m = -3 + 4. Which is smaller: m or n?
n
Let z = 3275 - 3609. Which is smaller: -9 or z?
z
Suppose 4*y - 24 = 56. Suppose 231*h = 217*h + 266. Are h and y nonequal?
True
Let u = -19152 + 19151.9794. Which is bigger: u or -1/6?
u
Let t(s) = 14*s - 3. Let n(d) = 8*d - 2. Let p(g) = -5*n(g) + 2*t(g). Let a be p(1). Is a != -7?
True
Suppose 1344 = -4*s + 344. Let b be (8 - s/(-35))*(-38)/(-4). Are 7 and b non-equal?
True
Suppose 20*k - c = 22*k - 835, -k + 4*c = -422. Which is smaller: -7 or k?
-7
Let l = 40981936/2023 + -20258. Let h = -131809 + 131809. Is h greater than l?
False
Let c = -8500 + 8471. Is c greater than -340?
True
Let a = 6416/11 + -20932/77. Is a less than 311?
False
Let n be (-3284)/(-1640)*(0 + 2) - 4. Let x = n + -417/1435. Which is smaller: 179 or x?
x
Let r = -4285 + 4357. Which is smaller: r or 26?
26
Let d be 2 + 5/(-3) - (-82)/(-246). Suppose d = -f + 5, -c + 11*f = 7*f + 118. Does c = -99?
False
Let b = 45069106/2559 - 17612. Is b less than -1.4?
False
Let a = 109105 - 109062. Let y(j) = -j**3 + 5*j**2 + 7*j - 4. Let s be y(6). Which is greater: a or s?
a
Let x = -630.1 + 625.1. Is -711 < x?
True
Let t = 6132/899 - 195/29. Let s = 2 - 1. Which is smaller: s or t?
t
Let t = -2095677/88 - -23815. Is t bigger than -1?
True
Let f be 1784/28 - ((-10)/(-14) - 1). Suppose 0*b + f = -b - 4*q, 0 = -2*b - 4*q - 128. Is b less than -66?
False
Let s(m) = -m**2 - 14*m + 37. Let w be s(-16). Suppose 0 = -c - 4*c + w. Let y be c/(-10)*(1 + 38/(-46)). Which is smaller: -1 or y?
-1
Suppose 4*c + y + 1088 = 0, -5*c = -3*y + 796 + 547. Let b = c - -5689/21. Let t = 17 - 18. Which is bigger: b or t?
b
Let n = 902/463 - -797087/5093. Which is bigger: n or 159?
159
Let s = -1214 - -1237. Let o be ((-3)/(-2))/(57/(-361)). Let v = o - -59/6. Is s smaller than v?
False
Suppose 0*p = -4*p + 3032. Suppose 27526 + 99101 = 124*c + 32759. Are c and p non-equal?
True
Let d(a) = a**2 + 77*a - 3245. Let z be d(30). Let g be 10/35 + 285/7. Suppose v + g = 4. Is z smaller than v?
False
Let r = 1057.8 - 969. Let h = -113 + r. Let p = 24 + h. Is p less than 4/5?
True
Let w = 8.8 - -0.2. Let q = w - 7. Let s = 5.8 + -22.8. Is s greater than q?
False
Suppose 63 + 518 = 127*m - 44*m. Suppose 8 = 2*g + 2*g. Let u be (g - 0) + 4 + -2 - m. Is u at least -2?
False
Let y(v) be the third derivative of -v**6/120 + v**5/3 - 53*v**4/24 + 16*v**3/3 - 81*v**2. Let m be y(17). Does m = -9/13?
False
Let l be (-1472)/240 - (-18)/60. Which is smaller: -26 or l?
-26
Let z be 8/(-10)*(-34092)/((-1152)/32). Is -759 at least as big as z?
False
Let z(n) = 37*n**3 + 29*n**2 - 154*n - 3. Let a be z(6). Which is smaller: a or 8110?
a
Suppose -2821 = 2*m + 37*m - 325. Is m greater than 13?
False
Suppose -k = -6*k + 80. Suppose -5*u - k = -9*u. Suppose 0 = -u*h + 1 + 3. Is 2/21 < h?
True
Let m = 0.338 - -185.662. Let k = m - 117. Let z = -0.8 + -0.2. Which is smaller: z or k?
z
Let b = 148 - 143. Suppose b*w - 4*k + 120 = -0*w, -4*k = w. Is w bigger than -101/5?
True
Let t be (-152)/(-18 - 1)*2. Which is greater: t or 177?
177
Let g = 0.6738 - 7.6738. Does -151 = g?
False
Suppose -188 = 34*m - 14*m + 6112. Is m bigger than -319?
True
Let c(a) = a**2 + 14*a - 11. Let x be c(-15). Suppose 3*w + 15 = 0, -16 = -s + x*w - w. Which is greater: s or 14/47?
s
Let k(u) = u**3 - 44*u**2 - 97*u + 232. Let n be k(46). Is -99 greater than or equal to n?
False
Let k = 19715.1 + -19715. Let z = -37 - -179. Let l be z/(-46) - (-3)/1. Do l and k have different values?
True
Let p = 6186 + -6172.879. Let x = p - 13. Do 1/5 and x have different values?
True
Let a(o) be the first derivative of 3*o**3 + 5*o**2/2 - 9*o - 155. Let w be a(-3). Which is greater: w or 56?
w
Let o = 4879 + -4878. Is o less than or equal to 6/2953?
False
Let i = 2140 + -2139. Which is greater: 4/251 or i?
i
Let l = -149.7 + 149.58. Is l smaller than 0.0225?
True
Suppose 0 = -3*l - 12, -3*l + 239 = 5*b - 379. Suppose b*j - 121*j = -770. Which is greater: j or -153?
-153
Suppose -3*y - 5*z - 9 = -22, -4*y + 6 = z. Which is smaller: y or -7/319?
-7/319
Suppose -2*u - 38*u = 138*u + 890. Is -4 bigger than u?
True
Let p = -77 + 88. Let t = 22 - p. Suppose x + 10 = -4*c, 0*x - c - t = -4*x. Which is bigger: x or 7/5?
x
Let d be ((-3444)/(-63))/((-1)/14*-2). Let j = -143494/375 + d. Which is smaller: j or 0?
0
Let j be (4/(-10))/(-2*4/80). Let g be j/((-188)/46 + 4). Let d be (23/g)/(2 + 42/(-20)). Which is bigger: d or 6?
6
Let i = -674543657/31 - -21761582. Let d = i - 2109. Which is smaller: 1 or d?
d
Let k = 1561 - 64005/41. Let f = 355 + -357. Which is smaller: f or k?
f
Let v = -23075 - -23048. Are 0.2 and v equal?
False
Suppose 0 = -60*x + 10*x + 13088 - 39088. Are -1562/3 and x nonequal?
True
Suppose 15*m = 75 + 64 - 109. Let z(u) = -u**3 + 7*u**2 + 2. Let q be z(7). Suppose 2*o = m*h - 6, q*o - 4*h = h - 18. Is o greater than 1/149?
True
Let u = -1568/9 - -697742/4005. Suppose -h = q - 4, -4*h = 3*q + 9 - 26. Do u and q have the same value?
False
Let k(p) = 22*p - 13. Let w be k(2). Suppose 6*d + w = 31. Which is smaller: d or 2/185?
d
Let y = -10495 + 10511. Is 119 greater than or equal to y?
True
Suppose -4*l + 2*z = 224, 0*l + 168 = -3*l - 2*z. Let r be (3 - 3)*-1 - 34. Let a = r - l. Do a and 22 have different values?
False
Let d = -59.84941 + -0.01059. Let i = d - -138.9. Let c = i + -79. Which is bigger: -0.3 or c?
c
Let g be (405/30)/(13/(-2236)). Which is smaller: g or -2323?
-2323
Let j = 277.795 - -0.205. Let w = -281 + j. Is w != 2/7?
True
Let z be 13 + -1083 - 3*1. Let m be z/(-102) + 2 + -5. Let t = m + -1/51. Which is greater: 9 or t?
9
Let w be (-368)/52 - (-4)/2. Let l = 7848 + -7853. Which is greater: l or w?
l
Let i be (875/(-630))/((-15)/(-9)). Let l = -2 + 0. Is i < l?
False
Suppose 0 = -m + 2*f + 35, -m - 14*f + 44 = -19*f. Let s(g) = g**3 - 28*g**2 - 23*g + 50. Let x be s(m). Is x at most as big as 224?
True
Suppose -5*c + 5*s = -30, -c + 2*s + 3*s = -2. Suppose 0*p + 5*n = -p - 20, 2*p = -n - 4. Which is smaller: c or p?
p
Suppose 2*t = -4*h - 72, 98 = -2*t - t + 4*h. Suppose 0*k = -2*y + 5*k - 36, -32 = y + k. Is t not equal to y?
True
Let l(i) = -i**2 + 22*i - 24. Let n be (-11)/((-5)/30*3). Let c = n + 3. Let a be l(c). Which is greater: a or -98?
-98
Let b = 3865.4 - 3936.4. Let g = -0.5 - -0.6. Which is smaller: b or g?
b
Suppose 5*i - 6 = -3*m + 14, -4*m - 4*i = -24. Suppose 3*t + m*h + 119 = 0, -3*h - 2*h + 53 = -t. Let v = t + 29. Which is greater: -15 or v?
v
Let n be (1/1)/(27/(-82161)). Is -1 at most as big as n?
False
Suppose -130*k - 217*k = 0. Which is bigger: k or 3/12212?
3/12212
Let f = -161 - -58. Let