9/8. Is 2 >= c?
True
Let f = 13.2 - 12. Let j = 1.1 - f. Are j and -1/9 nonequal?
True
Let a = -12 - -11. Which is bigger: -49 or a?
a
Let b = -0.21 - -0.2. Let x = 335 + -1004/3. Is b not equal to x?
True
Suppose -4 = 3*t - 2*t. Let x be 26/18*3 + t. Which is greater: x or 8?
8
Let s be (-24)/(-14) - (2 + 0). Let m(p) = -p**3 - 4*p**2 - 3*p + 3. Let l be m(-3). Suppose 2*z - 3 = l*x, 0 = 2*x - 2*z - 4 + 6. Does x = s?
False
Let u = 4094 + -45077/11. Let f = -41/11 - u. Does -1 = f?
False
Let k(x) = -x**2 + 6*x - 7. Let g be k(7). Let y be (-5 + -1)/2 - g. Suppose 4*u + 28 = 2*h, -u + 4 - y = -3*h. Is -6 <= u?
False
Let p = -62 - -309/5. Let l = -3 + 4. Is p <= l?
True
Let q be 145/2*(-1)/(1*-10). Which is smaller: 0 or q?
0
Let i = 10 - 8. Let c be i/7 + 6/(-21). Let d(q) = q**2 - q. Let f be d(c). Which is greater: f or 1/8?
1/8
Suppose -82 - 2 = -4*u. Let z = 15 - u. Let y(t) = -t - 2. Let l be y(z). Which is greater: 3 or l?
l
Suppose 3*v + 11 + 1 = -4*f, 2*v = -3*f - 9. Let h = 2 + -8. Let c be (-38)/20 - 9/h. Is v at least as big as c?
True
Let r(p) = p**3 - 11*p**2 + 10*p - 2. Let o be r(10). Which is bigger: -5/6 or o?
-5/6
Let d(u) = -u**2 - 4*u + 1. Let g be d(-3). Suppose -2*y = -3*y - 2*b + 3, -5*y + 15 = 2*b. Which is smaller: g or y?
y
Let k be 76/184 - 4/8. Which is greater: k or 1?
1
Let p = -139465/7 + 19774. Let i = -149 - p. Which is greater: i or 0?
i
Let s = -336.36 + 343. Let k = s + -7. Let b = k + 0.06. Which is smaller: 1 or b?
b
Let j be ((-8)/14)/(4512/(-112)). Which is greater: j or 0?
j
Let o = -3.81 - -4. Let w = 0.01 + o. Which is greater: w or -1/4?
w
Suppose 5*u - 38 - 2 = 0. Do u and -0.2 have the same value?
False
Let p = 10 - 6. Let s be 6/8 + 1/p. Let c be 1/2 - s/(-2). Is c >= -2/7?
True
Let p = -2 + 7. Suppose i - 5*i - 28 = 0. Let g = i + p. Is g bigger than -2?
False
Let z(a) = a - 4. Let w be z(3). Let s = w - -4. Which is bigger: s or 5?
5
Let x be 22/121 + 24/(-11). Let n(s) be the third derivative of -s**4/24 - s**3/2 + 2*s**2. Let w be n(x). Is -1/8 less than or equal to w?
False
Let b = -33 + 41. Which is smaller: -1 or b?
-1
Suppose 0 = -5*v + v - 4. Is 3/7 >= v?
True
Let p = 18 + -18. Suppose -4*d = 5*l - 3, 8*d - 3*d = -15. Suppose p*j + 6 = l*j. Do j and 1 have the same value?
False
Let z = 47/140 - 3/35. Let v(k) = -1 + 0 + k**2 + 2. Let q be v(0). Which is smaller: z or q?
z
Let c(k) = -k**2 + 2*k + 3. Let z be c(3). Is z bigger than -1/19?
True
Let p be (-2*1)/(-1) - 1. Let h be 1/3*18/51. Let t = 44/85 - h. Is p at least as big as t?
True
Suppose 5*f + 5*f = 10. Let t(v) = v**2 + 4*v - 2. Let j be t(-5). Let r be ((-2)/j)/(10/(-3)). Which is bigger: r or f?
f
Let m = 696.06 - 703. Let b = 7 + m. Let s = -0.04 - b. Are s and 3/8 unequal?
True
Let g(s) = s**3 - 65*s**2 - 2*s + 130. Let v be g(65). Suppose 2*i = 7*i. Is i at most as big as v?
True
Let d(k) = k**3 - 4*k**2. Let v be d(4). Let i be (6/10)/((-1)/2). Let a = i + 1. Which is bigger: v or a?
v
Let w = 1537.1 - 1476. Let i = w + -64. Let m = i - -3. Which is smaller: m or -2?
-2
Let d = -5 - -2. Let v be -4 - (-1 + d/3). Let q = -20/119 - 2/17. Which is greater: q or v?
q
Let x be (-1)/(-3) + (-50565)/(-99). Let q = x + -20927/55. Let a = q + -131. Which is smaller: 6 or a?
a
Let p be (1 - 0) + 0 + 1. Suppose 6 = -12*r + 9*r. Is r less than or equal to p?
True
Let k(b) = -b**3 - 6*b**2 + 3. Let y = 2 - 8. Let i be k(y). Let n be 1/(i/(-6)*-1). Do n and 3 have the same value?
False
Let l(q) = -q + 3. Let o be l(3). Let n(x) = -x**2 + 9*x + 3. Let b be n(9). Suppose o = 2*z + b*z. Which is smaller: z or 1?
z
Suppose -d - 3*q = -8*q + 24, 11 = -4*d + 3*q. Which is bigger: d or 4/3?
4/3
Suppose 18 = y + 30. Let j = y - -13. Which is bigger: j or -1/18?
j
Let t = 36.3 - 39. Let h = t - 0.3. Let j(s) = s + 11. Let f be j(-10). Which is bigger: h or f?
f
Let x(p) = 4*p**2 + p. Let f be x(1). Suppose 5*k + 20 = f. Are -2 and k non-equal?
True
Let k(b) = 3*b - 16. Let m(c) = -2*c + 8. Let a(y) = 3*k(y) + 5*m(y). Let o be (-7)/(1/2*(10 - 8)). Let v be a(o). Which is bigger: -1/3 or v?
-1/3
Suppose 0 = -4*j + 3 + 1. Let h(q) = 2*q - 3. Let b be h(3). Is j equal to b?
False
Let d be (-834)/(-144) + (-2)/16. Suppose -4*a + 28 = -3*j, -a - j + 2*j + 7 = 0. Which is smaller: a or d?
d
Let k = -0.2 + -0.2. Let j = 2.7 - 4. Let b = 1.4 + j. Which is bigger: b or k?
b
Let i = 37 - 39. Which is smaller: -5 or i?
-5
Let w = -0.05 + 0.03. Let c = 0.22 + w. Which is bigger: 0 or c?
c
Let t = -0.1 - -0.7. Let u = 0.3 - -0.3. Let g = t - u. Is g less than or equal to 0?
True
Let g = -5 - -3. Let u be (g/(-4))/(4/16). Let l be 7/3 + 0 - u. Which is bigger: l or -1/4?
l
Let t = -35/162 + -1/162. Let a = 1 - 0. Which is bigger: a or t?
a
Suppose 5*f + 3*m = 8, 0 = 2*m - 2. Let u be 3/6 + f/2. Is 1 > u?
False
Let j = 45 + -47. Is j bigger than -7/3?
True
Let c(h) = h**2 + 10*h + 1. Let p be c(-10). Which is bigger: -5 or p?
p
Let w(t) = -2*t**2 - 7*t + 5. Let x(v) = -v**2 - 4*v + 3. Let j(k) = -3*w(k) + 5*x(k). Let l be j(-2). Do l and 2 have the same value?
True
Let x(u) = -u + 7. Let g be x(3). Suppose -g*r = r. Suppose 0*i + 2*i + 2 = t, 3*t + 4*i + 14 = 0. Which is bigger: r or t?
r
Let f(h) = -2*h - 1. Let q be f(1). Let b be q*(-69)/81 - 3. Is b at least 1?
False
Let f = -4 + 16. Suppose -3*w + f - 3 = 0. Suppose -2*g + 5*g - 3 = -w*v, 0 = 4*v - 5*g + 41. Which is greater: -3 or v?
-3
Suppose 5*b - 2*h = -2435, -65 = 2*b - 3*h + 898. Let r = b + 6849/14. Which is bigger: 1 or r?
1
Suppose -5*r + u = 0, 2*r - 2*u - 3 = 5. Which is bigger: r or 1/54?
1/54
Suppose -f - f = -b - 20, f + 2*b - 10 = 0. Suppose 0 = 6*q - q + f. Is q smaller than 1?
True
Let z = -28.01 - -28. Does z = 3?
False
Suppose 2*w + 2*b - 5 = -w, -b + 3 = 2*w. Which is bigger: 1/11 or w?
w
Let a(d) = d**2 - 8*d - 10. Let j be a(9). Let f be -11 + (-2 - -2 - -1). Let k be 20/(-56)*4/f. Which is bigger: j or k?
k
Suppose -7 - 1 = -8*q. Does q = -2/137?
False
Suppose -4*q = -q. Let n = -0.2 - -0.2. Let x = n + 0. Is q smaller than x?
False
Suppose -4*y + 21 = 5. Let d be (-12)/(-6)*2/y. Let p(q) = -q - 6. Let h be p(-5). Which is greater: h or d?
d
Let o(l) = l**2 - 5*l - 19. Let z be o(-3). Which is bigger: z or 18/5?
z
Let z = -1 - -3. Suppose 2*l = -z*p, 5*p + 0*p = l - 18. Suppose 0 = -y, l*t - y = -6 + 3. Is -1/6 >= t?
True
Let h = -10 - -10. Which is smaller: h or 1/11?
h
Let v be 1/(-4) - 220/18. Let m be ((-42)/24)/((-1)/(-7)). Let g = m - v. Is g at most as big as 1?
True
Let o be (-5)/(-10)*(1 + 1). Suppose o = -w + 4. Is w < 2?
False
Let x(u) = -u**3 + 7*u**2 + 9*u - 8. Let h be x(8). Is -1/10 not equal to h?
True
Let h = -9 - -8. Does -3/4 = h?
False
Let b be (4/(-124))/((-2)/(-4)). Which is bigger: b or -1?
b
Let a = -1.066 + 0.066. Which is smaller: a or -0.002?
a
Suppose k = -2 - 0. Let b be k + (-4)/(-2) + -2. Suppose 1 + 0 = -u. Is u bigger than b?
True
Let c(y) = 2*y**3 - 6*y**3 + 3*y**3 + 1 + y**2. Let l be c(0). Let b be (-84)/40 - (0 + 9/(-15)). Are l and b unequal?
True
Suppose 22 = 3*v + 7. Let t(a) = a - 6. Let m be t(v). Let n be 3/6 - (1 + m). Is n smaller than -2?
False
Let g = -2.3 - -2.3. Let i = 0.02 + 2.18. Let r = i + -2. Which is smaller: g or r?
g
Let u = 3 + -3. Let h be 2/4*0*-1. Let g = h + u. Is g greater than -2/9?
True
Let j be 0 - (1/2 - 1). Let q = -1.62 + 0.32. Let l = -1 - q. Is j bigger than l?
True
Suppose 7 = 4*g - 5*g + 2*k, -21 = 3*g - 5*k. Let y = 9 + g. Let c be (y/8)/(6/(-8)). Which is smaller: c or 1?
c
Let r be 16/12 + 3/(-9). Let j = 2/35 + -1/140. Which is greater: j or r?
r
Let g be (-1 - 0)/(1/2). Let u be g/(-3) - (-2)/(-3). Let p be 9/(-5) + (4 - 2). Is u > p?
False
Let w = 25 + -22. Let o(v) = v**2 - 4*v + 4. Let a be o(w). Which is smaller: a or 2/7?
2/7
Suppose 0 = 6*s + 6 - 0. Which is greater: -1/7 or s?
-1/7
Let b be (-2 + 1)/(2/(-4)). Suppose -2*t - 5*x - 10 = -0*x, t + b*x = -4. Does t = -1?
False
Let w = -196 + 134. Which is bigger: -63 or w?
w
Suppose 8 = 4*g - 4. Let t(p) = 2*p + 2*p - g*p. Let o be t(3). Which is greater: o or 1?
o
Let w = -38 + 9. Which is greater: 0 or w?
0
Let w(q) = -3*q. Let v be w(-3). Suppose 0*b - 3*b = 3*y - v, 2*b - 3*y = -19. Which is greater: b or -3?
b
Suppose -1 = 2*o - 7. Let m(u) = 