-1)/2. Let u be (0 - (1 - 2)) + q. Is u at most as big as 0?
False
Let v be (-21)/(-24)*9/(-21). Let y = -1/8 + v. Which is greater: y or -0.6?
y
Let v = 72/77 + -15/11. Is v > -1?
True
Let u = 2.24 + -2.1. Let a = 0.06 + u. Which is smaller: 0 or a?
0
Suppose -5*i - 66 + 71 = 0. Let k = -3 - -4. Is k at least as big as i?
True
Suppose 0 = 2*s - 3*o + 3, 11 = 5*s + 2*o - 29. Which is greater: 7 or s?
7
Let c = -187.61 + 188. Which is smaller: 0 or c?
0
Let i be -1*1 - (17 - 20). Which is smaller: 1 or i?
1
Let z(q) = q**3 + 3*q**2 + 3*q. Let a be z(-2). Let n be 2 - ((-4)/18 - a). Is -1 at least as big as n?
False
Let h be (-8)/(-20) + (-26)/(-10). Is h < 3?
False
Suppose -3*x - x = 0. Let i = 13/3 - 269/60. Let p = 13/20 + i. Which is smaller: p or x?
x
Suppose -2*y - 2*o + 4 = 0, 0 = -5*o - 1 - 4. Let d be 6/(9/y) - -2. Suppose -2*l - d*g = 0, g - 2*g = -4*l - 18. Is l >= -5?
True
Let c = 8 + -8.3. Suppose -5*i - s - 4*s + 5 = 0, -6 = -3*s. Let t be (-3)/5 + i/(-5). Which is bigger: c or t?
c
Let c = -260.944 + 259. Let t = 0.046 - c. Let i = t + 0.01. Are -0.1 and i non-equal?
True
Let w be 2*2468/(-40) + -3. Let i = w - -126. Is 1 < i?
False
Let j = 169 + -848/5. Let p be 2 + 2/(-4)*-4. Suppose 9*x - p*x = 0. Are x and j unequal?
True
Let o = -56 - -66. Which is greater: 43/5 or o?
o
Let o = 133 + -8112/61. Is 0 less than o?
True
Let s = -0.8 + -0.2. Let r = -32 - -31. Let c = s - r. Which is greater: 0.1 or c?
0.1
Suppose -5*t = 2 + 3. Let b = -847/13 - -65. Is b at least t?
True
Let g = -8 + 14. Suppose 0 = 5*j - g + 21. Let p = 0 + j. Are p and -3 equal?
True
Suppose -14 + 2 = 4*v. Let o = v - -4. Is o bigger than -0.2?
True
Let w be 22/6 - 2/(-6). Suppose 5*z = w*z. Is 0 >= z?
True
Let k = -109 + 107.94. Let u = k - -0.06. Let m = u + 3. Do -0.3 and m have different values?
True
Let v = -1.4 - -1.38. Is v <= 1/4?
True
Let i = 49 + -49.1. Is 4 smaller than i?
False
Let u(j) = -j**3 + 6*j**2 - 4*j - 12. Let h be u(5). Let z be -1 - ((-98)/(-16))/h. Which is smaller: z or 0?
z
Let w be 258/(-54) + 2/(-9). Let q(n) = -n. Let b be q(w). Is 2 >= b?
False
Let m = 20 - 46. Which is bigger: -27 or m?
m
Let d be (2 - 3)/(2/92). Which is greater: d or -45?
-45
Let z be (-51)/85 + (-1)/(-5). Is 0 less than z?
False
Let c = 2/55 - 59/110. Let g be ((-4)/2 - -3)*(3 + -5). Which is bigger: c or g?
c
Let x = 0.219 + -0.119. Is 3.5 at most as big as x?
False
Let u(j) = j**3 - j**2 + 2*j + 3. Let k be u(0). Which is smaller: 0.9 or k?
0.9
Let r be (275/102)/(-5) - 6/(-12). Which is smaller: r or -1?
-1
Let i = 0.023 - 23.023. Let w = 22 + i. Does w = -0.1?
False
Let a be 47*(-1)/((-2)/14). Let l = -2307/7 + a. Is l less than or equal to 0?
True
Let m = 0.008 - 0.408. Is -8 equal to m?
False
Suppose 3*w + 10 = 1. Do 1 and w have different values?
True
Let z = -0.7 - 3.3. Is z less than or equal to -0.1?
True
Suppose -5*q - 7 = -2*c, -2*q + 3 = 5. Is -2/121 <= c?
True
Suppose -4 + 3 = -k. Let t(n) = -3*n**3 + 2*n**2 + 2*n + 1. Let d be t(-1). Suppose 0*u - 3*v + 11 = -d*u, -3*u - 4*v + 23 = 0. Is k smaller than u?
False
Let m = 2.8 + -3. Let d = -7.7 - -7.7. Do d and m have different values?
True
Let s be (20/(-3))/(1/(-3)). Suppose u - s = -3*u. Suppose u*b - 3 = 2*k, -2*k + 3*b = -5*k + 6. Which is smaller: k or -0.1?
-0.1
Let t be ((-10)/4)/(1/(-2)). Which is smaller: t or 3?
3
Let v(i) = -i + 4. Let j be v(7). Let u be 6 + j - 24/9. Which is smaller: 1/4 or u?
1/4
Suppose -4*m + 3 = c - 14, 4*c - 13 = -5*m. Suppose -20 = -5*f - r, 3*r = -m*f - 0*r + 20. Is f at most 4?
True
Let b(k) = -k**2 + 4*k + 3. Let x be b(7). Let f = 128/7 + x. Which is smaller: f or 1?
f
Let o be 2/18 - 1121/(-684) - 2. Is 103 equal to o?
False
Let w = 73 - 96. Is w > -22?
False
Suppose 2*y - 26 = -0*y. Suppose 0 = -4*t + y - 5. Suppose 0 = 3*c + 4*v + 5 + 3, t*v + 4 = -c. Which is bigger: c or 1/3?
1/3
Suppose -2*f = -6*f - 4. Suppose 4*b - 360 = 2*b. Let x = 1258/7 - b. Is f greater than x?
False
Let o(v) = -v**3 - 11*v**2 - 2*v - 23. Let s be o(-11). Is -1/114 at most as big as s?
False
Let r(d) = d + 1. Let y be r(-1). Let z = 342 - 335.14. Let h = z - -0.14. Is y greater than h?
False
Let x = 0.2 - 1.2. Let b = x - -1. Let g = 0.1 - 0. Are g and b nonequal?
True
Let o be (-10)/28 + (-4)/(-16). Which is smaller: o or -1?
-1
Let q(b) = -b**2 + 6*b - 6. Let u be (10/15)/(4/30). Let j be q(u). Which is bigger: j or -0.1?
-0.1
Let b = -0.177 - -3.177. Let g = -1 - -2. Is g at most b?
True
Let x(q) = q**2 + 3*q - 4. Let h(j) = -j. Let v(m) = 3*h(m) - x(m). Let u be 9/3 - (8 - -2). Let n be v(u). Which is bigger: -2 or n?
-2
Let x be 6/(-3) - (1 - (-135)/(-24)). Which is bigger: 4 or x?
4
Let c = 6.98 - -0.02. Let i = -7.6 + c. Let l = i + 0.7. Is 3 greater than l?
True
Let v be 2/10 - 391/(-170). Let h = 1 + 3. Which is smaller: h or v?
v
Suppose 4*z = -a - 14, -2*a - 5*z + 0 = 13. Suppose 2*p + 8 = 5*w, -3*p + a*p = -12. Which is bigger: 5 or w?
5
Let i(r) = r + 7. Let p be i(-3). Let a be 0 - p - 6/(-3). Let o = -1 + 1. Which is greater: a or o?
o
Let x = 135 + -134.4. Is -2 greater than or equal to x?
False
Let n be -1*1 - (-2 - 1). Let l = -45 - -69. Suppose -k + l = 3*y + 2*y, -n*y - 12 = -5*k. Is k smaller than 4?
False
Let o = 192 + -10369/54. Is -1 smaller than o?
True
Let n(l) = l**2 - 9*l + 12. Let h be n(7). Let r be 2 + h - -2 - 1. Let j be (-4)/(-14) - (-5)/(-7). Is j > r?
False
Let x(q) = q**2 + q - 1. Let b be x(1). Is b greater than 2/69?
True
Let l(s) = 1 + 5 - 2*s - 6*s - 4*s**2 + s**3. Let g be l(5). Let j be 2/(-3) + (-6)/g. Which is bigger: 1 or j?
1
Let i(v) = -2*v**3 - 6*v**2 - 3*v. Let b be i(-4). Which is greater: b or 45?
45
Let r(p) be the third derivative of -p**5/60 - p**4/2 + 2*p**2. Let q be r(-12). Does q = 10/9?
False
Let u(g) = g**3 - 3*g**2 - 4*g + 4. Let v be u(4). Let r be -5*-3*6/(-9). Let j = 13 + r. Which is smaller: v or j?
j
Let g = 0.2 + -9.2. Which is smaller: g or -0.1?
g
Let o = 0.53 - 0.76. Let m = 0.03 + o. Which is bigger: m or 4?
4
Suppose 4*s + 25 = 5*r, -2*s - 4*r + 29 = -7*s. Let n(f) = -f + 0*f + 2*f + 10. Let i be n(s). Is i equal to 5?
True
Suppose l + 3*l - 12 = 0. Suppose -u = 3*d + l, -3*u + 5 = -2*u - d. Suppose 0 = 3*g + u*f - 3, -3*f + 0 = -4*g - 3. Is g >= 1?
False
Let h be 4/48*-4 - 454/15. Which is bigger: h or -31?
h
Let z = 241 + -56. Let x = -1292/7 + z. Let p = 0 - 1. Which is bigger: p or x?
x
Suppose d + 3 - 5 = 0. Suppose 2*t + d = f, -2*f + 4 = -0*t + 2*t. Let w = 2/331 + 652/1655. Are t and w nonequal?
True
Suppose -b - 110 = 2*y + b, 0 = 5*y - 3*b + 267. Is y less than or equal to -54?
True
Let p(l) = -6*l + 42. Let r be p(7). Which is bigger: r or 1?
1
Let g = 2133/10 - 213. Let n = 82 - 406/5. Let m = n - g. Is -5 not equal to m?
True
Suppose 408 = -4*y - 14*u + 10*u, 3*u = -4*y - 403. Which is bigger: y or -98?
y
Suppose 0 = -x - 34 + 3. Is x < -31?
False
Let r be 30/9 + -1 - 2. Which is smaller: r or 1?
r
Let t be (7/2)/((-3)/(-6)). Suppose -3*z + 13 - t = 0. Is z equal to -0.4?
False
Let g = 3 + -14. Let x(o) = 16*o - 16. Let s(m) = 3*m - 3. Let n(k) = g*s(k) + 2*x(k). Let h be n(1). Is h > 2/7?
False
Let m = -503/5 + 101. Let i = 31 + -35.08. Let o = i - -0.08. Is m > o?
True
Let c(d) = 4*d - 7 + 2 - 3*d - 2*d. Let u be c(-7). Which is smaller: u or 8/9?
8/9
Let u be (35/(-14))/(1/(-6)). Let g be u/105 + (-10)/(-28). Let v be (0/1)/(2/1). Which is smaller: v or g?
v
Let z = 1.1 + 6.9. Let r = -18 + z. Let n = 6 + r. Is n at most as big as 0.1?
True
Let s be (4/3)/(22/(-6)). Is 1 less than s?
False
Let d = 20 - 19. Let j = 25.9 + -27. Let k = j - -0.1. Is k != d?
True
Let h = -3 + 4. Suppose h = -3*x + 13. Suppose -2*n + x = 2*n. Are 1 and n non-equal?
False
Let g = 1/122 + -249/610. Do 1 and g have the same value?
False
Suppose -4*u + 3*c - 79 = 0, -2*u - u + 3*c - 60 = 0. Let s = u - -15. Suppose -5*b + 12 = -b, 4*r = -b - 9. Is r not equal to s?
True
Let d = -21.2 - -12. Let m = -16 + 25. Let r = m + d. Which is smaller: r or 0.3?
r
Let q be (-50)/(-156) + 1/(-6). Is -0.3 bigger than q?
False
Let y = 67 + -69. Which is greater: y or 1.2?
1.2
Let d = 0.08 + -0.18. Let p = 295/592 - 30/37. Let s = -3/16 + p. Is d not equal to s?
True
Let z be (-21)/9 - (-2)/6. Let o = z - -3. Let u be 2 - (2/o