/4 or s?
s
Let h be -2 + (-4*1)/(-1). Suppose 5*k - 5*z = 2*k - 3, -3*z + 9 = 0. Suppose -2*x + 5*s = -x + 8, k*x = -2*s + 12. Is x < h?
False
Let y = -1.976 + -0.064. Let k = -0.04 - y. Let m = -2.2 + k. Which is greater: m or -0.1?
-0.1
Let l be (-2)/(-3 - (-8 - -3)). Is 2/9 smaller than l?
False
Let m(b) = b**2 - 8*b - 2. Let d be m(8). Let u be (0/d + -3)*1. Which is smaller: 0 or u?
u
Let h = -6 + 12. Let x = h + -7. Is x greater than or equal to -1?
True
Let z(v) = -v - 3. Let c be z(-4). Let m = -0.1 - 1. Let n = -0.1 - m. Is n <= c?
True
Let b = 548 - 12059/22. Is b <= 1?
True
Let o = -1.6 - -1.7. Let v = -0.01 + 2.01. Which is smaller: v or o?
o
Let r = -5 - -14. Suppose 0 = 3*t + 3*c + 6, -17 = 5*t + c + r. Let n be 5/(-12) - (-2)/t. Are 0 and n equal?
False
Suppose g + 2*g + 96 = -3*j, 4*j + 5*g + 130 = 0. Let x be 12/j - 8/5. Which is smaller: -3 or x?
-3
Suppose 5*m - f + 1 = 0, 0 = 3*m - 3*f + 6 - 15. Which is bigger: m or -1/34?
-1/34
Let m = 4 - -4. Suppose m = 2*d - d. Is 9 smaller than d?
False
Let w = 8 - 4. Let x be 10/(-30) + (-16)/(-3). Which is smaller: x or w?
w
Suppose -h = 37 - 17. Which is greater: h or -21?
h
Let a = 12.5 - -2.5. Let x = -14 + a. Which is greater: -3/8 or x?
x
Let w = 12.95 + -13. Is w smaller than -2?
False
Let x = 0.02 - 0.2. Which is greater: x or 2?
2
Let b = -11 - -13. Suppose 4 = y + 8*x - 4*x, b*y + 5*x = 2. Let l = -5 - 0. Is l < y?
True
Let y = -53 - -33. Is -20 <= y?
True
Suppose 7*l = 2*l + 20. Suppose 2*c = -c + 3*n + 6, 2*c + l = -2*n. Let w = 1 - 0. Which is smaller: c or w?
c
Let b = 0 + 1/3. Let q = 0 + 5. Let y(n) = n - 6. Let u be y(q). Which is greater: u or b?
b
Let z = 74 + -80. Is 0.3 at least as big as z?
True
Suppose -3*f + 2*x = 5*x - 27, 0 = -5*f + 2*x + 17. Suppose f = -2*g + 17. Which is smaller: 5 or g?
5
Let c = 8 + -8.3. Let f = 0.1 + c. Let y = -0.1 - f. Which is smaller: -4 or y?
-4
Let a = -6.9 - -7.9. Is a less than or equal to 2/5?
False
Suppose 0 = 4*r - 1 - 31. Which is greater: 10 or r?
10
Suppose 3*w + 24 = -w. Let n be 4/(-6) - 32/6. Is w smaller than n?
False
Suppose -2*g + 13 = -5*m, 2 = 4*g - 3*g - m. Is g > 1/5?
False
Let f = 0.17 - 11.17. Let j = -8 - f. Which is greater: 0.2 or j?
j
Let f be (-2)/(-3) - 16779/99. Let o = f - -169. Let l = 3.1 + -3. Is l > o?
False
Let b be 1/((-2)/(-3))*(-22)/(-3). Which is smaller: b or 12?
b
Suppose -l + 3 = -0*l. Suppose 4*c - 3*f + 15 = 0, -f + l = 2*c - 2. Which is smaller: 2/5 or c?
c
Let r(v) = -v**3 - 3*v**2 + 3*v - 4. Let q be r(-4). Suppose -2*i + 3*f + q*f = -22, 0 = 5*f + 20. Suppose 0*a - a - i = 0. Is a > -6?
True
Let c(a) = -a**2 - 2*a + 2. Let u be c(2). Let l(g) = -g - 4. Let v be l(u). Let j be (-1)/15 - v/(-5). Is j less than -1?
False
Let r = -64/15 - -1442/345. Which is smaller: 0.03 or r?
r
Let z = 44/105 + -2/15. Let r be (2/(-3))/((-2)/3). Is r <= z?
False
Suppose 0 = -5*w - 5*q - 15, -3*w - q - 5 = q. Suppose 2*p = 3*j - 12 - 13, -2*j = 2*p. Let i be 2*(-1)/(j - -1). Which is bigger: i or w?
w
Let k(o) = -2*o + 6. Let h be k(4). Let w be 1/h + (-18)/(-4). Let x = 0 + 3. Which is smaller: x or w?
x
Suppose 3*v = -v + 32. Let d be 2/(-18)*12/v. Is d < 0?
True
Suppose -3*r = -0*r - r. Is r less than -0.78?
False
Suppose 5*l + 73 - 68 = 0. Are l and -4/11 non-equal?
True
Let b = -2 - 1. Let l(n) = n + 4. Suppose -x + 2 = 6, -4*m = -2*x + 16. Let t be l(m). Is b smaller than t?
True
Let c be 4 - 3 - 4/12. Which is smaller: 1 or c?
c
Suppose 8*r = 26*r - 846. Is r greater than 47?
False
Let y = 5 - 6. Let n = -83/9 - -9. Which is bigger: n or y?
n
Let p = -4.93 - 0.07. Let i = 0.48 + 5.52. Let f = i + p. Is 0.06 equal to f?
False
Let f = 0.3 + -0.09. Let w = f + -0.34. Let d = -0.07 + w. Is -1 at least as big as d?
False
Let v be 5*((-5)/(-1) - 11). Is -33 <= v?
True
Let f(l) = -3*l**2 + 2*l + 1. Suppose x + 0 = 2. Let y be f(x). Which is greater: -5 or y?
-5
Let s = 5 - 0. Let d be -3 - (-4)/4*s. Is 10/7 at most d?
True
Let p be (-16)/(-46)*6 - 2. Let y be 1/2 + 7/(-2). Let d be 15/10*(-2)/y. Is d at least as big as p?
True
Let c = 34 + -25. Let i(d) = -d**3 - 7*d**2 - 7*d + 3. Let u be i(-6). Is c equal to u?
True
Let u = 8 + -3. Let j(f) = -f**2 - 4*f. Let c be j(-4). Suppose 5*h - 4*h - u = c. Is 5 < h?
False
Let c = -76 + 78. Let k = 4.7 + 1.3. Let m = k - 8. Are c and m non-equal?
True
Let k(m) = -m**3 + m**2 - m + 17. Let a be k(0). Suppose z - 4 = 2*i - a, -3*i = 2*z - 16. Does i = 5?
False
Suppose 0 = 22*a + 249 + 587. Is a less than or equal to -38?
True
Suppose -5*d + 2*j - 102 = 0, -4*j + 40 = -2*d - 4. Let l be 27/5 - 12/d. Suppose g - 4*g = -l. Which is smaller: g or 3?
g
Let h = 8 - 1. Is -1 greater than or equal to h?
False
Let o be 9/(-7) + (-4)/(-14). Let u = -727/1960 - 1/245. Is o at most as big as u?
True
Let a = -4 + 0. Let w be (7/(63/(-12)))/(9/27). Is w less than or equal to a?
True
Let f be (4/14)/(1/7 + 0). Is 3/5 smaller than f?
True
Let p = 2 - 2.12. Let g = 3.88 - p. Which is smaller: 0.1 or g?
0.1
Let g = 1.8 + -0.8. Let m = 1 + 0. Let f = g - m. Is 2 less than or equal to f?
False
Let k be (-9)/15 - 68/20 - -3. Are k and -9/7 equal?
False
Let n = -16.76 - -17. Is n != -0.1?
True
Let h = 0.13 + 0.77. Let x = h + 0.1. Let w = 5/6 + -7/6. Are w and x nonequal?
True
Suppose -s - j = 4*j - 21, 2*s + 2 = j. Let q(l) = -6*l**2. Let g be q(1). Let d = g - -6. Is s greater than d?
True
Let k = -1.98 - -2. Let f = k + 0.08. Which is smaller: f or 3?
f
Suppose 6*t = 4*t - 2. Let s = -29/5 + 31/5. Which is bigger: s or t?
s
Let z = -3 - -6. Suppose 2*a = -z*a + 5. Is a greater than 2/5?
True
Let p = -6.3 - -6. Suppose -5*n - y - 1 = 0, -6*y = -y + 5. Which is greater: n or p?
n
Let b(c) = 20*c**3 - c**2 + 2*c - 1. Let t be b(1). Let p = -21 + t. Let z be 0/1 + -2*1. Is z less than p?
True
Let s = 25 + -10. Let r = 21 - s. Let p be 2/(-6) + (-4)/r. Is p bigger than 0?
False
Suppose -3*k - 2*k = -30. Let g be (-1)/(((-10)/k)/5). Suppose 5*p + 13 = g*u - 0*u, -p = 4*u - 2. Is p at most -1?
True
Let t = 519/7 + -74. Is 2/41 bigger than t?
False
Let m = 26 - 45. Is -20 bigger than m?
False
Let s be (-2)/10 + (-6)/45. Which is greater: s or 1?
1
Suppose -5*j = t + 3, -5*j - 5*t = -0*t - 5. Which is smaller: j or 4/25?
j
Let j = 30 + -29. Which is bigger: j or 0?
j
Let b be 0 + 2/((-24)/9). Which is smaller: b or -1?
-1
Let l be (1/(-2))/((-1)/(-8)). Is -3 less than l?
False
Let p(z) = -z**3 - 4*z**2 + 4*z - 5. Let f be p(-5). Suppose 0 = t - 2*q, -q - 3*q = 4*t. Let w = t + f. Is w at most as big as -2?
False
Let m be 2/6*(-3 + 3). Which is bigger: -2 or m?
m
Let h(p) = -p + 2. Let t be h(1). Is t not equal to 3/17?
True
Let m be ((-12)/(-90))/((-6)/5). Which is smaller: -1 or m?
-1
Let y = 2 - -1. Suppose c + c = 8, y*z - c - 2 = 0. Let v = 37.2 + -37. Which is smaller: z or v?
v
Suppose -8 = 2*a - 0. Let c be a/14 + (-30)/(-7). Is c at least as big as 2/7?
True
Let n = 44 - 43.97. Is n smaller than -0.4?
False
Let a = 0.8 + -1. Let o = 0.07 - -0.03. Let d = -0.4 + o. Which is bigger: d or a?
a
Let q be ((-5)/(-35))/(1/4). Let v = -2 + 2. Which is smaller: q or v?
v
Let k = -3 + -4. Let w(v) = v + 6. Let c be w(k). Which is smaller: -2/9 or c?
c
Suppose 15 + 7 = -2*t. Which is greater: t or 0?
0
Suppose 10 = 8*r - 13*r. Does r = -2?
True
Let t = -5 - -10. Let p(g) = 0*g + g + 2*g - 4*g. Let i be p(t). Is -5 greater than i?
False
Let a be 19/3 + (-7)/21. Which is smaller: 7 or a?
a
Let n be 6/12*4/38. Is n > -1?
True
Let f be (-4)/(-7) - 88/56. Which is smaller: -3/19 or f?
f
Let h(q) be the second derivative of q**5/20 + q**4/3 + q**3/3 + q**2/2 + 2*q. Let r be h(-3). Suppose 3*j - r = -1. Is 0 equal to j?
False
Let c(u) = 2*u - 3. Let l be c(3). Let o be l/((-9)/(-6) - 3). Let v(r) = -r - 7. Let m be v(-5). Are m and o nonequal?
False
Suppose 3*x = -5*r + 58 - 6, r + 4*x - 7 = 0. Let v(o) = o**2 + 17*o - 8. Let l be v(-18). Which is smaller: r or l?
l
Let a be (3 + (-6)/3)*-2. Let f be (-3 - (-28)/12)*-6. Let n = f + -7. Which is smaller: n or a?
n
Let t = -3061/6165 + -2/137. Let w = 1/9 + t. Is w > 1?
False
Let u be (-4)/((-44)/(-9)) - (-50)/(-275). Suppose -3*q + 4*q + 3 = 0. Which is greater: q or u?
u
Let d be (-3)/3 - (-2 + 6). Do d and -7/2 have the same value?
False
Let s 