 >= 1?
False
Suppose -4*x + 3*i = -10, 5*x - 4*i - i - 15 = 0. Let z(r) = -r + 2. Let g be z(x). Which is greater: g or -3/11?
g
Let n be 0 + 1 + -1 + 8. Let g(c) = -c**2 - 8*c - 4. Let x be g(-7). Let u be 3/((-5)/x - -2). Which is smaller: n or u?
n
Let n be (-10)/6 + 374/66. Is 30/11 greater than n?
False
Let r be ((-212)/6)/(((-104)/(-6))/13). Is -26 bigger than r?
True
Let r = -14 - -14. Let x be (-2)/(-9) + r + (-2)/9. Let h be ((-1)/14 - 0)/(-1). Do x and h have the same value?
False
Let x be -5 - 2*(-6)/(-6). Let y be (-6)/2 + (-78)/15. Is x <= y?
False
Let b = -257 - -258. Which is greater: 3/91 or b?
b
Let p = -372 + 475. Are p and -2 equal?
False
Let o(h) = h**3 - 4*h**2 - 4*h + 26. Let z be o(4). Let i be 7/2 - (-3)/6. Suppose 3*x - 28 = -i*k, -2 + 12 = -k - 5*x. Is z equal to k?
True
Suppose 2*t - 5*t = -3, 2*y - 70 = -2*t. Let w = -41 + y. Which is greater: w or -3?
-3
Let c(g) = -g**3 + 13*g**2 - 9*g - 20. Let z be c(12). Let d be 12/z*1 - 43/4. Let j = 76/3 - 26. Which is greater: d or j?
j
Let s be (-2)/(-1)*3/(-6). Let d = 6/179 + -7/5549. Let m = d + 53/279. Is s >= m?
False
Let j be (-44)/4*(-5 + 4). Is j at least as big as 0?
True
Let j = -133 + -179. Are j and -310 equal?
False
Suppose 0*y = -4*y. Is y > -1/130?
True
Let f = 46 - -43. Let g = -88 + f. Are g and 2/169 equal?
False
Let q = -110 + 45. Is -1 smaller than q?
False
Suppose 3*b - 153 = -5*y + 218, 5*y - 373 = -4*b. Which is smaller: y or 77?
y
Let z be (-2100)/(-3920) + (-4)/14. Which is greater: -1 or z?
z
Suppose 0 = -31*z + 26*z + 235. Let m = 42 - z. Which is bigger: m or -11/2?
m
Suppose -4*g - 199 = -5*v, -73*v + 74*v + 256 = -5*g. Which is smaller: -55 or g?
-55
Let u(b) = -b**3 + 3*b**2 - 9*b + 45. Let a be u(4). Which is greater: a or -128/21?
-128/21
Let y(r) be the second derivative of r**4/12 - r**3 + 4*r**2 - 28*r. Let x be y(3). Which is smaller: x or 2/15?
x
Let a = -6 - -5.9. Let m = a - 1.9. Let b = -1.38 + 0.38. Is m greater than b?
False
Let s be (-3 - -8) + (-10 - -5). Suppose s = 43*a - 42*a + 12. Which is greater: -14 or a?
a
Let a = -762 - -764. Let r = -6.8 - -6.39. Which is bigger: a or r?
a
Let o = 0.873 - -0.027. Which is smaller: o or -3/5?
-3/5
Let o be (-1)/4 - (-50)/(-440). Is 7/2 < o?
False
Suppose 3*j + n = 8, j - 10 = 3*n + 6. Let s be ((-18)/(-24))/((-6)/j). Suppose 2*m = -3*m - 5. Which is smaller: s or m?
m
Let i(a) = -a - 20. Let j be i(1). Which is smaller: j or -17?
j
Let z(r) = -22*r**2 + 16. Let d be z(-7). Let w = d - -13815/13. Which is smaller: 2 or w?
w
Let g(t) = t**3 + 8*t**2 + t + 6. Let p = 5 - 13. Let o be g(p). Let f be 8/(-24) - o/(-3). Is f less than or equal to -2?
False
Let g(h) = h**3 + 5*h**2 - 7*h - 4. Let p be g(-6). Suppose p*w = 7*w - 5. Let d be -4 - (-3 - (2 - w)). Which is smaller: d or 2?
d
Suppose -12 = 2*t - 2*p + 4, 3*t + 3*p + 30 = 0. Is -0.44 less than t?
False
Let q be -7 + 5 + 61500/52. Let w = -1183 + q. Which is bigger: w or 0.2?
0.2
Let c = -667 - -698. Is c <= -7?
False
Let f = 2784 + -1852. Are 933 and f nonequal?
True
Let y be 1756/252 + -1 + -6. Are y and -1 unequal?
True
Let o = -6 + 5. Let d = o + 9. Let m(b) = 10*b - 3. Let n be m(1). Which is greater: d or n?
d
Let m(c) be the second derivative of c**5/20 - c**4/2 + c**2/2 + c. Let y = 128 - 122. Let j be m(y). Which is greater: j or 2/11?
j
Let w = 315139/2087 + -151. Which is smaller: 1 or w?
w
Suppose -2*l = -5*l + 33. Let h = 12 - l. Let s be 2 - (-2 + (-45)/(-11)). Which is smaller: h or s?
s
Suppose -4*w = 2*u - 13 - 13, -2*w = 2*u - 18. Let f be (w + -2)*(-6)/(-4). Suppose 0 = 2*l - 4*l + 4*c + 12, 0 = 3*l - 3*c - 12. Is f equal to l?
False
Let l(o) = 4*o**2 + 21*o + 5. Let n be l(-7). Let x be (0 - n) + (-3)/(-1) + -2. Are x and -2 non-equal?
True
Let u = 3 + -2.7. Let t = u - 0.3. Let i be (10 - 1)*((-7)/30)/(-7). Which is bigger: i or t?
i
Suppose -d + l + l = 10, 20 = 4*l. Which is smaller: d or -3/149?
-3/149
Let c(h) = 3*h**3 + 23*h**2 - 12*h - 20. Let n be c(-8). Which is smaller: 4 or n?
4
Let k be (1 + 0)*5/(-50). Let i be (-20)/(-6) + (-53 - -50). Which is smaller: k or i?
k
Let z be 0 - (-3 - (-5 - (-7)/4)). Is z > -2/11?
False
Let h = -396 - -284. Which is smaller: 0 or h?
h
Let o = -10 + 14. Suppose 100 = o*v - i - 32, -v - 4*i + 33 = 0. Let r be (-6)/v + (-1 - -1). Which is smaller: r or -1?
-1
Let q = 24 + -31. Let x(r) = r**3 - 4*r**2 - 1. Suppose -3*d + 6 = -0*d. Let o be x(d). Is q less than o?
False
Let h = 3 + -2.9. Let x = -29 - -29.3. Let w = x - 0.26. Which is bigger: w or h?
h
Let b = -72 + 72.029. Let j = 0.071 + b. Is -1/6 at least j?
False
Suppose -5*m + 4 + 1 = 0. Let n be (m/(-2))/(1/(-60)). Let y be 264/n - 1/(-5). Is y <= 10?
True
Let m = -2/1169 + -5813/18704. Let g = 3/16 - m. Which is smaller: 16 or g?
g
Suppose 9*a - 131 = -122. Which is greater: 0.173 or a?
a
Let k be -8*(3 + -4)/2. Suppose a + 5*o = 15, -3*a + k*o - 1 = 11. Which is greater: 2 or a?
2
Let z = 17 - 19. Suppose -5*w + 8*w = 81. Let a = 22 - w. Is z smaller than a?
False
Let b(r) = -r. Let d(q) = -3*q + 6. Let w(u) = -5*b(u) + d(u). Let x be w(6). Which is bigger: 4 or x?
x
Suppose -x + 4 = 1. Suppose -5*w + 35 = 5*i, 5*w - x*i - 35 = w. Suppose 9*j - w = 13*j. Is j < -1/2?
True
Let v = 365146/71 + -5143. Is -2/5 equal to v?
False
Let v = -23 - 6. Suppose -3*o - 68 = 7. Let p = o - v. Is p > 4?
False
Let n be 1/71*86/129. Is n equal to 1?
False
Let d = 169 + -169.03. Which is bigger: -0.09 or d?
d
Suppose v - 36 = 4*v - s, 3*v + 3*s = -36. Suppose -m + 3*h + 12 = 0, -m + 13 = -5*h + 1. Let p = v + m. Which is bigger: -1/4 or p?
p
Let a = 2.22 - 1.92. Is 44 smaller than a?
False
Let x be (96/(-20))/(2/15). Let s be (-18)/x + (-61)/118. Let n = -125/413 - s. Is 0 <= n?
False
Suppose 10 = 2*m + 5*u - 37, m + u = 19. Let p = m - 23. Let i be (p/8)/((-1)/(-2)). Is i > -1?
False
Let u be 4/(-10) + 2996/(-60). Let g = u + 50. Is g > -2?
True
Let m = -11276882/19 - -593296. Let x = m - -224. Suppose 0 = 3*y - y - 2. Is x <= y?
True
Let m = -20/29 - -2707/3799. Which is smaller: m or 0?
0
Let h = 9 - 12. Let b(d) = -2*d - 8. Let v be b(h). Is v smaller than 3/4?
True
Let v be 15/10 + 237/(-4). Let s = v - -1569/28. Is -1 > s?
True
Let r = 81 + -149. Let g = r + 68.3. Which is bigger: -2/7 or g?
g
Let o = -371/65 - -27/5. Is -2/15 >= o?
True
Let w = -3165.3 - -3165. Suppose -s - j - 7 = -6*j, -7 = -s - 2*j. Let c = s - 4. Is w at most c?
False
Let x = -0.13 - -0.06. Let i be (((-6)/18)/((-3)/(-18)))/6. Which is smaller: i or x?
i
Suppose -3*h = -h - x + 1140, -3*h = -3*x + 1710. Is -569 bigger than h?
True
Let l = 14 + -109/6. Is l greater than -4?
False
Suppose -34*b + 3450 = -24*b. Is b bigger than 2/7?
True
Let u = -255 - -251. Do 10 and u have different values?
True
Suppose 3*k - h + 8 = -2, -3*k - 8 = -2*h. Let s(n) = -n**2 + 9*n + 9. Let t be s(9). Let g(d) = -3*d + 28. Let w be g(t). Are k and w equal?
False
Let y = -10 + 11. Let q be 4/y + -5 + -4. Which is bigger: -1 or q?
-1
Let k be (14 - -1)*5*14/(-875). Let c = -10 + 9. Is c less than k?
False
Let u = 1102 - 1469. Is 3 at most u?
False
Let d = -1462/9 - -163. Let x = 134 - 133. Is d greater than or equal to x?
False
Let a = 1/1664 + -417/1664. Is a < -43?
False
Let j be 1/(3*1/6). Let p(c) be the first derivative of c**2/2 - c + 1. Let b be p(1). Which is bigger: b or j?
j
Suppose 5*n = 2*c + 20, -4*n + 34 = -2*c + 4*c. Let i be (-8 + n)/((-4)/(-6)). Is i bigger than -4?
True
Let r = -1.9 - -1.9. Let i = r - -0.3. Let g = -4.6 - 1.4. Which is smaller: i or g?
g
Suppose 17 = -y + 1. Let w be (-4)/(-10) - y/10. Which is smaller: 0 or w?
0
Let t(r) = -r**3 - 14*r**2 - r - 32. Let b be t(-14). Suppose -3*d + 6*d + 57 = 0. Which is bigger: d or b?
b
Let s be 15/90 - (-2179)/66. Let z = -33 + s. Let a = -4.5 + 5. Which is smaller: z or a?
z
Let p be 1/2 + 15/(-10). Let v(y) = y**2 + 7*y. Let t be v(-7). Is t > p?
True
Let u = -151/20 + 3/4. Let j(w) = -w**2 - 38*w - 343. Let m be j(-14). Which is smaller: m or u?
m
Suppose 3*v = v - 2*b, -10 = -5*v + 5*b. Let t be ((-12)/30)/(v/(-5)). Let a = 1 - -3. Which is bigger: t or a?
a
Let c(v) = -1. Let a(w) = w + 8. Let r(u) = a(u) + 3*c(u). Let f be r(-6). Are 5 and f unequal?
True
Let k = -963 - -964. Is k at most as big as 2