ose 1 = 5*w - 9. Is w at least 12/11?
True
Let d = -8 - -4. Suppose -2*f + 27 = -5*f. Let x = f + 6. Which is smaller: x or d?
d
Let r = 16 + -5. Suppose 0 = 4*o - 7*o - 4*t + 44, -5*t = 5*o - 70. Which is smaller: o or r?
r
Suppose 0*y + 16 = -4*y. Suppose 0 = -2*i - 0*i + 84. Let t be (y/14)/((-18)/i). Which is bigger: 0 or t?
t
Let g(d) be the second derivative of d**3/6 + d. Let r be g(1). Is r less than or equal to -2/15?
False
Suppose 2*q - z = -7, 2*z - 16 = q - z. Let x be 4/26 + 0/q. Are -2/17 and x non-equal?
True
Suppose -4*a - 6 = 2. Let u(w) = -w**3 - 7*w**2 - 6*w - 1. Let j be u(-6). Let h be (j/a)/((-4)/(-8)). Which is greater: -2/9 or h?
h
Let i be (1 + 2)*138/(-9). Let x be i/14 + (-27)/(-9). Which is smaller: 0.06 or x?
x
Suppose 0 = 4*x - 5 + 13. Let l be x*2/10*5. Let t be ((-3)/l - 1)*2. Is t at most -2/5?
False
Let s = 91 - -28. Is 119 greater than or equal to s?
True
Let l be 0*(-1)/(1 + 1). Which is bigger: 6/5 or l?
6/5
Let u = 6 + -5.7. Let k be 4/(-20)*(-5)/2. Is u at most as big as k?
True
Let m = -132 + 114. Which is smaller: -21 or m?
-21
Let b = -2 + 10. Suppose -4*q - 2*n = -5*q + 17, 0 = -2*n - b. Which is smaller: 10 or q?
q
Let r = 10 - 6. Let q = r - 7. Let g = 2 + q. Are 1 and g non-equal?
True
Suppose -4*l - 5*k = -13 - 39, -4*k = -16. Which is smaller: 9 or l?
l
Suppose 5*g + 4 + 11 = 0. Do g and -12/7 have the same value?
False
Let z = 59/7 - 74/7. Is -2 smaller than z?
False
Let y be ((-2)/10)/((-4)/(-8)). Suppose 0*c = -c + 2. Let b = c - 1. Is b at most y?
False
Let w be 51/15 - (-4)/(-10). Suppose -2 = w*k - 5. Which is greater: k or 2?
2
Suppose 2*x = -4*g - 0*x + 6, 3 = -3*g - 3*x. Which is smaller: 30/11 or g?
30/11
Suppose -4*r + 3*r = -6. Let a be ((-19)/3)/(2/r). Is -18 at most a?
False
Let w(p) = -3*p**3 - p - 1. Let j be w(-2). Suppose -b + j = 4*b. Which is bigger: b or 6?
6
Let k = 5 - 3. Let i = 11 + -9. Is i at least as big as k?
True
Let m = 3.2 + -0.2. Let k = 2 - m. Let a = 0.3 + -1.3. Is a at least as big as k?
True
Let r be 0*(12/4)/6. Is r < -0.15?
False
Let l be 0 + (-2 + 0)/(-6 + 4). Does -2/47 = l?
False
Let k = 12 - -2. Let h be (-16)/k*(-28)/12. Which is greater: 3 or h?
3
Suppose 1 = -4*v + 9. Let y = -5/6 + 4/3. Which is bigger: y or v?
v
Let m(p) = -2*p. Let i be m(-1). Suppose -3*b = -2*x + 5 - 21, b + i = -3*x. Which is smaller: -5 or x?
-5
Let n = -0.2 - -1.2. Are -0.2 and n equal?
False
Suppose n + 46 = -25. Let u = -354/5 - n. Suppose -1 = 5*f - 6, -3*q - 3*f = -3. Is u > q?
True
Let a = 14 - 11. Which is smaller: a or -6?
-6
Let q = 1076/11 + -98. Let m(s) = 3*s**3 + s - s**2 + 0*s**2 - 4*s**3. Let b be m(0). Which is greater: q or b?
b
Let o(j) = j - 2. Let l be o(3). Which is bigger: -3/46 or l?
l
Suppose -3*g - 12 = l - 5, 2*l + 3*g = -5. Let x(q) = -2*q**3 + q**2 + 2*q + 1. Let u be x(-1). Is u less than l?
False
Let w(y) = -618*y - 4. Let o be w(-2). Let p = -75154/61 + o. Which is smaller: 1 or p?
p
Let s be (-3)/(-2) + (-26)/(-4). Suppose y = 5*y - s. Let r = y + -3. Are r and -2 unequal?
True
Let l = 1 + -3. Let z(j) = j - 4. Suppose 3*d - 8 = d - y, -3*d - 2*y = -13. Let i be z(d). Which is greater: i or l?
i
Let a = -0.46 + 0.11. Let y = a + -0.05. Which is bigger: y or -1?
y
Let m be ((2 + -3)/1)/(-1). Is 1 at least as big as m?
True
Suppose 2*f = 3*o + 4*f, 0 = 2*o - 3*f + 13. Which is smaller: 10 or o?
o
Suppose -d - 8 = 3*j, 3*d + 8*j = 3*j - 16. Let i be d/(-6) - 11/(-3). Suppose -w = -3*v - 4 - 8, -i*w + 2*v - 2 = 0. Is -2 bigger than w?
True
Let b = -14 + 13. Let x be (-7 - 0)*2/12. Which is smaller: x or b?
x
Let d = 350 - 10151/29. Let k = 49/261 - d. Which is smaller: -2 or k?
-2
Let l = 2 - 4. Is l greater than -1?
False
Let r(i) = i**2 - 18. Let a be r(0). Let u = -20 - a. Is u > -3/2?
False
Let x be 12/(5 + -1) - 9. Which is greater: x or -7?
x
Let y be (2/6)/((35/30)/1). Which is smaller: y or -4/5?
-4/5
Suppose 2*j + d - 32 = 0, -d - d - 26 = -j. Suppose -3*c - 16 = -4*y + 5*y, 4*c - 2*y = -j. Are c and -6 non-equal?
True
Let p = -0.11 + 0.14. Let u = p + 0.57. Is 0.1 greater than or equal to u?
False
Suppose 0 = 5*u - 9 - 1. Is 3/5 at most u?
True
Suppose -2*f - 4 = 0, -2*l + 12 = 5*f - 4. Let m = l + -6. Are m and 6 unequal?
True
Let c be ((-14)/(-112))/(2/4). Let a be (8/(-10))/((-2)/10). Suppose -3*v + 12 = 3*q + 2*v, -2*v = -a*q - 10. Which is smaller: c or q?
q
Let i = 0 + -2. Let x = 0 + i. Let m(l) = -l**3 - 2*l**2 + 1. Let g be m(x). Is 1 at most g?
True
Let v(g) = -g**3 - 6*g**2 - 5*g - 1. Let z be v(-5). Let x be (0/z)/(-1 - -3). Let s(h) = -h**3 + 4*h**2 + 5*h. Let w be s(5). Are w and x non-equal?
False
Let d = 1.14 - 1. Let u = d + -0.04. Let y = -16/21 - -3/7. Which is smaller: y or u?
y
Suppose 7*x + 3*o - 3 = 2*x, 0 = o - 1. Does x = -4?
False
Let n = -146 + 63. Let d = 1161/14 + n. Let h = -115 - -116. Is d > h?
False
Let x be (-25)/105*3/(-15). Is x at most as big as -1?
False
Let k be (-2 - (-1 - 1)) + 1. Let s = 8/13 + -43/91. Is s at least k?
False
Suppose -5 = 2*c + 3*c. Suppose o + 2*o = 0. Let z = o - c. Is z greater than or equal to 1?
True
Let w = -1.03 - -0.03. Let i = w + 0.7. Is i at most as big as 0?
True
Let v = -1.06 + 17.16. Let a = v - 16. Which is smaller: 0 or a?
0
Let k(l) = -l**3 - 6*l**2 - 4*l + 7. Let h be k(-5). Suppose 2*a = -2*r + h, 0 = 2*r - 4*a + 11 - 1. Let y be 2 - 8/6 - 0. Is y at least as big as r?
True
Let y be 5/(4*(-4)/(-48)). Do 16 and y have the same value?
False
Let o(m) = m**2 + 6*m - 1. Let a be o(-6). Is a greater than or equal to 1?
False
Let v = 1.2 - 1. Let r = -0.3 + v. Let n = -3/41 + 109/369. Is n smaller than r?
False
Let p = -13.3 + 13.23. Which is greater: p or -4?
p
Suppose 0 = 3*p - 5 - 31. Suppose -l = -4*l - p, 2*c = 2*l + 6. Which is greater: 2 or c?
2
Let k be (5*(-2)/(-35))/(-2). Is k bigger than 2/3?
False
Let w = 15.497 + -15.5. Which is bigger: 0 or w?
0
Suppose -2*z - 132 = 4*q, -3*q - 105 = 2*z + z. Is 0 at most as big as q?
False
Suppose -y = -4*t + 4*y - 6, 0 = t - 5*y + 9. Which is greater: 6/23 or t?
t
Let f = -95 + 94. Is 0.63 < f?
False
Let t(k) be the second derivative of 0 + 1/20*k**5 - 7/2*k**2 + 2*k + 1/6*k**3 - 5/12*k**4. Let h be t(5). Which is bigger: h or -1?
-1
Let t = 13.5 + -13.7. Which is greater: t or 21?
21
Suppose 7*n - 4*n - 6 = 0. Suppose a + 6 = -n*a. Which is bigger: a or 1?
1
Let x be 5/(-10) - (-15)/2. Let o(q) = -2*q + 20. Let r be o(10). Is x greater than r?
True
Let h = -14 + 32. Let f be 5/h - (-1)/(-2). Are 1 and f unequal?
True
Let n(c) = c**2 + 5*c + 4. Let x be n(-3). Let z be 2/(-8) - 339/(-12). Let l be (-7)/(-14) + x/z. Is -1 bigger than l?
False
Let n = 0.14 + -0.2. Is -2 greater than or equal to n?
False
Let a(o) = -o**2 - 6*o + 6. Let m be a(-8). Are 0 and m unequal?
True
Suppose 0 = 3*p - 7 - 2. Suppose -p*d + i + 2 = -0*d, -5*i + 3 = -2*d. Is d less than -2/15?
False
Let p be 24/(-18)*(-6)/(-4). Let y be p/11 + (-612)/(-99). Suppose 5*t + n = y, 0*n + 5*n + 12 = -4*t. Which is greater: 1 or t?
t
Let t be 2510/525 - 1/(-3). Let a = t + -27/5. Is a at most as big as -7?
False
Let i be 1 + 0 + -1 - -4. Suppose -16 = i*a + r + 11, -45 = 5*a - r. Let b be (6/4)/(4/a). Which is smaller: -2 or b?
b
Let r be 2/3 - 1410/9. Let b = -2026/13 - r. Let j be (-2 - -1 - -2) + -1. Is b bigger than j?
True
Let u be -9 + 12/(-4) - 0. Is u at most as big as -8?
True
Let z = 3 - 3.4. Let c = -0.3 - z. Let o = 0 - -0.2. Are c and o equal?
False
Let b = 41/2 - 81/4. Which is smaller: b or 2?
b
Let l(z) = 2*z. Let k be l(-1). Let g(d) = -d**3 - 2*d**2 + 3*d + 2. Let n be g(k). Let c = 7 + n. Which is bigger: c or 1?
c
Let h = -0.016 - 0.054. Let u(f) = f - 4. Let m be u(5). Is h smaller than m?
True
Let i be (18/8)/((-2)/(-8)). Is i bigger than 7?
True
Let g = 3.1 + 0.9. Let i = g - 1. Let v = 8 + -7.9. Which is bigger: v or i?
i
Suppose -2*d + 16 = 4*m - 0*m, d = 2*m - 8. Let c be (-8)/(-10) + (9 - (-396)/(-45)). Is c less than or equal to d?
False
Let s = -60/13 + 326/65. Let u = -2264.98 - -2288. Let h = -23 + u. Which is bigger: h or s?
s
Let o be 0 + -3 - (15 + 18). Is -1 less than o?
False
Suppose 0 = -5*o + a - 150, -4*o - 5*a + 79 - 228 = 0. Do -32 and o have the same value?
False
Let k = 1 - 0.7. Let j = -9 - -11. Let f = j + -1. I