be v(-1). Which is smaller: k or 1/59?
k
Let v = 6/13 - 17/65. Let i(b) = -b**3 - 4*b**2 - 2*b + 3. Let n be i(-2). Is n greater than or equal to v?
False
Let g be 6/(-5)*(-5)/2. Let b = -2.56 - -0.56. Is g >= b?
True
Let c = 0.18 - 0.18. Is 3 <= c?
False
Suppose -12 = -6*w + 2*w. Let x be (-1 + w)/(1 - 3). Let h = 0.2 + 0.8. Which is greater: x or h?
h
Let m = -0.008 + 20.008. Let v = m + -22.05. Let o = -0.05 - v. Which is smaller: -2 or o?
-2
Let k = 1 + -5. Let f be (-18)/(-3) + 12/(-4). Suppose -11 = 2*b - f. Is b at most as big as k?
True
Let m = -11.8 + 0.8. Let i = 11.4 + m. Are i and 1 nonequal?
True
Suppose 0 = 2*s - 3*t - 33, t + 36 = 5*s - 66. Is 22 bigger than s?
True
Let p be 460/(-152) + (1 - -2). Which is bigger: p or 0?
0
Suppose -7*t - 4*u = -2*t + 57, 0 = -t - u - 11. Is t >= -15?
True
Let l be (-105)/(-260) - (-2)/(-8). Is l smaller than 1?
True
Let f = -41 + 41. Is f <= 92?
True
Let b(r) = -2*r + 6. Let l be b(-5). Suppose 3*y = 4*y - l. Suppose -u + 9 = 2*f - 2, 4*f = 4*u + y. Do u and -0.1 have different values?
True
Let i = -0.2 - -1.2. Let b = 0.01 - 0.01. Let z = b + i. Which is bigger: z or 3?
3
Let b(v) = -2*v + 15. Let i(u) = u - 7. Let m(p) = 3*b(p) + 5*i(p). Let q be m(11). Let w be 8/12 - 22/15. Is w greater than q?
True
Let u be 7/4*18/27. Suppose 3*x = -2*z + 12, -2*x = -0*x - 2*z + 2. Is u at most x?
True
Let u be 4 + (-2)/(-2 + 1). Suppose -17 = -3*w - 2*i, -12 = -4*w - 5*i + 13. Is u not equal to w?
True
Suppose -21 - 9 = -5*i. Let l be 4 + -3 + i + -3. Let o(u) = u**2 - 5*u + 4. Let n be o(l). Which is smaller: 1 or n?
n
Let b = -36 - -182/5. Is b greater than or equal to -5?
True
Suppose -j = j + h - 9, -22 = -5*j - 3*h. Suppose 0 = -c - 4*c + j. Let t be c - 1 - (-3)/(-27). Is t >= 1?
False
Let i = -167 + 166. Which is bigger: i or -2/105?
-2/105
Let b(a) be the second derivative of -a**3/6 - 2*a**2 - 4*a. Let u be b(-8). Is u <= 3?
False
Let m be -12*((-8)/(-12))/(-1). Let d be 6/8 + (-2)/m. Which is smaller: 4/5 or d?
d
Suppose 8 = -6*w + 2. Which is greater: w or -2/45?
-2/45
Let q = -0.6 - -0.5. Let p be (-2 - (-15)/12)*-1. Which is greater: q or p?
p
Suppose -2*i + 6 = -4*i, 90 = -3*f - 3*i. Let u be 2/6 + 3/f. Let s(j) = -j + 1. Let v be s(2). Which is greater: u or v?
u
Suppose -8*l = -5*l. Let c = 0 - 0. Is l not equal to c?
False
Let x be 0 + -1 + (2 - -6). Suppose -5*k = -x*k - 14. Is k equal to -6?
False
Let d = -83 - -745/9. Let z = -47 - -46. Is d bigger than z?
True
Let o = -5 + 2. Let k = -3.1 - o. Is k > -0.1?
False
Let l = -9 - -9. Suppose l*u = -4*u. Which is greater: u or -2/11?
u
Suppose -3*w = w + 76. Let a = -6 - w. Which is greater: a or 14?
14
Let k = 4227/13 - 325. Let d = -13/4 - -11/4. Are d and k unequal?
True
Let m be 0 + 0*(-4)/4. Which is smaller: m or -2/135?
-2/135
Suppose -3*w + 4 = 4*z - 6, -z = 4*w + 4. Let t = -0.18 + -0.02. Are t and w nonequal?
True
Let s be 86/18 - (-4)/18. Suppose 4*b - h = -4, b + 4*h = s*h + 2. Which is bigger: b or -1?
-1
Let b(h) = 4*h**2 - h - 11. Let i(u) = 3*u**2 - 10. Let m(r) = 4*b(r) - 5*i(r). Let j be m(4). Suppose k = -j + 4. Is -3 bigger than k?
False
Let i = 6.4 + -7. Which is smaller: i or 0.1?
i
Suppose -2*t - 3 = -3*t. Which is bigger: t or 4?
4
Let l be ((-5)/(-3) - 1)*(-24)/16. Which is greater: 4/9 or l?
4/9
Let d be (-1)/(14/(-10) + 4/10). Which is greater: d or 0?
d
Suppose -b + 1 + 1 = -5*x, x - b = -2. Let h(y) = y**3 + y**2 - y - 4. Let u be h(x). Is u > -3?
False
Let y = 6.41 + -0.51. Let z = -0.1 - y. Let s = -6 - z. Which is bigger: s or 0.3?
0.3
Let j = 0 - -0.6. Let g = 4 + -3.6. Let p = j + g. Is 1/4 greater than or equal to p?
False
Let j = 15 - 15.1. Which is smaller: -2/3 or j?
-2/3
Suppose -3*h - 23 = -3*j - 2*h, 4*h - 34 = -2*j. Let x be (12/j)/(3/(-18)). Is x at most -8?
True
Let p = -2.1 + 1.99. Let s = -79.6 + 75.71. Let n = p + s. Which is smaller: n or -0.1?
n
Let r be (24/(-10))/((-6)/20). Suppose 0 = -5*g + 3*g + r. Suppose 0*k + 9 = -g*y + k, 5*y + 3 = 4*k. Which is smaller: y or -5?
-5
Let o = -0.156 - 0.024. Let r = -0.99 + -0.01. Are o and r unequal?
True
Let g = -613 + 10429/17. Are g and 1 equal?
False
Let x be (3 - 5)/4 - 19/(-46). Which is smaller: 0 or x?
x
Suppose -2*t - 18 = -4*r - r, -16 = -4*r + 2*t. Let w be (-2883)/(-27) + r/9. Let y = -325/3 + w. Which is smaller: y or -2?
-2
Let t be (-337)/(-18) + 28/(-126). Which is bigger: 19 or t?
19
Let c = -0.04 - 2.96. Let b = 0.21 - 0.21. Which is smaller: c or b?
c
Let o = 35 + -26. Are 2 and o nonequal?
True
Let k = -176 + 103. Which is smaller: -75 or k?
-75
Let d = 12.8 - 12.6. Which is bigger: d or 0.44?
0.44
Let q(h) = -1 + 0*h - 4*h**3 + 2 - h. Let g be q(1). Let b = g + 6. Which is smaller: b or 1?
1
Let s = -0.2 - -0.1. Let y = -0.1 - s. Which is smaller: y or -0.03?
-0.03
Suppose -2*v + 18 = -2*j, -5*v = 3*j - 2*v + 15. Let z = 4 + j. Let d be (4/(-10))/(1/5). Which is smaller: d or z?
z
Suppose -4*d - 1 - 7 = 0. Is -3/2 > d?
True
Let o = -16/51 + -6/17. Let z be 1 + -2 + (6 - 4). Let l be ((-4)/70)/z*5. Which is bigger: l or o?
l
Let v = 571 - 5147/9. Is v less than or equal to 5?
True
Let l = 47 - 144. Let v = -348/127 + 63081/635. Let x = l + v. Which is greater: 1 or x?
1
Let t = -68/9 - -358/45. Which is bigger: -62 or t?
t
Let u = 4 + 30. Is 32 equal to u?
False
Suppose -82 = 6*u + 44. Let x be (-9)/(-63) + (-4)/u. Which is greater: 1 or x?
1
Let t(f) = f**2 + f - 1. Let d be t(1). Let u be d/(-3) - (-11)/(-3). Is u <= -5?
False
Let b(z) = z**3 - z + 1. Let n be b(1). Let h = 12 - 12. Let f = n - h. Which is smaller: f or 1/11?
1/11
Let h be (-4)/(-6) - 4/9. Suppose -1 = 3*o + 2. Is h < o?
False
Suppose -3*z + 1 = -11. Which is greater: -1 or z?
z
Let v be (-12)/5 - (2 + -4). Let r be (-6 - (-2 + 0)) + (4 - 1). Which is smaller: v or r?
r
Let p = 6.09 + -0.09. Let u(j) = -2*j + 4. Let s be u(-3). Let y = s - 9. Is p smaller than y?
False
Let v = 15 + -7. Let z = 51 - 47. Suppose 0*d + 2*h = -3*d - v, -z = h. Which is bigger: d or -1/5?
d
Let k = -1 + -5. Let n = 4 - 3. Which is smaller: k or n?
k
Let k = -25 + 28. Let w = k + 10. Which is smaller: w or -2?
-2
Let f be 1/2*(-32)/(-4). Let s be f/10 - (-60)/350. Let r(k) = k**2 - 4*k + 4. Let a be r(3). Is s at most as big as a?
True
Suppose 0*y - 1 = -3*h + y, 2 = -2*h + 2*y. Which is smaller: h or -1/5?
-1/5
Let r = 2 + -1.92. Let o = -1.92 - r. Is -0.1 equal to o?
False
Let m = 0.24 + -0.2. Let n(w) = w + 10. Let a be n(-11). Are a and m unequal?
True
Let j(h) = 3*h**2 - h - 3. Let b be j(4). Suppose -4*m + 3*o = 31, -7*m - b = -3*m - 5*o. Is m smaller than -2/7?
True
Let z(r) = r**2 + 2. Let g be z(3). Is 12 at most g?
False
Let w be 42/(-196) - 2/(-7). Are w and 1 equal?
False
Let i = 15 + -14. Which is smaller: -2 or i?
-2
Suppose -2*t + 0*t - 2 = 0. Let p = 110/333 - 4/37. Which is bigger: t or p?
p
Suppose 0 = -3*o - 52 + 10. Does -14 = o?
True
Let a be 2/((-1)/((-13)/(-2))). Let n = a + 9. Let t be (-6)/n*2/6. Are -2/7 and t equal?
False
Suppose 2*x + 19 = n, -5*x - 5*n + 35 = -10*x. Is -3 > x?
True
Let w be (12/(-10))/(-1 - (-52)/(-8)). Which is bigger: -1 or w?
w
Let f = -5.4 + 6. Let o = -1.4 - f. Is 2/3 at most as big as o?
False
Let z = -33 - -13. Is -20 greater than or equal to z?
True
Let t = -0.46 + -0.54. Is -3/34 equal to t?
False
Let m(f) = -5*f + 29. Let v be m(6). Let g = -262 + 2362/9. Which is bigger: g or v?
g
Suppose 84 = o + 83. Which is bigger: 20/11 or o?
20/11
Let o = -1513/2656 - -19/32. Is o at most 1?
True
Let a be (-10)/(-4) + 120/(-48). Which is greater: -9/8 or a?
a
Let g be (-1 - -3)/(2/10). Suppose -2*c = -g, 0 = w - 4*c + 13 + 12. Is w bigger than -4?
False
Let x = -0.05 + 0. Let h = -20 + 19.96. Let r = x - h. Is 0 at most as big as r?
False
Let z be (-1)/(-2) - (-30)/48. Let w = 7/8 - z. Which is smaller: 0.1 or w?
w
Let c = -10 - -14. Let i be (-9)/6*(-8)/3. Is i < c?
False
Let w = -50/37 - -2098/1443. Which is greater: -1 or w?
w
Suppose -l - 2 = -6. Suppose 0*q = l*q - 48. Suppose -3*k - 31 + 13 = r, 3*k + q = r. Is r at most -3?
True
Suppose 2*l - 6 - 4 = -2*c, -3*c - 2*l + 10 = 0. Is -21 > c?
False
Let q(x) = x**2 - 3*x - 5. Let y be q(4). Let f be 67/180 + 4/(-18). Let m = f - -1/60. Which is greater: y or m?
m
Let w = 2.1 - 2. Supp