h is bigger: k or l?
l
Suppose -4*s + 2*u = 28, 2*s - s - 5*u + 7 = 0. Which is smaller: -5 or s?
s
Let u = 1502.9 + -1503. Which is smaller: u or 1/11?
u
Let c = -0.0658 + 44.0658. Is -2/5 at least as big as c?
False
Let o = -6 - -8. Let c = -5.32 - -5.32. Which is bigger: c or o?
o
Let r be (-2)/26 + 8088/(-312). Is r < -26?
False
Let z(s) = 3*s - 8. Let y be z(20). Let b be (1 - y/12)/(6/(-9)). Suppose 0 = -4*t - f + 22, -2*t + 0 = 5*f - 20. Is t less than b?
False
Let q be (-2 + 15)/(6/(-24)). Which is bigger: -51 or q?
-51
Suppose -7 = 3*d + 17. Let f be (425/(-500))/(2/d). Does f = 0?
False
Let g(d) be the second derivative of -d**5/20 - d**4/4 + d**3/2 + 2*d**2 - 6*d. Let c be g(-3). Let i = 12 + -17. Is i greater than c?
False
Let y = 75 + -69. Suppose 0 = -4*d + 8, w - 7*d = -2*d - 6. Which is bigger: w or y?
y
Suppose 0 = 7*l - 6*l - 7*l. Is l < -30/31?
False
Suppose -3*j + 7 = 16. Let q be 6/9*j/20. Let s(r) = r**2 - 13*r - 14. Let z be s(14). Is q less than or equal to z?
True
Let w be 20/120 - 1*(-1)/18. Let a = 2.94 + 0.06. Let u = -5 + a. Is u >= w?
False
Let l be (-6684)/(-5040) - (-8)/(-6). Which is bigger: 0.1 or l?
0.1
Let j be (-3)/(-6) + 1 + 47/2. Let o be (j + -2)*(0 - (4 - 1)). Is -69 at most o?
True
Suppose -4189 - 1229 = 42*z. Which is smaller: -126 or z?
z
Suppose -10 = -5*k + 5*h, -3*h = 9*k - 8*k - 2. Which is smaller: 68/49 or k?
68/49
Let h = -3 + 5. Let x = 126 + -126.1. Is x at most as big as h?
True
Let d(j) be the first derivative of -j**4/4 - 4*j**3/3 + 5*j + 4. Let r be d(-4). Suppose 2*z + 5*o = -9 - 3, -r*o = z + 11. Which is smaller: 2/57 or z?
z
Suppose -4*v = 2*v - 828. Let b = v + -275/2. Suppose -f = -5*l + 18, f - 2 = 2*f - l. Which is smaller: f or b?
b
Suppose -2*w + 2*c + 3 = -5*w, 5*w + 5*c + 10 = 0. Which is greater: w or 1/6?
w
Suppose -6*h + 15 = -21*h. Is -1/269 >= h?
True
Let z(l) = l**3 + 2*l**2 - 2*l - 1. Let k be z(-2). Suppose k*q + 2 = -4. Let j = q + 3. Which is bigger: j or -2?
j
Suppose 5*d - 2*c = -6, -121*c - 9 = -d - 124*c. Do 6/943 and d have the same value?
False
Let u be (2/(-3))/((-32)/12). Let b(j) = -j**3 + 2*j + 5. Let f be b(0). Let k(p) = 2*p**3 - 11*p**2 + 3*p + 10. Let w be k(f). Is w at most u?
True
Let i be 4 - 7182/(-90)*(-10)/(-4). Is 203 bigger than i?
False
Let o = -39834 + 44892914/1127. Is -1 less than o?
True
Suppose 33 = 26*a - 15*a. Which is greater: 22/9 or a?
a
Let k = 479 + -478. Which is bigger: 18/247 or k?
k
Suppose -3421 = 4*r + 4*u - 725, -3*r - 2*u = 2019. Is -671 smaller than r?
False
Let m = -1855 + 1856. Do m and -10/179 have the same value?
False
Suppose -87 = -i - 69. Let f = 13 - i. Which is smaller: -9/2 or f?
f
Let t = 81.7 - 82. Let f = 10 + -8. Which is smaller: f or t?
t
Let y(g) = -g**2 + 12*g + 5. Let h be y(12). Suppose 4 = -h*p - 61. Which is smaller: -15 or p?
-15
Suppose -3*g + f + 13 = 0, 5*g - 20 = -2*f - 2. Let k(n) be the third derivative of n**6/120 - n**5/20 + n**4/24 + n**3/3 - 8*n**2. Let o be k(3). Is g <= o?
True
Let l = -197/3 - -66. Let b(g) = -3 + 1 - g - 2 + g**3 + 3*g**2. Let m be b(-3). Which is smaller: m or l?
m
Suppose 4*f - 2*f - 12 = 0. Let x = f + -5. Suppose -x = 2*a - 3. Which is greater: a or -1?
a
Let a(j) = j**2 + 7*j + 2. Let z be a(-11). Suppose -2*c - 38 = z. Let v be (-6)/((c/8)/(-7)). Do -8 and v have different values?
False
Let x = -746/3 - -250. Is x equal to -1/3?
False
Let c = 132 + -32. Which is smaller: 101 or c?
c
Let m = -2 + 1.8. Let b = -0.22 + -16.78. Let n = b - -13. Do m and n have different values?
True
Suppose 4*x - 337 = z + 83, -2*x = z - 210. Suppose -4*y = -5*t + 175, -2*t - t - 2*y = -x. Is 34 <= t?
True
Let n be (0 - 4) + (2 - 5). Let t be (5 + n)/(-1*2). Let r = 4 + -2. Which is smaller: t or r?
t
Suppose 22 = -49*n + 659. Does n = 4?
False
Suppose g + 4*f - 9 - 4 = 0, -5*g - 4*f + 17 = 0. Which is bigger: 4/129 or g?
g
Let q = 89 - -211. Suppose 4*o + 6*o = -q. Is o < -31?
False
Let u be (1/(-2))/((-4 - 6)/(-20)). Is 2/2127 greater than u?
True
Let g(d) = -3*d - 13. Suppose 17 + 5 = -2*q. Let b = q + 5. Let i be g(b). Do i and 4 have the same value?
False
Let q be (-19)/(-4) + 9/(-12). Suppose 2*k + b = 6*k - 8, -q*b - 12 = 4*k. Let t = -25 - -127/5. Which is bigger: t or k?
k
Let p = -7 + 7. Let l(i) = i**3 - i**2 - i - 1. Let o(s) = 4*s**3 - 5*s**2 - 7*s - 1. Let m(z) = 3*l(z) - o(z). Let a be m(3). Is a <= p?
False
Let x = 73183 + -657443/9. Let g = 134 - x. Let d = -0.13 - 4.87. Which is smaller: d or g?
d
Suppose -3*d + 8*d + 4*p = 1115, 0 = -2*d - 4*p + 458. Which is greater: 0 or d?
d
Let i be 36/(-216)*(-3 + (-181)/(-59)). Is -0.2 at most i?
True
Let m be ((-3)/2)/(3510/(-2353)) - 1. Which is smaller: m or -1?
-1
Let d(u) = 8*u + 8*u**2 + u**3 - 10*u - 8 + 7*u. Let h be d(-7). Is 4 < h?
True
Suppose 4*b + 213 = 5*x, 2*x - 48 = b - x. Which is greater: b or -59?
b
Let r = 11 - 5. Suppose -5*j = k + 20 + r, 2*k - 13 = 3*j. Let t be 1*(-1)/5*k. Which is smaller: t or 1?
t
Let m be 12/4599*5/(20/18). Which is smaller: 1 or m?
m
Suppose 6 = -5*r + 3*t + 1, -2*r = t + 2. Let m be (10/30)/(r*(-13)/(-6)). Which is smaller: m or -1?
-1
Let h(y) = 9*y**2 + y - 2. Let x be h(1). Suppose -286 + 278 = -2*k. Which is smaller: x or k?
k
Let n = -3/140 - 6431/420. Let z = 224/15 + n. Let g = 267 - 268. Is z greater than g?
True
Let s = -1 - -53. Suppose s = -6*r + 2*r. Let b = 0.04 - 1.04. Is b bigger than r?
True
Let v(u) = -2*u**2 - 6*u - 5. Let o be v(-4). Let l = o + 11. Let z be l + 1 + -3 + -1. Are z and -5 nonequal?
False
Let h be ((-18)/(-5))/((-3)/(-10)). Suppose -g - 5*f + 5 = -6*g, -4*f = 4*g - h. Which is greater: g or 3/2?
3/2
Let f(v) = -3*v**2 - 11*v - 19. Let w be f(-2). Which is greater: w or -67/8?
-67/8
Let c be -1 - (52/10 + -1). Suppose -15*u = -13*u + o - 9, 2*o + 18 = 5*u. Let t = u - 9. Are t and c non-equal?
True
Let d = 140 - 135. Which is greater: d or 13/4?
d
Let o be 190/19*(-1)/2. Which is smaller: o or -11?
-11
Let x(c) = -5*c. Let k(b) = -11*b. Suppose -7 - 11 = 2*o. Let t(h) = o*x(h) + 4*k(h). Let v be t(0). Is v bigger than 0?
False
Let a = 54 - 58. Let h be (-4 + 224/50)*a/(-6). Is 0 greater than h?
False
Let h = 11 - 4. Suppose -p - 2 = -h. Suppose -p*z + 3 = -7. Is z less than or equal to 4/3?
False
Let i be 2592/693 + 2/(-7). Which is greater: i or 3?
i
Suppose -4*k - 325 = j + 130, -2*j + 2*k = 860. Let o be -1*5/j*-3. Do -1 and o have the same value?
False
Let a(j) = 2*j**2 + 11*j - 43. Let i be a(-12). Let r = i + -113. Which is bigger: -4/51 or r?
r
Let y = 232 - 213. Which is greater: 130/7 or y?
y
Let o = -361/102 - -17/6. Which is bigger: o or -2?
o
Let b = 187.8 + -188. Which is smaller: b or 0.003?
b
Suppose 4*p = -3*f + 10, -4*p + 5*f - 7 = -p. Let t = -410/7627 + -4/263. Which is smaller: t or p?
t
Suppose 6*x + 5*x = -11. Let q be (-14)/35 + (-7)/(-5) + x. Are q and -1 equal?
False
Let k = 39.36 + 0.64. Let o = -28.82 - 0.18. Let i = o + k. Which is greater: 0 or i?
i
Let b be 5/1 - (-29)/((-261)/234). Is -28 at least as big as b?
False
Let p be (-19)/(-3 - -2) + -4. Let s be -1*3*(p + -12). Is -1 <= s?
False
Let u be (8/24)/((5/24)/5). Let a(k) = -k**3 + 11*k**2 - 18*k - 7. Let i be a(u). Which is bigger: 39 or i?
i
Let r = 5 + -3. Suppose 4*f = -a + 12, 21 = a + r*a - 3*f. Suppose -2*g + g = -5*l + 32, 22 = 4*l - 2*g. Which is bigger: a or l?
a
Let w(b) = -b**3 + 199*b - 46. Let a be w(14). Let o = -1 - 1. Does o = a?
False
Let f be (265/(-60))/(2*28/24). Let k = 687 - 4794/7. Let l = k + f. Is l less than or equal to 0?
False
Let h = 2/845 + 1684/2535. Which is smaller: -0.218 or h?
-0.218
Suppose 0 = -7*q + 3*q + 624. Suppose 4*o = 10*o - q. Is o > 26?
False
Let u = 155 + -331. Which is smaller: -177 or u?
-177
Let q = 0.02285 + -22.63285. Let r = 1.51 + q. Let m = r + 21. Is 0.02 != m?
True
Suppose -i = 5*s - 312, -21*i - 5*s = -22*i + 302. Is i greater than 306?
True
Suppose -5*r - 4*k + 320 = 0, 4*k = r + r - 128. Suppose -5*l = -2*b + 5 + 46, -r = -3*b + 5*l. Suppose -3 - b = 4*v. Which is smaller: v or -3?
v
Let o(j) = -6*j + 156. Let g be o(26). Which is bigger: 3/356 or g?
3/356
Let v = 126.1 - 22.1. Let o = v - 120. Is o less than or equal to -2/3?
True
Suppose 4*d = -0*d. Suppose d = -8*v + 4*v. Suppose 5*h + 2*k - 22 = 