 or -0.9?
-0.9
Suppose -5*b - 5 = 5*l, 0 = -2*b - 2*b - 8. Suppose -k = -5*f - l, -18 - 9 = -2*k + 5*f. Suppose o + 32 = 2*v, 0*v + 2*v = 4*o + k. Is 18 bigger than v?
True
Let g(s) = -s**3 - 12*s**2 + 11*s + 10. Let i(u) = u**3 + 11*u**2 - 11*u - 9. Let c(a) = 2*g(a) + 3*i(a). Let x be c(-10). Which is bigger: 7/3 or x?
x
Let h(u) = 29*u**2 + 273*u - 274. Let i be h(1). Let t(c) = 29*c - 1. Let m be t(1). Is m not equal to i?
False
Let n = 0.01 - -0.29. Let i = 2749 + -2741. Which is smaller: n or i?
n
Let v = 64/407 + 11/37. Do v and -1 have the same value?
False
Let h = 0.8 - 52.9. Let p = h + 52. Does -26 = p?
False
Let f(k) = -7*k**3 - 3*k**2 - k - 8. Let o be f(4). Let m = o + 20319/40. Is m greater than or equal to 0?
False
Let y = 925999/279 - 3319. Which is bigger: y or 1/4?
1/4
Let u = 3197/15 + -213. Let y be (-19)/3 + (-44)/66. Let f be y/28 - 15/(-12). Is u bigger than f?
False
Suppose -i = -4*f - 13, -2*i - 12 = -5*f - 32. Let d be 0 - ((-1)/1 - -2). Let m be 2*d/(-4)*-2. Which is greater: m or f?
m
Let x(n) be the first derivative of -n**4/4 + 5*n**3/3 + 7*n**2/2 - 5*n - 2. Let j be x(6). Let a be j/(0 - (4 - 3)). Is a greater than or equal to 1/40?
False
Let a be -3*((-1)/(-4) - (-1068)/(-432)). Let q(l) = l**3 - 15*l**2 + 13*l + 22. Let z be q(14). Which is smaller: a or z?
a
Let w be (-4)/(-10) - -5*(-176)/1925. Which is smaller: 1 or w?
w
Let u(t) = -61*t**3 - 7*t**2 - 3*t + 3. Let n be u(-1). Which is smaller: n or 63?
n
Let b = -65 - -97. Suppose -4*s - b - 12 = 0. Which is greater: s or -10?
-10
Let m = 7 + 2. Suppose -5*d = -m - 16. Suppose d*j - j = -28. Is j at most as big as -7?
True
Suppose 5*c - 11 = 4. Let j(l) = 2 + 6*l + l**c + 2 - 7*l**2 - 11. Let m be j(6). Are -5 and m equal?
False
Let x(t) = t**2 + 2*t + 1. Let b be x(-1). Let d = -4550 + 4542.6. Is d equal to b?
False
Let b(r) = -3 - 6 + 5 - r. Let i be b(-4). Suppose 0 = 2*w - 2*n, i*n - 3*n + 20 = 2*w. Are w and 4 non-equal?
False
Let y be (-2)/(-5) - (4 - 10/(-25)). Let o(r) = r + 6. Let g be o(y). Which is bigger: g or 10?
10
Suppose -5*y + 0 = -5. Suppose -5*h - z + 3 - 19 = 0, 0 = 5*h + 4*z + 19. Which is smaller: h or y?
h
Let t(c) = -c**2 - 10*c - 26. Let m be t(-6). Let o = 4 + m. Which is smaller: 4/5 or o?
4/5
Let o = -4 + 6. Suppose -2 = -2*z + 3*z. Let f(i) = -i**2 - 2*i. Let h be f(z). Do h and o have the same value?
False
Let n(i) = 5*i + 160. Let p be n(-29). Which is smaller: 4 or p?
4
Let k(u) = u**3 + 9*u**2 + 2*u - 70. Let q be k(-10). Is -189 less than or equal to q?
False
Suppose -621 = 7*w - 16*w. Let g be 184/w - (-2)/6. Suppose -5*y - 1 = 2*o - g*o, 3*y = 5*o + 17. Is -4/17 less than y?
False
Suppose 19*c + 178 + 449 = 0. Which is smaller: c or 0?
c
Let x = -157 + 159. Which is smaller: x or 1?
1
Let y = -0.067 + -5.133. Let t = 6.2 + y. Is t at most -3.2?
False
Suppose -5*n + 57 = -4*n. Suppose -5*w = -3*r - n, 2*w + r + 23 = 4*w. Which is greater: 23/2 or w?
w
Let r be (-4)/10 + 0/(-1). Let q = 500.96 - 501. Are r and q non-equal?
True
Let f be (-5)/(5/(-2)) + 21. Let a be (142/(-852))/((-2)/264). Which is greater: a or f?
f
Let h = 0 - -0.05. Let m = -8.05 + h. Let d = m + 8. Which is smaller: 1 or d?
d
Suppose 0*c = c. Suppose -5*y + 2*y = c. Which is smaller: 2/7 or y?
y
Let v = -73 + 88.5. Let i = -18.5 + v. Let x = 0.12 - 0.82. Which is greater: x or i?
x
Let b = 41 + -38. Let a = 3 - 3.03. Let z = -0.13 - a. Are z and b unequal?
True
Suppose 0 = -0*i - i + 25. Suppose 2*x = 7*x + i. Let s = x + 5. Which is greater: s or -1/21?
s
Let i = 265 - 166. Suppose -23*r - i = -14*r. Is -13 greater than r?
False
Let g(z) = z**2 + 5*z - 9. Let c be g(-7). Suppose -y - 4 = 0, p + c*y = 3*y. Do p and 8 have different values?
False
Suppose -1 = j + 2*q, -q = -j + 5*j - 17. Suppose 2*s - j*d + 15 - 3 = 0, -4*d = -3*s - 4. Let u be (s/(-6))/(11/3). Is -0.1 greater than u?
True
Suppose -d = -0*d + 3*i + 12, d - 3*i - 12 = 0. Suppose d = 5*m - 25, -6*m = 5*j - 2*m - 75. Let x be (-18)/(3/(-18)*(7 + 2)). Which is greater: x or j?
x
Suppose 2*f - 293 = -157. Let z = f - 68. Is 3/41 bigger than z?
True
Let j = -5.65 + -1.65. Let l = j - -1.3. Let d = l + 5.9. Is d smaller than 3/7?
True
Let n be (-4)/10 - (-3)/(-5). Let s be ((-1185)/(-8))/(-5 + 39/6). Let c = 98 - s. Which is greater: c or n?
c
Let z(s) = 16*s + 2. Let p be z(-13). Let k be (39/12)/(-13) + p/(-760). Is k bigger than -1?
True
Let t = -13755 - -178901/13. Which is greater: t or 1/4?
t
Suppose 0 = -3*u + 3*s - 2*s - 2, 4*s + 26 = -5*u. Let x = 2.1 + -2. Let t = 0.2 - x. Which is bigger: t or u?
t
Suppose -2 = -p + 1. Suppose p*q + 3*b + 33 = 0, -2*b - 8 = q + 2*b. Let i be ((-26)/(-507))/(2/q). Which is smaller: i or 0?
i
Let a be 16/6*9/3. Let s = 47 - a. Suppose -3*g + p + 23 = 0, -s = -5*g - p + 2*p. Does g = 0?
False
Suppose -5*n - 87 = -592. Let q = n - 1114/11. Let c = 1 + -2. Is c greater than q?
False
Let h be 672/119 + -3 + 5. Is 7 >= h?
False
Let m = 137 + -18768/137. Which is smaller: -1 or m?
-1
Suppose -50*r - 42 = -49*r. Let m = r - -39. Let l be m - (-1 - (-185)/(-5)). Does 35 = l?
True
Let n = -50 + 60. Suppose n*j - 24 - 76 = 0. Is 13 greater than j?
True
Let r = 767 + -413. Which is greater: -1 or r?
r
Suppose z - 393 = -q, -197 + 1793 = 4*q - 4*z. Are 396 and q unequal?
False
Let r(g) = g**3 - 3*g**2 + 2*g - 1. Let z be r(2). Let w be (-8)/(-3)*z/12. Let i = -605/72 - -69/8. Is w bigger than i?
False
Let t = 0 - 0. Suppose t = 5*k - 3*k - 128. Let w be (-6)/21 + k/28. Is 1 at least as big as w?
False
Let w be -5 - ((-1020)/126 + 3). Let p(v) = -v**2 - 4*v - 6. Let r be p(-4). Let i be 18/12*(-4)/r. Which is greater: w or i?
i
Suppose 41*b + 782 = 18*b. Which is smaller: -31 or b?
b
Let h = 28653 - 144308/5. Let g = 206 + h. Suppose i + 9 = -2*i. Is g at least as big as i?
True
Suppose -5*q - 2*x = 176, 3*q - 4*x + 131 = 41. Let p = q + 47. Does p = 14?
False
Let o = 15.2 + -14. Let h = o - 1. Let c = -0.391 + 1.391. Which is greater: c or h?
c
Let c be 0 + -24 - 0/(-2). Let z be -1 - (-3 - -73) - 4. Let j = 50 + z. Is j at least as big as c?
False
Suppose -16 = 4*k - 6*k + 2*c, 0 = -2*k + 5*c + 31. Let l be k/((-16)/(-12) - 1). Do 8 and l have different values?
True
Let b = -0.13 - -0.2. Let z = 2.93 + b. Do z and -3/11 have the same value?
False
Suppose 2*c = -5*j - 8 + 11, -5*c = -j + 6. Is j less than or equal to -19.7?
False
Let o be 1/((-152)/(-785) - 2/10). Is o smaller than -156?
True
Let w(a) = -2*a**2 - 2*a + 1. Let c be w(1). Let q be (1 - (-43)/(-3)) + (-1 - c). Which is smaller: -10 or q?
q
Let t = 7 - 7. Suppose w + z + 4 = t, -2*w = -0*w - 4*z - 4. Which is smaller: 1 or w?
w
Let j(d) = -d**3 + 22*d**2 + 74*d + 20. Let p be j(25). Is p equal to -5?
True
Suppose 2*o = o + 27. Suppose -o = 2*l + 21. Which is bigger: l or -23?
-23
Let v = -0.9 + 1.82. Let p = v + -0.02. Let l = 1.1 - p. Which is smaller: -0.2 or l?
-0.2
Let u(x) = -x**2 + 8*x + 20. Let j be u(10). Suppose j*k - k = 20. Is k > -20?
False
Let v = 0.54 - 0.64. Is v at most -10/9?
False
Let b = 599.7 - 593. Are b and -4 nonequal?
True
Suppose 2*q + 8 = 4*y, -5*y - 11 = 9. Let x be (q/54)/((-4)/6). Suppose -4*m - 2*f = 2, 3*m - 3 = -3*f - 6. Is m smaller than x?
True
Let x be 305/(-77) + (-2)/11. Which is greater: x or -3?
-3
Let i = 8.3 + -95.3. Let t = i - -85. Which is smaller: t or -12?
-12
Let n = 0 + 0.5. Let w be ((-25)/375)/((-2)/(-10)). Is n > w?
True
Let h = -740/9 + 82. Suppose 5*k + 20 = 5*c, 0 = 5*k - 3*k + 5*c - 20. Is k not equal to h?
True
Let u = 1867 - 1932. Which is bigger: -465/7 or u?
u
Let v = -1.458 + 1.458. Which is greater: 202/3 or v?
202/3
Let d be -1 + 4/6 - 8/(-24). Let x(i) = i - 1. Let z be x(d). Which is smaller: 15 or z?
z
Let l(a) = -11*a. Let j be l(3). Let d = -1066 + 1028. Let i = d - j. Is i greater than -6?
True
Let t = 203 - 203.1. Let s = -45 - -76. Is s greater than t?
True
Let b(m) = -16*m - 13. Suppose 20 = -6*l + l. Let i be b(l). Is i != 52?
True
Let p(z) be the third derivative of z**4/8 + z**3/2 + 12*z**2. Let s be p(-4). Do s and -8 have different values?
True
Let f = 522689/63784 - 459/56. Is f at least as big as 1?
False
Suppose -3*y = -3*d + 33, d + y + 0 = 5. Let t be 16/(-14)*(-30)/d. Let f = -3727 - -3732. Which is bigger: f or t?
