 - i. Is w greater than 1?
False
Let c be ((-24)/42)/(3 - 1). Which is bigger: c or -0.04?
-0.04
Let d(f) = 2*f**2 + 73*f + 92. Let r be d(-35). Suppose 0 = v - 4*l - 7, 9 = -v + l + 1. Is r >= v?
True
Let z = -905/384 + 3/128. Let l(q) be the first derivative of q**3/3 + 5*q**2 - 10*q + 2. Let j be l(-11). Which is greater: j or z?
j
Let o(s) = -s**2 - 7*s - 3. Let h be 46/(-8) + 3/(-12). Let l be o(h). Is l greater than -2?
True
Let o be (-33)/(-88) - (-1 + 1). Which is greater: -1 or o?
o
Let a be (-2)/8*(-12)/15. Let c = 439/3180 - 1/212. Which is smaller: c or a?
c
Let i = -9 - -10. Are 3/8 and i nonequal?
True
Let p(q) = 3*q - 1. Let u(y) = 6 + y - 6*y + y**2 - y + 0*y. Let o be u(5). Let m be p(o). Is m less than 1?
False
Let v = 12 - 17. Let n = -6 - v. Let d = -39/2 - -19. Which is bigger: n or d?
d
Let d be (-6)/27 + (-10)/(-45). Let f be (-2)/(-3) + (-228)/324. Is f less than d?
True
Suppose 0*v - 220 = -5*v. Let x be (5 - 1)/((-8)/v). Let c be (-2)/11 - 26/x. Is -4 equal to c?
False
Let p(x) = x - 8. Let z be p(4). Which is bigger: z or -5/2?
-5/2
Let f(y) = y**3 - 2*y**2 + y. Let z be f(2). Are z and -1 equal?
False
Let w = -0.25 - -0.3. Which is smaller: w or -1?
-1
Let w = 0.04 + 3.96. Let b = 4.2 - w. Which is smaller: b or -10?
-10
Suppose 7*g - 12 = 4*g. Suppose -5 = g*j - 1. Which is smaller: j or 1/4?
j
Let r = -5.7 - -6. Let h = 4.3 - r. Let s = h + -5. Which is smaller: s or 1?
s
Let l = 146/2415 - -4/115. Which is smaller: l or -1?
-1
Let z = 2 + -3. Let a(d) = d - 7. Let m(f) = 4*f - 36. Let k(s) = 11*a(s) - 2*m(s). Let i be k(2). Which is smaller: i or z?
z
Let s be ((-1)/4)/(13/52). Which is smaller: s or -3/47?
s
Let m(c) = c**2 + 3*c. Let p be m(-4). Let l be (p/6)/((-11)/(-3)). Let j = -0.22 + 0.02. Which is bigger: l or j?
l
Suppose 0 = 16*k - 2*k + 56. Is -9/2 less than k?
True
Suppose -4*c + 4*z = -4, -2*z - 5 = -4*c + z. Is -2/11 <= c?
True
Suppose -5*q + 34 = 3*p, -2*p + 0*q - q = -11. Do 3 and p have the same value?
True
Let f = -0.04 + -0.96. Let a = f + 1. Are a and 0.1 equal?
False
Suppose -2*l = l + 12. Let x be (-2)/(5*l/(-4)). Let p be 0 - (0 - 2/6). Which is bigger: x or p?
p
Let c = -238/15 - -41/5. Let d = 109/15 + c. Which is smaller: d or 1/4?
d
Let i be 0/13*(1 - 0). Let h = 202/99 - 20/11. Which is smaller: h or i?
i
Let z(q) = -q + 8. Let f be (-2)/(-4) + (-7)/2. Let i be ((-3)/f + 2)*2. Let u be z(i). Which is smaller: u or 1?
1
Suppose -2*g = 2*l - 16, -g - 3*g = -20. Suppose 3 + l = 2*b. Suppose -b*n = -0*n. Is 2/13 greater than n?
True
Let y = 8 - 8.08. Let a = y - -2.08. Which is bigger: a or 1?
a
Let o = 21 - 32. Is o equal to -11?
True
Let t = -5 + 7. Suppose 2*g + 2*g = -o + 7, 5*g = 5*o + 15. Does t = g?
True
Let q = -0.05 - -0.15. Let m = 4 + -4.05. Let s = m + -0.95. Which is bigger: s or q?
q
Let h = 0.14 - 0.24. Let d = 2 - 2. Let g = d - 0.5. Which is smaller: g or h?
g
Suppose -t = -3*t + 6. Suppose 0 = 2*n - 2*y - 10, -4*n + n - 15 = t*y. Is 2/13 at least n?
True
Suppose -4*x - 7 = 1. Let b = -1.1 + 0.1. Which is smaller: b or x?
x
Suppose 5*j + 18 = -3*i, 3*i + 2*j + 15 = -2*j. Which is smaller: 2/27 or i?
i
Let q = 0.2 - 3.2. Let d = 5.87 - -0.13. Let p = d + q. Is -0.1 greater than p?
False
Let a be 26/10 - 2 - (-2)/5. Let z be -2 - -1 - 11/(-8). Which is smaller: z or a?
z
Let x = -0.01 - 1.99. Let n = -0.68 + 0.08. Which is greater: n or x?
n
Let s = 12 - -1. Let c = s + -13.2. Suppose -5*w - 1 = 2*b - 16, 2*b + 2*w = 6. Are c and b nonequal?
True
Suppose 7*m - 5*k = 3*m + 37, -4*k - 14 = 2*m. Suppose -3*y + m - 18 = 0. Let z = 5 + y. Which is smaller: z or -3/5?
-3/5
Let c be 1 + ((-7)/5 - 0). Let o(b) = -b**3 + 5*b**2 - 3*b. Let p be o(2). Suppose -5*g + 3*s = 9, -2*g - g - p = -2*s. Is c at most g?
True
Suppose 59*p = 56*p + 333. Is p greater than 111?
False
Let r = 1 - -7. Let g = -6 + r. Are g and 1 unequal?
True
Let k = -50 - -48. Which is smaller: -36 or k?
-36
Let v(j) = 15*j**3 - j**2 - 2*j - 2. Let a be v(-1). Is -16 at least as big as a?
True
Let i(n) be the third derivative of n**4/24 - 11*n**3/6 + n**2. Let r be i(9). Let o be (-4)/8 + r/(-4). Is 0 > o?
False
Suppose 5*w + 0 = -10. Let r(s) = -2*s**2 + 3*s + 2. Let u be r(2). Which is bigger: u or w?
u
Let f(u) = u - 8. Let r = -18 - -25. Let t be f(r). Which is greater: 1/3 or t?
1/3
Let b = 7 - 5. Suppose -10 = -b*c, 5*f - 2*c = -c. Let v be f + 3/6*-2. Which is smaller: v or -3/5?
-3/5
Let i be (-15)/(-6) - 12/8. Let r be (4/10)/(3/5). Is i at least as big as r?
True
Let a(r) = -r**2 - 9*r - 8. Let y be a(-9). Is -7 less than y?
False
Suppose -4*c = -4*u + 8, -4*c + 0*u = -3*u + 10. Let p be 3 + c + (1 - 1). Let h be (p + -1)*(-3)/6. Is h equal to -2/9?
False
Suppose 0*r = 4*r + 20. Let i = 6 + r. Is 2/13 at least as big as i?
False
Let i be (-85)/25 + 4/10. Let q be 52/(-12) + (-1)/i. Is -5 greater than q?
False
Let y = 0.78 + 6.52. Let r = y + -7. Let h = r - 0.2. Which is greater: -0.2 or h?
h
Let h be (9/6 - 4)*-10. Is h > 26?
False
Let s = 20 - 19.6. Which is smaller: s or 1/3?
1/3
Let l be ((-1)/(-14))/((-120)/8260). Let f = 14/3 + l. Let t be 1*(-1)/(-1*1). Is f at most as big as t?
True
Let s = -58/7 + 283/35. Let i be -1*(2/1 - 2). Which is smaller: i or s?
s
Let m = 8 - 10. Do -2 and m have different values?
False
Suppose -12 = 5*d + 4*n + 9, -d = 5*n. Let s(i) = -i**2 - 1. Let m be s(-2). Are m and d equal?
True
Let c be 340/90 + (1 - (-21)/(-27)). Is c smaller than 0?
False
Let c(z) = -z**2 + 7*z - 3. Let p(s) = -2*s**3 - 3*s**2 + 2*s**3 + 2*s**3 + 2*s - 1. Let g be p(2). Let a be c(g). Which is greater: a or -2?
-2
Let v be 5 + (-1 - (-6)/(-1)). Which is bigger: v or -5?
v
Let f be -12 + 8 + (-40)/(-9). Do f and -0.02 have different values?
True
Let r = 211 - 124. Let n = r + -433/5. Which is smaller: n or -1?
-1
Let u(r) = -3*r - 6. Let z(o) = -2*o - 4. Let c(w) = 5*u(w) - 8*z(w). Let v be c(4). Let i be 1 - v/3 - 1. Is -1 at most as big as i?
False
Let b = -146 + 121. Is -25 < b?
False
Let u be 32/18 + 4/18. Suppose 4*c + 18 - u = 0. Is -3 not equal to c?
True
Let x(h) = -2*h**3 - 11*h**2 + 2*h. Let m be x(-6). Does 27 = m?
False
Suppose -2*c + 23 = c + 5*q, 2*c - 6 = -q. Do -1/53 and c have the same value?
False
Suppose -4*n = -5*m - 26 - 20, 4*n - 50 = 3*m. Suppose 31 = -b + 3*b - 3*o, -5*b + 73 = -3*o. Is b bigger than n?
False
Let f = 28.81 + -29. Let l = 8 + -8.09. Let c = l - f. Which is smaller: 1 or c?
c
Suppose 4*m - 12 = m. Let u be (-4 - -6)*4/2. Are u and m equal?
True
Let v = 7 + -5. Which is bigger: 5/6 or v?
v
Let h(n) = -n + 2. Let i be h(0). Let b = -130 - -132. Is i equal to b?
True
Suppose -8*a + 4*a - 20 = -v, -3*v - 5 = a. Is v less than or equal to -3/8?
False
Let n(d) = -4 - 3 + 4 - d. Let h be n(-4). Which is greater: h or -1/3?
h
Let z = -16 - -16. Which is bigger: z or 2/29?
2/29
Let l = 6 - 4. Let c = -20.977 - 0.023. Let o = -21.3 - c. Is l less than or equal to o?
False
Let c be -8*5/((-30)/9). Let t be (15/9)/((-2)/c). Which is smaller: t or -8?
t
Let r = 153196/21 - 7286. Let c = r + -28/3. Is c >= -2?
True
Let t be 2/2*216/(-12). Is -18 >= t?
True
Let g(u) = u**2 - 13*u - 10. Let i be g(14). Let j = 0.13 - 1.13. Is i less than j?
False
Suppose -2*t = 5*b - t, -3*b = t. Let a be (1 + 1)*2/16. Is b at most a?
True
Let a be ((12/(-15))/(-2))/3. Which is smaller: a or 0?
0
Suppose 0*t + 3*t - 12 = 0. Suppose 0 = 3*h - t + 1. Are h and -2/7 unequal?
True
Let g be 3/(-3) - (-1 + 0). Let y be 0 + (-2 - g) + 6. Let o be ((-1)/(-2))/((-2)/y). Is o bigger than -1?
False
Let s(a) = 4*a**2 + 0 + 1 - a**3 + 3*a**2. Let d be s(7). Is d != 1?
False
Let o be (3/(-2))/((-13)/130). Which is smaller: o or 14?
14
Let c(t) = -t**2 + 12*t + 2. Let w be c(12). Which is smaller: -1/2 or w?
-1/2
Let t = -26 - -25. Is t at most as big as -1/2?
True
Let m(n) = n**2 - 8*n - 9. Let l be m(9). Let b be (10 - 2)*(1 + 1). Suppose -2*f - 4*p = -b, 3*f = 4*p - 1 - 5. Are l and f unequal?
True
Let v be 5/(-35) - 31*2. Let h = v - -62. Is h < 1?
True
Let q = 14 - 14. Let i = -147547/301 + -514/43. Let y = -503 - i. Which is greater: q or y?
q
Let c(d) = -d**3 + d**2 + 2. Let r be c(0). Let m be (r + 2 - 1) + -2. Let a = m + -1. Which is smaller: a or 1/2?
a
Let u = 15 + -19. Which is greater: 