 than -31?
True
Let c = -0.21 + 0.18. Let b = 2 + -2.1. Which is smaller: c or b?
b
Let p be -3*2/75 - 0. Is p at most as big as 0?
True
Let t(g) = g**3 + g**2 + g - 1. Let l be t(0). Let x = 278/5 - 56. Is x less than l?
False
Let v be (-6)/(-9)*6/(-4). Let w = -1 + v. Suppose -18 = 4*r - 2*h - h, -14 = 4*r - h. Is w smaller than r?
False
Let r(l) = l**2 + 5*l - 2. Suppose 6*z + 17 = -19. Let y be r(z). Are 7 and y non-equal?
True
Let j be (-16)/12*366/(-4). Let v = 612/5 - j. Which is bigger: 1/22 or v?
v
Let f be -2 - ((-2)/55 - 2). Let k = -4/11 - f. Let o be 0/(2 + -2 + 1). Are k and o unequal?
True
Suppose 0 = -2*p + 6 + 28. Suppose -p = 3*t + 4*l, -t - l - 7 = l. Let j = 12 + -15. Are j and t non-equal?
False
Let a(d) = -1 + 3*d - 2*d - 4. Let z be a(6). Is 10/9 at least z?
True
Let b(n) = -58*n**3 - n**2 + 2*n + 2. Let f be b(-1). Is f greater than 57?
False
Suppose -5*q - 20 = 0, 7*q - 3*q + 18 = -h. Let c be -7 - (2 - (0 - h)). Let p = -3 - c. Which is smaller: p or 0?
0
Let y be ((-8)/(-12))/((-6)/(-27)). Suppose 3*t = -0 + y. Which is smaller: 3/2 or t?
t
Suppose 4 = -3*g + 1. Let o = 16/161 - 2/161. Is g <= o?
True
Let k = 29 - 26.8. Let a = 2 - k. Suppose -27 = -9*x - 18. Which is smaller: x or a?
a
Let u = 17 + -143/8. Let r = -89/56 - u. Is r greater than or equal to -1?
True
Let x(y) be the third derivative of y**6/120 + y**5/6 - y**4/2 - y**3/2 - y**2. Let c be x(-11). Let m be -4*(14/c + 0). Are -7 and m equal?
True
Let t be 2/(-4)*(-7 - 5). Suppose 0 = -t*v + 5*v - 6. Is 0 smaller than v?
False
Let o be (-1)/(-3) - (-220)/6. Suppose 5*z + o + 43 = 0. Let r be 4/z + 1/4. Is r at least as big as 1/6?
False
Let n be 6/(-57)*6/78. Is 1 at least as big as n?
True
Let v = 0 + 87. Let h be (3/v)/((-2)/4). Is -1 greater than or equal to h?
False
Suppose 4*l + d + 3*d - 4 = 0, -4*d = 2*l. Suppose a = -b - l*a + 12, -15 = -3*a. Let y be (b/(-12))/(9/(-4)). Which is greater: y or -1?
y
Let w = -4.2 + 14.2. Is 0.3 at least w?
False
Let w be 4 - (-2)/(-2)*-2. Let m be (-99)/(-44)*(-16)/w. Which is bigger: m or -5?
-5
Suppose -5*f + 4*g = -1065 - 776, 0 = 4*f - 3*g - 1473. Let x = f - 2587/7. Which is bigger: 0 or x?
0
Let c be (-3)/(3/2)*-1. Let f = 14 - 9. Suppose -7 - 2 = -4*x + h, 3*x = -h + f. Do c and x have different values?
False
Let c be 8/20 - (-2)/10. Which is smaller: 2 or c?
c
Let w be 4/2*-1 + 1. Do 2/15 and w have the same value?
False
Let c(o) = 3*o + 5. Let w be c(-4). Let t = w - -4. Suppose -4*q - 4 = -2*q. Which is greater: q or t?
q
Suppose -3*p = -1 - 2. Let o(i) = i**2 - 6*i + 3. Let g be o(4). Let y = g - -7. Is p at most y?
True
Let g be (1/(-1))/(1/5). Let c be (-2)/g*2/4. Let r = -3 + 3. Is c at least r?
True
Let z = -1 + -18. Is z smaller than -19?
False
Let z(f) = -f - 8. Let m be z(-7). Let p be ((-12)/(-9))/((-4)/(-6)). Let o be ((-12)/(-16))/((-9)/p). Is o not equal to m?
True
Let o = 2521/9 + -279. Which is smaller: o or 1?
1
Let g be (-2)/(54/489) + 3. Let n = g - -988/63. Which is bigger: 2 or n?
2
Suppose -3*a + 16 = a. Suppose -c - 4*c = -a*b - 1, -2*b - 2*c + 22 = 0. Is b <= 6?
True
Let g be (-28)/2*450/105. Let r be g*(-8)/252 + -2. Which is smaller: -1 or r?
-1
Suppose -r - 5*h = -0*r - 10, 0 = -4*r + 4*h - 8. Is 0 at least as big as r?
True
Let l(a) = -2*a - a + 4*a. Let x be l(-5). Let w(n) = -3*n**2 - 2*n + 2. Let q be w(-2). Are q and x equal?
False
Let w = 1/12 - -1/6. Let c = -38 - -37.8. Which is greater: w or c?
w
Let h = -4 - -4. Let u = 2 + -1. Suppose n + u = 2*n. Are h and n non-equal?
True
Let k(g) = 4*g - 2*g**2 - 3*g + 3*g**2 - 4*g - 1. Let v be k(3). Which is smaller: 1/5 or v?
v
Let p = -693 - 59. Let m = p + 4565/6. Let b = -9 + m. Is b less than 2/3?
True
Suppose 8*l - 90 = 5*d + 5*l, -69 = 4*d - 3*l. Suppose -i + 6 = -0. Let f be (-4)/i - 14/d. Which is smaller: 1 or f?
f
Let f(b) = b**2 - 4*b - 1. Let x be f(3). Let n = 56 + -59. Which is smaller: x or n?
x
Suppose 2*c - 9 = 3*o, o - 4*c + 6 = -7. Let f = 1 + o. Is f at most as big as 0?
True
Suppose 0 = f + 4*u - 17 + 4, -f + u + 3 = 0. Suppose 23 + 22 = -f*h. Let w = h - -7. Which is smaller: -1 or w?
w
Let m = -0.7 + 1. Let i = 2.3 - m. Are i and -0.1 nonequal?
True
Suppose 4*g + 2*v = -14 + 64, 25 = -5*v. Suppose 0 = -g*y + 20*y. Are 1 and y equal?
False
Let p = -3 - -4. Let y = 1 - p. Let c(u) = -u**3 - u**2 - u + 1. Let l be c(y). Is l greater than 0?
True
Let o = 5801/14 + -414. Do -1 and o have the same value?
False
Let x(f) = 0*f - 2*f + 2 - 3*f**2 + 6*f**2 + f**3. Let b be x(-4). Let p(z) = z**3 + 5*z**2 - 7*z - 3. Let r be p(b). Which is smaller: r or 2?
2
Suppose 5*f = 3*a - 11 - 4, 0 = -a + f + 3. Suppose a*x = -2*x - 6. Is x greater than -3?
False
Suppose 0 = -4*v - 12 - 4. Let k be 2/4*(v - -6). Is k equal to -1?
False
Let l = -338/3 + 113. Is -1/72 at most l?
True
Let n be 14/28 + -1 + 1. Is n less than 7?
True
Let m = -25 + 27. Let u = -5.07 + 0.07. Which is smaller: m or u?
u
Let a = 64 - 574/9. Suppose 9 = 2*r + 1. Suppose 2*q - r = -2*q. Are a and q equal?
False
Let b(c) = -2*c + 6. Let k be b(4). Let x be -1 + 7 + -1 + k. Suppose 3*p - 5*m = -11, 5*p - m = x*m - 1. Which is smaller: p or 2?
2
Let y be -6 - (0 + (0 - 1)). Let b be ((-1)/(-2))/(y/(-10)). Suppose 2*a = -5*h + 5, 4 = 5*h - 5*a - b. Which is smaller: -2/9 or h?
-2/9
Let j = 0.6 + 0.4. Let y = j + -3. Let p = -2.2 - y. Is 2/7 at most as big as p?
False
Let t = 36.3 + -38. Let k = t + 1.9. Is k > 3?
False
Suppose 2*f = -5*i - 17, -21 = 4*i + f - 5. Is i bigger than 6?
False
Let v = 38 - 68. Is v at least -30?
True
Suppose 0 = 4*p - 40 - 56. Let k = -25 + p. Which is smaller: -6/5 or k?
-6/5
Let u = 10 - 2. Let m(r) = r**3 - 8*r**2 - r - 1. Let k be m(u). Which is greater: -8 or k?
-8
Let r be (3/9)/(1/3). Is 1/7 not equal to r?
True
Let c be (-6)/4*(-4)/6. Let z(g) = -2*g**2 + 2*g - 1. Let u be z(c). Is 2/13 at least as big as u?
True
Suppose 0 = -v - v - 3*d + 22, -2*v = 4*d - 24. Which is greater: v or 9?
9
Suppose 5 = q + 7. Which is smaller: -10/11 or q?
q
Let p = -2 + 0. Let j(k) = -k**2 - 3*k. Let m be j(-1). Suppose h - 4*h = 2*v - 3, -2*v = m*h - 4. Which is smaller: h or p?
p
Let w = 250513/35 - 7157. Let s = -118/315 - w. Which is bigger: s or 0?
0
Let z = -6/605639 + -956301407/259819131. Let y = z + 2/143. Which is bigger: -3 or y?
-3
Let b(z) = z**3 - 15*z**2 - 16*z. Let k be b(16). Let w be 3 + 0 + 8/(-3). Is w smaller than k?
False
Let o = -32 + 32. Is 0 greater than or equal to o?
True
Let h = 2 - 6. Let b be (1 - 2) + (-3)/h. Do -0.2 and b have the same value?
False
Let v = -91 - -73. Which is smaller: v or 3?
v
Let j = 12 - 7. Let g be 1*(7 - (-2 + j)). Is g equal to 5?
False
Let m = 1119/2635 + -1732583/1573095. Let j = -2/199 - m. Is 0.7 at least j?
True
Let h = 16 - 25. Let d = h - -9.1. Is -1 != d?
True
Let g be 2430/20*12/10. Let l = g - 147. Is 0 equal to l?
False
Let n(l) = l**3 + 14*l**2 + 12*l - 13. Let v be n(-13). Suppose v = -y - 2*y - 15. Let t be (2 + -2)/(6 + y). Which is smaller: t or -1?
-1
Let b = 33 - 28. Is b at most as big as 14/3?
False
Let r be (-6)/4*2/(-3). Let y be (-1)/(r/4*7). Is -1 != y?
True
Let c = 35514 + -6463489/182. Let x = c - 1/26. Which is smaller: x or -0.1?
-0.1
Let n = 2.4 + 10.6. Which is bigger: 0.1 or n?
n
Let a = 7/8 + -5/24. Let s = 1 - 0.8. Is a <= s?
False
Let j be (29 - 33) + 108/26. Let l(f) = 2*f + 3. Suppose b = -0*b - 2. Let v be l(b). Is v <= j?
True
Suppose -v = 6 - 7. Suppose -k = -2 + v. Suppose 0 = -5*w + 2*f + 10, 6*f + 4 = 2*w + 2*f. Does w = k?
False
Let t = -36 + 2. Which is smaller: t or 2/9?
t
Suppose -38 - 122 = -4*z. Suppose -4*a = 5*f - z, -4*f - 4*a + 31 = -5. Which is smaller: 6 or f?
f
Let h(n) = 2*n - 1. Let k be h(1). Let o = -0.08 - 1.42. Let l = o + -0.5. Is l greater than or equal to k?
False
Let r = 51/5 + -877/85. Is -1 greater than r?
False
Let b be (-30)/36*(-4)/25. Suppose 2*f - 10 = -4*w - f, -22 = -5*w + f. Let h be (-8)/36 - w/(-18). Is h >= b?
False
Let r be 175/20 + (-1)/(-4). Suppose -5*n + r = -d, 0*n + 11 = 5*d + 3*n. Suppose 1 + d = -2*h. Which is bigger: -1/7 or h?
-1/7
Let r be -2 + 3 - (-3 - -2). Suppose 0 = 4*o + r - 18. Suppose 0 = -2*s - 0*s - p - 2, 4*s + o*p = -12. Is 0 > s?
False
Suppose -9 = -4*i + 23. Which is greater: i or 7?