 g(c). Is t greater than or equal to 1?
True
Suppose -5*i + 3*w = -1, -4*i = -3*w - 4 + 2. Suppose 0 = -f - 58 + 8. Let j = -299/6 - f. Which is bigger: j or i?
j
Let n = -1 - -1.04. Let s = n + 1.96. Let j = s - 2. Are j and 2 nonequal?
True
Suppose 0 = 3*v + 5*l - 10, -v = 4*v + 3*l + 10. Let c be -2 + 4 + 2 + v. Let a = c + 1. Is 2/9 greater than a?
True
Let z be -25*((-6)/2 - (-22)/11). Which is smaller: z or 23?
23
Let l = 7 + -4. Suppose -2*d + 2*x = 3 - 5, l*x = -2*d + 7. Suppose 0 = 2*y - d. Is y smaller than -2/5?
False
Let a = -21 + 20. Which is smaller: -1/17 or a?
a
Let i(l) = -l**3 - 11*l**2 - l - 12. Let w be i(-11). Let p be -1*w/(-2) - 0. Is p bigger than -2?
True
Let x(q) = -q**3 + 4*q**2 - q + 1. Let t be x(4). Let b(v) = -v + 2. Let a be b(-2). Suppose 5*w + 5*c + 8 + 7 = 0, 8 = -2*w - a*c. Is t >= w?
False
Let n = -0.2 - -0.1. Let k(u) = 2*u**3 + u**2 - 1. Let z be k(-1). Let i be z/(4 - (2 + -1)). Is i greater than n?
False
Let d be 2*(1 - (-28)/8). Let t = d + -12. Which is greater: 0 or t?
0
Let a(t) = -t - 6. Suppose 0*d = 5*d + 30. Let u(s) = -s**2 - 4*s + 7. Let h be u(d). Let y be a(h). Which is smaller: y or 0?
y
Suppose -20 = -4*p, -4*a + 2 - 4 = -2*p. Suppose -4*d + 11 = j - 7, d = -a*j + 1. Let t be (9/(-135))/(j/3). Which is greater: 0 or t?
t
Let m = 2.697 + 0.373. Let f = 0.07 - m. Let k = 1 + f. Do k and -1 have the same value?
False
Let n(s) = -s - 6. Let q be n(-9). Let d = q + -3. Which is bigger: -2/3 or d?
d
Suppose l - 5*x + 3*x + 10 = 0, 20 = -5*l - 5*x. Let h be (-2)/(-12)*l/10. Let c be (1/6*3)/((-1)/2). Is h <= c?
False
Let r = -9.61 + 0.61. Is r less than or equal to 5?
True
Suppose -167 + 65 = 5*o + 4*p, -5*o = -5*p + 120. Which is bigger: -21 or o?
-21
Let g = -2 - -2.1. Let u = -14 - -11. Which is smaller: g or u?
u
Let u = -72.3 + 72. Let p = 3 - 4. Which is greater: u or p?
u
Let d be 5/(-3) - (-2)/3. Let l be 4/8 + (-4)/(-8). Which is bigger: d or l?
l
Suppose -15 + 50 = -5*p. Let c(a) = -a - 7. Let t be c(p). Suppose -2*x - q = t, 3 - 11 = -4*q. Is -0.2 bigger than x?
True
Let y = 5.7 + -5. Let p = 0.8 - y. Let u be (-4)/(-5)*-3 + 2. Are p and u equal?
False
Let f = 0.02 + -6.02. Let k = -7.9 + 8. Which is greater: k or f?
k
Let w(t) = t + 7. Let j be w(-6). Are j and 8/7 unequal?
True
Let y = 0.02 + -0.12. Which is greater: y or 3?
3
Let y(k) = 3 + k - 2*k + 2 - k**2 - 3. Let g be y(0). Is g bigger than 2?
False
Let t = -9 + 8. Suppose r + 0 = -u - 1, 4*r - 6 = u. Is r less than t?
False
Let a be -1 - 2 - (22 - -1). Is -27 >= a?
False
Let l be -1*-1*(3 - 6). Let x be ((-5)/(-105))/(1/l). Suppose -p + 0 = -1. Is p at most as big as x?
False
Let h be 6/4*(-20)/(-3). Which is bigger: 8 or h?
h
Let u = 7/6 - 11/6. Let n(k) = -k**2 - 2*k - 2. Let o = -3 + 1. Let b be n(o). Which is smaller: u or b?
b
Suppose 2*i = 7 - 1. Let n be (-11 + i)*(-3)/(-4). Which is smaller: n or -3?
n
Let y = -2/247 + -673/8398. Which is greater: 1 or y?
1
Suppose g + 5*a - 2*a + 3 = 0, -a = 0. Let p be 0/(-3 + g/(-3)). Let w be (p + -6)*(-2)/21. Is w greater than 0?
True
Suppose -3*k - 5 = 2*k. Let u be 4 - 4 - (-12)/(-23). Let h = u - 21/92. Which is greater: k or h?
h
Let v = -25 + 25. Suppose -4*l = -v*l + 24. Does -5 = l?
False
Suppose 0 = -2*t - 0 - 2. Let x = -0.6 + 0.6. Are x and t equal?
False
Suppose 0 = -x - 5*b - 5, 0*b = 2*x + b + 10. Suppose 5*t + 35 - 5 = 0. Which is smaller: t or x?
t
Suppose r + 2 - 6 = 0. Let h = 1 + -1. Is r bigger than h?
True
Let s(n) = n**2 + 2*n. Suppose 5 = -2*o + 1. Let l be s(o). Is l at most as big as -2/13?
False
Suppose -5*m + 5 = 2*f, -m - 4*f = -5*m + 4. Is m > 2/9?
True
Suppose -7 = -2*z + n, 4*z - n - 2*n = 19. Which is bigger: z or 2?
2
Let t = -0.138 - -0.038. Is t at most as big as -2/221?
True
Suppose -75 = -7*i + 2*i. Let n = -19 + i. Which is smaller: -2 or n?
n
Let b = 0.6 + -4.6. Let l = 6.2 - 10. Let n = b - l. Which is bigger: -1 or n?
n
Let d = -0.3 + 2.3. Let l = 3 - d. Let f = -1 + l. Which is bigger: -0.1 or f?
f
Suppose -13 = 4*r + 7. Let i(m) = -m**2 - 5*m + 3. Let v be i(r). Suppose v*u = c - 17, -u - 3*u - 20 = 0. Which is smaller: 1/4 or c?
1/4
Let u(f) = -2*f - 12. Let k be u(-8). Suppose k*m - 2*v - 8 = 6*m, 5*m - v = 4. Is -1 at least m?
False
Let s = -20 - -22. Let h be 17/(-34)*11*s. Is h at most as big as -11?
True
Let r(t) = t**3 + 7*t**2 + 6*t - 1. Let p be r(-6). Let g(c) = c**2 + 4*c + 4. Let m be g(5). Let x be 5/7 + (-21)/m. Is p greater than or equal to x?
False
Let d = -10 - -12. Suppose 4*x + 2*j + 8 = 0, 2*x + d*j + 0 = -6. Which is bigger: 2/19 or x?
2/19
Let d(c) = -2*c - 6. Let f(b) = -5*b - 11. Let k(g) = 7*d(g) - 3*f(g). Let h be k(10). Let z = -61/3 - -21. Which is smaller: z or h?
z
Let y = -7 - -8. Let l = -3 + 3. Do y and l have the same value?
False
Let i = -60.08 + 68.1. Let n = i + -8. Let k = 2 - 1.9. Which is smaller: k or n?
n
Let j(w) = -w**2 - 7*w - 7. Let v be j(-6). Let o(x) = -x + 1 - 4 - 13. Let c be o(-14). Which is bigger: v or c?
v
Let r = 3 - 7. Let b = -1 - -3. Is r >= b?
False
Let k = 1065/11 + -97. Let f = -19 - -20. Is k greater than or equal to f?
False
Suppose 4*i - 18 = 5*j, -3 = 3*j - i - 4*i. Which is greater: 2 or j?
2
Suppose y = -5*t + 12, 0 = -2*y + 5*t - 0*t - 51. Is y > -14?
True
Let c = -158 - -157. Which is greater: 2/167 or c?
2/167
Let m = 20.47 - 0.47. Let u = -16 + m. Which is greater: u or -1/2?
u
Let k(o) = -o**2 + 7*o - 9. Let z be k(5). Let p(t) = t**3 + 3*t**2 + t - 1. Let x be p(-2). Is x at most as big as z?
True
Let m = -5/72 - 1/18. Let n(q) = q**2 + 6*q + 5. Let r be n(-5). Which is greater: r or m?
r
Let y be ((-1)/(-12)*21)/(6/8). Is 2 at least as big as y?
False
Let y = -0.33 + 17.33. Let s = y + -15.8. Is 1 less than or equal to s?
True
Suppose 0*p = -p + 4. Let h = 56 + -52. Is h less than p?
False
Let r = -2.8 + 0.8. Let l = r - -1. Is l greater than 3?
False
Let m = 20 - 13. Let d = 42 + -36. Is d < m?
True
Let x(b) = b**3 - 10*b**2 + 10*b - 9. Let p(j) = 10*j**2 - 1. Let o be p(-1). Let t be x(o). Is t < -1?
False
Let n(q) = 2*q - 3. Let w be n(2). Suppose -1 - w = 2*t + 4*j, -3*t + 8 = -5*j. Is 3/5 less than t?
True
Let x = -6 + 0. Let k = -5 - x. Let r = 0.8 - k. Which is smaller: r or 2?
r
Let h be (-9)/45 - 1/(-5). Let r be 3*(-2)/(h + 2). Let j be -1 - 0/(r - -4). Which is smaller: j or -3/4?
j
Let i = 55 - 109/2. Is 2 bigger than i?
True
Suppose -2*d + 2*k - 2 = -6, 3*d - 2*k = 4. Is d greater than 2/11?
False
Suppose -5*b = -3*a - 32, -3*b = 5*a + 17 - 43. Let y be 7/(-6 + 34) - (-27)/4. Is b greater than or equal to y?
True
Let s(q) = q**2 + 8*q + 4. Let d be s(-8). Are d and 3 non-equal?
True
Let i = -2.8 - -2.8. Is 2/5 < i?
False
Suppose -3*t + 0*t = 2*u - 20, -3*t = -12. Is u >= 17/5?
True
Let t = -1939/18 - -215/2. Let l = 1 - 1. Is t not equal to l?
True
Let v be 5*(44/(-20) + 1). Which is smaller: -4 or v?
v
Let h be (-72)/(-32)*(-8)/(-6). Suppose 0 = h*d + 4 - 1. Is d smaller than 0?
True
Suppose -u + 2*s = -1 + 12, -5*u - s = 11. Let d be (u/(-12))/(2/8). Let t = d - -1. Which is bigger: 1 or t?
t
Let a(p) = -2*p + 3. Let l be a(5). Let j = l + 8. Let z = -314 + 4080/13. Is z less than j?
True
Suppose 0 = -5*w - 5*a - 40, 4*w - 4*a = a - 32. Is w < -9?
False
Let m(x) = 4*x + 16. Let t be m(-17). Is -53 smaller than t?
True
Let w = -8 - -8.3. Let n = -0.7 - w. Let q = 21 + -23. Do q and n have different values?
True
Let m = -1.1 + 1.3. Let j = -38/21 + 25/21. Let d = -1/21 + j. Which is greater: m or d?
m
Let o(t) = -t - 1. Let w be o(-2). Let x(r) = r - 5. Let p be x(6). Suppose -p = -4*d + 3. Is w < d?
False
Let o be (28/6)/((-20)/30). Which is smaller: o or -5?
o
Let v = -20 - -13. Let o = 10 + v. Let p = 4 - 6. Is o not equal to p?
True
Let j = -5/39 + 16/429. Is j less than 1?
True
Let i = 4.7 - 4. Let m = -0.2 + i. Let j = -183.2 + 183. Is m less than j?
False
Let w(t) = t**2 - t. Let a be w(0). Let s = -4 + 8. Suppose -2*d - 2*d - s = 0. Do d and a have the same value?
False
Let j = 0 - 0. Let a be -2 + 2 + j - 1. Let s be -3 + 0 - 21/(-9). Is a less than or equal to s?
True
Let m = 0 - 0.1. Is m < 4?
True
Let q = 2.17 - 0.17. Which is smaller: -5 or q?
-5
Let n be 1/5 + (-54)/120. Does n = -33?
False
Let l be 5/2*(-2)/(-5). Is l >= 5/13?
True
L