ich is smaller: o or -1?
-1
Let t be (6/(-4))/(((-9)/96)/1). Which is smaller: t or 14?
14
Let y(w) = w**3 - 10*w**2 + 11*w - 12. Let a be y(9). Suppose -2*q + a = q. Is q at most as big as 3?
True
Let p = -9.96 - 0.04. Let z = p - -16. Is z at most as big as -1?
False
Suppose f - 2*x = 3, 0 = -f - 5*x - 0*x + 3. Suppose -3*p - 2*p = u + 20, -35 = f*p - 4*u. Is p smaller than -5?
False
Let d(c) = -2*c + 2. Let u be d(3). Let a = -14 - -18. Suppose -5*t + a*i - 24 = 0, -t + 2*i = t + 10. Is u < t?
False
Let p = -1 - -2. Suppose o - 2*o = p. Suppose 6*q - 1 = -13. Do o and q have the same value?
False
Let j be (-352)/(-33)*2/12. Is j equal to 3?
False
Let w = 0.48 + -0.4. Let u = w - 0.1. Let m = -0.218 - -0.118. Is u bigger than m?
True
Let j(m) = -m**3 + m**2 - m - 1. Let y be j(0). Which is bigger: 14 or y?
14
Let v = 6 + -3. Suppose v*i - 6 = -3. Which is smaller: i or 3/7?
3/7
Suppose c - 21 = 4*t, -42 = 4*c - 5*c - 3*t. Suppose 5*d = -2*v + v - c, 0 = -3*v + d - 19. Is v >= -8?
True
Let u = 13/31 + -257/465. Which is greater: -2/5 or u?
u
Suppose 3*u + 0 = 3. Let d = -1 + u. Let v be (2 - 2)/(-2 - d). Which is bigger: v or 4/3?
4/3
Let l = -10.9 + 11. Let w = -0.25 + -0.05. Which is smaller: l or w?
w
Let g be (-1)/42*1/7*2. Is 0 smaller than g?
False
Suppose -5*d + 3*a = -d - 2, -5*a = -2*d - 6. Which is bigger: d or 5/8?
d
Let m = -17.15 + 17. Are -1 and m unequal?
True
Suppose k + 3 - 4 = 0. Suppose -2*o = -4*u + 16, o + u - 4 = -4*o. Which is smaller: k or o?
o
Suppose i = 2*t - 8, -3*i - 8 = -t - t. Suppose -2 = 2*o - t. Is o <= 4/7?
False
Let v be (-4)/((-3)/(-3))*1. Let q(i) = i**3 + 5*i**2 + 4*i - 4. Let s be q(v). Which is smaller: s or -2?
s
Let c be (1 - 3)*(-3)/(-2). Is 0.06 smaller than c?
False
Let k = -2 - 8. Let r be (-2)/k*(-7 + 10). Let o be -1 + (1 - 0) + 1. Is r != o?
True
Let p = 10 + -6. Suppose 5*y - 26 = -w, -4*y + 18 = 2*w - 4*w. Are p and w nonequal?
True
Let m(v) = 1 + 4*v + 0*v - 2*v + 2*v. Let b be m(-1). Let o(w) = w**3 - 3*w**2 - 4*w - 2. Let k be o(4). Is k smaller than b?
False
Let z = -27 + 35. Do z and 9 have the same value?
False
Let w = 11 + -53/5. Let p be (6/9)/((-4)/(-18)). Let s = 3 - p. Is s <= w?
True
Suppose 3*r - 4*r - 4*x = 12, 5*r = 5*x + 40. Suppose 2*n - 2*y = 2, -r*n - n - 4*y = -5. Which is bigger: 0 or n?
n
Suppose 4*p = 14 + 2. Suppose 2*w + 12 = p*w. Suppose -w*j = -5*j. Is 1/6 > j?
True
Let h = 25 - 25.2. Is h not equal to 2?
True
Let j be 4/3*(-3 - (-5 - -5)). Let v = -5 + 2. Is v > j?
True
Let l = -6 - -6.06. Is 0 smaller than l?
True
Let n(k) = -4*k**2 - 2*k**3 + 0*k - k + 4*k**2 - 1. Let j be n(-1). Are 0.2 and j unequal?
True
Let f(u) = u**3 + 4*u**2 - 7*u - 7. Let z be f(-5). Let d be z*(-2)/2*-5. Let r be 6/10 - 14/d. Which is greater: 2 or r?
2
Let c = 0.74 - 0.8. Let f be (-15)/9*6/(-30). Are f and c nonequal?
True
Suppose 0 = -17*c + 12*c. Which is bigger: c or 6/11?
6/11
Let p = 20762/11 + -1890. Is -3 at most p?
True
Let g(z) = -z**3 + 5*z**2 - 2*z - 5. Let a be g(4). Suppose -3*k = 2*x - 7, 0 = 4*x + a*k - 2 - 3. Suppose 8 = -4*q - 0*q. Which is greater: x or q?
x
Let p = 19 + -20. Let g be (2/(-3))/(26/(-6)). Is g greater than or equal to p?
True
Let n be (0 + (-2)/(-6))*-3. Let s = 4/13 - 7/65. Is n smaller than s?
True
Let p be (-2168)/(-572) + 4/(-26). Which is bigger: p or 4?
4
Suppose 10*t = 5*t + 5. Let w be t - (5 + -3)*-1. Suppose 0*b + b = w. Is 4 != b?
True
Let h = 2 - 7. Let y = -28 - -26. Let t = y - h. Is t > 0.1?
True
Let k = 258 - 1809/7. Suppose -4*i - 5*s + 19 = 0, -5*i + 4*s = 2*s + 1. Which is smaller: i or k?
k
Let s(t) = -2*t - 16. Let l be s(-5). Suppose -2*u + 1 = j, -2*j = 3*j - 5. Which is greater: u or l?
u
Let a = -1.12 + 0.22. Let h = -1 - a. Is -2/5 > h?
False
Let o(y) = -4*y**2 - 9. Let i be o(-3). Which is smaller: i or -46?
-46
Let v(o) = -o**2 - 5*o + 2. Let t(g) = g**2 + 4*g - 2. Let b be t(-3). Let s be v(b). Let r be (-3)/(-6)*-1*-1. Is r > s?
False
Let d(y) = -5*y. Let s be d(1). Let k be (-5)/(30/4)*12. Let i be 4/(-1)*(-10)/k. Is i at least as big as s?
True
Let k(f) = -f**2 - 6*f + 4. Let a be k(-5). Is a greater than 9?
False
Let u = 1.7 - -0.3. Suppose 2*s + 5 = 3*c + 14, 0 = 5*s - 5*c - 20. Which is smaller: u or s?
u
Let o be (-1)/(0 - (-4)/6). Let m = 0 - 0. Suppose m = w - 0*w + 3. Which is greater: w or o?
o
Let f(z) = -1 + z + 4*z**3 - 12*z**3 + 7*z**3. Let x be f(0). Which is bigger: 2/5 or x?
2/5
Let z = 67 + -80.1. Let g = z + 13. Is 2 not equal to g?
True
Suppose 3*z = 5*z + 30. Which is smaller: -27/2 or z?
z
Suppose -3 = -2*h + h. Let n be 2/6 - (-2 + h). Which is bigger: n or -2?
n
Let i = 0.3 - -0.7. Let x = i + 0. Let y = -13 + 12.9. Which is smaller: y or x?
y
Let w = -2 - -1. Let j be ((-224)/(-66))/(2/171). Let r = j + -290. Which is greater: r or w?
r
Let h be (-3)/(-2)*(-3)/18. Let o(q) = -q**2 - 5*q + 1. Let g be o(-5). Is h <= g?
True
Let k = 26/3 + -28/3. Are -2 and k non-equal?
True
Let g(h) = -h**3 + 2*h**2 - h. Let q = 2 + -1. Let v be g(q). Which is smaller: v or -1/9?
-1/9
Let m be (5 - 5) + 4/(-2). Let p be (m/(-6))/(2 - 3). Which is smaller: p or 1?
p
Suppose 4*i - 11 = -k, -2*k = -5*k + 5*i + 101. Is 28 less than or equal to k?
False
Let h = -53 - -53. Which is smaller: h or -2/5?
-2/5
Let y be 9/24*(-40)/(-150). Which is bigger: 1 or y?
1
Suppose 8*y = 4*y + g + 25, 3*g + 27 = 4*y. Let c be (-10)/y + 1 + 0. Let b(p) = p + 10. Let u be b(-10). Which is smaller: c or u?
c
Let g = 1.6 - -0.4. Let u be 3 + (-10)/6 + -2. Is g not equal to u?
True
Let f(i) = i**3 - 6*i**2 - i + 4. Let v = 31 - 51. Let x = -14 - v. Let c be f(x). Do -2 and c have the same value?
True
Let b be ((-12)/28)/(9/6). Let c = 0.1 + -5.1. Let x = c + 2. Is b > x?
True
Let m be (-13)/(-91)*(-1)/(-1). Suppose a - 3*a + 4*d = -22, 3*a - 17 = 2*d. Let o(f) = -f**3 + 4*f**2 - 3*f + 1. Let z be o(a). Is m less than z?
True
Suppose 2*g - 1 - 3 = 0. Let x be g/(-2) + -3 - -3. Is -1 at most x?
True
Let g = -733/14 + 53. Which is smaller: g or 2?
g
Let a = 0.5 - -3.5. Let b = a + -3.7. Are b and 1/6 equal?
False
Let u = 1226/5 + -246. Which is greater: u or 1?
1
Let c = -144 - -131. Are c and -1 equal?
False
Let s = 41 + -50. Which is greater: s or 4?
4
Suppose 0 = -g - 5*x - 12, -2*g + 2*x = -0*g. Let b be 1 + (g - -3 - -2). Is b not equal to 8/3?
True
Let q(y) = 2*y**2 + 2*y - 3. Let p be q(3). Let x be 44/p + (-4 - -2). Let l(g) = -g - 1. Let v be l(-1). Which is bigger: x or v?
x
Let r = 999 - 5016/5. Which is smaller: 0 or r?
r
Let n be ((-3)/(-14))/(3/4). Let w = 14330039/116 - 123534. Let c = 2/29 - w. Which is bigger: n or c?
n
Suppose 5*o - o = -36. Let p be 3 + (o/6 - 1). Does 3 = p?
False
Let g be (6/76)/(2/12436). Let o = g + -491. Let w = -3 - -2. Is w at most o?
True
Suppose 6*f - 8 = 2*f. Suppose p - 3*a = f*p - 4, 0 = -5*p - 5*a. Let y = 1 + 0. Which is smaller: y or p?
p
Suppose -6 - 9 = -3*v. Let q be 7 + (-12)/(-20) + 24/(-15). Which is bigger: v or q?
q
Let s = 10 + -16. Let m = s - -4. Is m at least as big as -2?
True
Let o(n) = -n**2 - 11*n + 1. Let m = -2 - 9. Let y be o(m). Suppose 3*q = -2 - y. Is q <= -2/9?
True
Suppose -8*z + 10 = -10*z. Let k be (-4)/z - 432/40. Which is greater: -8 or k?
-8
Let w = 189 - 188.9. Let m = -1 - -1.08. Do m and w have the same value?
False
Let x = -34.09 - 0.91. Is x at least -1?
False
Let y = -1.025 - -0.025. Is y greater than -8?
True
Let h(t) = t**3 + 2*t**2 - 3*t - 1. Let u = 8 - 11. Let m be h(u). Suppose s + 13 = 11. Is s at most m?
True
Let q = -14 + 15. Is q equal to -2?
False
Let b = 21 + -25. Do b and -3 have different values?
True
Let i = -1/2931 - -35197/73275. Let v = -157/275 + i. Is 0 at most v?
False
Let u(k) = k**2 - 9*k + 6. Let d be u(8). Let y be (-24)/d*(-8)/(-32). Are 4 and y equal?
False
Let k be 30/25*(-5)/(-2). Let t = 7 - 3. Is t >= k?
True
Let a = 18 + -91/5. Is -1 <= a?
True
Let o be (-30)/(-7) + 6/(-21). Suppose 5*d = -9 + o. Let f = -249 - -2243/9. Which is greater: f or d?
f
Let d(f) be the second derivative of -f**5/20 + 3*f. Let r be d(1). Which is smaller: r or -2?
-2
Suppose -5*d + 115 = 5. Which is bigger: d or 21?
d
Let s be (9/(-12))/(2/(-16)). Suppose 2*r - s*r = 0. Which is greater: r or 2?
2
Let u(g) = g**2 - g + 2. Let j be u(0). Let a be