h is bigger: 1 or u?
1
Let t(g) = g**3 - 5*g**2 + 3*g + 3. Suppose -2*n - 16 = -4*o, 5*o - 4 = -2*n + 16. Let l be t(o). Let z = l + -1. Which is smaller: 0 or z?
z
Let h = 0.25 - 0.15. Which is bigger: 14 or h?
14
Let h be (-40)/15 - 4/(-6). Let b = h + 2. Is b < 1/2?
True
Let o = 0.02 - 2.02. Let a = o - -2. Which is greater: -1 or a?
a
Let s = 2 + 1. Let u = 1 + 0. Let y be (s/(-4) + u)*12. Does 3 = y?
True
Let q = 158 + -1736/11. Let v(y) = -y**3 + 6*y**2 - y + 7. Let f be v(6). Suppose 2 = -c + f. Which is bigger: q or c?
q
Let a = 7 + -11. Let k(l) = l + 4. Let g be k(a). Let f be 1 + -2 + g + 0. Is 1/3 not equal to f?
True
Suppose 2*x = -2*x. Let o = x + 1. Is -2/11 smaller than o?
True
Let v(n) = n**2 - 3*n. Let u be v(3). Let s = 14 + -28. Let g be 3/9 - s/(-24). Is u less than g?
False
Let i = 201 - 370. Let z = -1179/7 - i. Is z equal to 2?
False
Suppose -3*f - 11*f + 42 = 0. Is f smaller than 8?
True
Let z be 0/(6*2/(-4)). Is -1 equal to z?
False
Suppose 5*w + 0*w = 0. Let d = -225 + 2923/13. Let c = w - d. Which is smaller: -1 or c?
-1
Let m be (-44)/16 - (-1 + 1). Which is smaller: -4 or m?
-4
Let m be 4/6 + (-1 - 0). Let q = -3 - -3.5. Let i = q - -0.5. Is m < i?
True
Let n(s) = -s - 17. Let k be n(-12). Let d(f) = f + 7. Let j be d(k). Suppose 4*y - j*y = 0. Is y bigger than -1/5?
True
Suppose -2*y + 0 = 4*m + 2, -2*m - 6 = -4*y. Suppose -h + 4*h = 3*s + 18, 5*s + 10 = h. Which is bigger: y or s?
y
Let x = -1.8 + 2. Is 3 bigger than x?
True
Let q = 25 + -26. Is 1/19 greater than q?
True
Let y = -557/3 - -1679/9. Let v = 3/19 - 65/171. Let g = v + y. Is g less than or equal to 1?
True
Let y = -1 + 2.1. Which is smaller: y or -0.1?
-0.1
Suppose -3*w + 2*a + 10 = 0, 4*w = -5*a + 1 - 26. Is w < -2/87?
False
Let o be 6 + (-3)/6*-4. Let b(a) = a - 9. Let y be b(o). Is y smaller than -4/7?
True
Let z = 3 + -2. Let y be (-3 + (4 - 2))*-1. Let r be y/(-2)*(-16)/28. Is r smaller than z?
True
Suppose 4*v - 6*x + 2*x = -40, 4*v + 4*x + 56 = 0. Suppose 5*u = -34 - 21. Does v = u?
False
Let v = -0.11 + -0.89. Let b = 3 - 3.7. Let h = v - b. Which is greater: h or -1/4?
-1/4
Let z = 26 + -16. Let d = z - 11.8. Let k = -2 - d. Is k at most -3?
False
Let k(l) = -l**3 + 13*l**2 - 12*l. Let x be k(12). Is 2/49 < x?
False
Let y(b) = b**2 - 5*b + 4. Let j be y(5). Suppose -j*n + 9*n = -5. Let m be (0 - -1)*1*0. Are n and m equal?
False
Suppose -5*s + 58 = -4*s. Suppose -3*w + 5*l = w - s, -5*w = -2*l - 81. Suppose 5 = 3*q - 0*q + 2*p, -q - w = -4*p. Is q at least -3/5?
False
Let o = 11 - 8. Let w = -303/7 + 43. Is w at least as big as o?
False
Let z = -21 + 19. Which is smaller: -7/6 or z?
z
Let n be (3/(-6))/((-2)/(-12)). Suppose -2*g - 2*g = -92. Suppose 0 = 5*t - 8 + g. Is n > t?
False
Suppose -4*c - 3*q + 7 = 0, 5*c - 5 + 40 = 5*q. Let z(p) = p**3 - 5*p**2 - 5*p - 4. Let a be z(6). Let u be c + ((-24)/(-9))/a. Is 3 at least u?
True
Let l = -0.43 + 2.13. Let y = -2 + l. Which is smaller: 0.1 or y?
y
Let d be (-1)/5*4 + (-1095)/(-1650). Which is greater: 0 or d?
0
Let t = -4 + 2. Let f = 4 + t. Let k be ((-6)/2 + 7)/3. Is f greater than k?
True
Let k = -260/7 + 2839/77. Which is smaller: k or -1?
-1
Let r = -110 - -112. Are 0.2 and r nonequal?
True
Suppose 0 = 4*d - 2*d - 8. Let k = d - 6. Which is smaller: k or -3?
-3
Suppose -s - 2 + 6 = 0. Which is bigger: 1 or s?
s
Let z = 138.04 - 138. Is 13 < z?
False
Let j be (-1)/(-28) + 12/(-42). Is j smaller than 2/3?
True
Suppose i + 0 = 3. Let m = -5 + i. Let l be -5*1/2 + 2. Which is smaller: m or l?
m
Let a = -155.05 + 155. Is -2 smaller than a?
True
Let n = 16.41 + 1.39. Let f = n + -24. Let l = -6 - f. Which is bigger: -4 or l?
l
Let y = 0.12 - 1.52. Let u = y + 0.4. Which is smaller: u or -4?
-4
Let m(l) = -l**3 + 12*l**2 - 8*l - 2. Let x be m(11). Which is smaller: x or 32?
x
Suppose -x - 20 = -6*x. Suppose a = -m + 3, 2*m + 1 = -1. Is a < x?
False
Let q(x) = -x + 2. Let d be q(2). Are d and 1/7 unequal?
True
Let g = -2.34 - -2.3. Which is greater: 0.1 or g?
0.1
Let z be (3/9)/(-3 + 2). Is z bigger than 1?
False
Let p = -427/12 + 100/3. Let i = 35/12 + p. Is -2/9 < i?
True
Let r be (344/(-20))/((-4)/10). Let v = -472/11 + r. Suppose 0 = 2*x - g - g, 0 = -3*x - 4*g. Are v and x equal?
False
Let q(x) = -2*x**3 + x**2 - 1. Let b be q(2). Which is smaller: b or -11?
b
Let l = -59.1 + 59. Which is smaller: l or -4.2?
-4.2
Let b(r) = -4*r - 36. Let g be b(-7). Let c be (2 + 7)*3/(-3). Is g != c?
True
Let w = -4 - -8. Is w bigger than 2?
True
Suppose -16 = -7*b + 3*b. Suppose b*t - 6 = -2*v, 0 = 2*v + 3*v - 15. Let x = 61/2 + -31. Is x smaller than t?
True
Let q be 1/36 - 7/(189/(-6)). Is -2/3 >= q?
False
Let a = -7 + 12. Let m = -4 + 7. Let t = a - m. Which is greater: t or -1/3?
t
Suppose -6*k + 4*k = -10. Suppose 3*x = y + 7, 3*y - k*x = -x - 6. Suppose 0*j - y = 2*l - j, 4*l + 5*j - 10 = 0. Is -1/5 at least l?
False
Let p = -3.95 - 0.05. Let h = 5 + p. Is -1/3 <= h?
True
Let t(y) = 2*y - 2. Let w be t(2). Let k(b) be the third derivative of b**5/60 - b**4/6 + 2*b**3/3 - 2*b**2. Let n be k(3). Which is smaller: n or w?
n
Suppose 2*n + 0 = 4. Suppose 0 = -h - n*h. Let w = 7 + -5. Which is bigger: h or w?
w
Let i = -38 + 27. Let m be i + 13 + (-2)/(-2). Which is smaller: m or 4?
m
Let g(t) = t**3 + t**2 + 21. Let f be g(0). Suppose -f - 23 = 4*x. Are -12 and x equal?
False
Let i be 50/42 + (-3)/9. Are i and 1 unequal?
True
Suppose 5*t = 2*d - 9, 2*d - 3 = -t - 0. Suppose -2*i + 3*k = -11, 0 = 6*i - d*i + 5*k + 11. Which is greater: i or -0.1?
i
Let c = -3 - -1. Suppose -3*j - 79 = 4*y, 5*y = -5*j - 18 - 77. Let i be -3 + -2 + y/(-4). Which is greater: i or c?
i
Let z = -37 + 110/3. Which is smaller: -1 or z?
-1
Let w = -6378/145 + 44. Which is greater: w or -1?
w
Let i(s) = -s**2 + 5*s + 7. Let k be i(6). Is -3/19 at least k?
False
Let d(z) = 6*z**2 + 2*z + 2. Let j be d(-1). Let b be (-15)/j*180/(-125). Which is smaller: b or 5?
b
Let z(a) = 2*a**2 + 8*a + 11. Let b be z(-6). Are 36 and b nonequal?
True
Let k = -41 + 16. Which is smaller: -1 or k?
k
Let f be (-435)/(-90) + 2/12. Suppose 0 = f*r + 3*r + 168. Which is bigger: r or -22?
r
Let f = 1 - 0. Let b = 4.46 + -4.52. Is b less than or equal to f?
True
Suppose 2*j - 2 = 2. Let c be (-16)/(-60)*3/j. Let p be -3 - -2 - 0/1. Which is bigger: p or c?
c
Let o = -15 - -2. Let s = o - -6. Let a = s - -2. Is -5 equal to a?
True
Let n = -31 - -31. Which is greater: 8/15 or n?
8/15
Suppose -5*y = w - 97, -y + 4*w + 8 = -24. Suppose -5*j - y = -j. Which is smaller: -6 or j?
-6
Let g = -36.8 + 28. Let u = -9 - g. Which is bigger: u or -3?
u
Let c(z) = -4*z + 40. Let u be c(10). Which is bigger: 1/15 or u?
1/15
Let p = -1.6 - -1.67. Let r = p - 0.11. Let d = r + -0.06. Which is smaller: -2 or d?
-2
Let x be 205/(-1067) - (-24)/132. Which is smaller: x or 0?
x
Suppose 3*v = 4*v - 1. Which is smaller: v or 27?
v
Let l be (-2)/9 + 377/(-45). Let q be 948/80 - 4/1. Let c = l + q. Which is bigger: 1 or c?
1
Let y = -4.99 + 5. Suppose 8 = -3*p - 7. Let w = p + 5. Which is smaller: w or y?
w
Let i(k) = k**3 + 9*k**2 + 7*k - 4. Let w be i(-8). Let x be w/6*9/14. Which is bigger: x or 0?
x
Suppose 3*z = -0*z + 27. Suppose -3*n = 2*k - 11, -2*k - z = -5*n - 3*k. Which is smaller: n or 5/3?
n
Let k = -4 - -4. Suppose k*y - 2*y = 2. Let f be 3 + (3 - 0) + -5. Are f and y equal?
False
Suppose 0 = -c - c. Let w = -838 + 5041/6. Let u = -31/18 + w. Is c less than u?
True
Let l be -1 + (14/12 - 0). Suppose 0 = -0*f - 5*f. Is f > l?
False
Let b(i) = 11*i**2 - i - 1. Let d be b(-1). Let k = d - 6. Which is smaller: 4 or k?
4
Let z = -109 + 107. Let b = 19247/22 - 875. Let d = -1/330 - b. Which is greater: d or z?
d
Let g = -9 - -7. Let p = 66 + -77. Is p smaller than g?
True
Let x = -13 + 7. Let h(m) = -m**2 - 5*m + 4. Let l be h(x). Do -2 and l have the same value?
True
Let w = -1.23 + 0.23. Which is bigger: w or 1.5?
1.5
Let f be 8 + -3*(-2)/6. Let p = 40 + -29. Which is bigger: f or p?
p
Let g = 0.02 + 0.48. Let d = g + 4.5. Which is smaller: d or -1/2?
-1/2
Let k = 11.9 - 12. Which is greater: k or -25?
k
Suppose 21*w - 7*w + 42 = 0. Which is bigger: w or -0.11?
-0.11
Let g = 12 - 23. Is g bigger than -9?
False
Let u = -58 - -61. Let s = 0 + 2. Which is greater: s or 