h is bigger: z or w?
z
Suppose 0 = -5*u + u. Is 2/93 greater than or equal to u?
True
Suppose -4*d + 25 = 5. Suppose -d*w + 15 = -5*u, 3*w + 3*u + 2*u + 7 = 0. Is 2 smaller than w?
False
Let d = 0.4 + -0.6. Let n = d - 0. Is n at most -0.1?
True
Let f = -8 + 20. Let g = f + -13. Let x = 0 - 1. Is g less than x?
False
Let q = -50 - -55. Which is smaller: 0 or q?
0
Let z = -3.8 - 0.2. Let q = 4 + 0. Let w = 4 - q. Which is greater: z or w?
w
Let u = -11 - -7. Let q(d) = d**3 + 4*d**2 - 5*d - 2. Suppose -3*f = -0*f + 15. Let w be q(f). Are u and w equal?
False
Suppose 0 = 9*v - 4*v - 90. Is 1 bigger than v?
False
Let i be (-95)/(-18) + 8/36. Which is smaller: 6 or i?
i
Suppose -5*j - v - 20 = 30, 3*v = 2*j + 37. Let u = j - -75/7. Which is bigger: 3/2 or u?
3/2
Let t = -0.3 + 0.7. Let n = t + -0.4. Is n greater than or equal to 3?
False
Let i = -49/22 + -3/11. Is i bigger than -6/7?
False
Let z = -20.8 - -21. Let g = -0.3 + -0.7. Let j = 0 + g. Which is greater: j or z?
z
Let l = -1.49 - -0.89. Is l greater than 0.1?
False
Let f = -1.09 - -1.11. Is f greater than or equal to 0.5?
False
Let j be (-14)/(-12) - 2/6. Let z be ((-6)/(-10))/(11/55). Suppose 0 = z*q, 6*p - 5*q = p. Is j > p?
True
Let w = 51 + -47. Do 2 and w have different values?
True
Let d(g) = g - 1. Let x be (-6 + 3 + 13)/2. Let p be d(x). Let n = 16 - 11. Which is bigger: p or n?
n
Let y be (-1)/(-10) - (-9)/18. Let i = 1/15 + y. Let d be 1 + (-6)/21*4. Is i greater than or equal to d?
True
Let u = 21 + -19. Are 1 and u equal?
False
Let y be -3 + 23 - -1 - 1. Suppose 2*n - 3 = 1. Let b be y/45 - n/(-9). Which is bigger: 1 or b?
1
Suppose -2*i = 2 - 8. Let x be (2 - 5) + 0/i. Suppose 3*w + 9 = 0, -5*b - 11 + 0 = -3*w. Does b = x?
False
Suppose -3*c - 3*j = -12, 2*c + j - 6 = 2. Let f(r) be the third derivative of -r**6/120 + r**5/15 + r**3/6 - r**2. Let h be f(c). Which is smaller: 1/3 or h?
1/3
Let t be 3/12 + 21/(-4). Let a = -2 - t. Let p be 1/a - (-4)/(-24). Is 2/3 less than p?
False
Suppose -5*f + 3*b = -7 - 36, 4 = -4*b. Let y(p) = -p**3 + 9*p**2 - 8*p + 1. Let j be y(f). Are 1 and j equal?
True
Let t be (12/(-66))/(0 + 1). Which is smaller: 0 or t?
t
Let t = 1 - 1. Let p(o) = 2*o**2. Let d be p(1). Let w be 0 + (d/3 - t). Which is smaller: -2/7 or w?
-2/7
Suppose 2*u - 3*u = 133. Let i = -1595/12 - u. Which is greater: i or 0?
i
Let d be (-2)/(-18)*3*-9. Let o(h) = -h**2 - 8*h + 7. Let y be o(-9). Do d and y have different values?
True
Let r = 7/3207 - -1801244/9621. Let d = r - 187. Which is smaller: d or -1?
-1
Suppose 0 = r + r + 2. Suppose -5*p + 3 = -27. Let u be r*(-1 + 2)*p. Is u less than -7?
False
Let u = 131.194 + -0.194. Let f = u + -132.06. Let z = 0.06 + f. Is z equal to -1/4?
False
Let i(s) = -3*s + 1. Let x be i(1). Let b be x*(-1)/2 - -3. Suppose 0 = b*j - 6 - 2. Is j at least 3?
False
Let i be (-2)/((-1 + 0)*2). Let z(m) = 2*m - 7 - m + i. Let c be z(6). Which is greater: -1/5 or c?
c
Suppose 0 = 4*v + 4*o - 32, -2*o - 8 = -3*v - o. Let a = 2 - v. Let p = a + 2. Are p and 1 equal?
False
Let o = -2 + 4. Suppose 0*t = o*t. Does t = 0?
True
Let h(t) = -t**2 - t - 2. Let v be h(-2). Is -18/7 <= v?
False
Suppose 2*z - 8 = -5*j, -2 = 2*j - 6. Which is bigger: z or -4/9?
-4/9
Let k = 6 + -4. Suppose 0 = l - n - 9, -k*n - 5 = 1. Let c be 0 + (-8)/l + 1. Is c at least as big as -2?
True
Let j(v) = -14*v**3 - v. Let t be j(-1). Suppose q - 6*q - t = 0. Is q bigger than -4?
True
Let k = -3511/26 - -135. Which is bigger: 1 or k?
1
Let u(w) = -w**2 + 18*w + 40. Let n be u(20). Let f(q) = -q**3 + q**2 + q - 1. Let l be f(0). Which is greater: n or l?
n
Let a(g) = -4*g + g + g. Let i(j) = 3*j. Let l(o) = -8*a(o) - 5*i(o). Let k be l(-1). Is 0 at most as big as k?
False
Let q = -28/39 - -163/390. Which is greater: q or 1?
1
Let d = 2 - 3. Let v be 2 + 25/(-6) - d. Is v bigger than 1?
False
Let n = -3/74 - -175/666. Which is smaller: n or 0?
0
Let h = -0.87 - -4.95. Let z = h - 0.08. Let m = z + -4. Which is smaller: m or -3?
-3
Let y be (2 + -5 - 0)/(-3). Which is greater: y or 1/10?
y
Let h be -4*10/(-28) + -1. Suppose 6 = -6*w + 3*w. Which is greater: w or h?
h
Suppose 3*x - 7 = -1. Suppose 0*w = -w + x. Suppose 6*q = w*q. Which is smaller: -6/5 or q?
-6/5
Let f(p) = p**3 - 7*p**2 + 7*p - 2. Let a be f(6). Suppose 0*r + 12 = a*r. Suppose 0 = s + 2*s - 6, -4*m = -4*s. Is m at least as big as r?
False
Let d = -465/518 + 3/74. Suppose -o = 8*o. Is d != o?
True
Let i = 60001/7 - 3477783/406. Let n = -11/2 + i. Let f = n + -73/145. Which is greater: 0.1 or f?
0.1
Let a be ((-4)/6)/(1/18). Let h be 1/4 - 165/a. Let d be 3/h*(-4)/3. Which is smaller: d or -1?
-1
Suppose 4*s + 11 = -5*g - 4, 0 = -3*g + 3*s + 18. Let n = 34823/16 + -1755205/816. Let c = n + -76/3. Is g at least as big as c?
True
Let j be (-31)/87 + (-20)/(-60). Is 1 bigger than j?
True
Suppose -45 = 4*d - 1. Which is smaller: -8 or d?
d
Suppose 15 = g - 0*g + 5*p, -4*g + 14 = -3*p. Suppose -g*a + 51 = -10*a - 4*k, -25 = 3*a + k. Let m(c) = c**3 + 6*c**2 - 6*c + 6. Let r be m(a). Is r <= -1?
True
Let i be (1 - (-7)/(-2))*-2. Suppose 1 + 3 = -v, -5*v - 15 = -i*p. Let f = 0 + 1. Which is smaller: p or f?
p
Let l be 0 - (2 + (-9 - (0 + -2))). Is 21/5 less than l?
True
Let g be -1*1*33/11. Is g less than 5?
True
Let n be (19/(-42))/(-1) + (-20)/70. Suppose -r - 5*g + 10 = 0, -r - 4*g = -8*g + 8. Let c be r*(-2)/(0 - 2). Do c and n have different values?
True
Let t(v) = -v**2 - v - 1. Let b = 0 + -2. Let i be t(b). Let g(d) = -d**3 - 3*d**2 - d - 1. Let n be g(i). Which is smaller: -1 or n?
-1
Suppose -i - 3 = -4*i + 3*s, -5*i = -2*s - 11. Suppose 10 = -q + 2*x, -3*q - x - 5 + i = 0. Which is greater: q or -3?
q
Let z(q) = 7*q - 54. Let m be z(9). Which is greater: m or 6?
m
Let d be (3 + 3)*(-3)/6. Let j be (-2)/(-8) - d/(-28). Which is smaller: j or 1?
j
Let a(d) be the first derivative of -d**2/2 - 2*d + 3. Let q be a(-2). Let v be 1 - 3/((-18)/(-4)). Is q at least v?
False
Let i be (2/24)/(33/5). Let o = i - 3/44. Which is bigger: 1 or o?
1
Let x be 45/35 + (1 - 27/21). Which is smaller: -1/17 or x?
-1/17
Let b(u) = -3*u**3 - 1. Let w be b(-1). Let g be 0 - w*(2 - 3). Let j = -2 + g. Is 2/5 greater than or equal to j?
True
Let c be 5/((-105)/18)*-42. Let h = 40 - c. Let x be -1 + (-14)/(-4) + 1. Which is smaller: h or x?
x
Let l be 60/24*2*-1. Let x = l - -4. Is 1/4 equal to x?
False
Let s = -40 - -35. Which is smaller: s or 1/4?
s
Let v = -382/35 - -411/5. Let h = v - 71. Suppose k = -5*p - 24, -5*p - k = 2*k + 22. Does h = p?
False
Suppose u + 0*u + 19 = -5*w, -8 = 4*u + 3*w. Suppose -4*i - 3 = u. Let l = -1.9 + 2. Is i greater than l?
False
Let t = -8 + 12. Suppose -t + 2 = -2*f. Is 0 bigger than f?
False
Let f = 5.77 - -1.23. Let p = -229/3 + 77. Is f < p?
False
Let l = 8 + -28. Do l and -21 have different values?
True
Let s = 2106/17 + -124. Is -2/5 smaller than s?
True
Let x be (-16)/(-4) + 1/(-1). Let w(r) = r**3 - 9*r**2 + 3*r - 11. Let d be w(9). Let p be 9/6*d/6. Is p at most as big as x?
False
Let f be (-18)/(-6) - (-2)/(-1). Suppose 63 = -2*v - v. Let w be (2/4)/(v/6). Are w and f unequal?
True
Let d be (-14)/80 + (-1)/5. Let f = 1/8 - d. Which is bigger: f or 2?
2
Suppose 6*p - 3*r - 35 = 2*p, -2*p - r + 15 = 0. Let g(s) = s - 3. Let j be g(p). Is j at least 5?
True
Let k be (-1)/4 + 1/4. Is k greater than 0?
False
Suppose -8*m + 5 = -13*m. Which is smaller: m or -3/4?
m
Let t = 9.5 + -8. Let d = 0.5 - t. Is -1 greater than or equal to d?
True
Suppose -4 = -3*a - a. Let g = -3 - -5. Suppose -y - 3*h = -1, -5*y + 4 = -y - g*h. Is a at least as big as y?
True
Let t = -311625313/11669 + 133527/5. Let f = t - -85708823/525105. Let r = -163 + f. Which is smaller: 0 or r?
0
Suppose 2*q - g + 24 = 63, 3*q - 86 = -4*g. Let s be 10/(-15) + q/6. Is 2 bigger than s?
False
Let u = 34 + -34.96. Let n = 0.1 + -0.06. Let i = u - n. Which is greater: i or -3?
i
Let s = -1.9 + 4.9. Are s and -0.1 equal?
False
Let b be 18/(-4)*(-4)/6. Is 2 at most as big as b?
True
Let t be (9 + 15 - (1 + 0))/1. Is 24 < t?
False
Let s(i) = -5*i + 10. Let b be s(2). Are b and -4/47 non-equal?
True
Suppose -f = -3*r - 18, 0*r + 5*r = -4*f + 55. Suppose 0 = 3*d + 2*p - 17, -2*d - 2*p = p - 18. Let h be d/(-15) + 78/f. Is h > 4?
True
Let