g - 2. Let n be j(1). Is n <= w?
True
Let l = 31 - 23. Let o = l - 7. Let x = -0.5 + -3.5. Which is smaller: x or o?
x
Let s = 6 - 0. Suppose -3 = a, -2*i - a + s*a = -5. Let o = -6 - -2. Which is smaller: o or i?
i
Suppose 2*p = -2*p. Suppose -4*n - 8 = -p. Which is greater: 3 or n?
3
Let w(d) = -d**3 + 5*d**2 - 2*d + 7. Let y be w(5). Let u = -6 - y. Let v = -9 - -7. Which is bigger: u or v?
v
Suppose z + z = 9*z. Let s be 106/(-102) - (0 - 1). Does z = s?
False
Let c be (-2)/(-7) + (-48)/21. Let m be (-10 + -4)*1/c. Suppose -2*w = -4*l + 4, -2*w - 4 = -m*l + 2*l. Is -1 at least as big as w?
True
Let j(r) = r - 4. Let o be j(3). Let a be 3060/(-6832) + 2/(-7). Let z = a + -1/61. Which is bigger: z or o?
z
Let d = -8 - -3. Which is smaller: d or -4?
d
Suppose 4*a + m = 5*m - 44, -2*a - 2*m = 22. Is -11 at most a?
True
Let p(k) = k + 2. Let f be p(-2). Let q = f - 0. Which is smaller: -2/51 or q?
-2/51
Suppose -1 = -4*w - 0*s + 3*s, -9 = -4*w - 5*s. Let i = -1/215 - -9/86. Which is smaller: i or w?
i
Let x(p) be the second derivative of p**3/6 - 11*p**2/2 - p. Let i be x(9). Which is greater: -1 or i?
-1
Let m = -9 + 1. Let c = 5 + m. Which is smaller: c or -2?
c
Let c be 3/(-6) + 19/39. Let t = c - 151/390. Let d = -1.11 - -0.11. Is t < d?
False
Suppose 0*z + 3*z = 9. Suppose -8*d + 10 = -z*d. Which is greater: 6/7 or d?
d
Suppose w = 5 - 1. Suppose -2*k + 2*c + 9 = c, -2*c = -2*k + 14. Is w at least k?
True
Let t(u) = -u**2 + u. Let z(j) = -7*j**2 + 5*j - 1. Let h(g) = 6*t(g) - z(g). Let q be h(0). Let k = 135 + -537/4. Which is greater: q or k?
q
Suppose 0 + 5 = -2*o + 5*a, 5*a + 5 = o. Let y be ((-3)/(-2))/((-35)/o). Which is greater: y or 1?
1
Let l = -65 + 65. Is -4/53 at least l?
False
Let o(a) = a + 19. Let w be o(-25). Which is greater: w or -7?
w
Suppose -2 = 2*p - 10. Let j be -2 + (15 - p/2). Let u = -7 + j. Which is bigger: 5 or u?
5
Let c be 3/((-330)/(-47314)) - -1. Let j = c - 4100/11. Let n = j + -58. Which is bigger: 0 or n?
n
Let d be 1*(0 - -2) + -4. Let f(g) = -2*g**3 + 7*g**2 - 8. Let v(h) = -h**3 - h + 1. Let w(u) = f(u) - v(u). Let r be w(7). Is d <= r?
True
Let m = 11 + -6. Suppose -c = 4*c - m. Which is bigger: c or -1/5?
c
Let g be 6*(10/4)/5. Let c = 1 + 1. Does c = g?
False
Let l = -63 - 7. Let q be (-5)/l + (-1)/2. Is q at most as big as 1?
True
Suppose 10*i = 5*i - 15. Which is smaller: i or -8?
-8
Let b be 3/(-9) + 5/6. Suppose -d - 3 = 2*j, 3*j + 2 = -10. Suppose d*o + i = 10, -4*o = 3*i - 5 - 3. Are o and b equal?
False
Suppose -3*z = 2*z. Are -3/7 and z equal?
False
Let o = 14 + -4. Suppose -2*s - s = 4*z - 20, 3*s = -2*z + o. Suppose 4*n = 2 + 2. Which is smaller: s or n?
s
Suppose -5*a + 0*q = -3*q + 20, 16 = -4*a - 4*q. Let u be -3 - (-3 - a/(-18)). Let l be 0 + (0 - -1) - 0. Which is bigger: l or u?
l
Let m = -0.163 - -2.163. Which is smaller: m or 2/9?
2/9
Let s(j) = j**2 + 8*j + 7. Let h be s(-7). Let k(g) = -g + 5. Let t be k(h). Which is smaller: 3 or t?
3
Let f(c) = 3*c + 12. Let q be f(-8). Let x be (-3)/q*0 + 1. Let h = -135 + 2293/17. Are h and x unequal?
True
Let k = -17 + 17. Suppose -d + 3 = 5. Which is bigger: d or k?
k
Let h be 1/4 + (-1)/4. Suppose 3*t + 89 = 14. Let m be 93/(-105) + (-15)/t. Which is smaller: m or h?
m
Suppose 2*k = 2*o + 4, 3*k + 10 = 5*o + 8*k. Are o and 8/11 nonequal?
True
Let x = -60 + 52. Is x <= -1?
True
Let t = 0.1 + -1.1. Let p be (-54)/(-60) - 1/2. Which is greater: p or t?
p
Suppose -6 + 30 = -4*y. Let u = y + 10. Suppose 2*d = u*d + 10. Is d at least -5?
True
Let g = -2 - -1.2. Is -10/3 at most g?
True
Let o = 21837/14 - 79001/70. Let t = 434 - o. Is 3 not equal to t?
True
Let f be 2 - (-28)/7*(-62)/122. Is 1 less than or equal to f?
False
Let a(x) = -3*x**3 + 2*x**2 + 1. Let s be a(2). Let w = 22 + s. Let o be 2/w + (-9)/7. Does o = 0.2?
False
Let u = 0.08 + -0.5. Let q = 0.02 + u. Let r be 0/((0 - 1)*2). Is q <= r?
True
Let a(p) = -2*p**2 - 10*p - 2. Let o be a(-7). Is o less than or equal to -30?
True
Let f be 1/(-5) + 5/25. Is -9/7 less than f?
True
Let g = 97/6 + -35/3. Which is greater: g or 6?
6
Suppose -3*z = -4*z. Let p = -119 + 117. Which is smaller: z or p?
p
Let k = -1 + -4. Let d = -5 - k. Suppose 3*m + 3*i + 16 = -2*i, 0 = -5*m + 4*i - 2. Which is smaller: d or m?
m
Let u = -17 + 27. Is 0.1 at most u?
True
Suppose -4*x + 8*v = 3*v + 16, 3*x - 2*v + 5 = 0. Suppose -x = -c + 2*c. Is c < -1?
False
Suppose -3*k - o - 2 = 3, -3*k + 4*o = -20. Let g = -0.4 + 0.4. Let m = g + -0.1. Is m at least as big as k?
False
Let i = -0.0764 - 316.9236. Let q = -315.07 - i. Let r = -0.07 - q. Is r bigger than -1?
False
Let n(p) = p**3 + 3*p**2 + 2. Let x be n(-3). Let q be (-2)/(x/(4/(-2))). Suppose -5*b = -0*f + 3*f + 34, -f + q = -b. Is f smaller than 0.1?
True
Let u = -81 + 45. Suppose 0 = 3*c - 16 - 29. Let w be ((u/c)/(-3))/2. Which is greater: 0 or w?
w
Let s(d) = -3*d - 1 + 0*d + d**2 + 0*d. Let n be s(4). Let l = 3 - n. Which is greater: -1 or l?
l
Let t = 12.7 - 13.7. Is t greater than or equal to -76?
True
Let r be 10/35 + (-88)/14. Which is smaller: r or -14/3?
r
Let b = 46/5 + -57/10. Which is smaller: b or 3?
3
Let h = -58.93 - -54.9. Let q = -1.07 + h. Let z = q + 5. Which is greater: z or 1?
1
Let t = 9 - -3. Let l be 2/t + (-260)/(-24). Suppose 0 = 4*a - 3*j + l, -4 = a - j - j. Do -1 and a have the same value?
False
Let q = -0.013 + -15.887. Let l = -16 - q. Let g be 2/(-7)*(1 + 1). Is g bigger than l?
False
Let i(d) = -d**2 - 5*d + 6. Let y be -7 + 1 + (3 - 3). Let o be i(y). Which is smaller: 4 or o?
o
Suppose -6 = 4*i + 2. Let s = i - -5/3. Suppose -4 + 3 = d + g, -g - 1 = 4*d. Which is bigger: s or d?
d
Let h(w) = -w**3 - 2*w - 2. Let z be h(-2). Let j(b) = b - 4. Let q be j(z). Let k be q/15 + (-4)/10. Which is greater: 1/3 or k?
1/3
Suppose y - 6 = -0*y. Let x be (-9)/y*(-6)/(-9). Which is smaller: x or 2?
x
Let n(b) = b**3 + 2*b**2 - 5*b + 2. Let t be n(-4). Let j be (-7)/28 + (-39)/4. Is t <= j?
True
Suppose c = -0*c. Suppose -6 = d + 2*d. Let b be (-12)/8 - d/(-4). Which is smaller: b or c?
b
Let y = -16 - -16.08. Which is smaller: 0.4 or y?
y
Let f = 20 + -28. Let m = 13 + f. Let c = 8 - m. Is 1/2 smaller than c?
True
Suppose 0 = -3*a - 2 + 20. Let u be (a + -1)/(7 + 1). Is u less than 1?
True
Let b(i) = 4 + 2 - 3*i**2 - 7*i + 4*i**2. Let c be b(5). Is -4 equal to c?
True
Let f be (-11)/88 - 10/(-16). Let r be 136/(-36) - (2 + -6). Is r >= f?
False
Let p = 47 + -93. Is -2/9 not equal to p?
True
Let s(w) = 5*w**3 - 5*w**2 + 5*w - 13. Let i(t) = 9*t**3 - 11*t**2 + 11*t - 25. Let y(g) = -4*i(g) + 7*s(g). Let b be y(8). Which is greater: b or 1/11?
b
Let b = 133/4 + -33. Let k(z) = -z**3 - 5*z**2 + 5*z - 1. Let t be k(-6). Suppose d = -4*w + 1, t*d + 18 = 3. Which is greater: w or b?
w
Suppose -4*z + 4 = -4*g - 0, 5*z - 6 = 4*g. Which is greater: g or 3/8?
g
Suppose 5*x + 0*x + 3*u + 8 = 0, 0 = 5*x + u + 6. Let z = 4/37 + -57/185. Which is smaller: x or z?
x
Let z = -75 - -74.75. Is z <= -2?
False
Let c = 0.06 - -0.14. Let i = c - 0.4. Does i = 2?
False
Suppose -r - 28 = 3*z - 7, 0 = 4*r - 3*z + 39. Is 1 at most as big as r?
False
Let m be (2/(-3))/((-4)/(-6)). Let u = m + 3. Let r(x) = -x**2 + x + 1. Let i be r(u). Is -2 > i?
False
Let z = -1/2 - -15/22. Which is smaller: z or 1?
z
Let c = 7 - 12. Is c equal to 2?
False
Let h = 0 - 0. Suppose h = -3*f + 2*f. Is f != 1?
True
Let f(n) = n**3 + n**2. Let a be f(0). Let y(i) = -i + a*i - 4*i**2 + 2*i**2 + i**2 + i**3 - 3. Let t be y(0). Which is bigger: -4 or t?
t
Let x be (((-6)/(-8))/((-12)/(-32)))/2. Is x < 108?
True
Let q(h) = -h**3 - h + 1. Let d be q(0). Let n be (-6)/45 + (-116)/480. Is n not equal to d?
True
Let i = 197 - 1571/8. Do 1 and i have the same value?
False
Let t be (6/(-8))/(3/24). Is -14 at most as big as t?
True
Let r be (-20)/(-34) - (-2)/17. Is r equal to 0?
False
Suppose -t - 1 = -7. Is 7 greater than or equal to t?
True
Let c = 263.92 + -257. Let f = c - -0.08. Let z = f + -6.9. Is z >= 0?
True
Let r = 1080/11 - 98. Which is smaller: 2 or r?
r
Let g(s) = -3*s - 10. Let h(z) = -z - 1. Let o(c) = g(c) - 2*h(c). Let j be o(-5). Let t be ((0/2)/j)/(-1). Which is smaller: 1 or t?
t
Let y be (-12)/(-4) + -2 + 5. Is y at least 8?
False
Let h = 0 - -45. Let r be -2*h/(-24) - 2