b(1). Let g = -7 + 12. Is g < h?
False
Suppose 0 = 2*t - 6 + 2. Which is smaller: 5/8 or t?
5/8
Let k = -43 - -54. Is 12 >= k?
True
Suppose -2*w = b + 4, 2*w + w + 6 = 0. Suppose 14 = 4*j + 6. Let n = j - b. Is 1 equal to n?
False
Suppose 0 = -5*r - 0*r. Let g = -281/5 + 56. Is g smaller than r?
True
Let r = 48 + -74. Do -26 and r have different values?
False
Suppose 0 = -f + 2*f. Let u be 7*4/((-12)/(-45)). Let l be 28/u - (-4)/(-6). Which is bigger: f or l?
f
Let n = -49 + 19. Let g = n - -16. Let l be (-9)/g + (-3)/6. Is 1 less than or equal to l?
False
Let c be 8/10*((-12)/(-8))/(-3). Let f be (1/2)/((-1)/2). Is f greater than or equal to c?
False
Let l(s) be the first derivative of 3*s**2/2 + s + 2. Let f be l(1). Suppose w - x + 2 = 0, w + f*x + 5 = 2*x. Which is smaller: w or -1?
w
Suppose 5*m - 3*f + 17 = 2, 0 = -4*f + 20. Let h be 3 + (-16)/19 + -2. Is h not equal to m?
True
Let f be (-24)/(-20)*3/2. Does f = 1?
False
Let k = 2.16 - 0.16. Let y = -0.1 - -0.3. Which is smaller: k or y?
y
Let t = -90.8 + 91. Which is bigger: 25 or t?
25
Let d(m) = m + 5. Suppose -5*b + b + 4*t = 28, 8 = 4*t. Let o be d(b). Suppose 0 = 3*s + 6*c - 2*c - 16, 12 = 3*s + 3*c. Is o greater than s?
False
Let j(x) = 2*x + 2*x**2 - x + 1 + 2*x. Let d be j(-2). Which is smaller: 3/2 or d?
3/2
Let c = -686.94 + 679. Let y = c - -8. Let h = -2 - -1. Is h not equal to y?
True
Let y = -0.7 + 0.2. Let f = -0.3 - -0.1. Let l = f - y. Is 1 smaller than l?
False
Let g = 448/9 - 50. Let o = 13/18 + g. Which is smaller: 0.03 or o?
0.03
Suppose -5*m - 6 - 4 = 0. Which is smaller: -3/5 or m?
m
Let z(u) = -2*u**3 - 2*u**2 + 2*u - 1. Let s be z(1). Suppose -4*m + 15 = -7*m. Is m at least s?
False
Suppose k + 0*k - 4*o = 15, 0 = 2*k + 2*o. Let c be 3 - 5 - k - -1. Suppose 3*q + u = -10, 4*q - 1 = -4*u - 17. Is q smaller than c?
False
Let c(s) = -s**3 + 14*s**2 + 16*s - 15. Let v be c(15). Suppose 0 = n - 0*n + 3*y + 20, 5*y = -n - 30. Let i = n + 27/5. Which is smaller: i or v?
v
Let n be 2/4 - (-6)/(-14). Let f(k) = k**3 - 6*k**2 - 6*k - 12. Let y(z) = z**2 + z - 1. Let o(p) = -f(p) + 2*y(p). Let b be o(9). Which is greater: n or b?
b
Suppose -6*i + 2*w = -2*i + 6, 3*i + 5*w - 28 = 0. Suppose 2*t - 2 = -u, -2*u + 5*u + 4*t = 4. Suppose u = 5*o - 9 - i. Is 2 smaller than o?
False
Let p = -3872/147 + 33/49. Let v = 26 + p. Which is smaller: v or 0.2?
0.2
Let p = -15 - -22. Let u = 7.1 - p. Is u < 6?
True
Suppose 23 = c - 0*c + 4*y, 3*y = -5*c + 30. Let a be (0 - 0/1)/1. Let s = 2 + a. Are s and c nonequal?
True
Let o(h) = -h**3 - 7*h**2 - 6*h. Let r(x) = 2*x**3 + 15*x**2 + 13*x + 1. Let f(m) = -7*o(m) - 4*r(m). Let k be f(-10). Which is bigger: k or -3?
-3
Let s = -8 + 15. Let j be ((-1)/2)/(s/4). Is 1/2 smaller than j?
False
Suppose 21*j + 48 = 19*j. Is -23 at most as big as j?
False
Let v = -5961/13 + 457. Is -3 at least v?
False
Let q = 1.1 + -0.1. Let d = -13.8 + 21.9. Let b = d + -8. Is q < b?
False
Let k = -17.8 - -18. Suppose g - 2*g = 4, 2*g + 12 = -x. Which is greater: x or k?
k
Let s be -3 + 1 + 1*2. Does -1/15 = s?
False
Let h = -1 + 0. Let y = 0.02 + 0.02. Let g = y - 0.34. Is g at most as big as h?
False
Suppose n + 5*o - 16 = 0, 3*n + 3 + 0 = 2*o. Which is bigger: n or 1/16?
n
Let o = 35153/62 + -567. Which is smaller: o or -1?
-1
Let d = -54.99 + 57. Let r = d + -0.01. Let y = 2 - 2.1. Is y > r?
False
Let g(t) = t**3 - 3*t**2 + 2*t + 7. Let b be g(4). Is 30 bigger than b?
False
Let h be 2/(-1 - 9/(-3)). Is h <= 1?
True
Let l(f) = f - 2. Let s be l(5). Is 3 bigger than s?
False
Let g = 9.9 + 7.1. Are g and 0 non-equal?
True
Let h = -3198/4559 - -32/47. Is h greater than or equal to 0?
False
Suppose -2*u + 4 + 0 = 0. Suppose 0 = -3*j - u*j + 4*w + 3, 2 = -w. Which is bigger: -2/17 or j?
-2/17
Let j(z) = 13*z. Let u be j(-1). Let c = 991/3 - 317. Let x = c + u. Which is bigger: x or 0?
x
Let s be ((-350)/(-18))/7 - 1. Which is smaller: -2 or s?
-2
Let h(u) = u - 12. Let o be h(12). Let x be 0/(5 - 2) + o. Suppose 5*q + 23 = 4*v, 2*q + 4*v + 0*v + 26 = x. Is q >= -6?
False
Let a = -5.5 - 2.5. Is a at least -8?
True
Let t = -32.1 + 32. Is t greater than or equal to 0.03?
False
Suppose 5*n = 0, 3*b - 7*b = 4*n + 48. Which is smaller: b or 0?
b
Let q = -65.4 - -65.7. Let f = -9 - -28/3. Which is greater: f or q?
f
Suppose 4*o - 3 = 5. Suppose 4*p - o = -14. Are p and -4 equal?
False
Let h(y) = -y + 9. Let m be h(7). Suppose -3*t + t - m = 0. Let s be ((-2)/(-10))/((-12)/(-8)). Which is smaller: s or t?
t
Let u be 5/(10/(-6)) - 1. Let x = u - -8. Is x at least as big as 4?
True
Let v be 1/(2*(-11)/28). Is 1 at least as big as v?
True
Let k(o) = -o**3 - 7*o**2 - o - 6. Let h be k(-7). Let m = 5 + h. Suppose -u - 10 = -m*u. Which is smaller: u or 2/3?
2/3
Let p = -537/7 + 2867/35. Let y = -47/10 + p. Which is smaller: -4 or y?
-4
Let c(a) = a**2 + 6*a - 5. Let j be c(-6). Let y(v) = -v**2 - v + 3. Let n be y(0). Suppose 6*h = n*h - 12. Is j < h?
True
Let t = -2.6 - -2.73. Let k = 0.23 - t. Is -0.01 less than k?
True
Let j(b) = -b**2 + 11*b - 7. Let v(h) = h - 1. Let l(g) = j(g) - 6*v(g). Let c be l(3). Let y be 0/(-2) - (c - 4). Which is bigger: -2/5 or y?
-2/5
Let s be (-1 - (-2)/4)/2. Let f = 28 + -28. Which is smaller: s or f?
s
Suppose -2*f + 4 = -0. Let n be 4 + -2 - (3 - f). Is 1/5 != n?
True
Let f = 13 + -12.9. Let t = 0.9 + f. Which is greater: t or -5?
t
Let w = -3 + 3.08. Let x = w + -3.08. Which is greater: x or 0.2?
0.2
Let h = 6.1 + -6. Let d = -0.6 + h. Is -1/4 < d?
False
Let k = -24 - -24.2. Is k smaller than 1?
True
Let h = -0.135 + 0.035. Which is bigger: h or 1?
1
Let w be (-3)/(-2) + -1 - 1. Let o = -19 + 13. Let f = o + 6. Is f < w?
False
Let o(f) = -f**3 + 6*f**2 - 7*f + 7. Let i be o(5). Let z be -4*(-6)/(-16)*6. Let s = -13 - z. Is i > s?
True
Let k be -2*-2*(-1)/4. Let b be k/(-10)*(-5)/2. Which is greater: b or 6?
6
Let l(t) = 2*t + 9. Let f = -8 + 18. Let b be l(f). Suppose 4*h = b - 9. Which is smaller: h or -1?
-1
Let c(k) = k**3 - 5*k**2 - k + 3. Let l be c(5). Is l less than -6/5?
True
Let v = 8 - 5. Let h = -1/6 - 7/30. Which is smaller: h or v?
h
Let c be (6 - -2)*(-1)/(-8). Which is greater: 3/38 or c?
c
Let s = -3.5 - -3.59. Which is smaller: -0.2 or s?
-0.2
Let j be 3/((-3)/2) - -3. Let x be j - 2 - (-10)/25. Which is smaller: -1/4 or x?
x
Suppose 0*s + 2*s = -4*s. Is 6/7 equal to s?
False
Suppose -f - 1 = -2*z, 5 = f + 3*z - 4. Suppose 3*b + 4*o = -13, f*o = 3*b + 2*o - 7. Let s = -7/9 + 1. Which is bigger: s or b?
b
Suppose -3 = -2*o - 9. Does o = -0.5?
False
Let m = 0.26 + -9.3. Let w = -4.04 + 4. Let u = m - w. Which is smaller: u or -1?
u
Suppose 0 = 4*u + u + b - 47, -4*u + 49 = -3*b. Suppose 5*g + 4*j + 16 = g, -g - 2*j = 9. Suppose 3*f + 5 = 4*r - g, 5*f + 3*r = -u. Is f equal to -2?
True
Let n = 1 + 6. Is 7 greater than or equal to n?
True
Let l(t) = -t. Let h be l(-1). Which is bigger: h or 2/3?
h
Let m = -926/9 + 103. Which is greater: -2/7 or m?
m
Let m = 1.3 - 0.5. Let n = -0.2 - m. Let f = 2 - 3. Are f and n equal?
True
Let g = 1/24956 + 32417837/174692. Let v = -185 + g. Which is smaller: v or 0?
0
Suppose -3*w + 14*w + 33 = 0. Is w smaller than -0.4?
True
Let t be (-22)/4 - 4/(-8). Which is smaller: -8 or t?
-8
Let y = -152 - -20. Let a be (3 - y/(-32)) + 1. Which is smaller: a or -1?
-1
Let b(f) = -3*f - 7. Let v be b(2). Which is smaller: -14 or v?
-14
Let d be 9/(-3 - 0) - -9. Which is smaller: 1 or d?
1
Let h be (-3 + (7 - 1))/1. Suppose -5*s - 6 = -v, -6 = -5*v - h*s + 4*s. Which is bigger: v or -6/13?
v
Let k be 4/14 - (-9)/(-7). Let g = -2 + k. Is -4 less than g?
True
Let v be 4/6*(-2)/8. Let w(c) = -c**2 - 6*c + 5. Let o be w(-6). Suppose o*t + 5 = -0. Which is smaller: t or v?
t
Let f be ((-8)/12)/(4/(-30)). Suppose 0 = -z, 2*z = u - f*u. Which is smaller: u or 3?
u
Let r = -2 - -1.2. Let n = r + 1. Let b = -13/56 + -3/56. Which is bigger: n or b?
n
Let f be (-2)/(-5) + (-3)/(-5). Let g(u) = -2*u**3 - 2*u**2 - 2*u - 4. Let v be g(-4). Let k = 799/8 - v. Which is bigger: f or k?
f
Let u be ((-14)/(-3) - 4)/((-2)/9). Let k be (-3)/(-2)*(0 - -2). Let q be 0 - k/((-3)/(-2)). Does q = u?
False
Let p = -119 - -211. Is p smaller than 91?
False
Let p = -5 + 5. Suppose -j = 3*i - p*i + 3, -3*j + 9 = 0. Suppose -k = -4