maller: -0.2 or v?
-0.2
Let y be 6/(-14) - (5 - 66/14). Which is greater: y or -2?
y
Let m = -42505/6 + 7038. Let k = 46 + m. Let d = 0 - 0. Which is bigger: d or k?
d
Let k(y) = -y**2 + 8*y. Let t be k(8). Let s be (t + -1)/(4/28). Which is bigger: -5 or s?
-5
Let v = 0 + 4. Let k = v + -3.9. Let u = 0 + k. Is u at most -0.2?
False
Let q = 3 - 1. Let a = 1 - q. Let m = a - -1. Which is bigger: m or 2?
2
Let j = 33 + -79. Let u be 94/j + 0 + 2. Are 1 and u unequal?
True
Let m(q) be the first derivative of -q**4/4 - 2*q**3 + 7*q**2/2 + 5*q + 1. Let t be m(-7). Suppose 2*o - t*d = -3*d + 4, 0 = -d + 1. Is 1 at least o?
False
Let r = 20 + -15. Suppose 2*d = r*k - 13, -4*d - 3*k - 21 + 8 = 0. Suppose -c + 9 = -4*c. Is d greater than or equal to c?
False
Suppose 0 = 5*j - w - 1, -j - 2*w = 3*j + 2. Suppose 2*q - 2*s = 2*s - 24, j = -5*q - 3*s + 5. Are q and -3 equal?
False
Let u = 2.3 - -1.6. Is 0 <= u?
True
Let v(p) = p + 12. Let y be v(4). Which is smaller: 0 or y?
0
Let d(h) = -27*h - 23. Let p be d(-4). Is p > 85?
False
Let r = -34 + 34. Is r != 16/13?
True
Let b be 8/534*(-6)/4. Which is smaller: b or 0?
b
Suppose 0 = 2*w + 2*h + 2*h + 10, -2*h = 4*w - 10. Suppose -w*i - 11 = 4*v, -3*v - 1 = 2*v + 2*i. Let p = -60 + 239/4. Which is smaller: v or p?
p
Let j(o) be the second derivative of o**5/20 + o**4/4 + o**3/2 + o**2 + o. Let m be j(-2). Let a = -4/9 + -2/9. Which is bigger: m or a?
m
Suppose 3*x + x = 8. Suppose 2*q = -2 - x. Let o be 14/(-5) + (-8)/40. Is o < q?
True
Let c(j) be the third derivative of j**4/24 + j**3/2 - 2*j**2. Let i be c(-3). Let q be (2 + 6/(-4))*1. Is i at least q?
False
Let c be (-2 - -2) + 2/6. Let y be (-15)/3*(-15)/3. Suppose -5*p = 5*i + y, 0 = -p - 3*i - 16 + 1. Which is bigger: p or c?
c
Let m(a) = -3*a - 2. Let p be m(2). Let r be (-18)/p - (-3)/(-6). Does 1 = r?
False
Let h be (-4)/(-18) - 14/(-18). Let n be (10/(-255))/((-2)/6). Is h at least n?
True
Let g = -4 + 12. Suppose z = -z + g. Which is bigger: z or 5?
5
Let v = 8 - 0. Let q = v + -12. Let s = 6 + q. Is s at least -0.2?
True
Let m = 59/24 - 17/8. Which is smaller: -34 or m?
-34
Let r = 10/39 - 103/351. Which is bigger: r or -1?
r
Let u be -1 + (0 - 0) + 16. Let p be 2/(-44)*183830/u. Let m = -557 - p. Which is bigger: 0 or m?
m
Let r = 9 + -8. Suppose -3*i = 4*o - 16, 3 + r = i + o. Which is greater: 2 or i?
2
Let g = 43/57 - -55844/399. Let h = g + -141. Let s(m) = 4*m**3 + 2*m**2 + 2*m + 1. Let v be s(-1). Which is smaller: h or v?
v
Suppose 0 = 5*a + 24 + 46. Let p = -20 - a. Let h be ((-2)/3)/((-1)/(-9)). Is p != h?
False
Suppose -4*r = -3*o - 3, -2*o - 3 = -r - 1. Let h be o/(-1) - (-3 + 2). Let d = 1 - h. Which is bigger: -2/5 or d?
-2/5
Suppose u = -3*u + 8. Suppose 3*p - q = 13, -14 + 46 = 4*p - 5*q. Which is smaller: u or p?
u
Let f = 44 - 54. Which is greater: -4 or f?
-4
Let u = 14 - 12. Suppose 3*w - 9 = 0, -5*a + u*w + 25 + 39 = 0. Which is smaller: a or 2/3?
2/3
Let t be 1 + 2/4*-1. Which is bigger: t or 0?
t
Suppose -3*k - 83 = -11. Let y be (k/10)/(18/(-40)). Is y less than or equal to 6?
True
Let c(p) = -p**3 - 5*p**2 + 6*p - 1. Let v be c(-6). Which is smaller: v or 1/13?
v
Let w(j) = j**3 + 7*j**2 - 9*j - 8. Let h be w(-8). Let d be 158/(-630) - 2/(-9). Let q = d + -32/105. Is h >= q?
True
Let a be 3/(-3 - 20/(-6)). Let m be (-6)/a - (-10)/6. Let s = 9/8 - 61/40. Which is smaller: s or m?
s
Let o be -2 + 0 + 2 - 0. Let u be 1/(-1 - (o - 10)). Suppose -5*n + 0 = 5. Which is smaller: n or u?
n
Let c be 1 + 3 + (-3 - 0). Is 2/117 less than c?
True
Suppose 14*z - 11*z - 9 = 0. Which is greater: z or 1?
z
Suppose 2*q + 2 = 4*q. Let d be 1*(2 + 1)*2. Let r be ((-4)/(-6))/((-9)/d). Which is smaller: r or q?
r
Let f = -18.875 - -17. Let b = f + -0.095. Let y = -0.03 + b. Which is smaller: y or 0?
y
Let t = 0.6 - 0.5. Let b = 0.1 - t. Is b >= 0?
True
Let h(w) = -w**3 - 3*w**2 - 2*w - 4. Let r be h(-3). Let p = r - 4. Let k = 0 - p. Is k greater than 2?
False
Let p be (1 + 1)/((-22)/55). Which is smaller: -4 or p?
p
Suppose 2*v + 46 = 3*v. Let r be 0 - -2 - v/24. Which is smaller: 0 or r?
0
Let v be ((-10)/4)/((-78)/(-12)). Which is smaller: v or 0?
v
Let w(j) = j + 16. Let r be w(-11). Is 5 > r?
False
Suppose -3*d + 12 = 0, -5*d = 3*j - 6 - 14. Let l(b) = b**2 + 6*b - 8. Let m be l(-8). Suppose -2*o - m = 2*o. Which is smaller: j or o?
o
Let v be (-9)/(-5 + (-237)/(-6)). Which is bigger: 1 or v?
1
Let w = 1.6 - 3.6. Let l = -0.1 - -0.1. Which is smaller: w or l?
w
Let j = 4 - 4.01. Let q = -0.39 + j. Let t = q + -0.6. Is t equal to -2?
False
Let z = 136 - 1091/8. Are -1 and z nonequal?
True
Let x be (24/(-60))/((-143)/5). Which is smaller: x or -1?
-1
Suppose -4 = -5*v + v. Suppose -9 = -4*u - v. Let k = 0.06 - 0.06. Is k < u?
True
Let h(j) = -2*j**2 + 1. Let l be h(1). Let s be (-8 + 7)/(1/(-2)). Are l and s equal?
False
Let w be (9 - (6 - 1)) + (-9)/2. Is -0.7 at most as big as w?
True
Let m = 4 + -6. Let x(l) = -l**2 + 1. Let b be x(m). Let f be (-1 - -2)*(b - -8). Which is bigger: 4 or f?
f
Suppose -4*s = -3*s - 4. Suppose -c = 4*j - 2, -s*j - 2*c + 2 = -2. Let x = 2.1 - 2. Which is bigger: j or x?
x
Let o be 3/((-45)/10) + (-40)/3. Let c = -33 - -20. Which is greater: c or o?
c
Let d = -5 + 12. Let v = d + -7.1. Is v less than -3/4?
False
Let g(b) = b**2 + 3*b + 3. Let i be g(-4). Let s = i + -38/5. Which is bigger: 0 or s?
0
Suppose p - 25 = -4*p. Suppose -21 = -3*b + p*m, 11 = -b - 4*m + 1. Is b bigger than 2?
False
Suppose -h + 2 = -n + 9, -29 = -4*n + 5*h. Which is smaller: n or 4?
4
Let m be 13/(-21) + (-4)/(-12). Let j = -4 + 3. Which is smaller: j or m?
j
Let g(n) = -n**3 + 10*n**2 - 10*n + 8. Let w be g(9). Is w at least -73?
True
Let f = -228 - -4559/20. Let v(g) = -g**3 + 4*g**2 + g - 4. Let w be v(4). Which is smaller: f or w?
f
Let d(x) = -x + 2. Let n be d(3). Let w be -2 + 3 + (-812)/34. Let l = w + 23. Which is bigger: l or n?
l
Suppose w = 2*w. Suppose 4*a - 12 = -w*a. Let u = 1.15 + -0.15. Are u and a non-equal?
True
Let p(c) = -c**2 + 8*c - 8. Let a(q) = -q + 5. Let f be a(-10). Let l = f + -8. Let v be p(l). Is v > -1/8?
False
Suppose -f + 3 = -0*f, 0 = -z + 3*f - 21. Is -11 >= z?
True
Let w = -118 - -112. Is w at least as big as 1?
False
Let m be -21 + -3 + 2 + -2. Let w be 1/(-4) + (-222)/m. Is w greater than 9?
False
Let o = -116.3 - -125. Let a = o - 9. Which is greater: a or 4/5?
4/5
Let f(a) = -3*a - 2. Let w be f(-1). Which is greater: w or 2/15?
w
Suppose 2*h + 14 = -3*r, 4*r - 2*r + 4 = 4*h. Let a = r - -6. Suppose 3*j + 5 = a. Is -1 >= j?
True
Let v = 9.6 - 10.6. Which is bigger: v or -24?
v
Suppose 5*t = -3*n + 34, n = 2*t + 3*n - 16. Let p = -2 + t. Are p and 1 unequal?
True
Let f = 7 - 2. Let w = -467/2 + 238. Is w > f?
False
Let i = 6 + -8. Let g = i - -2.3. Let j = 1.3 - g. Is 2 not equal to j?
True
Let r(q) = -q**2 - 13*q + 3. Let h be r(-7). Is h < 44?
False
Suppose 5*s + 0*s = -5. Let d = 30 + -17. Let k = -13 + d. Is s greater than k?
False
Let c = -13 + 8. Let v = 18 + -13. Let h = v + c. Are h and 0.1 non-equal?
True
Let g = -4 - -15. Let s = g + -7. Let q be (-1)/(-1) - (-4 + 0). Which is bigger: s or q?
q
Let i = 14.23 + -13.4. Which is greater: i or -1?
i
Let n be 3/(-2) + 5/10. Let a be (-10)/(-18) + 0 + n. Is 0 bigger than a?
True
Let l be (1/1)/((-4)/(-12)). Suppose -2*n = -0*n - 2. Which is smaller: l or n?
n
Let g be (-3)/(-9) - (-5)/75. Let s(v) = 2*v**3 - v**2 + v - 1. Let i be s(1). Which is bigger: i or g?
i
Let c = -769/3 - -5378/21. Let m = 2/21 + c. Is -1 >= m?
False
Let a = 24 + -39. Which is smaller: -0.1 or a?
a
Let p = 2/13 - -9/26. Which is bigger: -0.1 or p?
p
Let z = 1311 - 1311.2. Let u(r) = r**2 + 2 + 0*r**2 - 2*r**2 - r. Let w be u(-2). Which is smaller: w or z?
z
Let d be (-5 - -4 - -1)/3. Are -14/3 and d unequal?
True
Let l(x) = -2*x + 44. Let v be l(20). Which is greater: v or 15/4?
v
Let n = 9 + -8. Is n <= 1/13?
False
Let w = -6 + 10. Let x = 1 + w. Which is smaller: x or 0.1?
0.1
Let b be (9 - 7)/(6/2). Is 1 at most as big as b?
False
Suppose -y - 20 = -6*y. Let m be (-21)/12 + (-1)/y. Does -2 = m?
True
Let k(t) = t - 7. Let u be k(7). Suppose 0 = -n - 2 - u. Which is greater: n or 3?
3
Let u be (-6)/(-8) - 1/2. Let p be (12/(-3))/(-4) - -3. Suppose -p*i + 2*f 