6 - 53. Which is smaller: v or -1?
-1
Let s(x) = 0*x - 2*x**2 + 2*x + x**3 - 4 + 1. Let b be s(2). Let g(o) = -o + 1. Let y be g(b). Is y bigger than -2/7?
True
Let d be (-3)/(-5) + 1246/(-35) + 0. Is d at most -34?
True
Let z be (2 - 6)/12 + 50/6. Which is bigger: 2 or z?
z
Let v = -19 - -8. Let g = -8.8 - v. Let y = 0.2 - g. Which is bigger: 1/3 or y?
1/3
Let z(y) = -y**3 - y**2 - 3*y - 2. Let r = 11 + -12. Let b be z(r). Let x(s) = s**2 + 5*s + 6. Let g be x(-4). Is b less than or equal to g?
True
Let v(y) = y**3 - y**2 - y + 2. Let r be v(2). Is r > 5/2?
True
Let w = -12 + 14. Let y = -1 - -1.1. Let c = y + -1.1. Is w bigger than c?
True
Suppose 4*f = 0, -3*d + 5*f + 0*f + 3 = 0. Let p(r) = -5*r - 1. Let c be p(d). Is c > -6?
False
Let s(o) be the third derivative of -o**5/60 - 7*o**4/24 - o**3 + 3*o**2. Let v be s(-5). Suppose 0*z - z + 3*p = 3, 3*z - v*p = 1. Is z greater than 2?
True
Let d = -99 + 98.35. Is 1 >= d?
True
Let u = -0.17 + 2.17. Are 6/7 and u non-equal?
True
Let l be (6/9)/((-12)/63). Which is smaller: -4 or l?
-4
Let k = -2077/9 - -231. Which is greater: k or -3?
k
Suppose -5*m + 13 = 2*t, -m = -2*m - 4*t + 17. Suppose m + 4 = -c. Let o be 1/1 + c - -3. Is -3 greater than or equal to o?
False
Let i = -4 - -6. Suppose i*c + 1 = -13. Is c equal to -7?
True
Let n = 243597243/7 - 34980161. Let p = -1977982912/10955 - n. Let w = p + 2/313. Are -1 and w nonequal?
True
Let n(s) = -2*s**3 - s**2 + 2*s - 1. Let z be n(1). Is z >= 3/11?
False
Let u = 5 - 4. Let w = 5 - u. Suppose 2*r + 8 = w. Which is smaller: -3 or r?
-3
Let w = 54 + -57.7. Let s = w - 0.3. Is s bigger than 1/3?
False
Suppose 70 = 4*j + 10. Suppose -1 = -2*m - j. Which is bigger: -8 or m?
m
Let m(o) = o**3 + 5*o**2 + 4*o + 6. Let p be m(-4). Let y be 1 + p/(-4)*2. Suppose i = -3*b - 5, 4*i = b + 2*i - 3. Which is smaller: y or b?
y
Let o = 1 - 3. Let k be (o/(-1))/((-2)/(-3)). Let b = 1.1 - 0.1. Which is smaller: k or b?
b
Let x be (-28)/35 - 1/5. Is x at least as big as -2?
True
Let a be 38/133 + (-5)/7. Is -1 greater than or equal to a?
False
Suppose 6*p + 4 = -2. Which is smaller: -5/6 or p?
p
Let i be 2/5 - 459/1260. Are 0 and i equal?
False
Let b = -7.8 - -7. Let j = b - -0.6. Do j and -6 have different values?
True
Let z = -1.3 + 0.3. Do z and 1 have the same value?
False
Let s = 64 + -77. Which is smaller: -10 or s?
s
Suppose 2*q - 88 = -x + 5*q, -x - 2*q = -93. Let h = 1002/11 - x. Let g(z) = z**2 - 4*z + 3. Let f be g(3). Which is smaller: h or f?
f
Let k(g) = -g**3 + 2*g**2 - g - 1. Let r be k(2). Let j = -7 - r. Let b be 2 - (2 - j/(-26)). Is 0 at most b?
True
Let h be (-6)/(-12) + (-7)/26. Which is greater: -0.3 or h?
h
Let b = -66 - -59. Which is bigger: b or 3?
3
Let n be (-6)/18 - (19/(-12) + 1). Is -13 less than or equal to n?
True
Let t = -977813/765 - -21450/17. Let u = t - -81/5. Let y(f) = 6*f + 241. Let v be y(-40). Is u at most as big as v?
True
Let i be 7/(-28) - 63/(-204). Is 1 < i?
False
Let o = -4 - -8. Suppose -4*v + 2 + 18 = -o*i, v - 4*i = 17. Let u = 2/97 + 283/388. Which is smaller: u or v?
u
Let a = 859/3 - 286. Suppose -l = l - 3*i - 3, 4*i = -2*l + 10. Let v = -2 + l. Which is bigger: a or v?
v
Suppose 13 = 3*s + n - 12, -4*s + 8 = -5*n. Is -0.2 <= s?
True
Let t be 2/(-4) - 1/(-4). Let n(m) = m**2 - 5*m + 7. Let d be n(3). Which is smaller: t or d?
t
Let x(s) = -2*s**2 + 8*s - 6. Let t be x(5). Let i = t + 17. Suppose -b + 4*b - 3 = 0. Do b and i have the same value?
True
Let r = 16 - 22. Let c be r/(-8)*76/18. Let z = 17/6 - c. Are z and 2/3 equal?
False
Suppose 6 + 4 = 5*z. Is 15 less than z?
False
Let a = 0.053 - -21.947. Let i = a + -21.93. Is -2/7 smaller than i?
True
Let d(g) = 3*g + 20. Let f be d(-7). Is f less than -4/15?
True
Let f be (24/(-5))/1*155/217. Is f <= -3?
True
Let j = 5 - 6. Let y = 252 + -416. Let s = -1802/11 - y. Is s bigger than j?
True
Suppose -m = -3*d + 7, 2*d + m - 8 = -0*d. Let j(u) = -d + 5 + 0*u + 0 + u. Let s be j(-8). Is s less than -7?
False
Suppose -3*j = -4*j - 5*s, -5*j = s - 24. Let l = 15 - -5. Suppose j*c = c + l. Is c at least 5?
True
Let h(d) = -d**2 - 7*d + 1. Let c be h(-6). Suppose -c = 4*t + 5. Let v = -1 + -1. Which is smaller: t or v?
t
Let b be 15*1*2/6. Suppose n + b = -2*x, 0*x - 4*x + n = 19. Let r = 3 + x. Which is smaller: r or -2?
-2
Let j be 51/108 - (-2)/(-8). Suppose 5*t = 2*h + h + 3, 4*t + 5*h - 32 = 0. Suppose -2*l = t*l. Which is smaller: j or l?
l
Let y = -8.1 + 8. Which is smaller: -0.5 or y?
-0.5
Let p = -6.4 + 7. Let a = 0.2 - p. Let u = -0.05 + 0.15. Which is smaller: u or a?
a
Let r = -9 + 8. Let o be (3 - 4) + 3/7. Which is bigger: r or o?
o
Let g be 2*(4 - 1 - 1). Let y be (-6)/g*30/(-9). Is 4 >= y?
False
Suppose 15 = -q - 4*j + 3*j, -3*q - 35 = 5*j. Let c = -29 - q. Let d be (12/10)/(c/(-30)). Is 2 at least d?
False
Let f be ((-84)/(-8) + -3)*2. Let j be (-2)/(-8) - f/(-4). Which is smaller: j or -2/3?
-2/3
Suppose -3*p + 6 = 0, 4*c + 4*p - 14 = c. Is 26/9 at most c?
False
Let x be -39*((-40)/15)/8. Are 23/2 and x nonequal?
True
Let i be -1*1 + 3*2. Suppose 3 = 2*h - i*h, -4*h = 2*l + 8. Let c = 1228/7 + -176. Which is smaller: c or l?
l
Let x = -4 + 1. Let d = 3.2 + x. Do -0.1 and d have the same value?
False
Let t(m) = 70*m - 1. Let r be t(1). Let o be r/6 + 2/(-4). Let q be (6/3 - 0)/o. Which is bigger: 1 or q?
1
Suppose -42*p + 5 = -37*p. Is p smaller than 2/15?
False
Let u = -16 + 14. Suppose 2*m + p + 27 = 1, 4*p + 13 = -m. Let t = 25/2 + m. Which is smaller: u or t?
u
Let j = 39/55 - 10/11. Which is smaller: j or -1/2?
-1/2
Let i = 0.3 + 0. Let j = 0.5 - i. Is 0 >= j?
False
Suppose -2*i = -4*d - 46, -4*i + 4*d + 71 = -i. Suppose 3*n + q - 15 = 0, 9*n - i = 4*n - 3*q. Is 5 greater than n?
False
Let k be ((-3)/6)/((-100)/(-32) - 3). Which is smaller: k or 2?
k
Suppose 32 = 5*l - 38. Suppose c = -c + l. Let x = -5 + c. Which is smaller: 3 or x?
x
Suppose 4*i + 2*v + 0*v = -4, 5*i = -v + 1. Let d be 4/40 - i/2. Is d > -2?
True
Let n be (-32)/(-10) - 1/5. Suppose b + n = 1. Let a = b - -5. Which is smaller: a or 2?
2
Let d be (-2 + 3)*1/(-1). Is -1/8 greater than or equal to d?
True
Let u = 0.5 - 0.5. Let w = 0.1 - u. Are 2/9 and w nonequal?
True
Suppose 0 = -6*g + g. Let p = -5 - g. Is p > -3?
False
Let b = 1.3 + -1.37. Let h = 0.17 + b. Is h > 2/5?
False
Suppose u = 6*u + 5. Is 1/8 at most u?
False
Let p(g) = 2*g**3 + 12*g**2 - 9 + 10*g - 3 - g**3. Let z be p(-11). Are 1/4 and z unequal?
True
Let v = 35 - 33. Does -5 = v?
False
Let q(z) = 2*z**3 + z**2 - 3*z - 3. Let y be q(-2). Which is greater: y or -7?
-7
Let z = 2 + -1.4. Let p = 2.4 + z. Let c = -2.9 + p. Which is smaller: -1 or c?
-1
Suppose 3*u + 2*u - 3*w = 24, 0 = -2*u + w + 9. Suppose -u*v = -0 - 9. Is v at most 4?
True
Let d = -0.43 - -14.43. Which is bigger: 0.1 or d?
d
Let d be 20/(-5)*1/4. Is d >= 1/19?
False
Let f(z) = -z**3 - 3*z**2 + 2*z - 1. Let y be f(-3). Is y > -7?
False
Let d(g) = -g**2 - g + 12. Let m be d(-4). Is -1/28 >= m?
False
Let b(y) = y**3 + 6*y**2 + 7*y + 3. Let a be b(-5). Is a <= -3?
True
Let l be ((-1)/11)/(3 + -2). Let z(y) = y - 1. Let d be z(1). Let i = 1 + d. Which is smaller: i or l?
l
Let n be -5 - (-3 - (-12)/3). Suppose -14 = -2*b + 4*b. Which is smaller: b or n?
b
Let h(x) = -x**3 + 5*x**2 - 2*x + 5. Let v(i) = -i**3 + 7*i**2 + 10*i - 11. Let z be v(8). Let t be h(z). Is t equal to -5?
True
Suppose 1 = d + 2*u, -4*d + 3 = -3*u - 1. Which is bigger: d or 9/10?
d
Suppose 3*v = -2*v - 10. Is v less than or equal to -4/7?
True
Let x be (-12)/(-24) + 3/(-4). Is -7 greater than or equal to x?
False
Let m = -6 - -7. Let b = -1/2 + m. Is b greater than 2?
False
Let v = -35 - -46. Which is bigger: v or 12?
12
Let f be 2/6 + 22/(-30). Let h = -88 + 87. Which is bigger: h or f?
f
Suppose -6*l - 11 = -l + 3*s, -2*l = 3*s + 8. Let d = -159 + 109. Let v be 2/7 - d/(-224). Is l less than v?
True
Suppose -2*a = u - 6, 3 = -2*a + 9. Let b(v) = -v**2 - 5*v. Let z be b(-3). Suppose -4*d - 2*i - 2 = 0, 1 = d + 5*i + z. Is d smaller than u?
False
Let z = -100 - -96. Which is greater: z or -1?
-1
Let o be 14/(-4)*(-15)/(-35). Let u(g) = -g**2 + g**2 - 6*g - g**2 - 7. Let s be u(-5). Which is bigger: s or o?
o
Let b be (-16 - -16) + (-2)/(-2). Suppose 4*z - 4 - b = -l, -z - 25 = -