
Suppose 0 - 1 = u. Let x = u - -5. Let c be 12/x + (-3)/3. Which is greater: c or -0.3?
c
Let x = 10.05 - 10. Let p = x + -3.95. Let u = p + 4. Which is smaller: 0.4 or u?
u
Let d(j) = j**3 - j**2 - 2. Let i be d(2). Suppose -1 = -3*h + u, i*h - 4 = 4*u + 10. Suppose 4*q - 7 = -4*b + 3*b, 0 = 3*b + q + 1. Is b >= h?
True
Let m = -0.1 + -0.1. Let f = -4.8 - -5. Let z = f + -0.2. Which is smaller: z or m?
m
Let w(v) = -23*v - 10. Let n be w(9). Let g = 4992/23 + n. Is g less than -1?
False
Let c be (-21)/(-6)*6/(-28). Is c at most as big as 0?
True
Let r be 1*(0 + 2) + 0. Let c = -66 + 68. Is c greater than r?
False
Suppose -4*p + 20 = p. Let y be ((p - 2) + -2)/2. Let f be ((-1)/(-9))/((-2)/(-3)). Is y <= f?
True
Suppose -5*k - 9*m - 34 = -5*m, -3*k = -5*m + 13. Do k and -51/7 have different values?
True
Let w = 2 - 2.1. Let o be 3/(-11)*2/3. Which is bigger: w or o?
w
Let l be (-4)/14 + 149/7. Let o = -103 - -187. Let j be 6/l - 87/o. Which is bigger: j or -2?
j
Suppose 4*s + 174 = -2*g, -5*s = g + 48 + 30. Let i = 649/7 + g. Let p = -2 + 1. Is p greater than i?
False
Let z = 238 + -4524/19. Is 1 < z?
False
Let w(l) = -l + 1. Let z be w(0). Let y = z + 2. Suppose -m + 2 - y = 0. Is -3 < m?
True
Let t(o) = -o**3 + 6*o**2 - o + 6. Let g be (-3)/(-1) - (-8 + 5). Let b be t(g). Suppose 2*i - 7*i = -5. Which is bigger: i or b?
i
Let d be (-6)/(-28)*8/6. Suppose 4*j - b + 4 = -1, 4*j + 3*b = 15. Suppose 2*t = -j*t. Which is smaller: d or t?
t
Suppose 0*a + 5*z = -a, -3*z = -3*a. Let n = -6494/31 - -209. Let o = -227/341 - n. Is a >= o?
True
Suppose 25 = y - 4*c + 6, -2*y - 12 = 2*c. Let k be y - (-5 - 2/(-1)). Let h be -3 + 14/k + 1. Is h less than 6?
True
Let v(f) = 2*f + 1. Let y be v(1). Suppose 4*m - 8 = -5*z, z - 4*m + 2 = -y*m. Suppose -i + z*i + 5 = 0. Is 4 <= i?
True
Let n = -0.2 + 0.2. Let x = -0.31 + 0.11. Let m = x - -0.2. Is n bigger than m?
False
Let g = 15 + -15. Let i be 2/3 - (-15)/(-9). Which is smaller: i or g?
i
Let t = -32 + 14. Is -18 smaller than t?
False
Suppose -4 = -2*t + 2. Suppose 0*z + 20 = 2*z - 4*l, 4*l + 20 = t*z. Let s = -8/13 + 66/65. Which is bigger: z or s?
s
Let j(d) = -d**3 - 11*d**2 + d + 10. Let x be j(-11). Let r = -15 - 9. Let l be 10/r + (-3)/9. Which is smaller: x or l?
x
Let c be (0 + -6 - -3) + (-37 - 1). Which is greater: c or -42?
c
Let d = 10152/19 + -534. Which is bigger: 1 or d?
1
Let p be (-17)/(-6) - 1/(-6). Let w be 3 - (1 + p)/(-2). Let x = w - 7. Which is smaller: -3 or x?
-3
Let d be 2/(-3) + 104/147. Suppose 5*s - 3*i + 8 = i, -4 = -4*s - 2*i. Which is greater: s or d?
d
Let k be (6/(-30))/((-8)/30). Let p(d) = -d + 4. Let a be p(3). Suppose 3*n = 2*o - a - 3, -3*n = 2*o - 16. Which is smaller: n or k?
k
Suppose -2*m - 17 = -27. Is 2/7 at least m?
False
Let i be 5/20 + (-50)/8. Suppose -2*d - 3*z + 10 = -14, -3*d = -4*z - 2. Let q be 8/i*d/4. Is -2 bigger than q?
False
Let g = 2 + -1.6. Let z = 2 - 1.6. Let m = z - g. Which is bigger: 0.1 or m?
0.1
Suppose 8 = -p + 10. Is 3 at most p?
False
Let c be (3 + 7/(-2))*0. Are -2/15 and c nonequal?
True
Let f(h) = h - 8. Let r be f(7). Let x be (0 + r)*(-5 - -7). Is -1/4 bigger than x?
True
Suppose 3*y - 8 = 2*y. Suppose 1 + y = -3*m. Which is smaller: m or 2/5?
m
Let a = -19 - -37/2. Let z = 2.4 - 0.4. Let m = 1 - z. Does m = a?
False
Let s(t) = -3*t + 10. Let a(m) = m - 1. Let y(k) = 4*a(k) + s(k). Let x be y(-7). Which is smaller: -3/5 or x?
x
Let n = 112 - 112.04. Which is greater: n or 0?
0
Let d(v) = v. Let j be d(-2). Let a(m) = m**2 - 5*m + 5. Let w be a(5). Let r = w - 8. Which is smaller: j or r?
r
Let g be 2 + -8 + (-1 - 1). Let v = g - -5. Let i be 2/(-1) - v/6. Is i != -3?
True
Let y be 4/24*(-6)/(-22). Are y and 1 non-equal?
True
Let x = 3.7 - 0.7. Let y = -1 + x. Is -0.1 at least y?
False
Let b = 160 + -1442/9. Let h = 2 - 2. Which is greater: h or b?
h
Let r = 3.99 + -4. Let w = -3.01 - r. Which is bigger: 1/3 or w?
1/3
Suppose -5*w + 2*q = -9 - 10, 10 = 4*w + q. Suppose 5*b = 3*m - 28, -2*b - w*b = 4*m + 21. Let y = 1 - 0. Are m and y non-equal?
False
Let f = -19486/29 - -672. Which is greater: f or 0?
f
Let k = 6 + -6. Suppose k = 3*v + 5*w - 26, 14 = -0*v + 3*v + 2*w. Suppose 4*s = v*s. Which is bigger: s or -2/5?
s
Let q = -79 + 83. Is q > 1/6?
True
Suppose 2*r = -3*s - 10, s + 5 = -0*s - r. Suppose s*k - 4*k = -12. Are k and 2 nonequal?
True
Let g = 135/4 + -34. Which is greater: g or -7?
g
Let v = 147 + -141. Is -1/12 less than v?
True
Let y = -1856/13 - -143. Which is bigger: y or -1?
y
Let o be (-12)/(-4)*(0 - -1). Suppose -c + 6 = -o*c. Suppose -3 = 4*h + 5. Which is smaller: h or c?
c
Suppose q - 3*q = 6. Let y be (-6)/(-2)*(-1)/5. Is y greater than or equal to q?
True
Let t(r) = -r**3 - 16*r**2 - 15*r + 10. Let n be t(-15). Suppose p = 3*b - 6*b - 11, n = -5*p. Which is bigger: b or -2?
-2
Suppose -w + 0*w = 4*x - 19, 2*w - x + 7 = 0. Let q be (-105)/33 - (-2 + w). Let g = -0.1 - 1.9. Which is smaller: g or q?
g
Let y(o) = -o + 40. Let c be y(16). Which is smaller: c or 25?
c
Let w be 2*1/(-3) - (-4)/(-12). Let z = -45010/11 + 4089. Let m = z - -3. Is m smaller than w?
False
Let m = -241 + 117. Which is smaller: m or -125?
-125
Let i be (36/40)/(12/(-10)). Let y(b) = 7*b**3 - 2*b**2 - 12*b - 9. Let z(u) = -u**3 + u**2 + u + 1. Let h(o) = -y(o) - 6*z(o). Let a be h(-5). Is i at most a?
False
Let j = -369541/5719 - 80/817. Suppose 2*y = -2*y - 260. Let v = j - y. Is v less than 0?
False
Let d = -29/3 - -10. Is d at most as big as 0?
False
Let s = 4 - 3. Which is greater: s or 7?
7
Let t be 6/((-11)/4 + 2). Let c be 2/t - (-91)/156. Is 1 at most as big as c?
False
Suppose 4*w - 18 = t, 0 = -2*w - 0*w + 5*t + 18. Let n be w/(-8) - 1/(-2). Suppose 2*m - 2*r - 10 = n, -m + 4 = 3*r + 7. Is 4 less than m?
False
Suppose 20 = -3*d + 5*d. Is 12 bigger than d?
True
Suppose -4*r = -2*t + 2, r + 5 = -2*r - 2*t. Is r smaller than -2/15?
True
Let g = 0.9 + -2.5. Let h = g - -4.6. Is h at least -3?
True
Suppose 0 = 2*w - 4 + 2. Is -0.03 greater than or equal to w?
False
Let y = 81 + -80. Which is smaller: -0.1 or y?
-0.1
Let c = -2 - -1. Let v(y) = -34*y**2 - 2*y + 1. Let j be v(1). Let s be j/147 - 2/(-3). Which is smaller: c or s?
c
Let l = 0.33 + -0.03. Let c = 0.34 - l. Let t = c + 0.06. Is t at most as big as 2/3?
True
Suppose -5*l = -3*c - 3, -11*l + 8*l + 4*c + 4 = 0. Which is smaller: l or 1/167?
l
Let y(r) = -r - 6. Let o be y(-10). Suppose o = -0*d - d. Do -5 and d have different values?
True
Suppose 5*i + 9 = -4*i. Let m = 340 + -4424/13. Is i not equal to m?
True
Let a = 20 + -8. Let t be (-34)/(-8) - 3/a. Is t at least 3?
True
Suppose s - 20 = 6*s. Which is bigger: s or -6?
s
Let o be 1*-1 + 2 - -2. Suppose -d - 16 = 5*b + 18, 0 = -d - 4*b - 30. Let j be 1/(o - (-38)/d). Is j at least 5?
False
Let v = -12277/27528 + -5/888. Which is bigger: -1 or v?
v
Suppose 4*x = -0*x - 8. Are x and -2/15 equal?
False
Suppose 3 = c - 3*z - 1, -5*z = c - 4. Suppose -l - 11 = -2*q, 0 = -l + c*l - q + 8. Let s be (-2 - l - -3)/1. Which is smaller: s or 0?
0
Let q be (0 - 1)*-8 - 1. Let p = 11 - q. Suppose h = p*n + 1, -4*n - 7 = -n - 2*h. Are 2/3 and n nonequal?
True
Suppose -3*p + 0*p = 6. Let s be (-22)/21 - 16/(-12). Let o = s + -11/14. Which is smaller: o or p?
p
Let a be 69/77 - 2/2. Let k = a - -2/7. Suppose 6*u = u - 5. Is u bigger than k?
False
Let s(f) = -f**2 - 9*f + 9. Let x be s(-10). Let r(d) = -d - 8. Let a be r(-5). Let h be a/6 - (-3)/4. Which is greater: h or x?
h
Let d = 9 - 16. Which is bigger: 0.3 or d?
0.3
Let j be (75/27 - 1) + -2. Let f be (-4)/4 - 2*-1. Which is smaller: f or j?
j
Suppose 2*s = s + 5, 0 = 3*t + s - 5. Which is smaller: -4/59 or t?
-4/59
Let n(s) = -s**3 + 5*s**2 - 4*s + 5. Let i be n(4). Suppose -1 - 41 = -5*d + 3*w, 0 = -4*d - i*w + 41. Suppose 6*o + d = 3*o. Which is bigger: 2/3 or o?
2/3
Let d be 0 + -4 - 14/(-4). Suppose 0 = -3*y + o - 3 - 1, o = -5. Is d less than y?
False
Let q = -0.17 + 17.17. Let l = -18.1 + q. Let y = l - -0.9. Which is bigger: 1/4 or y?
1/4
Let r = -14 - -19. Which is bigger: 6 or r?
6
Let w(a) = 4*a**2 + 2*a + 1. Let m be w(-1). Let g(d) = d**2 - 2*d - 4. Let q be g(m). Let x be 8/(-42) + 2/6. Which is greater: q or x?
x
Let o be -1*7 - (1 + -4). Let b be (4/6)/(o/(-6)). L