 + 76/3. Is s not equal to h?
True
Let w = 5 + -4.6. Do w and 3 have different values?
True
Suppose -4*n + 13 = -3. Suppose 3 - 1 = a - v, 1 = -n*a + v. Which is bigger: a or 1/9?
1/9
Let u = 2.939 - -0.061. Is u less than 0.9?
False
Let k = -512 + 13822/27. Which is smaller: 1 or k?
k
Let z be (-4)/(-20) - 1/5. Suppose z = 2*q - 2*a, a = -3*q - 2*a. Is 3 at most as big as q?
False
Let h(j) = 8*j - 1. Let s(g) = g + 1. Let y(u) = h(u) - 6*s(u). Let d be y(8). Which is greater: 10 or d?
10
Suppose -5*j + 4*j = -5. Let i = j - 3. Suppose -5*y - 2 = -i*x, 2 = 4*y - 0*x + 2*x. Which is bigger: 2 or y?
2
Let n be (-46)/10 - 24/(-6). Let b = 3 - 2. Is b not equal to n?
True
Suppose -2*c - 2 = 5*t, -t + 2*c = c + 6. Let j = t - -4. Let u be (j/(-8))/((-9)/48). Which is greater: 1 or u?
u
Suppose 2*z + g = 48, -g = -3*z + 2*g + 72. Let j be (1/3)/(4/z). Let q be (-1 + 2 - j)/1. Which is bigger: q or -2/3?
-2/3
Suppose -2*a - a = 0. Is a <= 1/5?
True
Let t(c) = c**3 - 20*c**2 + 18*c + 23. Let u be t(19). Is 7 less than u?
False
Let q = -566321/22200 - -948/37. Let x = q - -1/75. Which is smaller: x or 0?
0
Let t = -22.044 - -0.044. Which is smaller: t or -1?
t
Let f = 15 - 20. Is -3 greater than or equal to f?
True
Let m be (-6)/(-9) - (-6)/(180/(-2)). Let q = 2 - 1. Which is smaller: m or q?
m
Suppose -2*j + 2*c - 4 - 4 = 0, -5*j = -c. Let s be -2*1/(-2)*4. Let a be 3 + s/14 + -3. Is j <= a?
False
Let a = -68 - -68. Which is bigger: 4/23 or a?
4/23
Let t = -25 - -23.7. Let q = t + -0.7. Let r(o) = o**2 - 8*o + 5. Let x be r(7). Is q at least x?
True
Let n = -6.4 + 2. Let s = 4 + n. Let p = 1 - 0. Is s less than or equal to p?
True
Let v(r) = r - 2. Let q be v(5). Suppose q*m = m. Suppose 4*i + 5*w - 2 - 6 = m, 11 = -i + 2*w. Which is bigger: -7/4 or i?
-7/4
Let o(u) = -u + 7. Let a(v) = -3*v + 22. Let s(k) = -2*a(k) + 7*o(k). Let p be s(5). Do -3/7 and p have the same value?
False
Let c = 1.1 - 0.1. Suppose 5*x - x - 20 = -4*q, -3*x = -2*q - 15. Which is bigger: x or c?
x
Let j = -0.24 - -0.1. Let l = j + 0.13. Is 1/5 greater than or equal to l?
True
Suppose 4*m - 5*v + 3*v - 28 = 0, -20 = -2*m + 4*v. Is 27/4 >= m?
True
Let y = 0.2 - -0.8. Is -4 < y?
True
Let d(p) = p**3 - 9*p**2 + 9*p + 10. Let u be d(8). Suppose 2*n = -m + 4*n + 2, 4*m - u = -2*n. Suppose -3*y + m = -y. Is 0 at least y?
False
Let i = -10.9 - -1.9. Are i and -2/7 equal?
False
Suppose 3*q - 22 = 5*x - 4, -4*x - 12 = -3*q. Let d = x - -12. Let t = 4 - d. Which is smaller: -2/3 or t?
t
Let q = 79 + -67. Which is bigger: 3 or q?
q
Let d be (9/6)/((-2)/(-4)). Suppose -x + d*x = 2. Which is smaller: x or 7/5?
x
Let k = -0.181 + 1.181. Which is greater: k or 67?
67
Let s(a) = 2*a**2 + a. Suppose 5*u - 2*m = 5, 3*m = 2*u - 9 - 4. Let g be s(u). Is g less than or equal to 6/11?
False
Let w = 176 - 707/4. Is 4/5 >= w?
True
Let v be 12/(5 + -3)*1. Suppose -v = 4*i + 2*i. Let a = 35/286 - 1/22. Which is bigger: i or a?
a
Let x = -0.17 - 15.83. Let m = -9 - x. Let k = 9 - m. Which is bigger: 0.1 or k?
k
Let n = 44 + -38. Let f be (n/4)/((-30)/(-20)). Suppose 0 = -m - 2*m. Which is greater: f or m?
f
Let s = 49/2 - 24. Is -9 less than s?
True
Let b(y) = y**3 - y**2 - y + 10. Let l be b(0). Let j be l/(-35) + (-2)/(-7). Let x = 1540/171 + -82/9. Are x and j equal?
False
Let t be 6/10*4/6. Suppose 5*v = 2*o + 5, -2*o + 13*v = 14*v - 1. Which is smaller: t or o?
o
Let m(t) = -t**3 + 2*t**2 - 4*t + 3. Let s be m(2). Let z be (s/3 + 1)/4. Is z at least 0.2?
False
Let h = 1.9 - 5.2. Let z = h - -3. Let b = z + 1.3. Is b < -0.2?
False
Suppose 7 = -o + 2. Which is greater: -6 or o?
o
Suppose 4*m = -3*d + 69, 4*m - 11 = 1. Suppose -2*j - 2 = 3*k - 8, -5*j = -k + d. Is j greater than -4?
True
Let t be (18 - -4)/(2/1). Suppose -6 = 3*x + 3*q, 2*x - 2*q + t = 3*q. Let y be (-1 - x)*(-20)/(-8). Is y greater than 4?
True
Let b = -14 + 13.93. Let s = b + 0.67. Let o = s + 0.4. Is -2 at most o?
True
Let o be 12/5 + (-3)/(-5). Let l be (-3 - -6)*o/(-60). Which is greater: 0 or l?
0
Let a = -6 - 8. Which is smaller: 1 or a?
a
Let u(n) be the third derivative of -n**6/120 - n**3/3 + 2*n**2. Let j be u(-2). Suppose 3*y = -3*d + j, -y - 2*y = -d + 6. Is 3 >= d?
True
Let l = -214/171 + 28/19. Is 1 <= l?
False
Let z = -3.5 - -2. Let n = 0.5 - z. Let a = -16 - -33/2. Is n bigger than a?
True
Let i be (-15)/(-9)*(-2)/5. Is i < -1/2?
True
Let t(a) = 3*a**3 - a**2 + 3*a - 1. Let y(d) = -d**3 + d**2 - d + 1. Let r(s) = -t(s) - 2*y(s). Let q be r(0). Which is greater: q or -2/19?
-2/19
Suppose 191 = -4*r - 101. Let v = r - -366/5. Let l(o) = o**3 + 13*o**2 + o + 12. Let k be l(-13). Is v <= k?
False
Suppose 2 = 5*j - 3. Is -1/5 less than j?
True
Let h = 30 - 52. Let p = -34 - h. Let n be (-3)/((-99)/p*-1). Is n at least as big as 1?
False
Let c = -11385882374/93 + 122412634. Let u = 16209 + c. Let k = 2/31 + u. Which is bigger: 1 or k?
1
Let g be (1 + (-27)/15)*180. Let p = g + 1727/12. Which is smaller: p or -1?
-1
Let y = -51 - -60. Which is smaller: y or 3/2?
3/2
Let i(v) be the first derivative of -v**3/3 - 5*v**2/2 + 6*v + 2. Let b be i(-6). Which is smaller: 5/6 or b?
b
Let i be -1*(-2)/(-5)*5. Let h(j) = j**3 + 4*j**2 + 2*j - 4. Let w be h(-3). Is i != w?
True
Suppose 0 = s + s - 3*i - 5, -5*s + i + 19 = 0. Suppose 144 = -13*q + 9*q. Let y be (-3)/s*(-32)/q. Which is greater: y or -0.3?
-0.3
Let r = -0.11 + 13.11. Let j = r + -12.8. Is 2/9 > j?
True
Suppose 0 = 2*q - 4*s - 3 - 15, -29 = 4*q + 5*s. Which is bigger: q or -3/8?
-3/8
Suppose -g - 2 - 3 = 0. Let j = 8 - 12. Which is smaller: g or j?
g
Suppose -19*m = -11*m - 8. Is -1/88 greater than m?
False
Let k be (146/44 - 2) + 2/4. Is 1 at most k?
True
Let b be 0 + -1 - 3*28/(-21). Let k = 4 + 0. Is b <= k?
True
Let h = -34 + 104/3. Let q = -2 + -1. Is h less than q?
False
Let m = 22/39 - 3/13. Suppose 1 = k + 2. Is k at least as big as m?
False
Let z = 0.3 - 2.3. Let u = -3 - z. Let l be 5/(525/6)*5. Which is bigger: u or l?
l
Let w = -584/13 - -45. Which is smaller: w or 1?
w
Let g = -66.97 + 68. Let y = g + -0.03. Let r = y + -1.2. Which is greater: 1 or r?
1
Let q = -0.28 + 0.3. Let a = 115 - 231/2. Which is bigger: q or a?
q
Let m be 4/4*(-1)/4. Let z = -16 - -17. Is m at least z?
False
Suppose 3*b + 2*b - 30 = 0. Let s(n) = 2*n - 5. Let z be s(b). Is z at most 6?
False
Let u(m) = -m - 5. Let h be u(-5). Let a be 102/72 - (-4)/(-6). Is a less than or equal to h?
False
Let s = -98 - -97.8. Which is smaller: s or -19/5?
-19/5
Let d(p) = p**3 + 6*p**2 + 4*p - 2. Suppose 19 = -5*c - 3*w, 3*c + 19 = 3*w - 2. Let g be d(c). Is 3 greater than or equal to g?
True
Let p be 12 - (0 + (-1 - -1)). Let c(r) = -5*r + 1. Let l be c(-3). Let j be ((-1)/p)/(12/l). Which is smaller: 0 or j?
j
Let v = -9.5 + 11. Let u = v + -0.5. Which is smaller: 1/7 or u?
1/7
Let h = 3 - 8. Which is smaller: h or -1/2?
h
Suppose -6*u = -4*u. Let x(y) = -y. Let n be x(-3). Suppose -2*m - 5 = n*m. Is u less than or equal to m?
False
Suppose 7*y - 5*y = 0. Let l = -607/4 + 26093/172. Is y less than l?
False
Let x = 433 + -25549/59. Which is smaller: x or 1?
x
Suppose -9 = 2*y - a + 1, 4*a - 16 = 4*y. Let q be (22/y)/((-1)/(-9)). Let r = 65/2 + q. Is r bigger than -1?
True
Let w(g) = g**3 + 5*g**2 + g - 1. Let u be w(-2). Which is smaller: u or 11?
u
Suppose 105 = -5*r - 0*r. Is -23 greater than r?
False
Let z be -3*(32/(-6))/4. Let i = 15 - z. Is 11 at most i?
True
Let j = -1 + 1. Suppose -13 = f + 2*l, 3*f - 4*l - 11 = -j*f. Let u be f + 2 - -2 - 1. Is u greater than or equal to -3/8?
True
Let c = 0 + -1. Let x = 6 - 6.05. Let f = 0.05 + x. Is c greater than f?
False
Let b = 1.6 - 1.51. Let h = b + -1.09. Is 2/5 less than or equal to h?
False
Let a be 1 + 6/9*147. Let u = a + -59. Let c be 36/u + (-1)/2. Is c greater than 1?
False
Suppose 9*v + 19 - 73 = 0. Which is smaller: 2 or v?
2
Let n(j) = j. Let o be n(-1). Suppose -3*i - i + 1212 = 0. Let z = i - 3335/11. Is z less than o?
False
Let p = -1 - -3. Let l be 2/(-4) - (-29)/p. Suppose -2*j = 3*t - l, 0 = t - 0*j - 5*j + 18. Which is greater: t or -2?
t
Let a = 1.3 - -0.2. Let r = a - 0.6. Let g = 1 - r. Which is bigger: 1/4 or g?
1/4
Let z(w) = -6*w**2 - 46*w - 50. Let f(j) = j**2 + 9*j + 10. Let v(q) = -11*f(q) - 2*z(q). Let m be v(7). Let 