.997. Let x = 2.303 - i. Which is smaller: -1/2 or x?
-1/2
Let a = -3119/3987 + 2/443. Let j be (1 - 0)*0/1. Do a and j have the same value?
False
Let v(k) = -2*k**2 + 10*k - 8. Suppose -8*o + 30 = -3*o. Let r be v(o). Let g = -19 - r. Which is smaller: 0 or g?
0
Suppose -2*n - 3 = -19. Let v be (-6 + (-10)/(-5))/2. Is n less than v?
False
Suppose j = -3*w - 12, -24*j - 8 = -20*j + 2*w. Which is smaller: j or 1/1029?
j
Let c be 748/110 + 2/10. Let j be 2/c + 3/(-84). Which is greater: -0.3 or j?
j
Suppose 82 = -4*w + 2*j, -2*w = -4*j + 2*j + 42. Which is smaller: -17 or w?
w
Let q = 0.5 + -4.5. Let t = q + 3. Let f = -8.96 - -9.06. Which is smaller: t or f?
t
Let m = -21 + 20.92. Let c = m - -0.4. Let o = 2.32 - c. Is o smaller than 0.1?
False
Suppose -14*b = -1743 - 217. Is b > 139?
True
Let h be (-2)/4 - (-1)/(-22). Let p be ((-8)/(-20))/2*5/4. Which is bigger: h or p?
p
Let k be (-42)/24 + 3 + 0 + -2. Are 0.09 and k nonequal?
True
Let x(l) = l**3 + 7*l**2 - 7*l + 3. Let q(v) = 2*v + 10. Let j be (0 + 1)/((-9)/81). Let r be q(j). Let c be x(r). Is -5 at most as big as c?
True
Let k be (-60)/12 + 23/5. Which is bigger: -0.98 or k?
k
Let d = -2.59 - -2.59. Which is smaller: 14/9 or d?
d
Let a = 49 - 21. Let o = 31 - a. Suppose 3*k - 3 = 0, 4*k + 4 = 5*s + o. Is s at most -1/8?
False
Suppose -3*c + 2*s + 11 = 0, 2*c + 0*c - 3*s = -1. Let w be 7 + -3 + 0 + c. Let a be w + -2 + -10 + 8. Is a at most as big as 5?
False
Let l be (-6)/(1*2/(-2)). Suppose 3*y - 4*y - 3 = 2*k, 12 = -5*k - 4*y. Suppose 12 = 2*a - k. Is a <= l?
True
Let c(m) = -6*m**3 - m**2 + 5*m + 5. Let p = 11 + -13. Let b be c(p). Let r be b/(-12) + 3/(-4). Which is bigger: r or 0?
0
Let y = -0.54 - -0.44. Which is smaller: y or -0.0073?
y
Let l = -42.872 + 1.372. Which is smaller: l or 2?
l
Let i be (-32)/160 - 3/(45/222). Is i greater than or equal to -41/3?
False
Let h = 1/46 + -95/138. Suppose 2*b + f - 8 = 0, 2*b - 5*f + 5 = 1. Let m = b - 3. Which is smaller: h or m?
h
Suppose -2*c + c = 3*j - 7, 3 = 4*j - 5*c. Let m = j + -5. Which is smaller: 0.5 or m?
m
Suppose 3*g = -3 - 15. Let v(p) be the second derivative of -p**5/20 - 7*p**4/12 - p**3 + p**2/2 - 11*p + 3. Let s be v(g). Which is smaller: s or -2/49?
-2/49
Let a = -117.9 + 116. Let y = -0.7 - a. Let s = 1 + 1. Is s at most as big as y?
False
Let b(u) = -u**3 - 6*u**2 + 10*u + 13. Suppose -6 - 15 = 3*r. Let x be b(r). Which is smaller: x or -2/7?
x
Let n = 0.9 + -25.9. Let w = -26 - n. Let x = -7.7 + 7. Which is greater: w or x?
x
Let k be 4032/(-196) - (1 + -2). Is k greater than -21?
True
Let g = 9053/14121 - 6/523. Is 0 at most g?
True
Let n be 1650/2125 - (-2)/5. Which is greater: 2 or n?
2
Let g(v) = v**2 - 16*v + 18. Suppose -4*r - o + 57 = 14, 5*r = 3*o + 75. Let j be g(r). Let n = -29 - j. Do n and 9/10 have the same value?
False
Let g = -6 + 12.6. Let t = g + -6.6. Let v be 10*(0 + (-18)/15). Do v and t have the same value?
False
Suppose 2*w - 3*w + 2 = 0. Suppose 2*d + 3*x = w, 2*d - 6*d + 32 = -x. Suppose -318 = -33*t - 120. Do t and d have different values?
True
Let s = 8 + -14. Let h = 0.79 + -0.19. Let j = h + -0.7. Are s and j nonequal?
True
Suppose 0 = 10*h - 35 - 55. Which is smaller: h or 47/6?
47/6
Let q = 8 - 36. Let c = q - -28. Is 0 less than or equal to c?
True
Let s = 12594 + -4621992/367. Which is bigger: -1 or s?
s
Let f be ((-2)/3)/((-20)/(-12))*-5. Suppose -5*t - 1 = -0*n - 4*n, -6 = -2*t. Let v be (0 - -4 - n)/f. Which is bigger: v or -0.03?
v
Let z = 2021 - 64679/32. Which is smaller: -1 or z?
-1
Let p(z) be the second derivative of -z**5/20 + z**4/12 + z**3/6 - z**2 + 7*z. Let o be p(0). Let r be 5/(o - 0/2). Is r bigger than -2?
False
Let w = 2.84 + 0.06. Let a = -3.1 + w. Is a at most -11?
False
Let q(j) = 3*j**2 + 6*j - 4. Let r be q(-3). Suppose -4*u + 13 = r*w, 0 = -u + 3*w + 23 - 7. Let m(h) = -h + 7. Let o be m(u). Is o > 0?
False
Let o = 1.7 - 1.4. Let f = o - 1.4. Let h = f + 1.4. Which is smaller: h or 2/5?
h
Let n(f) = f**3 + 6*f**2 + 5*f + 5. Let g be n(-5). Let a = g - 4. Let y be (64/14)/(1/((-10)/(-20))). Is y <= a?
False
Let a(f) = -6*f**2 + 16*f - 17. Let i(c) = -4*c**2 + 11*c - 11. Let q(d) = -5*a(d) + 7*i(d). Let g be q(0). Which is smaller: g or 5?
5
Let t = -18.9 - -10.9. Which is greater: t or -2/3?
-2/3
Let p = -1/5084 + 12713/15252. Let r(w) = 3 - 2 + 0*w - w**2 - 4*w. Let v be r(-4). Which is greater: p or v?
v
Let j be (-4)/14 + 5/((-560)/2124). Let t = -379/20 - j. Let v = 2.1 + -2. Which is smaller: v or t?
v
Let q(s) = -s - 5. Let y be q(-4). Let f = 90.6 + 2.4. Let n = f + -90. Which is bigger: n or y?
n
Let v(c) = c**3 - 14*c**2 + 23*c + 14. Let q be v(12). Let p be 177/(-114) - (q - (-42)/(-12)). Which is greater: -1 or p?
p
Let d = 49.7 - 48. Let j = -1.8 + d. Let a = 9 + -19. Is a <= j?
True
Suppose s - 14*k = -12*k - 367, -3*k = s + 352. Is s equal to -364?
False
Let p be (-7)/((-4)/(-26 - -2)*-1). Let u = p + -20. Which is smaller: 21 or u?
21
Let z = 16 + -13. Suppose 0 = z*y + y + 4. Let p = -3/53 - 297/371. Is p bigger than y?
True
Suppose 43 = 2*r + 15. Suppose a - 5*u = 4 + 7, -u + r = -2*a. Which is bigger: a or -8?
-8
Let z(n) = -100*n - 1 + 47*n + 52*n. Let t be z(-3). Suppose -4*w = 4*v - 8*v + 28, v = 3*w + 9. Is v less than t?
False
Let c = 280 - 279. Which is smaller: -1/21 or c?
-1/21
Suppose -19 = -i + 3*q, 3*i + i = -q + 11. Let a be ((-6)/i)/(2/4). Let w be 1 + -22*a/(-48). Is w > 1?
False
Let h = -83 - -82.7. Is -24 < h?
True
Let n = 65 - 65.5. Which is bigger: n or 0.2?
0.2
Let v be (9 - 9)*(-2)/8. Which is smaller: 27/19 or v?
v
Suppose -3*u - 284 = -245. Which is smaller: u or -2?
u
Let i = 0.08 - 0.73. Let p = 0.15 + i. Which is smaller: p or -1?
-1
Let r = 0 + 0.062. Let l = 27.938 + r. Is l equal to 0.1?
False
Let b be (-2)/(72/66) - (2 + -3). Which is smaller: b or -10?
-10
Let h = -0.9 + 1. Let f = 52 + -51.8. Let v = h - f. Which is smaller: v or 0.2?
v
Let d = 23 + -16. Suppose -7 = -4*s + 5, 0 = 2*f - 3*s - 7. Which is bigger: d or f?
f
Let k be (-4)/((20/(-7))/4). Let f(p) = p + 27. Let r be f(-20). Which is greater: r or k?
r
Suppose 1 = p + 6. Let j be (-7 + p)*(-1)/3. Let t be (-16)/(-6) - (j - 1). Is t at most as big as -1?
False
Let n = -37 - -70. Let p = n - 40. Which is greater: -4 or p?
-4
Let i be (-107735)/(-966570) + 1/(-22). Is -1 less than or equal to i?
True
Let m = -2 - -2. Let s = 49/124 - 71/62. Which is smaller: m or s?
s
Let h be 80/(-6)*12/(-90)*-9. Let o(m) = -m**2 + 6*m - 9. Let b be o(7). Is h >= b?
True
Let p be (-1)/(-2) + 26735/(-255). Let c = 308/3 + p. Let b = c - -3/17. Which is greater: b or -0.3?
-0.3
Let b = -18.26 - -18. Let n be ((-254)/50 - -5)*5. Which is bigger: n or b?
b
Let m = -264 - -1055/4. Which is smaller: m or -19/21?
-19/21
Suppose 14*z - 1 = 13*z. Which is greater: -1/236 or z?
z
Let w be 0/(-2) - (-16)/(-16). Which is bigger: w or -2/2335?
-2/2335
Suppose 0 = 61*k - 55*k. Let m = -157/133 - -9/7. Which is bigger: k or m?
m
Let k = -34 - -2. Let y = -30.2 - k. Is y != 2/7?
True
Let z = 15 - 63. Let c be (-1450)/(-12) + (-8)/z. Let g be c/(-264) + 1/3. Do g and -1 have the same value?
False
Let m = 166 + -168. Let q(l) = -3*l**3 - l - 1. Let u be q(-1). Let g be 32/(-6) + (6 - u). Is g greater than m?
False
Suppose 5*x = 2*y + 3*x - 12, -3*y + 2*x = -14. Suppose 4*f - y*f = -30. Which is greater: f or -13?
-13
Suppose 3*q - 8 = -0*q - 5*z, q + 2*z = 1. Suppose -5*w + 20 = 3*t, t = -2*t + 5*w - 20. Are q and t non-equal?
True
Let t = 12 - 8. Suppose -2*q - 26 = -t*q. Suppose 8*v - q*v = 55. Is v less than or equal to -11?
True
Let o(v) = -v**3 - 8*v**2 + 10*v + 9. Let b be o(-9). Let u(p) = 11*p + 6. Let c be u(-3). Let g be c/7 + (-3 - -7). Which is smaller: g or b?
b
Let g = 73 + -112. Which is smaller: -38 or g?
g
Let k = 26 - 16. Let p = k - 9.6. Let j = -0.4 + p. Which is smaller: j or -0.1?
-0.1
Let m(x) = x**3 + 5*x**2 + 2. Let l be m(-4). Let k be (-1956)/l*3/21. Let o = k + 83/7. Is o less than -4?
False
Suppose 3*r - 7 - 59 = 0. Suppose 3*v - 2*i = r - 6, 16 = 2*v - 4*i. Let l be (-6)/v*85/(-15). Is 8 >= l?
False
Suppose 0 = 5*w - 1 + 11. Let g = -1/3303 - 19811/23121. Which is smaller: w or g?
w
Suppose 62 = -f + 2*f - 2*x, 340 = 5*f + 5*x. Let n = f + -41. Suppose -