o
Let u(n) = -n - 1. Let g be u(-4). Suppose 0 = -q + 2 - 0. Which is greater: q or g?
g
Let q be -4 + (-30)/(-9) + (-32)/(-66). Is -2 not equal to q?
True
Let h = 0.082 + 2.918. Is 3 != h?
False
Let c = 41 - 35. Is c > 10?
False
Let q = -0.07 + 0.07. Let x = q - 0.3. Let b be 2/3 + (-5 - -5). Which is smaller: b or x?
x
Let f be (6 - 16)/((1 - -1) + -1). Is -1 equal to f?
False
Let k = -1 + 1. Suppose 4*x + 11 = -4*t + x, k = -5*t + 4*x - 37. Suppose 3*f + 12 = -3. Is t greater than f?
False
Let j be (-3)/((-104742)/36964) - 1. Let p = 1/529 + j. Suppose 4 - 1 = -3*f. Which is greater: f or p?
p
Let n be (-5)/(-10)*(-2 - -8). Let k be 3 - (294/34)/n. Is k > 1?
False
Let o(k) = 2*k**2 + 14*k - 21. Let c(f) = -f**2 + 1. Let g(d) = 3*c(d) + o(d). Let l be g(12). Which is smaller: 5 or l?
5
Let b = 6.786 + 0.014. Let z = -0.8 + b. Let o = z - 5.8. Which is smaller: -1 or o?
-1
Let s be ((-12)/(-8))/((-6)/80). Let l be (-24)/s*3/(-3). Which is greater: -2 or l?
l
Let t = 647122789/868365740 - 4/1038715. Let x = -1/209 - t. Which is bigger: x or 0?
0
Let z = -247 + 877. Let l be ((-204)/z)/((-1)/(-5)). Let t = -16/7 - l. Which is smaller: -2 or t?
-2
Let z = 58/3 - 20. Let k(t) be the second derivative of t**5/20 + 11*t**4/12 + 11*t**3/6 + 4*t**2 + 3*t. Let m be k(-10). Which is greater: z or m?
z
Let q = -6.5 - -1.5. Let z = 16 - 10. Let v = q + z. Are 0.1 and v equal?
False
Let n = 0.42 + -0.49. Is n at least as big as -1?
True
Let s be 2 + 1 + -1 + (13 - 35). Let o = -40 + 21. Is o at least s?
True
Let c be -1*(6/1 + -3)*-2. Let q = -59/40 - -15/8. Let s = -16/15 + q. Is c greater than s?
True
Let w = 3/161 - 397/4025. Let l(i) = -i - 2. Let t be ((-6)/(-4))/(2/(-4)). Let k be l(t). Is k at most as big as w?
False
Let h(b) = -b + 5. Let f be h(5). Suppose -3*c + 2*c = 5*o, -c = 3*o - 4. Suppose -4*s + 0 = -2*v + 8, 0 = 5*s + c. Is f at most v?
True
Let n(b) be the third derivative of -b**4/6 - b**2. Let s(z) = 5*z. Let m(o) = 3*n(o) + 2*s(o). Let y be m(1). Are y and -1 equal?
False
Let q = 0.1 - -0.4. Let o = q + -0.4. Is o less than 2/3?
True
Let n(b) = -b**2 - 13*b - 7. Let y be n(-10). Suppose 5*c = o - y, o - c + 11 = 6*o. Suppose -4*i + 16 = -5*v, v + 15 = i - o*v. Is i <= -2/9?
True
Suppose p = 2 + 2. Suppose -34 = -6*d + 14. Suppose -3*o + 5*c + d = 4*c, 5*o - 16 = -c. Which is smaller: o or p?
o
Let z = -1 - -2. Let s be 1 + 2 - (z + 1). Let y be ((0/(-3))/(-3))/s. Which is smaller: y or -1?
-1
Let l = 13/45 + 1/9. Let v = -10.97 - 0.03. Is l bigger than v?
True
Suppose -2*x - 25 = 3*x, 3*x + 63 = -4*c. Is c at least -11?
False
Let t be ((-2)/(-4))/(6/(-12)). Let y be 8/(-14) + 2/7. Is y equal to t?
False
Let k(x) be the first derivative of -x**2 - 3*x - 8. Let l be k(0). Which is bigger: -3/2 or l?
-3/2
Let h = -0.04 - 0.06. Let y = 0.2 + -0.4. Is y equal to h?
False
Let i be 2/6*10/(-15). Let t = 5 - 2. Suppose 2*q - 2 = 0, -3*o - q - t*q + 1 = 0. Is o >= i?
False
Let t = -0.04 - -0.34. Let m = 36.2 - 30. Let v = -6 + m. Which is greater: v or t?
t
Suppose 4*h + 4*a = 16, -2*h = h + 5*a - 20. Let w = -54/11 - -183/44. Which is greater: w or h?
h
Let o = 21 - 15. Let j be -3*1*4/(-30). Which is greater: j or o?
o
Let j = 0.13 + 0.57. Let r = 0.5 - j. Let h = 1.8 - r. Which is bigger: h or -2/5?
h
Let o be 16 + (2 - (0 + 0)). Which is bigger: o or 17?
o
Let x = 186 - 170. Which is bigger: 0 or x?
x
Suppose 0*u = 5*u + 120. Is u less than or equal to -25?
False
Suppose 14*u = -2*u + 5*u. Is u bigger than -4/5?
True
Let a = -15 + 44/3. Let z = 4 + -8. Is a smaller than z?
False
Let a = 0.38 - 0.48. Let h = 1 + -1. Let o = h - -0.2. Which is smaller: o or a?
a
Let p(w) = -w + 5. Let x be p(0). Let s = -1 - x. Which is greater: -5 or s?
-5
Suppose 12 = -2*p - p. Let n be p/(-6) + (-2)/(-6). Is -1 <= n?
True
Let y be (-90)/(-14) - 6 - 174/112. Which is smaller: 1 or y?
y
Suppose -n - 22 = -3*o, o + 6*n - 4*n = 12. Suppose 4*s + 2*t = 42 - 2, 3*t + 39 = 5*s. Let d be (s/(-12))/((-2)/o). Is 4 equal to d?
False
Let w(y) = 54*y - 4. Let s be w(1). Is 50 < s?
False
Let r = -0.1 + 0.2. Let k be 5*(16/(-10))/(-4). Let y be -1 + (0 - k - 0). Which is smaller: r or y?
y
Suppose -2*v - v = -9. Suppose -2*x + x + 1 = -a, x = -v*a + 9. Suppose -2*l + x*r - 2*r = 4, -5*l = -r + 10. Which is greater: 4 or l?
4
Let a(m) = -m + 2. Let n be a(5). Let h = n + 7. Which is smaller: h or 3?
3
Let k be (-6)/(-3) - 4/1. Let d be k/13 + 0/14. Is d at most 0?
True
Let l = -6 - -8. Suppose x + 3 = l*o - 3, 3*x = -5*o - 7. Which is smaller: -1 or o?
-1
Let g = -11.6 + 10.6. Is 53 less than or equal to g?
False
Let y = -12 - -13.2. Let r = y - 1. Let b = 137 - 140. Which is bigger: r or b?
r
Let m(k) = -k**3 + 5*k**2 + 3*k - 6. Let p be m(5). Let x(z) = -z + 5. Let o be x(-5). Suppose 4*a - p*a = -o. Is 0 smaller than a?
True
Suppose -4 = t - 3*t. Let v(b) = -b**2 - 5*b. Let l be v(-5). Suppose l*r = -t*r. Which is greater: 1/2 or r?
1/2
Let j = 117/7 - 111/7. Is j smaller than -1?
False
Suppose 0 = 2*a + 3 - 1. Let u be 16 - 1*(a - -2). Suppose 4*l + 13 + 1 = -2*b, -5*b - u = 5*l. Is l at most as big as -3?
True
Let q = -1.43 - 0.55. Let h = -0.02 + q. Let y = h - -1. Are 0.4 and y unequal?
True
Let v = -15/16 + 29/48. Let l be (2/(-7))/(-1 + 2). Is l > v?
True
Let o = 3.6 + -7.6. Which is bigger: o or -0.03?
-0.03
Let q(j) = -j**3 - 14*j**2 - 16*j + 6. Let x be q(-13). Is -0.1 greater than or equal to x?
False
Suppose -5*m + 2*m = -5*v - 1, -4 = 2*v - 3*m. Which is bigger: 1/179 or v?
v
Let o = -1 + 0. Let c = o + 3. Which is smaller: c or 0?
0
Let a = 15.3 - 15.302. Which is greater: -2/5 or a?
a
Let l be (0/1 - -1)/1. Suppose r = 5*r. Which is smaller: r or l?
r
Let y(v) = -5*v**2 - v. Let t be y(-1). Let m = t - -5. Which is greater: m or 1/3?
m
Suppose -18 + 24 = 3*p. Let q = -1 - -1. Which is smaller: q or p?
q
Suppose 0*s + s = -10*s. Is s greater than 4/33?
False
Suppose d + 1 = -0*d. Which is smaller: d or 1/57?
d
Let l = 9 + -9.8. Let d = -0.7 - l. Let b = -0.4 + 2.4. Which is greater: d or b?
b
Let z = 0.06 + 0.74. Let x = -1 + z. Let o = -0.3 - x. Is o greater than -0.1?
False
Let c be -1 + 3 + -3 + 1. Let j be c/(-8)*2/4. Suppose j = -l - l. Which is bigger: -2 or l?
l
Let l(k) = -2*k - 11. Let x be l(-8). Suppose -3*h = -5*s - 27, -5 = -h - x*s - 16. Suppose -h*w = w - 10. Which is smaller: 6/7 or w?
6/7
Suppose z + 2*a + 1 + 9 = 0, z + 5*a + 10 = 0. Is -11 != z?
True
Let r be -3*(12/(-9) - -1). Are r and 3 nonequal?
True
Let l(j) = j**2 - 1. Let t be l(0). Is t at most as big as -2?
False
Suppose -3*z - 12 = -4*l, z + 12 = l - 2*z. Let d = 7 + -11. Let y be d/(-42)*(-3 + 0). Which is bigger: y or l?
l
Let f = -27 + 19.7. Let w = f + 7. Is w greater than or equal to 3?
False
Let z be 11/6*-1 - -2. Let v be ((-9)/(-27))/(1/3). Does v = z?
False
Let p be 1*6 + (0 - 1). Let y = 20 + -15. Let c be (3/y)/((-3)/(-15)). Which is smaller: c or p?
c
Let u(h) = -4*h + 1. Let n be u(-2). Let t = 27 + -19. Which is smaller: n or t?
t
Let l = -26 - -36. Let a = l - 1. Let n = a + -2. Which is smaller: n or 0.1?
0.1
Let b(f) = 3*f. Let p be b(-1). Which is smaller: p or -5?
-5
Let c = -11 + 23. Suppose j + 23 = 5*r, r - 21 = -3*j - 2*r. Suppose -8*h = 2*d - 3*h - c, -3*h = -j*d - 4. Which is smaller: d or 0?
0
Let n = -33 + 31. Is n >= -0.9?
False
Let p = -73 - -54. Which is greater: p or -18?
-18
Let u be (-6 - 36/(-6)) + -36. Is -2/7 <= u?
False
Let n = -7 - -7. Suppose -j - j = n. Is j less than 2/7?
True
Let a = 24 - 14. Let c(q) = q**2 - 10*q - 11. Let i be c(a). Are 0.1 and i equal?
False
Let l = 69 + -69.2. Suppose -m + 3*c + 14 = 0, 0*c = -3*m + c + 18. Is m smaller than l?
False
Let s(d) = 2*d**3 - 2*d**2 + 1. Suppose 21 = 5*f - 4*j, f + 3*f = 2*j + 12. Let o be s(f). Let v = -17 - -205/12. Does o = v?
False
Let k = -6/115 + 328/115. Is 2 at least as big as k?
False
Let q = 1 - 9. Let h = q - -8. Let k = 141 - 707/5. Which is bigger: k or h?
h
Let r(h) = 2*h**2 - h - 1. Let s be r(2). Suppose 0 = -s*p - 4 + 14. Let f be 0/(p*(-1)/2). Which is greater: -2/13 or f?
f
Suppose -5 = 5*q - 4*j, -3*q + 0*j - 3 = 3*j. Let i = 1/12 - 29/60. Is i less than q?
False
Let c = 11.8 + -10. Let b = c - 0.8. Is 0.06 < b?
True
Let n be (-53)/(-13) + -4 + 0. Is 0 at least 