 greater than or equal to z?
False
Suppose -o - h + 1 = 0, 5*h + 0*h = -o - 7. Let z be 12/(-14)*1/o. Do z and 0.3 have the same value?
False
Let g(y) = 2 + 4*y - 3*y + 0*y. Let u be g(0). Let z = -40.8 + 41. Which is smaller: z or u?
z
Suppose 4*k + 3*j = -15, 4*k - 23 + 3 = 4*j. Suppose 0 = -k*z + z. Which is greater: 1/5 or z?
1/5
Let p(g) = g + 5. Let q be p(-3). Let a(l) = l - 6. Let k be a(8). Is k less than q?
False
Let h be (-27)/(-45) + (-104)/(-10). Which is greater: 12 or h?
12
Let y be 1/(-2390)*5507 + 2. Let k = -1/239 - y. Is k <= -1?
False
Suppose -4*s = 3*n + 17, 5*s + 8 + 15 = -2*n. Is n equal to -33?
False
Let f(b) = -b**2 + 13*b - 23. Let y be f(2). Let o be (8/(-6))/(13/(-3)). Is o greater than or equal to y?
True
Let r = 0.77 - 30.77. Is r less than -1?
True
Suppose 0 = -2*u + 4*u + 3*l + 12, 5*l + 20 = -2*u. Suppose -5*i + 11 + 4 = u. Which is smaller: 0 or i?
0
Let x(g) = g**3 - 3*g**2 + 3*g - 1. Let n be x(2). Suppose 3*p - 6*p + 2*k = -1, -k + n = -3*p. Is p equal to -1?
True
Let f = -157 - -1098/7. Is 18 < f?
False
Let k = 17 - 17. Let u = k - 3. Which is greater: u or -0.2?
-0.2
Let i = -4 - -4. Is i at most as big as -1/7?
False
Suppose 0 = -0*n + n - 1. Let s = n + -4. Let f = 2 + s. Which is smaller: -1/5 or f?
f
Suppose 3*w = 2*w - 3. Let f be (0 - (w - -3))/2. Is f != 1/4?
True
Let u be (-12)/3 - -3*(-16)/(-12). Do u and -1/45 have the same value?
False
Let u(c) = -11*c**2 - c. Let r be u(-1). Let z be r/4*(-19)/(-76). Is z at least as big as 1?
False
Let x be (-5 + 21)*(-1)/(-2). Suppose 0 = -2*g + 1 + 5. Suppose 0 = -5*f + g - x. Is -1 greater than f?
False
Suppose -5*l = -29 - 21. Suppose v + 4*v - l = 0. Which is smaller: 4/3 or v?
4/3
Suppose 0*t - t - 2*v + 181 = 0, 5*t - 840 = 3*v. Is 171 at most t?
True
Let r = 5 - -1. Let k be ((-15)/10)/(r/8). Is k at least as big as -3?
True
Suppose -2*c = 3*c - 25. Is 5 less than or equal to c?
True
Let m be 10/6*1 + -2. Is m < 2?
True
Let l = 1998/5 - 408. Is l > -7?
False
Suppose 4*p - 45 = 9*p. Let o be (p/27)/(1/(-3)). Which is smaller: -3 or o?
-3
Let b(g) = -20*g - g**3 + 6*g**2 - 2 + 13*g + 2*g**3. Let w be b(-7). Which is bigger: w or -6?
w
Suppose 3*k - 8 = 1, 0 = 3*m + k + 9. Let v = 0.1 - 0.2. Is m less than v?
True
Let b = 0.01 - -0.99. Which is bigger: b or -6?
b
Let m(n) = -n**2 - 4*n + 8. Let a be m(-5). Let u be 0 + 3/45*a. Is 0 greater than or equal to u?
False
Let o be (-174)/(-138) + 2/(2 + -4). Which is greater: 1 or o?
1
Let g(h) = h**3 - 6*h**2 + 4*h + 7. Let r be g(5). Which is bigger: 2/3 or r?
r
Let v = 0.04 + -0.24. Let l = 1 + -0.8. Is v <= l?
True
Let o = -71 - -72. Is 8 at most as big as o?
False
Let h be 2/12*8/(-66). Which is greater: 1 or h?
1
Let t = -8 + 26/3. Suppose 0 = -3*i - 3, 3*y + 2*i - 17 + 4 = 0. Suppose y = 2*p + 1, z + p = 1. Which is smaller: z or t?
z
Let n = -77 - -81. Let u be 6/(-2)*(-4)/3. Is u < n?
False
Let o(m) = m**3 + 22*m**2 - 24*m - 21. Let s be o(-23). Which is smaller: s or 22/7?
s
Let o = -2.7 + 2.57. Let z = 4.87 - o. Let c = z - 4.9. Which is bigger: 4/3 or c?
4/3
Let l = -62 + 556/9. Which is greater: 0 or l?
0
Let b(x) = -2*x**2 - 10*x - 8. Let d = -2 - -9. Let p(i) = -i**2 - 5*i - 4. Let c(k) = d*p(k) - 4*b(k). Let o be c(-5). Which is bigger: o or 2?
o
Let j = -0.21 - 12.79. Let k = j - -14. Which is bigger: k or -2/3?
k
Let k be (-90)/(-21) + -4 + (-66)/(-14). Which is smaller: 2 or k?
2
Let z = -39/65708 + -7200217/5092370. Let s = -27/20 - z. Which is bigger: 1 or s?
1
Let l be ((-12)/(-10))/(12/40). Suppose -3*v + h - 5*h = 13, 0 = -l*v + 3*h + 16. Is 2/9 < v?
True
Let v = 0.47 - 0.37. Which is smaller: v or -83?
-83
Let t(i) = -i**3 + 9*i**2 + 5*i + 8. Let z be t(10). Which is smaller: -43 or z?
-43
Let g = 0 - 2. Let m(v) = v**2 - v - 2. Let c be m(2). Let r(s) = -s**2 + s - 3. Let t be r(c). Which is smaller: g or t?
t
Suppose -j - b = -5, 4*b - 14 = -j - 0*b. Let r = -4 + 3.9. Is j > r?
True
Let t = -1577/21 - -75. Let m = -7 - -6. Which is smaller: m or t?
m
Let b(n) = n + 3. Let u be b(-3). Let j = u + 0. Which is smaller: j or 2/7?
j
Let l = 4 + -4. Let j be (2/3)/((-16)/18). Is j at least as big as l?
False
Let w be 2/7 - 19/(-7). Suppose 2*x = x + w. Let d = 7/2 - 2. Is x less than or equal to d?
False
Let f = -310 - -1557/5. Which is bigger: 2 or f?
2
Let n = 15 - 0. Let t = n - 17. Is 0.1 bigger than t?
True
Suppose a + 14 = -2*t, 6*a - 2*a = 16. Let k = t + 8. Let u = 0 + 1. Are k and u unequal?
True
Let v(i) = i**2 + 8*i - 14. Let f be v(-9). Which is greater: f or -7?
f
Let q = -33 - -163/5. Is -1/4 smaller than q?
False
Suppose 0 = 2*i - 0*i - 14. Let l be (1 + -2 + i)*1. Let s(b) = b**3 - 5*b**2 - 7*b + 6. Let j be s(l). Which is smaller: 1/4 or j?
j
Let a(g) = g**3 - g**2 + 2*g + 1. Let m be a(2). Let r be (-29)/(-9) - 2/m. Is 3 at least as big as r?
True
Let t = -59 - -34. Let d be t/12 - 2*-1. Which is smaller: 1 or d?
d
Suppose i - 3*j - 1 = -2, -4*j = i - 34. Let f be (-3)/4 + i/8. Is 1 >= f?
True
Let a(g) = -g**2 - 7*g + 1. Let k be a(-7). Let d be 2 + (2 - (-6)/(-3)). Which is bigger: d or k?
d
Suppose -4*m - 3*i - 12 = -5*m, i = -3. Let g = -3 + m. Let a be (4/10)/(45/(-25)). Is g less than or equal to a?
False
Let a(t) = -t**3 + 15*t**2 - 2*t + 15. Suppose 2*n - g - 35 = 0, n + 6*g - 2*g + 5 = 0. Let z be a(n). Is -15 smaller than z?
False
Let y = 17 + -19. Are y and -6 equal?
False
Let x = -16.1 + 16. Which is smaller: 2 or x?
x
Let a be (-3)/(-9)*(-12)/4. Is -2/5 greater than a?
True
Suppose 0*p - 172 = -p - 4*k, -k = -5*p + 860. Let o = 123230/171 - 16956/19. Let i = p + o. Which is smaller: i or -1?
-1
Let o be 1 - (5 + (-2)/(-2)). Let v be o/(5/3) + -2. Let a be 2/v + 4/10. Is 1/5 bigger than a?
True
Let y(h) = -h**2 - 4*h + 2. Let c be y(-3). Suppose -2*b - 4*s + 11 = -7*s, -b - c*s - 14 = 0. Which is smaller: -3/8 or b?
-3/8
Let c(b) = b**2 - 5*b. Let f be c(4). Let g = -5 + 11. Suppose g*x - 2*x + 12 = 0. Do x and f have different values?
True
Let i be ((-18)/(-60))/((-6)/5). Which is bigger: i or 3?
3
Let j = 26 - 30. Let s = 4.1 + j. Let i(c) = -c + 5. Let p be i(5). Is s less than or equal to p?
False
Suppose -3*r = 19 + 68. Let z be r/171 - (-8)/36. Let u = z - 21/38. Which is bigger: 0 or u?
0
Let s = -12 + 9.9. Let m = -15 + 15.1. Let v = m + s. Which is smaller: 2/3 or v?
v
Suppose 5*l - 16 = 4. Let r be (-2)/l - (-2)/(-4). Suppose -5*s + 1 = 6. Is s at least r?
True
Let j = -16.03 - -16. Which is smaller: 0.1 or j?
j
Suppose -3*n - 2 = -5*n. Let r be (1 + -1)/(-3 + n). Let g be r/(-2) - 12/30. Are 1 and g non-equal?
True
Suppose -18 = 6*q - 9*q. Let h = q - 7. Is h less than or equal to 1/4?
True
Let o(i) = -i - 1. Let b be o(0). Let x = 1 - b. Which is bigger: x or 3?
3
Let w = -0.06 - -2.06. Let v = 1 - w. Suppose -5*j + x - 3 = 2*x, 4*j - 4*x = 12. Do j and v have the same value?
False
Let d = -122 + 112. Is d >= -56/5?
True
Let i = 22 + -35. Is -11 at least as big as i?
True
Let i = -0.1 + -0.1. Let o = i + 0.3. Let k = 2 + -1. Which is bigger: k or o?
k
Let v = -0.2 - 7.8. Let o = -0.17 + 0.27. Are o and v equal?
False
Let m be (-17)/3 + 21/(-9) + 3. Which is greater: m or -3?
-3
Suppose 0 = 5*x + 3*z + 1, 5*x + z - 3 = -0*x. Is x at most as big as -1/28?
False
Suppose -19 = -4*v + p, -2*v - 4*p + p - 1 = 0. Suppose -2*x = -x - v. Suppose 9 - 1 = x*j. Is 3 <= j?
False
Let a be 2/(-4) + 6/12. Is a greater than or equal to 6/17?
False
Let g be ((-2 + -1)/1)/1. Let x = 5 + g. Is x at least 1?
True
Suppose -3*r + 5 = -2*g, 0 = -5*g + 2*r - 6*r + 22. Suppose -g*s - 18 = -5*s. Let y(j) = j**2 - 6*j. Let q be y(s). Are -2/7 and q unequal?
True
Let a = -3 - -4. Suppose -a = 3*h - 7. Suppose w = -w - 2. Which is smaller: h or w?
w
Suppose 0 = 2*b + b. Is 2/5 less than b?
False
Let v be 6/(-8) + (-92)/(-16). Which is bigger: v or 31/5?
31/5
Let z = -4 - -3. Let o be (4 - 1)*z/(-12). Is -1 at least as big as o?
False
Let s be (-26264)/4176 - (-2)/(-9). Let g = -1/87 - s. Let f = g - 7. Is f > 4?
False
Suppose -3*o + 4 = 1. Which is greater: o or 0?
o
Suppose -924 = -3*d + 4*u, 5*d - 1020 = 5*u + 525. Let x be 143/d - 2/(-3). Which is smaller: 0 or x?
0
Let u = 302 - 4528/15. Let g(m) = 2*m + 3. Let c be g(-2). Which is smaller: u or c?
c
Let v = -11.7 - -12.