or n?
h
Let l = -6.04 + 6. Let t = -0.06 + l. Which is bigger: t or 1?
1
Let b = 0.5 - 2.5. Let v = 0 - b. Let c = 2 - 1.8. Which is smaller: v or c?
c
Let x be (-5)/15 - 34/(-3). Is x > 11?
False
Suppose -57 = -0*x - 19*x. Which is smaller: x or -1/2?
-1/2
Let y be ((-420)/(-104) + -4)*(-2)/(-3). Is 1 at most as big as y?
False
Let b(i) = i**2 - 6*i + 3. Let y be b(7). Let l be 1 + -2 - (-16)/y. Is 1 > l?
True
Let n(l) = -l**3 - 2*l**2 + l + 1. Let p be 6/4*(-12)/9. Let s be n(p). Is 1 at least as big as s?
True
Suppose -5 = -4*m + 3. Suppose w = m*w + 7. Let y be w/21*(-1 + -14). Do 6 and y have the same value?
False
Suppose -2*a - 5*m - 15 = 0, 3*a + 3*m + 7 + 2 = 0. Is a greater than or equal to -2/401?
True
Let h = 3/4 + -11/12. Let j = 0.12 - 0.27. Let t = j - -2.15. Which is smaller: t or h?
h
Suppose -4*a + 0*m - 3*m = -30, -4*a + 2*m = -20. Let v = -5 + a. Is -1/24 greater than v?
False
Let w be 2658*(93/(-96) + 1). Let r = -83 + w. Which is smaller: r or -1?
-1
Suppose 13 = -2*j - 11. Is -11 not equal to j?
True
Let v = -4 + 2. Let g be 1 + 3 + -2 - v. Suppose -p + g*p + 9 = 0. Is p at most as big as -3?
True
Let n(k) = -k**3 + 5*k**2 - 3*k + 2. Let y be n(4). Suppose -2*o + 4*o = y. Let b be o/(-2 - 1) + 3. Is 2 <= b?
True
Let t be 12 + (-9)/3 + -3. Let p be (1*(t - 0))/(-2). Let d be 6/2*(-3)/(-36). Is p bigger than d?
False
Suppose 2*t = 2 + 4. Suppose 2*u + r + 4 = t*u, 3*u = r + 10. Suppose -2*g = 3*g - 5, 0 = 5*a - 3*g - 7. Is u less than a?
False
Suppose g = -7*j + 3*j - 6, 3*j - 1 = 2*g. Is -5 >= j?
False
Suppose -2*p - x - 8 = 0, 3*p - 5*x + x = -23. Do -5 and p have the same value?
True
Let y = -83/4 - -579/28. Is y less than or equal to 1?
True
Let u(l) = 3*l**2 + 3 + l**3 + 3*l**2 - 2*l**2 + 4*l. Let n = -9 + 7. Let v be u(n). Which is smaller: 2 or v?
2
Let g = -9.5 - -11. Which is smaller: 0 or g?
0
Suppose c = -2 + 11. Let v = -9 + c. Is 1/7 at most v?
False
Let g(r) be the third derivative of -7*r**4/24 + r**3/3 + 3*r**2. Let m be g(-2). Let v = m + -10. Which is smaller: v or 5?
5
Let t = 5822269/44 - 132337. Let z = t + 126/11. Which is smaller: z or -1?
z
Let q be -4 - 1 - 1*-1. Suppose -4*t - 5 = -3*t. Which is smaller: t or q?
t
Suppose -2*v + 4 = -4*c, 0 = 3*v + v + 2*c - 18. Let r be 220/75 + (-2)/(-5). Is v bigger than r?
True
Suppose 4*j = 5*j - 5. Let x(l) = l**2 - 5*l - 7. Let k be x(5). Let u = j + k. Are -2 and u non-equal?
False
Suppose -4*h + 9*h = -p + 24, 0 = 5*h + 3*p - 32. Suppose 0 = -5*w - h*n - 12, 5*w + n - 9 = 4*n. Is -6/7 greater than or equal to w?
False
Let k = 61 + -63. Let t be (-2 - 0)*1 - -4. Suppose -4 - t = 2*w. Is k at least w?
True
Let s = -26 - -77/3. Suppose -3*j + 9 + 0 = 0. Suppose -j*k + 1 = -4*k. Which is smaller: s or k?
k
Let t = 171 - 168.5. Which is greater: t or -0.4?
t
Suppose -4*z - 4 = -20. Suppose 0 = 4*f - 5*c + 22, -2*f - 5*c = -0*c - z. Let m = 5 + f. Is m at most 3?
True
Let q be (34/4)/(6/(-24)). Let x be (4/q)/(-3 + 4). Which is greater: x or -1?
x
Let b be 1/((-3)/9 + 0). Let p(o) = o**2 + 5*o - 8. Let g be p(-7). Let f = b + g. Which is bigger: -0.1 or f?
f
Let l = 17 + -17. Let a = -2/227 + 460/681. Is l less than a?
True
Let h(t) = -t**2 + 5*t - 2. Let x be h(3). Suppose 0*k - 8 = -x*k. Let y = k + 0. Is y less than 4?
True
Let m(y) = -y**2 + 10*y + 12. Let o be m(11). Suppose z = -o + 6. Let v = 0.1 + 0.1. Which is smaller: z or v?
v
Let y be (-8)/12 - (-218)/(-6). Let m be (y/12 - -3)*-2. Is 1 at least m?
True
Suppose 2*t = -3*x + 4*t + 5, x - 15 = 4*t. Do -4/11 and x have the same value?
False
Let x be 2/6*(1 - -11). Suppose -5*a + 4 = -x*a. Is a bigger than 4?
False
Let z(w) = 3*w**2 - w. Let f be z(2). Let m = f - 16. Which is greater: m or -5?
-5
Suppose 13 + 3 = 3*o - 2*z, 0 = -4*o - 4*z - 12. Let k be (o - (-21)/(-18))*1. Which is bigger: 2 or k?
2
Let h = 13 + -11. Is h not equal to 5/4?
True
Suppose -4*z = -0 + 4. Let x be 1/(-1) + (-2920)/18. Let u = x - -163. Which is bigger: z or u?
u
Let b(l) = -l**2 + 5*l - 1. Let g be b(4). Suppose -g*z + 20 = 2*z. Which is bigger: 2 or z?
z
Suppose 2*c - 16 = 5*l, 0 = 4*l + l + 4*c + 28. Suppose -n = n. Suppose -3*r - r + 5*d - 16 = 0, n = 5*r + 3*d + 20. Is r less than or equal to l?
True
Suppose -4*z + 0*z = 4. Let y = -127 + 128.01. Let i = y + -0.01. Which is smaller: i or z?
z
Let w = -772/11 - -70. Which is smaller: -0.5 or w?
-0.5
Let k be 3 - (216/(-225))/((-2)/(-5)). Which is smaller: 5 or k?
5
Let x = -221/35 + 33/5. Suppose z - 2 = -0*u + 2*u, -3*u = 5*z - 23. Let r be 1*((u - 1) + -1). Which is smaller: r or x?
r
Let n(a) = 5*a - 3. Let f be n(-4). Which is smaller: f or -24?
-24
Suppose -14*b + 12*b = 0. Is b >= 25?
False
Let x = 4 + -4. Let d(m) = -m**2 - m - 3. Let u be d(x). Let o be (1/2)/(u/6). Is o > 2/7?
False
Let m = 1 + -2. Suppose 3*u = 2*u + 3. Suppose 4*j = 14 - 34, b - j - u = 0. Is b at least as big as m?
False
Let x = -33/2 - -83/5. Which is greater: -1 or x?
x
Let b = -0.7 - -9.7. Let p = 2.1 - 2. Which is greater: p or b?
b
Suppose -2*v + 62 - 5 = 5*t, -67 = -2*v - 3*t. Which is smaller: v or 42?
v
Let r = -0.8 - 0. Let f = r - -0.7. Are f and -1 unequal?
True
Let x = 29 + -36. Is 1 greater than x?
True
Let k(m) = -m**2 + 10*m + 5. Let b be k(7). Let l = b + -26. Is -2 greater than l?
False
Let j = -1 + 1. Suppose -y = -3*h - 6*y + 62, 2*y - 22 = -h. Let o be (-18)/35 + (-4)/h. Is o at least j?
False
Let q = 12 + -17. Let l(o) = 2*o - 5. Let c be l(5). Let h be 2/c + (-63)/70. Which is greater: h or q?
h
Let a(f) be the second derivative of f**5/20 + 2*f**4/3 + 7*f**3/6 - 3*f. Let v be a(-7). Which is smaller: -1/12 or v?
-1/12
Suppose -4*y = -y + 6. Suppose t = -4*t. Is y less than t?
True
Let k = -26 + 25. Which is bigger: k or -0.7?
-0.7
Let t be 1*17 - 0/1. Let l be t/36 - (-7)/(-28). Suppose 1 = 3*y - 2. Which is smaller: y or l?
l
Let v = 6579128081/2126525 - -1/85061. Let f = v + -1948633/575. Let u = f - -295. Which is smaller: u or 1?
u
Let y be (-67)/110*(-32)/(-138). Let r = 2/253 + y. Let n = 7 - 7. Is n > r?
True
Let g = -9 + 13. Suppose -g = -4*i, -4*i + 2 + 2 = -5*j. Let f = 1 + -1. Is j < f?
False
Let o be -1*((-2)/(-4) + -1). Let s(w) = -w**2 - 4*w + 3. Let l be s(-4). Let z(m) = -m + 3. Let f be z(l). Are o and f nonequal?
True
Let t = -0.18 - -0.18. Is t greater than or equal to 2?
False
Let g be (-1*((-12)/4 - -4))/(-5). Is g at least as big as -1?
True
Let r = 32 - 32. Is 5/6 less than r?
False
Let y = -1.1 + 1. Let a(j) = 2*j - 20. Let m be a(5). Which is greater: y or m?
y
Suppose -10 = 3*q + 8. Let b be (-365)/30 + (-1)/q. Let w = -8 - b. Which is smaller: w or 3?
3
Let v = 8 - 7.89. Let b = -0.31 + v. Is 2/3 less than b?
False
Let j(f) = f**3 + 5*f**2 + 7*f + 10. Let o be j(-4). Do o and -2/25 have the same value?
False
Let a(w) = -w**3 + 2*w**2 + w + 7. Let x be a(-3). Which is smaller: x or 48?
48
Let g = -1.8 - -1.4. Let n = -17 + 19. Is n smaller than g?
False
Let k be (-4)/(-16) - (-108)/(-304). Let a(c) = c**3 - 4*c**2 - 5*c. Let z be a(5). Is z equal to k?
False
Let y = -29 - -27. Is y equal to -1/3?
False
Suppose -3*j + 8 = k, -4*k + 3*j = k + 14. Let z(w) = -w**3 + w**2 + 12*w. Let s be z(4). Is s at least k?
True
Let s = -11/4 - -59/20. Suppose 3*h - 5 = -m + 4, 9 = 3*m + 3*h. Let u = 0 + m. Which is greater: s or u?
s
Let g = -20/3 - -7. Let q = -1097/7 + 157. Is q greater than g?
False
Suppose -4*z - 8 = 2*y, 2*z + 3*z - 3*y = 1. Which is smaller: 5/11 or z?
z
Let j be ((-6)/(-21))/((-6)/(-14)). Is j smaller than 5?
True
Suppose s + 1 = 3*b, 0*b + 2*s = -2*b + 6. Which is bigger: b or 2/23?
b
Let m = 104 + -524/5. Which is smaller: m or -1?
-1
Let q = -0.21 - -0.21. Let a = 0.2 - q. Are a and 2 unequal?
True
Let v = 13 + -12. Which is smaller: 3/14 or v?
3/14
Let t = 2/1777 + -7130/19547. Let g be (-1)/(-15)*5*0. Is t bigger than g?
False
Suppose -15 = 3*d, -15 = -4*q + 5*d + 86. Is q greater than 0.1?
True
Let t be (69/46)/(6/40). Which is greater: 11 or t?
11
Let t be -2*225/20*(-6)/5. Is 28 less than or equal to t?
False
Let u be ((-1)/(-19))/(75/36 - 2). Is u >= 1?
False
Let d(g) = 2*g + 0*g**2 + 2 + 3*g**2 - 2*g**2 + g**2. Let x be d(-2). Which is greater: 7 or x?
7
Let h be 30/(-4)*(-6 + 4). Let s be 4*(-5)/(h/(-9)). Let b be (-12)/