 - 4*n. Let b = h - 16. Is b > -1/4?
False
Suppose 3*g + 2*g + 5 = -4*x, -5*g = 3*x. Suppose 5*y + g*z = 0, 8*z = y + 4*z. Let w = -558 + 22880/41. Which is smaller: y or w?
y
Let c = -2012 - -2035.97. Let x = 24 - c. Which is bigger: x or -1?
x
Suppose 0*c + 3*c + 45 = 2*q, -3*c = -q + 48. Which is smaller: c or -0.07?
c
Let w(u) = u**3 + u**2 + u. Let q be w(0). Is 25 bigger than q?
True
Let h be 980/(30/6) + 8. Which is greater: h or 203?
h
Suppose 0 = 2*q - 2. Let r be (q/3 + 8/(-6))*11. Which is bigger: -12 or r?
r
Let k be ((-138)/72 + 2)*-4. Which is bigger: k or 1/19?
1/19
Suppose 3*g - 471 = -186. Suppose 7 = p + 2, 5*k - g = 4*p. Let t = -23 + k. Is t <= 18?
True
Let r = -1633 + 5036/3. Which is greater: r or 45?
r
Suppose 0 = 2*i - 7*i - 10. Let j be i + 0 + (-1 - -3). Let f be (240/(-576))/((-50)/(-16)). Which is bigger: f or j?
j
Suppose s + 3*t - 25 = -s, 4*s - t - 71 = 0. Let x be ((16*1)/1)/1. Which is bigger: s or x?
s
Suppose 0 = -24*k - 0*k. Suppose -4*d + 4*j = 4, 2*j - 9 = 4*d - 3. Is k not equal to d?
True
Let o be (-291)/(-8) + (-21)/56. Let a be o/(-90)*(0 + -1). Which is smaller: -0.12 or a?
-0.12
Let d(n) = -2*n - 5. Let g be d(-4). Let i be (-9)/(-9)*(-2)/(-1). Suppose i = -t + g. Are -2/23 and t nonequal?
True
Suppose 0 = b - 4*q - 1 - 0, b = q - 2. Let j be (1 - 3)*-3 + b. Suppose -k = -3*h - j, 0*h + 1 = -4*k - h. Which is smaller: k or -2?
-2
Let j be (-14)/6 + 3 - 920/(-6). Is 153 bigger than j?
False
Let n(j) = -10*j - 4. Let c be n(3). Suppose 2*l - 208*x + 204*x + 88 = 0, -3*l - 87 = 3*x. Do c and l have the same value?
True
Let v = 9835805432/85 - 115717397. Let x = 2039 + v. Which is smaller: 1 or x?
x
Let z = 4.78 + -5.6. Let p = z + 0.92. Is p at least 10/17?
False
Let i = -0.801 - -0.901. Which is smaller: 1/250 or i?
1/250
Suppose l + 2*t + 76 = -51, 5*t = 4*l + 482. Is l > -123?
False
Let j be (-10)/(-8*(-4)/56). Let d = -17 - j. Is 0.1 < d?
True
Let x(z) = 102*z + 14. Let j be x(-11). Let l be j/(-33)*(-81)/(-9). Let d = l - 302. Which is smaller: d or -2/5?
-2/5
Let p = 0.05 - -36.05. Let l = -36 + p. Is l <= -25?
False
Let s(o) be the first derivative of -19*o - 5*o**2 - 7 - 1/3*o**3. Let r be s(-6). Are -1 and r unequal?
True
Let h be (-2)/7 + 52/(-14). Let l = 371/3 + -1529/12. Which is greater: h or l?
l
Let a = -68 - -69. Let c = 6/221 + -479/9503. Are c and a equal?
False
Let w(h) be the third derivative of -h**6/120 - 7*h**5/60 - 19*h**4/24 - 5*h**3/6 + 31*h**2. Let n be w(-3). Which is greater: n or 2?
n
Let z be 3 + (-2051)/14*2. Is 1 greater than or equal to z?
True
Suppose 0 = -2*j + 4*j, 0 = k - 4*j. Let c = -5 + k. Let m = 6 + c. Which is smaller: m or 3/11?
3/11
Let r = -1116 - -1094. Which is greater: -23 or r?
r
Let n = 92.41 - 92. Let j = n - 36.41. Which is greater: -0.1 or j?
-0.1
Let r = 95/44 - 105969/49060. Let q = r - -2903/4460. Let g = q - 2/5. Is 3/4 not equal to g?
True
Let p(y) = y**2 + 9 + 5*y**2 + 2*y**3 - 5*y - 6*y**3 - 3*y**3. Let m(r) = r**3 - 1. Let s(g) = -6*m(g) - p(g). Let n be s(5). Which is bigger: -2 or n?
-2
Suppose 0 = 853*c - 862*c - 54. Let i be (4 + -2)*23/(-10). Is c smaller than i?
True
Let j be 9/36*898/(-14)*-2. Let b = j - 257/8. Is 1 at most b?
False
Let x be 55/(-33)*4/(-5). Is x < 0.28?
False
Let p = -28 + 59. Let s = p - 31. Which is greater: 4/5 or s?
4/5
Let s be -88*(-2)/(5/((-20)/(-16))). Is 46 at most s?
False
Let g = 28 - 25. Suppose 0 = 2*o - c - 48, -2*o - 2*c = -g*o + 24. Let h be ((-4)/(-12))/(o/(-45)). Which is smaller: h or 0?
h
Let y be (0 - (-12)/10)/((-2)/(-5)). Suppose y*w = s - 7, -4*w = -5*w. Which is smaller: 6 or s?
6
Let k be ((-24)/7)/((-13)/637). Suppose 10*p - 14*p = -k. Suppose 0 = -5*j + 3*f + 34, p = 5*j + 5*f - 4*f. Is 3 at most j?
True
Suppose -4*t - 2162 = 5*l, -4*t - 12 = -0*t. Let w = 1327/3 + l. Which is greater: w or 12?
w
Suppose 4*d + 62 = 5*f + 54, -2*f + 3*d = -6. Is 4.17 at least as big as f?
True
Let j(g) = -g**3 - 9*g**2 - 21*g - 16. Let w be j(-9). Which is bigger: 174 or w?
174
Let t = 3.1 - 3.2. Let l = t + 0.1. Which is smaller: -1/36 or l?
-1/36
Let g = -66 - -30. Let h = -34 - g. Suppose 3*q = -5*z + 6, -2*z + h*q + 6 = 5*q. Which is smaller: 2 or z?
z
Let r(m) = -122*m**3 - m. Let c be r(-1). Let h = 617/5 - c. Which is greater: h or 1.4?
1.4
Let b = 0.7 + 0.1. Let t = 40 - 35. Let h = t + -14/3. Which is smaller: h or b?
h
Suppose -1328 = 5*f + 11*f. Is f greater than or equal to -85?
True
Let a be (-1390)/(-462) + (10 - (1 - -12)). Which is smaller: 0 or a?
0
Let a = 397 - 793/2. Which is greater: a or -0.5?
a
Suppose y + y - 278 = 2*h, h - 149 = -y. Let z = y - 92. Which is smaller: z or 53?
z
Let g(n) = n**2 - 8*n + 7. Let u be g(5). Let y(w) = 2*w**3 - 29*w**2 + 38*w + 1. Let o be y(13). Which is smaller: o or u?
o
Let u = 5.77 - 7. Which is bigger: -1 or u?
-1
Suppose 0 = 28*g + g - 58. Which is greater: -3/4 or g?
g
Let x be 4/(-10) + (-1 - -2). Let w(b) = -7*b - 271. Let c be w(-39). Are x and c equal?
False
Let d = 11 - 6. Let q = 0.053 - 3.053. Let l = d + q. Which is smaller: 1/4 or l?
1/4
Let h(g) = -4*g + 29. Let o be h(7). Let i be -3 - ((-1250)/84)/5. Is i greater than o?
False
Let l(p) be the third derivative of -p**5/60 - 5*p**4/24 - p**3/6 + 34*p**2. Let w be l(-7). Which is smaller: w or -8?
w
Let n(p) = -p**2 - 9*p - 14. Let i be n(-6). Suppose -12 = -2*s + 5*f, -s + i*s + 2*f = -1. Which is greater: s or 1/174?
s
Let w = 562 + -562. Is w equal to 3/166?
False
Suppose -2*a - 2*a - 1048 = 0. Let j = 4980/19 + a. Are 1 and j nonequal?
True
Let o = -1534 - -1531. Which is smaller: -2 or o?
o
Let m = -724 + 739. Is 1 greater than m?
False
Let z = 18 + 31. Let s = 49 - z. Is -22 less than or equal to s?
True
Let g = 0.57 - 0.8. Let x = g - -0.23. Let t = -2.8 - -3. Is x greater than or equal to t?
False
Suppose -5*w + 18 = -3*c, -6*w + 8*c = 4*c - 20. Is w bigger than 35/6?
True
Let u = -100 + 90. Let r = -10.1 - u. Let c = -4.04 - -4. Which is smaller: c or r?
r
Let w be -4 + 0 - (5 + (7 - -2)). Let n be (-3)/w*(-32)/(-14). Is 0 at least n?
False
Suppose 4*x - 3*q + 7 = -0*q, 2*q = -2*x. Which is bigger: 2/73 or x?
2/73
Suppose 2*p = 2*u, -4*p + 4*u = 6*u + 6. Let f(d) = -132*d**3 + d**2. Let c be f(p). Let w be ((-1)/1)/((-19)/c). Which is greater: 6 or w?
w
Let v = 7 + 6. Suppose 12*y - v*y = 0. Which is smaller: -2 or y?
-2
Suppose i - 2*i + 14 = 5*p, -p = -2*i - 5. Let j = -2046 + 2045. Is j < i?
False
Let z = 811/7 + -116. Is z not equal to 1?
True
Suppose 2*b - 10 - 14 = 0. Let p(y) = y**3 - 10*y**2 - 29*y + 25. Let c be p(b). Which is greater: -1/4 or c?
-1/4
Suppose -g + 11 = -83. Let o = g + -72. Which is smaller: 68/3 or o?
o
Let n = -5/169 - -2411/1521. Are 3 and n equal?
False
Let y(j) = -6 + 8*j - 9 - 5*j + 4*j. Let g be y(2). Is -4/21 < g?
False
Let h = 8348/13 + -644. Suppose 5*x = 5*d + 15, 4*d + 0*x - 2*x + 8 = 0. Which is smaller: h or d?
h
Let z = -10295/1443 + 215/39. Is -1 > z?
True
Suppose -24 = 2*a + 2*a. Suppose 9 = -0*o + 3*o + 2*j, -o + 17 = -4*j. Suppose -o*q - 56 = 3*q. Do a and q have the same value?
False
Let r be 121/680 - (-25)/(-125). Is r not equal to 1?
True
Let h be 63/14*(-24)/(-9). Suppose 0*p - 3*p = -24. Is h smaller than p?
False
Let z = -1958 + 1958. Is z at least as big as -2/725?
True
Let g(c) = -14*c**2 - 8*c - 2. Let r(h) = -7*h**2 - 4*h - 1. Let b(q) = -3*g(q) + 5*r(q). Let p be b(-2). Is 22 not equal to p?
True
Let y = -5 + -33.4. Which is smaller: y or -1?
y
Suppose 3*p - 4 = 5*p. Let s(x) = -x**3 - 2*x**2 + 4*x + 3. Let a be s(p). Let m be a/((-5)/(-3))*-1. Which is smaller: m or 4?
m
Let n be (8 - 6)*30 + -8. Which is bigger: n or 55?
55
Let b(i) = i**3 - 12*i**2 - 11*i - 38. Let c be b(13). Is -14 >= c?
False
Let q(p) = -p + 15. Let s be q(12). Let b = s + 1. Let u be (b - 2) + -1 + 1. Is 2 less than u?
False
Let p = 53.47 - 53. Let w = p + -0.37. Is w bigger than 2/33?
True
Suppose -3*n = -n + 36. Let p be 6/(-4)*n/27. Let b be (0 - 2/6) + 1. Which is smaller: b or p?
b
Let j = 4.63 + -0.63. Which is greater: 27 or j?
27
Let a = 181 + -182. Let b = -12147/23 - -528. Is b equal to a?
False
Let j(q) = q**3 + 8*q**2 + 5*q + 29. Let g be j(-8). Which is smaller: g or -14?
-14
Let r = 22 - 18. Suppose 2*j + 2*z = 3*z + 59, 3*j = r*z