- 10.76. Which is smaller: 0.08 or y?
y
Let w = -154 - -741/5. Let h = -434/75 - w. Which is smaller: 1 or h?
h
Let v = 1521 + -1520.94. Is v less than 0.043?
False
Let d = -15.9 - -17. Let p = -8.9 + 9. Let s = p - d. Are s and -5 non-equal?
True
Suppose -3*q = 2*q + 145. Let u be q/9 + (-26)/(-117). Let a = 4 + u. Is a bigger than -1/37?
True
Let r = -7 - -5. Let m = 8995/8 - 1126. Is m less than r?
False
Let x = 1899 - 1528. Which is bigger: -2/5 or x?
x
Let a be 48/360*(-9 + -1) - (-28)/12. Let w be 2*(-1)/(-14)*3. Let z = 29/35 - w. Which is bigger: z or a?
a
Let k = -1.58 - -0.33. Let l = -0.25 - k. Which is bigger: l or -14?
l
Let d be (-4 + -3 - -1)/(-2). Let n be d/(18/(-4)*18/(-27)). Let p = -1 - -6/5. Is n <= p?
False
Let f(t) = t - 16 + 3*t + 10 - t. Let l be f(4). Which is greater: 2 or l?
l
Let b = -141 - -146.9. Let u = 6.9 - b. Which is smaller: -13 or u?
-13
Let v = -16823/47026 - -2/3359. Which is smaller: -1 or v?
-1
Let l be ((-129)/(-42) - (-9)/21)*-2. Let o be (42 - (1 + 0))/(-6 - l). Is o smaller than 41?
False
Let p = -5424 + 5431. Suppose 5 = 2*g - 1. Which is smaller: p or g?
g
Let j(d) = d**2 - 10*d + 6. Let q be j(4). Let i(r) = 2*r + 8. Let w be i(-7). Let y be w/27 - (-176)/q. Which is bigger: y or 2/3?
2/3
Let m = 324 - 324. Is m equal to 9/7?
False
Let t = -237/52 + 3/52. Let a = -23 + 14. Let o = 3 + a. Is t greater than or equal to o?
True
Let q = -32 - -15. Let z = q + 16. Which is smaller: -1/50 or z?
z
Suppose y + 1 = 3. Suppose 2*l - 3*n + n = 46, -4*l - y*n = -86. Suppose 3*w - 40 - 26 = 0. Is w smaller than l?
False
Suppose 0 = 3*x + o - 2, -5*x - 1 = -o - 15. Which is greater: 29/10 or x?
29/10
Let p = 1.1 + 0.4. Let v = -1.6 + p. Is v less than or equal to -0.1?
True
Let u = -112 - -217. Let i = -88 + u. Which is greater: i or 1/4?
i
Suppose -5*z = 4*w + 1 - 4, 5*w - 3*z - 13 = 0. Suppose -4*y + 22 = -w*x, -45 + 5 = 5*x - 5*y. Let i = -3/20 - 67/20. Which is smaller: i or x?
x
Let n be (-93)/(-62)*(-2)/(-5). Which is smaller: -3 or n?
-3
Let w(d) = 15*d + 121. Let o be w(-8). Which is bigger: 8/27 or o?
o
Let b = 1087/255 + -71/15. Suppose v = 3*v - 2. Which is bigger: b or v?
v
Let p(w) = w**3 + w**2 + 0*w + 0*w - 2 - 3*w. Let t be 45/(-18) + (-1)/(-2). Let u be p(t). Which is greater: u or -1/3?
u
Suppose -7 - 4 = -3*s - 5*a, -2*s - 4*a + 8 = 0. Let i = -1178 + 1181. Which is smaller: s or i?
s
Suppose 3*m = 9*m + 456. Let k = m - -122. Is 45 at least k?
False
Suppose 103*i - 107*i = 284. Is i >= -72?
True
Let g(x) = -8*x + 174. Let k be g(-9). Which is smaller: 251 or k?
k
Let x = -8.932 + -0.168. Let i = -9 - x. Which is greater: -0.27 or i?
i
Let g(c) be the first derivative of -2*c**2 + 13*c + 6. Let p be g(10). Which is greater: -26 or p?
-26
Suppose 2 = -2*x + 5*d - 2*d, -5*x = -5*d. Suppose 0 = -x*k - k + 5*g + 2, 2*k + 3*g + 5 = 0. Is k at least as big as 2/27?
False
Suppose r + 13 = 5*t + 2, 3 = 3*t + 3*r. Let f(m) be the second derivative of -m**5/20 + m**4/4 + m**3/6 - m**2 - 3*m. Let b be f(3). Which is greater: b or t?
t
Let v(u) = -u**3 + 15*u**2 + 3*u - 35. Let n be v(15). Which is bigger: n or 69/7?
n
Suppose 4*h + 36 = 7*h. Let y be ((-21)/24)/(2/(-24)). Which is greater: h or y?
h
Let k = -50.372 + 1.372. Is k greater than -1?
False
Let w(p) = -p**3 + 7*p**2 - 6*p - 6. Let z be w(5). Let t = 17 - z. Suppose f + t*f = 0. Is -3/5 less than f?
True
Suppose 6*n - 3*n - 7 = 2*v, -2*n - 27 = 5*v. Let l = v + 14. Is l != 0.1?
True
Let u(z) = -3*z + 35. Let j be u(11). Suppose 9 = c + j*c. Is 7 != c?
True
Let u = 0.1 - 0.1. Let l = -10 + 10. Suppose 0 = o - 5*o + 3*q - 8, l = -4*o - q - 8. Which is bigger: u or o?
u
Let l(b) = 2*b**2 - 82*b - 172. Let n be l(43). Is 168 greater than or equal to n?
True
Let l be (((-8)/12)/(-2))/(-1). Let t = 0.19 - 12.19. Are l and t nonequal?
True
Let v(w) = -w**2 - 5*w - 3. Let c be v(-3). Let m be (7*1)/(-2 - c/(-9)). Which is smaller: -5 or m?
-5
Let a = -0.1594 - -27.1594. Let x = -25.6 + -2.4. Let k = a + x. Is -3/34 at least as big as k?
True
Let y = -0.08 - -0.13. Let r = -23 - -22.85. Let s = r + y. Is -6 less than or equal to s?
True
Let t be 1 - -1*3/3. Let o be t - (5 + -2) - 2. Let l be o - (-4)/(96/63). Which is bigger: 0 or l?
0
Suppose 20 = 4*c + 2*w, 6*w - 2*w - 10 = 2*c. Let z be -2*(-2 - c/6). Suppose -r + 88 = -z*r. Is -22 less than or equal to r?
True
Suppose 248 = 30*y + 338. Is y less than or equal to 2/69?
True
Let j = -51 - -125/2. Let v = j + -10. Is v > 3/5?
True
Let t(j) = j - 15. Let w be t(15). Suppose 5*c + 77 + 33 = w. Which is smaller: c or -24?
-24
Let c = 901823804302/177219 + -45798782/9. Let w = 18/203 + c. Is -1 at least as big as w?
False
Let a be 78/1008 - (12/(-32))/(-3). Suppose -4 = -4*r - 0*r. Is a bigger than r?
False
Let a = -0.02 - 0.38. Let h = 0.6 - a. Let g be 66/45 - 22/165. Which is smaller: g or h?
h
Let r(t) = 8*t - 15. Let l be r(4). Suppose l = -m - p - 1, 4*m - p = -97. Is -23 at least m?
True
Let d = 41.6 + -41.655. Is 4 >= d?
True
Let g(d) = -d**3 + 8*d**2 + 2*d - 9. Let p be g(9). Let o = 87 + p. Is 13 smaller than o?
True
Let d = 103 - 163. Let g = d + 60.05. Is g at least 0?
True
Let o be (-3*3/18)/(3/132). Let c(g) = -g**3 - 22*g**2 - g - 22. Let u be c(o). Which is smaller: 2/147 or u?
u
Suppose f + 25 = -5*v, 3*v + 97 = -3*f - v. Let u be (-2)/9 - (f/(-45) + -3). Which is bigger: u or 0.3?
u
Suppose -7*p - 150 = -2*p. Let j = -30 - p. Is 1/34 > j?
True
Let y = 30 + 27. Let x = y + -56. Let m = -3.9 + 4. Which is smaller: x or m?
m
Let o = -358 + 4650/13. Which is smaller: -1 or o?
-1
Let r = 35 - 36. Let k be (-7)/(-91)*(-1)/r. Is 0 greater than k?
False
Suppose t + 3*n + 56 = 5*t, -4*t - n = -40. Suppose -8*r = -13*r + 55. Is t at least r?
True
Suppose -2*q + 5*h = -161, q - 5 - 68 = 5*h. Let o be ((-1)/(-2))/(11/q). Suppose -4*y + w - 4*w = -4, -5*y = -3*w - 32. Is y greater than o?
False
Let f = -0.04 + -1.26. Let p = -0.3 - f. Let s = -0.8 + p. Which is smaller: 4 or s?
s
Let j be 23/2 + (-6 - -4). Let w(i) be the third derivative of i**4/12 + 3*i**3/2 + 5*i**2. Let s be w(0). Which is smaller: j or s?
s
Let k be (10/4)/(4/(-40)*1). Let z be ((-170)/k)/((-1)/15). Which is smaller: z or -101?
z
Let x(d) = 5*d - 40. Let n be x(9). Let p be ((-6)/n + 1)*-58. Which is smaller: p or 12?
p
Let w = -18 + 17.934. Let g = w + -0.934. Is -5 bigger than g?
False
Let v be 0/(18/8 - (-25)/(-20)). Is -2/201 != v?
True
Let h(u) = -2*u**3 - 17*u**2 + 8*u + 19. Let r be h(-9). Is 31 > r?
True
Let u be (-2)/(-8) - (-235)/20. Suppose -5*w = -w - u. Suppose b - 7 = -5*t + 3*b, 4*t + w*b - 1 = 0. Is t at least -2/15?
True
Suppose h - 1 = g, 5*h - 2 = -3*g - 13. Let r be -2*(h - 8/(-10)). Let x = -16 + 15. Which is bigger: r or x?
r
Let h(y) = 5*y**2 + 5*y + 5. Let r be h(-2). Let q be 4/40*(-12)/r. Let a = 42/725 - q. Does a = -1?
False
Let i(c) = c - 8. Let d be i(7). Let f = -28 + 17. Let o = -11.5 - f. Which is greater: d or o?
o
Suppose 5*q + 2*z - 20 = -z, -2*z + 13 = 3*q. Let d be 6*q/(14/(-5)). Let a(j) = j**2 + 25*j - 152. Let b be a(5). Which is smaller: d or b?
d
Let j = -482 - -79. Which is greater: j or -404?
j
Suppose 0*v = 4*v + 4. Let m = -25157 - -225400/9. Let q = m - -113. Which is smaller: q or v?
v
Let k = -945 + 916. Does k = -490/17?
False
Let k(v) = 6*v + 20. Let c be k(-6). Let n be 40/c*(-5)/(-2). Do -6 and n have different values?
True
Suppose 40*g = 38*g - 44. Is -20 < g?
False
Suppose -4*c - 17*f + 19*f = -14, -5 = -2*c - f. Suppose -3*t = -77 + 26. Is t less than or equal to c?
False
Let q = 40 - 37. Suppose -q*a = 6 + 21. Which is greater: a or -8?
-8
Let u = -0.88 + 0.63. Let s = -0.4 - -0.05. Let m = s - u. Is -0.7 less than m?
True
Let d = -2860/3 - -851. Let k = d + 100. Are 2 and k nonequal?
True
Let n(p) = -p - 1. Let d be n(-2). Suppose 2*q - 15 = -5*v + 7*q, 5*v + 5*q = -5. Is v < d?
False
Let n(w) = w**2 + 1. Let a be n(1). Let c(z) = -2*z**2 - 10*z**a + 13*z + z**3 + 1 - 2*z**3. Let t be c(-13). Which is greater: t or -4?
t
Suppose -10 + 19 = 3*q. Let j(h) = -2*h**2 + 5*h + 3. Let f be j(q). Which is greater: -8/15 or f?
f
Let w = 7823/4 - 1946. Which is bigger: w or 9?
w
Let h = -16/83 + -549/166. Which is smaller: h or 2?
h
Let s be (-4)/30 - (-798)/(-90). Is -12 