uppose -2*b = -3*b + 1. Let a be 28/(-7) + 1/b. Let w be a/15 - 6/45. Is -0.2 <= w?
False
Let b = -1 - 0. Let q = b + 0. Let z = -12.7 - -12.6. Which is bigger: q or z?
z
Let g = -2 - -11. Which is greater: 8 or g?
g
Suppose u + 2*u = r - 20, -4*u - 29 = r. Let z = -199/30 - -2/15. Is z less than u?
False
Let n be 4 - (-2 + 6 + -2). Suppose -5*i = 4*h - n, 3*h = -0*h - 5*i + 4. Is -3 bigger than h?
False
Suppose 1 = 4*i - 3. Is i smaller than 20/9?
True
Let v be (-2)/11 - (-7663917)/3069. Let o = v - 2497. Are o and 1 unequal?
True
Let x = -794/21 + 264/7. Suppose -6*q + q + 5 = 0. Suppose 5*k = -4*i + q + 4, -5*i - 2 = -2*k. Which is smaller: k or x?
x
Let t(g) = 4*g - 2. Let j be t(4). Suppose -d - 3*d + 2*y = -j, 0 = 2*d + 4*y - 12. Suppose -d = 3*z - 1. Are z and -0.1 equal?
False
Let r be (-44)/(-7) - (-2)/(-7). Suppose 4 = 4*z - 12. Let i = z - r. Which is smaller: -3 or i?
-3
Suppose -2*b + 276 = b. Let x be 6/(-3) - (-142)/b. Let n = -1/23 + x. Is -1/3 less than or equal to n?
False
Let l = -17 + 20. Is 2 smaller than l?
True
Let v = -49 - -75. Let j be (-2)/(-6) + (-14)/6. Let o be v/8 - j/(-8). Is o > 3?
False
Let c = -4349.97 - -4330. Let y = c + 20. Is 1 < y?
False
Suppose -5*x = -x - 3*w - 1, -5*w = -5*x + 5. Let l = 0 - -2. Let y = x + l. Is y smaller than -2/7?
False
Let t be (-8)/2 + 1*6. Let v(p) = -2*p**3 - 3*p**2 + 1. Let f be v(-2). Do f and t have different values?
True
Let n = -3 - -12. Which is greater: 8 or n?
n
Let x = 1.53 - 1.63. Which is greater: x or 6/11?
6/11
Let r be (0 + -4)*(-6)/(-8). Which is smaller: r or 1?
r
Let q(w) = 13*w + 3. Let f(p) = 3*p + 1. Let n(d) = 9*f(d) - 2*q(d). Let u be n(-3). Let y be (-24)/(-98)*(-14)/(-4). Which is smaller: y or u?
u
Let q be 16/(-48)*6/(-5). Let p = -0.4 + 0.3. Which is bigger: q or p?
q
Let t(s) = s + 19. Let l be t(0). Let q = -17 + l. Which is smaller: q or 3?
q
Let w be -4 + 42/21 + (-22)/(-10). Let f = -2 + 2. Let k = 0 - f. Are w and k equal?
False
Let c(v) = -v**3 - 4*v**2 - v - 3. Let p be c(-4). Suppose -4*a - p = 3. Are 2 and a non-equal?
True
Let n = 53.9 - 58. Let z = 4 + n. Suppose 0 = -5*i - 5*b - 10, 4*i = 5*i + 3*b + 8. Which is smaller: i or z?
z
Let b be (-8)/(-2 - (-1 - -1)). Let f(z) = 2*z - 1. Let v be f(3). Are v and b equal?
False
Let o = -5 - -3. Let c = -1.7 - -1.83. Let l = c - -1.87. Which is greater: l or o?
l
Let m = -9/2 + 31/6. Is -11 > m?
False
Let f = -12343391/111 + 111201. Let g = 2/37 + f. Which is bigger: -2/13 or g?
-2/13
Suppose -m - 6 = -2*m + 2*a, 5*m + 40 = -4*a. Which is smaller: m or -6?
-6
Suppose r - 2*r = -1. Which is smaller: r or 3?
r
Let l be 9/(6/2) + 0. Let t = -2 + l. Which is bigger: -1 or t?
t
Let m(a) = a**2 - 10*a - 11. Let f(b) = 2*b**2 - 21*b - 23. Let s(x) = 2*f(x) - 5*m(x). Let i be s(9). Which is smaller: i or -4?
-4
Let i = 12 + -6. Suppose 4*u + i = u. Let j be 3/39*4/u. Is j greater than or equal to -1?
True
Let q be (-2)/(-4)*1*2. Let s = -2 + q. Let o be 2/4*0/(-3 - -2). Which is bigger: s or o?
o
Let g(j) = -j**3 + 11*j**2 - 10*j - 10. Let n be g(10). Let d be 7/21 + n/(-6). Which is smaller: d or 0?
0
Let h = 2.3 - 2. Let j = -0.2 + h. Let c = -0.7 - -0.5. Which is greater: j or c?
j
Let h be 1/(-3)*3*-14. Is 13 less than or equal to h?
True
Let t = 49.84 + -50. Is t at most 0.1?
True
Let t = 4 + -4. Let a = 5 + -8. Let d be (a*1/5)/1. Is d equal to t?
False
Suppose -2*x + p = -160, -5*x - 407 = -10*x - p. Is 80 less than or equal to x?
True
Suppose -2*a = 2*i - 172, 5*i + 354 = 4*a + 4*i. Let j be (-1 + 86/a)*-6. Is j greater than 1?
False
Let k = 0.5 - 0.5. Let y = -0.9 - -1. Let t = y - k. Is t greater than or equal to -2/5?
True
Let n = 45 + -28. Which is smaller: n or 1/4?
1/4
Suppose 0 = -3*m + 4*f - 16, -5*f = 2*m - 4*f - 4. Suppose -s = 2*l + l + 19, 5*l + 4*s + 27 = m. Which is smaller: l or -11/2?
l
Let n(t) = -t**2 - 3*t - 5. Let h be n(-8). Let a be (-1)/10*(-6)/h. Let c = 49/75 - a. Is 0 at least c?
False
Let r = -8.285 - -0.085. Let j = -8 - r. Let c(p) = -p + 1. Let d be c(4). Does j = d?
False
Let i = 100 + -115. Is i greater than or equal to -14?
False
Let n(j) = -j + 7. Suppose 2*d - 44 = -4*w - 2*d, 4*d - 26 = -2*w. Let y be n(w). Let f be (3 - 2)*(-1 + y). Which is bigger: f or -2?
-2
Let b be 0/7*(-2)/(-4). Is -8/7 greater than or equal to b?
False
Let u = -67 + 68.07. Let y = -0.07 + u. Which is smaller: y or 1/5?
1/5
Let a be ((-1)/1)/(1/3). Suppose 0 = -2*q - b - 11, 0*q = 5*q - 2*b + 14. Which is greater: a or q?
a
Suppose 0 = -6*b - 30 - 18. Let s be (-4)/b*4 + 0. Let a(y) = y - 1. Let u be a(2). Which is bigger: s or u?
s
Let y(r) = -r**3 - 3*r**2 + 3*r - 3. Let x be y(-3). Let g be -3*((-3)/1)/x. Are -1 and g unequal?
True
Let k = 1 + -4. Let s = 0.6 + -0.9. Let v = 0.2 + s. Is k less than or equal to v?
True
Let l = 54 + -51.9. Let p = 0.01 + -2.01. Let r = l + p. Which is smaller: r or 1/3?
r
Let m be 6 + 2/((-6)/3). Suppose -m*w = -3*j + 10, -6*j + 4 = -2*j - 2*w. Which is smaller: j or 1?
j
Let r = 2 - 4. Let i = r + 1. Let w = -0.032 - -5.032. Are i and w equal?
False
Let i be ((-2)/(-5))/(4/(-10)). Let y = 37/6 + -22/3. Which is smaller: y or i?
y
Let j = 801/4712 - 3/248. Which is smaller: -1 or j?
-1
Let w = -1 - -2. Let t be 4 + (2 - 1) - -1. Suppose n = t - 5. Is n >= w?
True
Let y(c) = c - 3. Let h be y(10). Is 8 at least as big as h?
True
Let k(g) = g**3 - g + 1. Let o = 14 - 14. Let d be k(o). Which is greater: 1/8 or d?
d
Suppose 2*i - 8 = -4. Let a = 1 + 0. Let y = a - i. Which is greater: y or -1/3?
-1/3
Let a = 3 + -4. Suppose 35*x - 60 - 115 = 0. Which is bigger: a or x?
x
Suppose 4*q = 5*z - 274, 4*q - 5*q = -4*z + 228. Which is greater: z or 59?
59
Let t = 4 - 3. Let w be 1 - t/(-1 - 0). Let z = -5 - -8. Which is greater: z or w?
z
Let a = 2.82 - 2.7. Let q = -0.22 + a. Which is bigger: q or -5?
q
Let k be 3/2*384/9. Do 64 and k have different values?
False
Suppose 14*s - 17*s = -18. Let j(m) = -m + 6. Let o be j(4). Let r = s - o. Which is smaller: 3 or r?
3
Suppose p - 39 = -2*p. Suppose -5*n - 12 = -4*a, 15 + p = -4*a - 5*n. Is a greater than -3?
True
Let m = 20 + -2. Let s be 1/2 + 9/m. Let a = 0 + s. Which is smaller: -2/9 or a?
-2/9
Let a = -8 - -8.8. Let q = -1.8 + a. Which is greater: -3/4 or q?
-3/4
Let o(a) = -43*a - 79*a - 1 - 31*a. Let d be o(1). Let j = d + 764/5. Which is smaller: -1 or j?
j
Let u(l) = -7*l + 4. Let g(k) = 6*k - 3. Let o(q) = 5*g(q) + 4*u(q). Suppose -16 = -4*z - 10*c + 5*c, -4*c = -16. Let w be o(z). Is -2/13 at most as big as w?
False
Let v = -44 - -30. Which is greater: -16 or v?
v
Let q = -4 - -3. Let x = 211 + -201. Is q at least as big as x?
False
Let l = -15.669 + 15.6. Which is smaller: 1/2 or l?
l
Let z = 0.03 + -0.03. Let r = z - -0.1. Which is smaller: 3/5 or r?
r
Let o = -18 - -8. Let a = o - -8. Which is bigger: -0.1 or a?
-0.1
Let w = 2.05 - 2. Let j = 0.89 + -4.94. Let m = j + w. Is 0 greater than m?
True
Suppose -2*l = -d - 3, 0 = 4*d - 3*d + 3. Let r = 0 + l. Which is smaller: r or 2?
r
Suppose 0 = -2*m - 2*m. Is -1/6 at most m?
True
Let h = 0.8 - -3.2. Which is smaller: 1/2 or h?
1/2
Let s(d) = 2*d - 1. Let i(h) = h. Let b(o) = -3*i(o) + s(o). Suppose -5*u + 8 = -z - 0, 5*z + 2*u = -13. Let q be b(z). Which is smaller: q or 1/2?
1/2
Suppose -3 = -5*h + 6*h. Let i = -3 - h. Which is smaller: -4 or i?
-4
Let m be (4/6)/(10/(-6)). Which is bigger: m or 0?
0
Let u = 0.3 + 6.7. Let j = -11 + u. Which is bigger: j or 1?
1
Let d be 219*1*4/(-30). Let w = d + 154/5. Let v = 2 - w. Which is smaller: v or -1?
-1
Let l be ((-3)/2)/((-3)/(-18)). Is l >= -10?
True
Suppose 0 = -4*d + 9 - 1. Let h = -54 - -53. Which is bigger: h or d?
d
Let i be 4 - (2 - 0 - 0). Let v(o) = 5 - 2 - 4 + o**i - 6*o. Let p be v(6). Which is greater: 1 or p?
1
Let b = 1314/7 - 188. Let h = -4 - -7. Suppose 17 = -5*f + h*d, 2*f + 4*d - 7 = 7. Does b = f?
False
Suppose 5*f - 44 = -6*v + 2*v, 0 = -3*v + 5*f - 2. Which is bigger: v or 7?
7
Let b = 1.4 - 1.3. Which is greater: b or -56?
b
Let z = 37 - 38. Which is smaller: z or 4?
z
Let q be 15/(-4)*12/(-9). Which is bigger: -2 or q?
q
Let p be ((-2)/6)/((-1)/(-3)). Let u = 25 + -25. Which is greater: p or u?
u
Let g be 6/(-12)*7/(14/24). Which is bigger: g or -5?
-5
Suppose 16 = -n - m, -3*m +