w + 4 - 11, 4*m = -2*w. Let u(v) = 2*v**2 - 1. Let g be u(m). Let r be (-10)/8 - (2 - 3). Are r and g unequal?
True
Let t = 38/7 + 267/14. Is 26 != t?
True
Let v = -6 + 18. Suppose 5*q + 4*k = q - v, -4*q + 3*k = 19. Is -1 smaller than q?
False
Let m = -46 + 45.9. Are -0.16 and m equal?
False
Suppose -x - 3 = -2. Let t be (4/(-8))/((-2)/(-4)). Is t >= x?
True
Let w = -24 + 24. Is w smaller than -2?
False
Let p be -3 - (-3 + (1 - -2)). Let g be -1 - (-6)/3 - p. Suppose g*q = -2*f - 2, -4 = 5*f + 2*q + 9. Is -8/3 less than or equal to f?
False
Let n = 149/2 + -77. Let h = n + 11/4. Is h greater than -2/3?
True
Suppose 0 = 4*f - 12, 44 - 11 = -3*x + 4*f. Let p = x + -2. Let z = p + 6. Is -4 at most as big as z?
True
Suppose 0 = 9*m + 2*m + 275. Are m and -25 nonequal?
False
Suppose 5*j = 3*j + 4. Suppose j*b = -2*l - 2*l + 14, 0 = -5*l - 2*b + 15. Are 1/7 and l non-equal?
True
Let b = -5/49 + -215/294. Let g = -5/6 - -4/3. Let s = g + b. Which is smaller: s or 1?
s
Let i be 1/((-66)/(-21) - 3). Let w be -9 + i - 3*-1. Is -1 greater than w?
False
Let a = -44 - -63. Is 2/5 smaller than a?
True
Suppose 4*h = -a + 33 - 7, 3*h - 5*a = 8. Let s be (-3)/(-6) + h/(-4). Which is bigger: s or 0.2?
0.2
Let j be 8*(85/25 + -3). Is j less than 2?
False
Suppose -5*a - 10 - 4 = s, -3*s + 2*a - 25 = 0. Is s < -7?
True
Let s = 9.9 + -10. Let f = -0.2 + 0.2. Let x = f + s. Which is greater: x or 2/13?
2/13
Let v = -0.05 + 6.05. Let o = v + -9. Which is smaller: o or 1?
o
Let a be 2*2/(-8)*0. Let b be (-31)/2*(a - 2). Suppose -3*i = 2*i + 4*f - b, 5*i - f - 11 = 0. Is i greater than 2?
True
Let h = -59 - -237/4. Let o be ((-3)/(2*12/(-8)))/(-1). Which is bigger: h or o?
h
Suppose 0 = -3*d - 2*d. Which is smaller: d or -2/13?
-2/13
Suppose 2*d + 5 - 17 = 5*o, -o = 2*d. Suppose -2*g = 2*g - 48. Suppose 0 = -5*w - g - 3. Is w smaller than o?
True
Suppose 4 + 1 = -5*z. Let k be (z - 1) + (-3)/(-1). Let g be (k/(-2))/(4/(-6)). Which is bigger: g or 1?
1
Let b = 14 - 9. Let j = -3 - -6. Suppose -8*z + j*z = 5. Which is bigger: b or z?
b
Let h be 36/(-15) - 3/5. Suppose -k + 9 = -4*k. Do h and k have the same value?
True
Let p = 0.07 - -0.01. Let n = 0.02 + p. Let l = 0.4 - 0.3. Does n = l?
True
Suppose u = 4*b - 2, 3*b = -2*u - 32 - 16. Let g be (2 + 0)*u/4. Is -8 greater than g?
True
Let j = -2/43 - -223/172. Which is smaller: j or 2?
j
Let h = 9 - 8. Which is greater: -1 or h?
h
Let g(v) = -2*v - 16. Let q be g(-7). Is q at least as big as 0?
False
Suppose 7*g - 4 = 6*g. Suppose -4*k + 73 = 5*f, -2*f + 0*k + 34 = g*k. Which is bigger: f or 12?
f
Suppose -4*y = 2*z + 4, 7*y = 4*z + 3*y + 8. Which is smaller: -3 or z?
-3
Suppose 5*l - 20 = l - 3*t, 3*l + 5*t = 26. Let m be l/6 + 2/(-3). Which is greater: m or 0?
0
Suppose -4*c = -6 + 2. Let d(x) = x**3 - 3*x**2 - x + 3. Let m be d(2). Let s be m/28 - 5/35. Which is bigger: s or c?
c
Let j = 2 + -3. Let f = -6 + 9. Let a be 2/(-4) + 0/f. Which is bigger: a or j?
a
Let s = 0.26 + -0.36. Which is bigger: s or 11/6?
11/6
Let b = 2.7 + -2.6. Is b at least as big as 10?
False
Let b = -0.5 - -0.3. Let x = 0.96 + -1. Let r = x - -0.04. Which is bigger: b or r?
r
Suppose -20*v = -16*v. Are -1 and v equal?
False
Suppose -4 = -13*r + 11*r. Which is bigger: r or 2/3?
r
Let n(h) = -h**3 + 2*h**2 + h - 1. Let g be n(3). Let f = g + 7. Which is smaller: -2/25 or f?
-2/25
Let t be (-6)/(-9) - 12/18. Do t and -2/143 have the same value?
False
Let l be 4/(-87)*(-6)/4. Is l less than 0?
False
Suppose 0 = -0*n + 3*n. Let p = 2 - 2. Are p and n equal?
True
Let t be 2 + -13 - 8/(-2). Let c = 12 + t. Let n = 1 + -2. Is n less than c?
True
Let t(y) = -6*y. Let r be t(1). Let l = -24 + 17. Let v = l + 2. Which is greater: v or r?
v
Let x = -1118/9 + 124. Suppose 2 = -5*l + 7. Which is smaller: l or x?
x
Suppose 3*d - 6 = d. Let m be (-66)/18 - (-2)/3. Let s be -2 + 0 + d + m. Which is smaller: s or -1/2?
s
Let w be (-48)/9*(-3)/2. Let u = -6 + w. Let n be (-1)/(1/((-2)/2)). Which is smaller: u or n?
n
Let t = 2 + -4. Suppose -3*s = s - 336. Let g be (-4)/14 - 18/s. Which is bigger: g or t?
g
Let o = -6 - -7. Is o equal to 8/9?
False
Let i be ((-51)/(-24) - 2)*2. Which is greater: i or 0.1?
i
Let y = -2 - -3. Let o be (-8)/12 + (-21)/(-9). Which is bigger: y or o?
o
Let j(b) = b**3 + 6*b**2 + 6*b + 4. Let u be j(-5). Let p = 1 + u. Let f(k) = -k**3 + 8*k**2 - 11*k - 4. Let l be f(6). Which is smaller: l or p?
p
Suppose 7*q = 2*q. Let d be (-126)/122 + -2 + 3. Let w = 65/122 + d. Are w and q non-equal?
True
Suppose -4*m - 9 = -17. Is 5 greater than or equal to m?
True
Let u = 139 + -136. Which is bigger: 17/4 or u?
17/4
Let p be ((-9)/(-27) + (-2)/12)/(-9). Is p less than 1?
True
Let m be 9*(-1 - (-5)/3). Suppose 29 = -4*c - a, 3*a = -5*c - 51 + m. Let b = 2 + c. Which is smaller: -3 or b?
b
Let j(c) = c + 13. Let b(i) = -i - 4. Let w be b(5). Let n be j(w). Suppose 0 = 2*u - 4*u + 2*z + 2, 2*u = -4*z + 20. Is n less than or equal to u?
True
Suppose 4*a = 3*t + 17, -22*t = -18*t + 5*a + 2. Let v(o) = 2*o + 1. Let b be v(2). Let m = b - 9. Is m != t?
True
Suppose 9*l - l = 0. Which is greater: -2/55 or l?
l
Let w be (-8)/14*3/24. Let d be 2/(-4)*(-1 + 7). Let x be ((-2)/(-3))/(2/d). Which is bigger: w or x?
w
Let n(g) = g**2 - 6*g - 13. Let l be n(-6). Is 60 >= l?
True
Suppose 4*n - b = -6, n + 4*n + 12 = -b. Is n greater than or equal to -13/7?
False
Let h = 0.09 - 0.03. Are h and -7 non-equal?
True
Let r = 24 + -29. Is r smaller than -5?
False
Let n(s) be the second derivative of -s**3/6 + s**2 + 7*s. Let f be n(1). Which is smaller: f or 6/11?
6/11
Let v = 24.1 + -14. Let r = 10 - v. Is 4 greater than r?
True
Let l be -2*2 + (-22)/(-11) + 3. Is l less than 2?
True
Let y(s) = s. Let x be y(1). Suppose 3 = 4*t + 2*w - 3, 3*t - 12 = w. Let a be t/(-2)*(-26)/(-117). Which is bigger: a or x?
x
Suppose 2*v + 5*d - 10 - 35 = 0, -3*v - 3*d + 54 = 0. Let i be 3/v + 16/70. Suppose 0*o + 3*x - 6 = -3*o, 3*o = 3*x - 12. Which is smaller: i or o?
o
Suppose 8 = -l + 5*l. Let c(y) = 4*y**2 - 5*y - 3*y**2 - 5*y**2 - 1 + y**3. Let x be c(5). Which is smaller: l or x?
x
Let g be 32/(-10)*120/(-16). Do g and 23 have the same value?
False
Let b = -5 - -4. Let y = 7 + b. Let p be (-2 + (-2)/(-4))/y. Which is smaller: -0.1 or p?
p
Suppose 3*d - 4*m - 41 = 0, 0 = d - 2*m - 0*m - 17. Which is greater: -2/5 or d?
d
Let g be (-18)/(-30) - 69/15. Which is smaller: g or 1?
g
Let b(z) = 7*z**2 + 2. Let a be b(2). Suppose 4*f + 23 = -3*l + 2*f, 2*l + 5*f = -a. Which is greater: l or -3?
-3
Suppose -27 + 5 = 2*v - 4*y, -5*y = 4*v - 8. Which is smaller: v or -4?
-4
Let a be (1 - -1)/(6/24). Suppose f = a*f. Which is smaller: -7 or f?
-7
Let f = 9 + -9. Suppose f = w + 9 + 4. Are -12 and w equal?
False
Suppose -n + 0*n = 2*q - 2, 2*q + 2*n = 6. Let a = 175 - 2273/13. Which is greater: a or q?
a
Suppose s - 4 = -12. Suppose 15*y - 18*y - 21 = 0. Which is bigger: s or y?
y
Let u(y) = -y**3 + 3*y**2 + 6*y - 9. Let i be u(4). Is i smaller than -3/26?
True
Let h be (-4)/(-8) - 6/(-4). Let s = h + 0. Let a be ((-9)/3 + s)/(-1). Which is bigger: 2 or a?
2
Let b be (-2)/4 - (-234)/(-12). Let i be 3/(-4)*(0 + b). Let c be 14/20 - 3/i. Which is greater: c or 0?
c
Let c be 0*1*(-5)/(-10). Is c >= -1/50?
True
Let q(h) = h**2 - 5*h + 5. Let x(r) = -2*r**2 + 11*r - 11. Let t(c) = -5*q(c) - 3*x(c). Let d be t(7). Is d at least as big as -1?
True
Let p = -0.2 - 2.8. Let u = -0.075 + 0.275. Which is bigger: u or p?
u
Suppose 88 = -0*r - 4*r. Is -22 <= r?
True
Let r be ((-1)/(-2))/(1/(-7)). Let f(z) = 4*z - 72. Let j be f(17). Which is smaller: r or j?
j
Suppose 5*v - 13 = -28. Which is bigger: -7/3 or v?
-7/3
Let d be (-1 + 1)/(-26 - -23). Which is smaller: -22/17 or d?
-22/17
Let u = 267/161 + -11/7. Is u at least 0?
True
Let s be (-22)/18 - (-10)/45. Suppose 0*w = -5*w - 5. Let q = w + -1. Is q not equal to s?
True
Let k = -0.15 + -8.85. Are -1/4 and k nonequal?
True
Let p = -632/117 - -50/9. Let j be -1 + (2/(-1) - -1). Let m be j/1 + 6/2. Which is bigger: m or p?
m
Let u be (-2)/8 + 9/(-12). Let n = -364/2505 + 2/167. Is n bigger than u?
True
Let b = 5.2 + -5. Is 1/6 greater than b?
False
Let u = -4.07 + 4. Let g = -0.03 + u. Is g not equal to -6?
True
Let o = 1 - 1. Suppose -2*v - 13 