g(5). Let b = r + -41. Let o be (-4)/b - (-4)/(-6). Is -1/3 less than or equal to o?
True
Suppose -q - 2 = 0, 5*q + 11 = 4*w + 33. Let c be w/(-20) + (-8)/(-5). Which is smaller: 5/3 or c?
5/3
Suppose -7*v + 5*v = -2. Is -2/69 at most as big as v?
True
Let b = 7 - 5. Let z = 5 - b. Let q be 1/1 - 5/z. Which is greater: q or 0?
0
Let r = 44 - -3. Is 48 less than r?
False
Let w = -45 + 32. Let o = 11 + w. Which is smaller: 6 or o?
o
Let n = 0.2 - 0.1. Suppose -10 = -2*b + 2. Let s be 5/4 - (-5 + b). Is n less than or equal to s?
True
Let m be (7 + -1 + -4)/((-2)/56). Is -56 >= m?
True
Let l(s) = 4*s + 1. Let o be l(-1). Let v be o + 1 - (-28)/13. Are v and 1 unequal?
True
Let t = 6 - 26. Let v = 1 + -20. Which is smaller: v or t?
t
Let o = -14 + 9. Let a = 2 - 1.8. Let i = a + -0.3. Which is bigger: i or o?
i
Let i(p) = -p**2 + 13. Let q be i(3). Which is smaller: 26/7 or q?
26/7
Let i be (10/25)/(1/5). Suppose 0 = -19*k + 19. Is i at least k?
True
Let n = 2.01 + -0.01. Let v be (15/(-3))/(1/1). Let x = 6 + v. Which is smaller: x or n?
x
Suppose 0*l = -5*l + 710. Let y be (32/(-80))/(l/10). Does y = 1?
False
Suppose -6*b = 4 + 2. Suppose 10 = -3*f - 2*h, 4 = -3*f + 5*h - 4*h. Let t be (-2 - f)*(-1)/2. Which is smaller: b or t?
b
Let h be (-14)/12*16/420. Which is smaller: h or 0?
h
Suppose 0 = -t - 4*l + 2, 0*l + 8 = 4*t + 5*l. Let j be 3 + -1 + t/(-2). Let z be (-6)/6*2/(-10). Is z greater than j?
False
Let r(g) = -3*g**2. Let s be r(-1). Let d = -16 - -10. Let a be (2/s)/(4/d). Is a smaller than 0?
False
Suppose 5*z = -3*d + 9, 5*d = -z - 0*d + 15. Let i = -291 + 2041/7. Are i and z equal?
False
Suppose -109 - 25 = -2*q. Suppose -5*d + q + 8 = 0. Let z be -2 - (-42)/d - 1. Is -1 greater than z?
False
Let j = -11 + 11.12. Let d = -0.02 + j. Let f = -1 - 0. Is d less than or equal to f?
False
Let f(h) be the first derivative of 5*h**2/2 + h - 3. Let d be f(1). Is d at least 7?
False
Let w(p) = -p**3 + 4*p**2 - p + 2. Let j be w(4). Let n be (-6)/51 + 2 + j. Which is greater: n or 1?
1
Let g be (-2)/3 - 32/(-30). Let w be (1 + -3 + 1)*-3. Suppose -l = -w*l. Is l greater than g?
False
Let h = 231 + -9475/41. Let f = -142/615 - h. Let g(k) = k**3 - 4*k**2 + k - 4. Let v be g(4). Is v at least f?
True
Let o(t) = -t - 1. Let c be o(-5). Which is greater: c or 7?
7
Suppose g - 5*n + 115 = 0, -4*g = 5*n + 254 + 131. Let w be (-2)/3*(-15)/g. Are 0 and w non-equal?
True
Let d = 5 - 3. Suppose d*a = 6*a - 4. Let n = 2 - a. Which is smaller: -1/7 or n?
-1/7
Let z be (-4)/6 - 636/(-590). Let u = 2/177 - z. Which is smaller: 0 or u?
u
Let h be (-13)/(0 - -2 - 0). Which is greater: -7 or h?
h
Let d(o) = -32*o + 44. Let c be d(4). Is c bigger than -84?
False
Let r(o) be the first derivative of o**2/2 - 1. Let m be r(7). Let l = m - 4. Which is greater: 1 or l?
l
Let k(i) = -i**3 - 8*i**2 + 9*i - 5. Let q be k(-9). Is -1/8 less than or equal to q?
False
Let m = 116/15 + -23/3. Which is smaller: m or 0?
0
Let o be 18*3*(0 + -1 + 2). Which is bigger: 53 or o?
o
Let n = 176 + -181. Suppose 0*u = 3*u + 3. Is u <= n?
False
Let u be -5*-4*3/(-10). Let f = u - -7. Is f >= 0?
True
Let g = 8 - 7. Let v = -8 + 11. Is v >= g?
True
Suppose 0 = -t + 4*t + 6. Let u be (-4)/(-10) + (-146)/(-10). Suppose 7*f - 2*f - 5*q - u = 0, -4*f - 2*q = 0. Which is greater: t or f?
f
Suppose 0 = -d + 1 + 1. Let h be (-9)/201*(-4)/(-6). Let g = 140/201 + h. Which is smaller: d or g?
g
Let k be -4*(27/12 + -3). Suppose -k*w = -3*g + 6, 3*w + 3*g + 2 = -2*w. Let x be (-3)/((-75)/(-23)) - w. Which is bigger: x or -1?
x
Suppose -2*d = -4*n + 2, 6*n - n + 30 = -4*d. Suppose 8 + 4 = 4*x. Let o = x + n. Which is greater: -2/11 or o?
o
Let k be -3 + (-2)/(-4)*0. Let p(q) = -q**3 + 7*q**2 - 7*q + 8. Let i be p(6). Let x = -1 - i. Is k greater than x?
False
Suppose -q - 3*s = 4, -4*s + 3*s = 4*q + 16. Let u be (-39)/15 + q/10. Which is bigger: 2 or u?
2
Let q be ((-2)/6)/(6/(-36)). Let r be -1*3/(-24)*q. Let o = 3.3 - 3. Is o less than r?
False
Suppose 4 = -2*u - 2. Is u greater than -6?
True
Let b = -3 - -4. Let j be 4/(-16) + b/(-4). Suppose 8*c - 5*c = 0. Is j < c?
True
Let v = 3 + -2. Let s = v - 2. Which is smaller: 2/11 or s?
s
Let v be (-2)/24*(-22)/165. Is 1 >= v?
True
Let b = -0.26 - -0.86. Which is smaller: 0.2 or b?
0.2
Let k be ((-16)/(-5))/((-26)/(-65)). Is k < 7?
False
Let q(x) = -2*x**2 - 10*x - 15. Let b be q(-6). Is 2/3 at least b?
True
Let o be 44/(-10) + (-2)/(-5). Let g = -5 - o. Let x be (-2)/8 + 10/(-8). Is x >= g?
False
Suppose -2*m = -0*w - w, 4*m = -4*w + 36. Suppose 0 = -5*p + 14 + w. Suppose -i = -p*i. Which is smaller: i or 4/3?
i
Suppose -3*c + 30 = 2*c. Let y be ((-4)/c)/(8/12). Is y greater than or equal to 1/6?
False
Let x be 8419/(-42) + 2/7. Let o = x + 201. Suppose -32*u + 1 - 1 = 0. Which is smaller: o or u?
u
Let b = -468/5 + 94. Let d be 3/(-1)*2/14. Is b bigger than d?
True
Let k(j) = -3*j**3 + 3*j**2 + 2. Let s(t) = t**3 - t**2 + t - 1. Let v(i) = k(i) + 2*s(i). Let g be v(2). Which is greater: 4/5 or g?
4/5
Let a be 2 - (-2 + 1 + -1). Which is smaller: 2 or a?
2
Let g = -5/9 + 29/36. Is g bigger than 9?
False
Let o(r) = r**3 + 7*r**2 + 4*r - 6. Let w be o(-6). Let y be (3/w*2)/(-1). Is y not equal to -2/7?
True
Let n = 105 + -109. Is n != -10?
True
Suppose 3*r + 5*f + 1 - 32 = 0, 5*f - 25 = 0. Suppose -2*d + 12 = r*d. Suppose -y - d*y + 8 = 0. Which is greater: 4 or y?
4
Let c = 759 - 23527/31. Is -2 at least as big as c?
False
Let b = -0.1 - -0.2. Let z = 1 - -1. Let f = 2 - z. Is f at least b?
False
Suppose -4*c + 12 = -0*c. Which is smaller: c or -25?
-25
Let n be (2/12*-3)/(1/14). Is -4 equal to n?
False
Let r = -13 + 27. Which is smaller: -2 or r?
-2
Let y(m) = m - 1. Let u be y(4). Let x = u + 0. Which is smaller: 1 or x?
1
Let z(h) = h**2 + 8*h - 14. Let s be z(-10). Which is smaller: s or -1?
-1
Let i be 4/14 - (-330)/21. Suppose -2*k = 5*t - t + i, -12 = -2*t + 4*k. Do -2 and t have the same value?
True
Let j be (1*-1)/((-21)/(-672)). Which is greater: -31 or j?
-31
Let f be (3/2)/((15/(-6))/5). Which is bigger: -19/8 or f?
-19/8
Let d = 0.7 + -1.7. Which is greater: d or 0?
0
Let b = 2.18 - -0.22. Let u = 1.7 - b. Let m = u + 1.7. Is m less than 0?
False
Let b = 6.97 - -0.03. Let c = -123.9 - -117. Let n = b + c. Is 2 at least as big as n?
True
Let i = -25/4 + 117/20. Is i not equal to 0?
True
Let h(k) = k**3 - k**2 - k + 2. Let a be h(0). Let u = 1/7 + 25/21. Which is smaller: a or u?
u
Let m = -24 + 50. Let b = m + 0. Let t be -3 - ((-100)/b + 1). Are 0 and t equal?
False
Suppose 0*h - 3*h = -3. Let f be -1*(0 + 0 + h). Let m be 2/5*3/(-6). Which is smaller: f or m?
f
Suppose -2*h + 3*q + 10 = q, 2*h - 16 = 5*q. Let n be 1 + h + -1 + -4. Is n equal to -4?
False
Let t = -32.91 - 0.09. Is -2/9 equal to t?
False
Suppose 2*u = 4*g - 0*g - 12, -2 = -3*g - 2*u. Which is bigger: -15 or g?
g
Suppose 0 = 7*i - 2*i + 5. Which is greater: i or 1/5?
1/5
Let w = -31 - -47. Which is greater: 15 or w?
w
Suppose -2*b + 4*b = 2. Let h = 0 + -2. Is b > h?
True
Let r be (-2)/(-10) - 17/35. Let i = 3 - 2. Is i less than r?
False
Let p = -40/287 - 6/41. Is p >= 0?
False
Let y be (3/(-9)*0)/(-4) + -1. Which is greater: y or 2/3?
2/3
Let x be (-22)/(-12) + 1/(-3). Let h be 6 - (-1 + 3 + 1*3). Which is bigger: h or x?
x
Let r = -9.964 + -0.036. Are r and 2/9 non-equal?
True
Suppose y + 3*n = 4*y - 6, 13 = -4*y - 3*n. Let z = 5/3 + -2. Is y bigger than z?
False
Let f = 2/51 - 157/102. Let j = -5/4 - f. Let p(c) = c**2 - 5*c. Let n be p(5). Which is greater: j or n?
j
Let x(d) = -3*d**2 - 2*d + 5. Let r be x(4). Let s be (-4)/30 + r/(-170). Which is greater: -1 or s?
s
Let w = 23 + -41. Let a = w + 17. Is a > 0.1?
False
Let v(l) = -l**3 - 2*l**2 - 3*l - 3. Let a be v(-2). Suppose -k - a = 3*o, 20 = k - 5*k - 4*o. Suppose 67*t - 56*t + 55 = 0. Which is smaller: k or t?
k
Let f be (152/(-20))/(3/10). Suppose -72 = 5*h + 58. Let u = f - h. Which is smaller: 2 or u?
u
Let x(a) = -a**3 + 6*a + 2. Let m be x(-4). Let r be m/18 - (-2)/(-1). Suppose 3*c - 7*c + 3*i + 2 = 0, -3 = -5*c + 4*i. Is r not equal to c?
True
Let v(g) = g**2 - 4. Let s be v(-3). Suppose 1 = 2*h - s. Let n = 314 - 311. Is n >= h?
True
Let v be (3/21)/((-1)/(-6) - 0). Does 0 = v?
False
Let q be (6/(-9))/