or 0.6?
0.6
Let m = -30 + 43. Let l = -5 - -7. Suppose -l = -3*g + 4. Is g >= m?
False
Let y = 1.55 + -36.55. Which is bigger: 5 or y?
5
Let j = -9/101 - 33707/303. Let l be -2*1/((-2)/(-109)). Let q = j - l. Is -2 >= q?
True
Let y = -24 - -20.5. Let i = y - -3.5. Are i and 0 non-equal?
False
Let r = -94/93 + 21/31. Which is bigger: r or -329?
r
Let o(d) = -d**3 + 10*d**2 + 5. Let v be o(10). Let h(b) = -2*b + 10. Let f be h(7). Let r = f + v. Is 0.3 not equal to r?
True
Suppose -6*p - 45 = 3*p. Let i be p - (-2 + 1149/(-381)). Which is smaller: i or 1?
i
Let i(l) = l**2 - 7*l - 79. Let a be i(-6). Which is smaller: -2/197 or a?
a
Let d(v) = -v**2 + 6*v - 5. Let u be d(5). Let b be (180/(-18630))/(1/3). Is b greater than or equal to u?
False
Let z be (6 - 12)*5/(-2). Suppose 19*b = z*b. Which is smaller: -1 or b?
-1
Let r = -23 + 15. Let b = r + 7.5. Let i = 0.6 + b. Which is smaller: i or -5/4?
-5/4
Let w = -3.1 - -18.1. Let s = -14.9 + w. Which is smaller: s or 10/7?
s
Let y be ((3 + -4)/1)/1*9. Let v be ((-8)/48)/(-1 - y). Which is greater: v or -1?
v
Let k = 0 - 1. Let x = 36896/3 - 12299. Which is smaller: k or x?
k
Let q be (-4)/14 - (-960)/2870. Let s = -364 - -364. Which is smaller: s or q?
s
Let i = 0.08 - -3.42. Let s = 545 - 529.5. Let q = s - i. Is q >= -2?
True
Let a be (177/6 - -3)/((-8)/16). Suppose 2*d = 7*d + 320. Is d > a?
True
Let z be (-1 - (-1 + 0)) + 19. Let c = z - 24. Let a be -3 + 1 - (c - -2). Which is smaller: 1/24 or a?
1/24
Suppose -9*l + 313 = 61. Is l bigger than 0?
True
Suppose 6*y = 2*w + 7*y + 10, 5*w + 2*y = -26. Let j be (-1)/12*-3 - 1. Is w greater than or equal to j?
False
Let z = 9409/7 - 1349. Which is smaller: -6 or z?
-6
Let w = -9.9 - 3.1. Let f = 12 + w. Is -2 != f?
True
Let p(z) = 6*z. Let g be p(-2). Let j be (-4)/(-3 + (-4 - g)). Is -5/2 < j?
True
Let w be (8 - 0)*(-30)/4. Let k = w - -44. Which is smaller: -17 or k?
-17
Let m = 69633/64 - 1088. Which is smaller: 1 or m?
m
Let x = -275.6 - -276. Suppose -5*r + 3*l + 5 = 0, -2*l + 11 = -3*r - 3*l. Is r equal to x?
False
Let h = -14.3 + -5.3. Let k = -18 - h. Let d = 0.4 + k. Do 0.1 and d have the same value?
False
Let j = 536603/194 - 2766. Which is greater: 0 or j?
0
Let t = 1 - 0. Let z be ((-21)/(-35))/(3/(-15)). Let x(s) = -s**2 - 4*s - 1. Let y be x(z). Is y bigger than t?
True
Suppose -626 = -3*c + 2*v, -5*v - 131 = -c + 69. Which is bigger: 211 or c?
211
Let g = 21 + -14. Suppose 0 = -3*o + 8*o - 95. Suppose -3*r + o = -5. Are r and g equal?
False
Let r be -1 + 0 + 1 - 15/((-75)/(-55)). Suppose 18 + 4 = -2*x. Is r <= x?
True
Let i = -146582/1095 + 3572/73. Let m = i + 85. Let r be (-1 + 2)*(-1 + 0). Are r and m non-equal?
True
Let b(g) = 2*g + 24. Let a be b(-12). Which is bigger: 12/29 or a?
12/29
Let z = -39 + 39.12. Let x = -2.08 - z. Let d = x - -1.2. Which is greater: d or -6?
d
Let d(t) = -t**3 + t**2. Let n be d(0). Suppose n*k = 5*k - 5. Is k less than 11/5?
True
Let a = -10945/112 + 688/7. Are a and -0.2 equal?
False
Suppose -6*g + 10 = 3*z - g, -3*z - 4*g = -8. Is -2/87 > z?
False
Let l = 79.8 - 3.8. Let v = 78 - l. Which is bigger: v or 16/5?
16/5
Let a(q) = q - 8. Let y be a(6). Let o be (y - 296/(-150))*-3. Let r(k) = -k + 11. Let u be r(10). Is u less than o?
False
Let x be 1 - 330/(-99)*6/4. Is x less than 43/6?
True
Let h = -5287/62530 + 14/185. Do -0.2 and h have the same value?
False
Let f = 29 - 19. Let w = 5 - f. Let c = w - -4.3. Are c and 0 unequal?
True
Suppose -3*i - 3*r + 117 = 0, -i + 99 = 2*i - 3*r. Let u = i + -39. Which is smaller: -1 or u?
u
Suppose 0 = 2*l + j + 5, 2*l = -2*j - 11 + 1. Let c be l - -1 - (-2 - -1). Suppose 3*v = -c*v + 10. Which is smaller: v or -3?
-3
Let i = 6 - 4. Let h = -9117 - -45587/5. Is h at least i?
False
Let h be ((-370)/333)/(2/(-9)). Let k(q) = q - 3. Let g be k(4). Is g at most h?
True
Let v = 23.1 + -14. Is v > 1?
True
Let u = -390.45 + 399. Let b = u - 0.55. Let h = 7/18 - -1/9. Which is bigger: h or b?
b
Let w be 45/40 + 9/(-72). Which is smaller: -5/217 or w?
-5/217
Let b be ((-116)/20)/((-74)/(-185)). Let c = 0.3 + -0.4. Which is greater: c or b?
c
Let g = -21.341 + 21.041. Let i = -11 - -8. Is i > g?
False
Let d = 35.4 + -18.1. Do 2 and d have the same value?
False
Suppose 0 = -2*k - 4*f - 10, -5*k + 4*f + 17 = -0*f. Which is smaller: k or -79?
-79
Let b = 10969/26 - 422. Let m(u) = u**2 + 19*u - 181. Let w be m(7). Which is bigger: b or w?
w
Let u = -810 - -811. Is -4.85 at most u?
True
Let k = 0.012 - 6.012. Let v = -73 - -72.9. Which is greater: v or k?
v
Let j = -1 + 1.4. Let u = j + -0.3. Which is smaller: -0.03 or u?
-0.03
Let r be (-8)/(-36) + (3 - 1105/315). Which is smaller: r or -206?
-206
Let w(r) = -30*r + 293. Let l be w(11). Let s be (-4)/(-14) - 1305/35. Is l at least s?
True
Let l = -0.1 + 0.4. Let k = l - -1.7. Let y = 105 - 103. Is k >= y?
True
Let c = 12.8883 - -0.1117. Is -0.36 not equal to c?
True
Let r = -1.3 + 1.45. Let f = r + 0.05. Suppose v = 6*v. Which is smaller: v or f?
v
Let l be ((-41)/4 - -11) + (-802)/1016. Are l and 0 unequal?
True
Let t = 0 - -2. Let m(r) = -2*r - 4. Let g be m(-6). Suppose k - 2*k - 4 = -2*f, 5*f - 2*k = g. Is f at least t?
False
Suppose 4*w - 1 = -17. Let g = 12 - 9. Suppose 4 = -g*l - 5*x - 10, -3*x = 4*l + 15. Which is smaller: w or l?
w
Let p = 4.05 + -4.05. Which is smaller: -139 or p?
-139
Let v = 58 - 54. Suppose -72 = -3*u - u + v*n, -4*u + 40 = 4*n. Which is bigger: u or 8?
u
Let v = 32.63 + -0.63. Let u = v - 32.1. Are 0.8 and u nonequal?
True
Let m(n) = -n**3 - 2*n**2 - 3*n - 2. Let q be m(-4). Let z = q + -251/6. Is 0.1 >= z?
False
Let z = 6 - 17. Let x = z - -7. Let q(s) = -3*s**2 + 18*s - 3. Let u be q(6). Which is smaller: x or u?
x
Let d(c) = -8*c + 5. Let o be d(-1). Let x be 470/20*(1 - 1/2). Which is greater: o or x?
o
Let g(w) = w**3 + 7*w**2 + 6*w + 37. Let s be g(-7). Which is smaller: s or 73?
s
Suppose 2*v + 14 = 4*b - 12, -2*v + 3*b = 21. Which is smaller: 21 or v?
v
Let r = 4 - 4. Let h = 331/76 + -17/4. Does r = h?
False
Suppose 5*n + 119 = -3*k, n - 5*n - 76 = 2*k. Let f = -29 - k. Which is smaller: f or 17?
17
Suppose 11*f - t - 9 = 13*f, -3*t - 19 = 2*f. Is -13/6 at least as big as f?
False
Let k = -469.8 + 470. Is -1.12 < k?
True
Let n = -39 + 21. Let k be (-4)/n + (-16)/72. Which is smaller: k or -1/16?
-1/16
Let g(m) = -3*m - 253. Let a be g(43). Which is bigger: a or -383?
a
Let s = -395 - -249. Which is smaller: s or -145?
s
Let a = -19 - -20. Let u = 37 - 39.59. Let f = u + 2.7. Is a less than f?
False
Suppose -4 = 4*o, 3*n - 2*o = -3*o + 11. Suppose -5*r = 3*r + 17*r. Is n smaller than r?
False
Let j be -2*(-99)/(-18) + -1 + 1. Is j bigger than -9?
False
Let t(d) be the second derivative of -d**3/3 + 12*d**2 + 2*d. Let z be t(13). Which is greater: z or -8/9?
-8/9
Let t = 0.2294 + 2.7706. Which is bigger: t or 21?
21
Suppose -49*i = -50*i + 7. Suppose -355 = i*w - 75. Which is smaller: -2/3 or w?
w
Let a be (-5)/(15/1473)*1. Let o = a - -2437/5. Are -4 and o unequal?
True
Let a(f) = -8*f**2 - 20*f + 47. Let w be a(3). Which is greater: -79 or w?
-79
Suppose u = 2*p + 2, 6*u - 3*p - 3 = 7*u. Is u bigger than -14?
True
Suppose -10*a - 10 = -5*a. Let u be ((-3)/12)/(a/104). Let i = u - 19. Are i and -7 non-equal?
True
Let r = 1.003 + -0.803. Which is smaller: -0.17 or r?
-0.17
Suppose -3*m = c - 869, -4*c + 6*c = -2*m + 586. Is m equal to 288?
True
Suppose -5*j + 3 = -2*h, -7 = 17*h - 19*h - 5*j. Let g be (18/(-195))/(4/(-5)). Which is greater: g or h?
h
Let c = -4978 - -4960. Suppose -o + 7 - 22 = 0. Which is smaller: o or c?
c
Let f = -207 - -200. Which is smaller: -44/7 or f?
f
Let b = 1051 + -3377/3. Which is smaller: -76 or b?
-76
Let r = 2 - 5. Let f = 1407 + -1406.95. Is r less than f?
True
Let q(s) = -2*s + 28. Let i be (3 - (-27)/(-6))*(2 - 16). Let z be q(i). Is z != -16?
True
Let d be ((-40)/198)/((-2)/3). Let a(r) = r**3 + 39*r**2 - 3*r - 116. Let q be a(-39). Which is smaller: q or d?
d
Let o = -4131/806 + 66/13. Let p = -2 - -2. Are p and o nonequal?
True
Let r be (2 + 1)/3 - -69. Suppose 2*k - 5*i - r = 42, -5*k + 280 = -4*i. Let h be k/171 - 8/36. Which is smaller: h or -1?
-1
Let v = 770158/81 - 9508. Are v and 0 non-equal?
True
Let f = -753 + 724. Let r be ((-27)/(-2)