Let h be (-4)/46*(-1 - -2). Let f(m) = m + 2. Let x be f(-3). Is h less than x?
False
Let w = -1 - -0.8. Let l = -31 + 28. Is w > l?
True
Let c = -3 + 11. Suppose -a = -5*a + c. Is 0.1 greater than a?
False
Let l = 0.07 + -0.17. Let x = -1 - -1.1. Are l and x nonequal?
True
Suppose 3*l - 97 - 95 = 0. Suppose l = -5*h - 6. Which is greater: -15 or h?
h
Let x(r) = -8*r + 2*r - 3*r. Let c be x(1). Let t(o) = -o**3 - 9*o**2 + 1. Let k be t(c). Which is smaller: 1/4 or k?
1/4
Let v = 5.6 - 1.1. Let k = v - 4. Let x = k - 0.7. Is -1/6 at least as big as x?
True
Suppose -2*v + 2*n + 490 = 0, 0 = -2*n - n + 12. Let t = v - 1740/7. Which is smaller: -1 or t?
-1
Suppose 6*b - 5*i - 155 = b, -3*b + 87 = -i. Let g = 113/4 - b. Let j = -0.09 - -0.59. Is j smaller than g?
False
Let s be -20 + (2 + -6 - -1). Is -24 at least s?
False
Let f = -44.9 - -45. Is f not equal to -1.1?
True
Let k(g) = -g**3 + 3*g**2 - 6*g. Let a be k(3). Which is smaller: a or -19?
-19
Let c = 153 + -2905/19. Which is smaller: c or 0?
0
Let k = -5 - -3. Let d = -40 - -23. Let t = -17 - d. Is t greater than k?
True
Let o = 2 - 3. Suppose -5*j + 4*j = -2*l - 7, 5*j + 5*l = 20. Let a = j - 7. Which is bigger: a or o?
o
Let d = -263/3 - -87. Let i = -8 + 17. Let r = 7 - i. Is r at least as big as d?
False
Suppose 3*s - 10 = 35. Let b be (-9)/s + 7/(-5). Is b >= -7?
True
Let r = 0.1 - -0.3. Is 1/5 bigger than r?
False
Let i(z) = -z**3 + 6*z**2 - 5*z + 2. Let p be i(5). Let a = -4 - -4. Let h be 1 + (a/3)/p. Is 1 greater than or equal to h?
True
Let q be 7/9 + (-6)/(-27). Which is bigger: -9 or q?
q
Let a = -220 + 221. Let o(j) = -j**2 - 4*j + 2. Let y be o(-5). Which is smaller: a or y?
y
Suppose -4*q + 7 = -5*j, -3*q + q - 5*j + 11 = 0. Let s = 10 - 9. Is q > s?
True
Suppose -13 + 3 = -2*q. Let v = q + -6. Let s = -4 - -6. Which is greater: v or s?
s
Let m be ((-33)/11)/(3/(-4)). Suppose 0 = -m*l + w - 0*w - 35, -7 = 2*l + 3*w. Is l > -7?
False
Let g = 29/30 - 259/330. Let y = 3 - 4. Let q be (1 + 0)*1/y. Which is greater: g or q?
g
Let i = 2.4 - 2. Let z = 3.6 + i. Let j = -2/129 + 268/645. Is z <= j?
False
Suppose 0 = 2*z - 5*c - 35, -4*c = -13 + 33. Suppose 3*v - 9 = 2*a + a, -4*v + 10 = -5*a. Is z at most as big as v?
True
Let g be -4 - (-8)/(-468)*-237. Which is smaller: g or 0?
0
Suppose 0 = -4*u - 9 + 13. Which is smaller: u or 6/95?
6/95
Suppose 2*w = -2*u + 10, 4*u + 2*w + 3*w = 24. Suppose 3*a + 8 = -4*g + 5*a, 4*a = 0. Let v be 48/30 + 1*g. Which is bigger: v or u?
u
Let q = -311/1529 - -3/139. Which is greater: 3/2 or q?
3/2
Let j be 6/21 - (-26)/7. Let x = 5 + -2. Which is bigger: j or x?
j
Let t = 118 + -117. Is t <= 1/46?
False
Let n be (1 - 2)/((-2)/(-8)). Suppose 1 = -4*s - 7. Are n and s equal?
False
Let r = 75 - 75. Which is bigger: r or 1/9?
1/9
Let k = 7 + -5. Suppose k*l = p + 8 - 3, 2*p = -2*l - 4. Which is greater: 2/5 or l?
l
Let d be (-10)/45 + 223/(-9). Are -26 and d nonequal?
True
Let z = -7 + 23. Suppose 5*s + 4 = -g, -3*g + 4 - z = -5*s. Is s greater than 0?
False
Let r(g) be the first derivative of -5*g**2/2 - 3*g + 1. Let t be r(-2). Let m = t + -5. Is m greater than 2?
False
Let s = 211 + -136. Let a = s - 218/3. Which is greater: 3 or a?
3
Let w = 2 - -5. Let y(f) = -f + 7. Let a be y(w). Suppose k - 6*k = 10. Is k smaller than a?
True
Let h(o) = -5*o**3 + 5*o**2 + 5*o + 4. Let y(f) = 4*f**3 - 5*f**2 - 5*f - 4. Let n(u) = 5*h(u) + 6*y(u). Let d be n(-4). Let w = -2 + 1. Is w less than d?
True
Let r = 18/35 + -73/35. Does r = -1/3?
False
Let u be 52/40 + (3 + -5 - 1). Does u = -3?
False
Let p(t) = -t**2 + 3. Let o be p(-4). Which is smaller: o or -10?
o
Let b = 28/1175 + -44738/200925. Let d = b + 8/19. Which is smaller: d or -1?
-1
Let m = 0.44 + -0.4. Let c = 0.96 + m. Let r = 0 - c. Which is greater: 1/3 or r?
1/3
Let i(j) = -3*j - 5. Let x be i(-4). Let s(w) = w - 9. Let k be s(x). Which is greater: k or -5/2?
k
Suppose -t = -6*t + 5, 2*f - 6 = -2*t. Suppose k + f*k = 0. Which is smaller: 1/6 or k?
k
Suppose 5*g = -d - 15, -5*d - 21 = -3*g + g. Let v be (g - 13/(-6))/1. Let f be (-4)/14 - 18/(-14). Is f bigger than v?
True
Let f be (-4)/1*3/(-3). Suppose f*r + 0 - 4 = 0. Which is greater: r or -2/27?
r
Let f be 4/(-39)*1/2*3. Let g(b) = -b - 3. Let o be (-1)/(1/3 - 0). Let i be g(o). Which is smaller: f or i?
f
Let c be (4/5)/(2/(-10)). Let b = 0.05 - 1.05. Is b greater than c?
True
Let m be -82 - -3*((-4)/(-3))/4. Which is smaller: m or -1?
m
Let v = -4 - -3. Let u = -7849/1046 + 2/523. Let m = u + 77/10. Which is bigger: v or m?
m
Let q be 69/460 - (-1)/(-4). Is -1 at most as big as q?
True
Let h = 0.006 - -2.694. Let x = 0.3 + h. Let u = x + -3. Which is smaller: u or 3/2?
u
Let u be 32/5 - (-8)/(-20). Suppose -2*j - 2*p = -6, -j + 2*p = u*p. Let f be -2 + j/2 - -3. Is 0 <= f?
True
Let t(k) = k. Let c be t(8). Let p = 6 - c. Is -1 less than p?
False
Let c = 27 + -242/9. Which is bigger: 1 or c?
1
Suppose x - 5*x - 2*k = 22, 5*k + 30 = -5*x. Let j be 21/5 - (-1)/x. Suppose -2*o = -0*p - 2*p - 4, 3*o - 8 = j*p. Is 0 at most o?
True
Suppose -3*l - 3*n + 48 = -4*n, 3*l = -n + 42. Is l bigger than 44/3?
True
Suppose 4*g - 6 = 3*g - 4*o, -2*g - 2*o = 0. Does g = 0.32?
False
Let o be (-60)/55 - (-1 - 0). Let n = -29/44 + o. Which is greater: 0 or n?
0
Suppose 0 = -18*b + 21*b + 3. Is b != 3/17?
True
Let l = 4296/149 + -675212/27863. Let a = -72/17 + l. Which is greater: a or 1?
1
Let c be (-9)/(-6)*(-5 + 1). Let i = -14 - c. Let k(p) = p**3 - 4*p**2 - p - 5. Let v be k(4). Which is bigger: v or i?
i
Let f be ((-62)/(-11) - 0) + 0. Let w = -64/11 + f. Is -1 not equal to w?
True
Let q = 11 - 6. Suppose q*g + 26 = -a + 4*a, -2*a - 27 = 3*g. Let i = 5 + -13. Which is smaller: g or i?
i
Let c be ((-4)/(-16) - 1) + 4. Is c greater than or equal to 3?
True
Let a(p) = p**2 + 7*p. Suppose 3*n = 9, 3*b - 2*n + 0*n + 27 = 0. Let o be a(b). Which is smaller: -1/4 or o?
-1/4
Suppose 32 + 30 = 2*y. Let j be (-5)/(-20) + y/4. Suppose -3 = -5*w - j. Is w greater than -1/2?
False
Let x = 1411/6 - 457/2. Which is smaller: x or 7?
x
Let k be (-8)/6*1*-6. Suppose -2*s + 41 = 3*n, 5*n + 0*s = -5*s + 75. Let v = k - n. Is -3 at most v?
True
Let i be (-148)/18 + (-6)/(-27). Let k = 12 + i. Which is smaller: 3 or k?
3
Let l = -0.12 + 6.12. Let m = 182 + -1276/7. Do m and l have different values?
True
Let s = -13 + 7. Let v be -4 - (3 + 3)/2. Which is bigger: v or s?
s
Let v = 60 + -59. Which is greater: v or 3/25?
v
Let u(z) = 3*z**2 + 2*z - 2. Let m be u(-5). Let y be (12/m)/(1/9). Is y greater than or equal to 2?
False
Let q be (20/170)/((-2)/3). Which is greater: q or 1?
1
Let o(v) = -v**2 + 2*v. Let g be o(0). Is g less than -3/4?
False
Let t = -2.1 - -2.1. Let q = 6 + -3. Is t >= q?
False
Let t = 6 + 2. Does t = 9?
False
Suppose 4*t + 8 = 3*t. Let f(j) = 2*j + 11. Let m be f(t). Which is bigger: -7/2 or m?
-7/2
Let s(k) = k**2 + 15*k - 74. Let q be s(-19). Let n be (-1)/((-2)/(4 - 0)). Is q != n?
False
Let u be (-25)/(-44) - 3/(-15 + 3). Is 0 >= u?
False
Let c = 12 - 12. Let j be (-4)/28*(3 + c). Does j = -1/4?
False
Let v = 28/15 + -517/285. Do v and -1 have the same value?
False
Suppose 8 = 4*f + 20. Is -3 smaller than f?
False
Suppose 20*h - 24*h = -132. Are h and -1 non-equal?
True
Let g(z) = 5*z + 15. Let x be g(-8). Which is smaller: -27 or x?
-27
Let x be (-162)/(-10)*7/(-7). Let s = x - -16. Which is greater: s or -1?
s
Let w be (-24)/14 - (-6)/(-21). Let n(g) = -g**2 - 5*g - 3. Let u be n(w). Suppose 5 + u = 2*x. Is 4 equal to x?
True
Let z = -14 - -10. Is z < -2?
True
Suppose 0 = -2*r - 3*o + 3 - 1, 0 = -5*r - 4*o + 5. Let h = -1 - -1. Let t = h - 0. Which is smaller: t or r?
t
Let h = 35.01 - 35. Let z be ((-4)/27)/((-10)/(-15)). Which is bigger: h or z?
h
Let r be 132/(-21) + 4/14. Let q = 0 + -4. Let k be q/r*6/(-10). Is -1 less than k?
True
Suppose 12 = 5*j - 63. Suppose -2*a - j = -3*x, -a + 10 = 3*x - x. Let h = 4 - x. Is h greater than -1?
False
Let o = 32 + -30. Are o and 36 equal?
False
Let n = 23 - 38. Which is bigger: -0.2 or n?
-0.2
Let q = 0 + 2. Suppose -1 = -q*n + 5*v, -4*n + n - 8 = 2*v. Which is bigger: 0.1 or n?
0.1
Let o be 27/(-21) + -1 + 2. Let b = -9 - -9.1. Which is smaller: b or o?
o
Let l be (-8)/10*24/128. Which is greater: l or -1?
