= 3*g + g. Is g less than or equal to 3/4?
True
Let t = -0.08 - -0.18. Let b = -3.1 - -4. Let c = b + 0.1. Is t greater than c?
False
Let z = 16.9 + -17. Which is smaller: z or 0.2?
z
Let y(d) = -d**3 - 4*d**2 - 5*d - 2. Let j be y(-3). Suppose 0*p - 1 = v + 3*p, j*p - 4 = 4*v. Is v at most 2/11?
True
Let d(y) = y**2 - 18*y + 38. Let k be d(18). Are 38 and k unequal?
False
Let h be (-150)/36 + 4/1. Suppose 4*a = -3*w + 2*w - 12, -a = 3. Do w and h have different values?
True
Let a = 4 + -2. Let q = 13 + -8. Is q equal to a?
False
Let x = -8 + 23/3. Let w(a) = a - 5. Let b be w(6). Suppose -5*o = -6 + b. Which is greater: x or o?
o
Let s = -454.11 - -452. Let b = s - -0.11. Which is bigger: b or -2/5?
-2/5
Let y = 4 + -13. Let j be (-3)/(-13)*(-3)/y. Which is smaller: 0 or j?
0
Let q = 17 - 19. Let f = 6 - 11. Are q and f non-equal?
True
Let c(a) = -4 + 5 + 21*a + 2 + 3. Let f be c(7). Let m = f - 609/4. Do m and 2 have the same value?
False
Suppose 2*k - 25 = -3*k. Suppose k*a - 10 = 5. Suppose 2*g = -5 - a. Is g smaller than -3?
True
Suppose -j = -2*j - 1. Let q be 9/(-15) + (-1 - j). Suppose 0*a - 5*d = -2*a - 10, 0 = -3*a + 3*d - 6. Which is bigger: q or a?
a
Let t be (-11)/22 + 1/(-2). Is t at most as big as -2/33?
True
Let b = -1 + -6. Let p = b + 3. Let v = -5 - p. Is v bigger than -1?
False
Let q = 0 + 0.07. Let s = q + -0.57. Which is smaller: 1/2 or s?
s
Suppose -4*i = -2*c + 20, 3*c - 2*i - 8 = 6. Is c at least as big as 6?
False
Let g be 1/(-3 - -2) + 13. Let j = 38 + -25. Which is smaller: g or j?
g
Suppose d = -d. Let m = 13 - 8. Suppose 0 = -4*n + n, 0 = -m*o - 2*n + 5. Is o not equal to d?
True
Suppose o = -3*m + 29, 5*o - 109 = -0*o - 3*m. Let t = o - 11. Let f be (1/9)/(3/t). Which is bigger: f or -0.1?
f
Let g(v) = -v - 10. Let x be g(-12). Let n(i) = i**3 + 4*i**2 - 6*i - 5. Let b be n(-5). Which is bigger: b or x?
x
Let u be (-9)/(-15) - (-84)/10. Suppose -3*w = -9, 0*v + v = -3*w + u. Which is bigger: v or -2/15?
v
Let l = 1.39 + -1.3. Let n = l - 0.79. Let m = n - 0.3. Is m != -3?
True
Let w(r) = r**3 - 5*r**2 - r + 5. Let u be w(5). Is u less than or equal to -1/10?
False
Let v be 2/(-6) + (-4)/(-3). Suppose -38 = 5*n - 13. Let q be n/20 + -2 + 2. Which is bigger: v or q?
v
Suppose -3*x + 2*x = -2*p + 6, 4*x + 3 = p. Let r = 8 - 5. Suppose r*y - 4 = 8. Is p bigger than y?
False
Suppose -c + 2*c + 4*s = -10, -3*c - 10 = 2*s. Let w = 0.2 - 0. Which is smaller: w or c?
c
Let a = -112 - -107. Which is smaller: a or -4?
a
Let n be (-1)/3 + 1/(-6). Let u(b) = -4*b**2 - 2*b + 1. Let w be u(-1). Which is smaller: w or n?
w
Let o = 0 - -1. Let z = -0.4 + -0.1. Let x = -0.7 - z. Are x and o equal?
False
Let s(g) = -2*g - 2*g + 14 + 5*g. Let c be s(-14). Let j be (-2)/(-4) - 23/38. Is c greater than j?
True
Let b(x) be the first derivative of -x**3/3 + 9*x**2/2 + 3*x + 4. Let h be b(9). Is h at least as big as 4?
False
Let i be -1 - -2*(-6)/(-4). Let d = i - 2. Suppose 5*c - 10 = 4*h, -4*h - 4*c = -2*c - 4. Is h >= d?
True
Let u = 60 - 11. Is 48 < u?
True
Suppose 0 = -4*g - 2*x - 8, -4*x = 3*g - 3 + 4. Which is smaller: -18/5 or g?
-18/5
Let c(g) = -g**3 + 5*g**2 + 2*g + 1. Let x be c(3). Let b be 5/x + (-44)/70. Which is bigger: 0 or b?
0
Let o = 5 + -1. Let y = -1.8 - 2.2. Let w = o + y. Are w and 1 nonequal?
True
Let z(h) = 12*h**2 + 2*h + 1. Let k be z(-1). Which is smaller: 0 or k?
0
Let i be ((-2)/6)/(1/(-3)). Let k be ((-2)/20)/(2/((-8)/2)). Is i less than or equal to k?
False
Let z be 64/(-14) - -4 - (-62)/(-63). Is z less than -1?
True
Let h = -0.7 + 1.7. Which is greater: h or -0.4?
h
Let g be (2 + -1)*2 + -2. Is g greater than or equal to -1?
True
Let q = -345 - -240. Let l = -423/4 - q. Does l = 0?
False
Let c be (12/18)/(2/(-3)). Suppose -5*g = -13 - 7. Suppose 0 = i + g*i. Which is smaller: c or i?
c
Let m(r) = -r**3 - 7*r**2 - 5*r + 2. Let g be m(-6). Which is greater: g or -3?
-3
Suppose -4*f = -4*r + 6*r + 210, -5*f - 250 = 5*r. Is -55 greater than f?
False
Suppose l = 2*l. Is l less than -2/9?
False
Let d = -2/81 + -563/162. Is -4 at least d?
False
Let u = 6/133 - 598/1463. Which is smaller: -2 or u?
-2
Let w be (-6)/(-15) - 159/60. Are 1 and w nonequal?
True
Suppose 0 = -w - 1 - 1. Let k be 6*(w - (-18)/10). Which is smaller: 0 or k?
k
Let s be 2/(-3)*(-60)/(-8). Let l be (-2 - (s - -3))/2. Suppose l = -2*p - 5*z + 26, 0*z = -5*p + 4*z - 1. Is p != 4?
True
Let n = 3 + 6. Let x = -9 + n. Is 2 <= x?
False
Suppose p + 4*p = 0. Let k be (p - 0) + (-2)/1. Let c = 4 + k. Which is smaller: c or -2/3?
-2/3
Suppose 0 = 2*s - 5*t + 14 - 0, -2*t = -s - 6. Let d = 9/4 + s. Is d > -1?
True
Let u = 0.4 + 0.1. Let i(w) = -w + 3. Let p be i(-3). Let q be (-2)/6 - (-4)/p. Is u smaller than q?
False
Let k be 3*(-2)/((-6)/(-37)). Let s = -112/3 - k. Which is smaller: 0 or s?
s
Suppose 4*w + 0 = -40. Let y be 5*(-1)/(w/(-12)). Let x = 7 + y. Are 3/10 and x non-equal?
True
Suppose -4*f - u - 3 = 0, -5*u - 22 = -7. Let q be (2/6)/((-66)/(-18)). Is f at least q?
False
Suppose c = 5 - 2. Which is greater: -1 or c?
c
Let k = 1 - -3. Suppose k*t - 6 = 2*v, -4 = -4*t + 4. Let i be 2/4 - (-3)/(-2). Is i < v?
True
Let a = -0.1 - -0.4. Let i be -4*(-1)/12*0. Is i bigger than a?
False
Let w be 10/3 - 12/(-18). Suppose 0 = w*u - 0*u + 144. Let k be (-2)/9 - 8/u. Which is greater: k or 2/9?
2/9
Suppose 0 = 4*l + 5*c - 42, 4*l - 7*c - 24 = -3*c. Suppose -6*g = -4*w - g - 1, l = 3*w - 2*g. Suppose -2*q = -4*q - w. Is q at least as big as -2?
False
Let m = 2 - -2. Suppose -m*n = -2*a - 7*n - 4, 2*a - 3*n + 4 = 0. Let j = -1 - 0. Is j less than or equal to a?
False
Let c(u) = -u - 30. Let d be c(-14). Which is greater: -13 or d?
-13
Let s(m) = -m**2 + 3*m - 2. Let t be s(3). Let g be 3/t*(-2)/1. Let h be (-2)/9 + 31/18. Is h smaller than g?
True
Let f(b) be the third derivative of -b**5/60 + 5*b**4/8 - 4*b**3/3 + 2*b**2. Let j be f(7). Let t be j/117 - (-2)/(-6). Which is bigger: t or 1?
1
Let c be (-1)/(-2) - 9/(-2). Suppose -5*w = 2*j + 27, -4*w + c*j = 3*j + 18. Which is smaller: -4 or w?
w
Let d = 141 - 143. Let v be (-12)/(-81)*(-6)/(-4). Which is smaller: v or d?
d
Suppose -17*r - 132 = -13*r. Is -33 greater than r?
False
Let c = 0.29 - -0.01. Let a = c - 1.3. Let m = -0.13 - -0.23. Which is bigger: m or a?
m
Let o(y) = -y**3 + 10*y**2 - 10*y + 12. Let d be o(9). Let p be 20/(-48)*6/d. Is -2 <= p?
True
Suppose -j + c + 2 = -2*j, 9 = -4*j - 5*c. Suppose 0 = 2*i - 3*b + 7, -2*i + 5*b + 1 = -5*i. Is j smaller than i?
False
Suppose x = -4*x - 35. Which is greater: -6 or x?
-6
Let v = -48 + 46. Let d = 8 - 5. Let t be (-4)/6 - 4/d. Is v != t?
False
Let i be 1 + (-3)/6 + 23. Let z = 24 - i. Which is bigger: z or 1?
1
Let c(x) = 48*x**3 - x**2 - 2*x + 2. Let g be c(1). Let d be (-10)/5 - (-92)/g. Which is smaller: 1 or d?
d
Let d(u) = 1 + u - 5*u + 2*u. Let b be d(1). Let f = 0 + -1. Is f greater than or equal to b?
True
Let v = -24 + -2. Which is smaller: v or -25?
v
Suppose 0 = -2*s + s + 5, 0 = a - 3*s + 16. Let f be (a/2)/((-4)/12). Do f and 2 have the same value?
False
Let n = 5 - 5. Suppose n = -u - 0*u - 3. Let p = -10 - -7. Is p at most u?
True
Let z be (-2 - (-4 - -3))*(-3 - -4). Is -2/229 less than z?
False
Let q = -1.1 + -0.9. Let x = 26 + -22. Is x != q?
True
Suppose -4*t + 0 = -p - 3, 5*p = 5*t + 15. Suppose z + a - 10 = -a, -p = -2*z + a. Which is greater: z or 5?
5
Suppose 7*z - 4*z - 3 = 0. Which is greater: z or -0.1?
z
Let y be (-3)/(-6) - (-3)/(-6). Suppose y = -3*z - 14 + 2. Let k = z - -1. Which is bigger: k or -4?
k
Let v be 1/((1 - -2)/((-27)/12)). Is v >= 0?
False
Let k(j) = -j**3 - 5*j**2 + j + 6. Let p be k(-5). Let f be 2 - 1 - 154/182. Which is smaller: f or p?
f
Suppose -y = -2*x + 7, -5*y - 3*x = -9 + 5. Is y at most 2/303?
True
Let o = 64 - 126. Is -62 smaller than o?
False
Let c = 1759/12 + -147. Which is greater: 1 or c?
1
Let d(z) = -2*z + 1. Suppose -3*j + 11 = 5*w - 5*j, -2*w + 2*j = -8. Let x be d(w). Suppose 5*c + 4*h = -12, -5*h = 5*c - 2*h + 9. Which is bigger: x or c?
c
Let h = 2 + -1. Let n be (-303)/9 - (-1 - -1). Let s = 1105/33 + n. Which is smaller: s or h?
s
Let z(d) = 2 + 2*d**2 - 7*d**2 - 1. Let l be z(1). Let c be -4 - -3 - 6/l. Is 3 > c?
True
Let m be (0 + 1)*4098/(-30). Let t = 137 + m. Let v =