7380521/87290. Let f = t + -543. Which is greater: h or f?
h
Let j = 33 - 12. Suppose 5*s + j = 8*s. Let o = -4 + s. Which is bigger: o or 0.3?
o
Let z = -19 + 18. Let u = -0.12 - -0.16. Let k = -0.2 + u. Which is greater: k or z?
k
Let u = 270 - 284. Is -14 at least as big as u?
True
Let u(p) = 10*p - 276 + 142 + 136. Let o be u(-2). Are o and -18 equal?
True
Let u = -4 + 4. Let i = -841/1266 + -1/422. Is u >= i?
True
Let d(o) be the third derivative of -o**5/4 + 5*o**4/24 + 3*o**3/2 - 17*o**2. Let i be d(-2). Is i equal to -60?
False
Let z be 196/(-6) + 4/6. Let a = -2/23025 - 1450571/46050. Is a at most as big as z?
False
Suppose 2*h + 14 = -4*g, h + 2*g = 3*g + 5. Let u be 3 + 6*h/(-2). Let d = -2/733 + -1404/22723. Is d at most as big as u?
True
Let v = 83 - 84. Is v equal to -10/43?
False
Let z = -1773 - -1774. Is -84/13 at most z?
True
Let t = -1979 + 1976. Which is greater: t or -3/55?
-3/55
Suppose 7*w + 46 = 235. Which is smaller: 26 or w?
26
Let g be ((-27)/18)/(222/(-4)). Do g and 0.2 have the same value?
False
Suppose -3*z = -4*z. Suppose -3*l + l = z. Which is bigger: l or 3/16?
3/16
Suppose -4*q - 19 + 7 = -4*p, 2*p - 6 = -3*q. Let y be p/4 + 1/(-4). Suppose -5*g + 15 = 5*j, j - 2*g + 15 = 3*g. Is j greater than y?
False
Suppose -28 = -181*d + 177*d. Are 30 and d non-equal?
True
Let d = 0.1 + 1.1. Let r = -35.2 + d. Is -1 at least r?
True
Let c = 0.76 - 1.3. Let n = 0.54 + c. Which is bigger: n or 4/3?
4/3
Let u = 107 + -100. Let x be 8/84*3 - 9/u. Is -3/83 > x?
True
Let b be ((-12)/30)/(0 + 12/165). Which is greater: b or -21?
b
Let v be 51/3978*20/(-3). Which is bigger: v or 1?
1
Let q = -0.0026 + -11.3974. Is -3/5 >= q?
True
Suppose 10*y - 18*y = 0. Suppose 0*p - p - 78 = y. Is -78 equal to p?
True
Let l be 1/((-1)/(-1)) + 71. Suppose 0 = -33*y + 3113 + 41 - 811. Is y less than or equal to l?
True
Let f = 2 + 0. Let i be (4/(-84))/(1/f). Let z = -113 - -113. Is z >= i?
True
Let i be 1/2 + 7/2. Suppose 3*u = -17 - i. Suppose 162 - 127 = -5*c. Is u at most c?
True
Suppose -9*d = -7*d - 6. Let t be d - ((-50)/51 - -4). Which is greater: 1 or t?
1
Let u be -5*-1*(-1 - -2). Let j(a) = -a**2 + 3*a + 1. Let l be j(u). Which is greater: 1/4 or l?
1/4
Let a(x) = -2*x - 1. Let d be a(-14). Suppose -4*t - 46 = -5*h, -2*h - 14 = 5*t + d. Let k be 43/t + 10/(-45). Is k <= -7?
False
Let u = -2 - 0. Let m = 2371 + -2374. Which is smaller: m or u?
m
Let g = -2/4671 - 4127/1270512. Is g <= 0?
True
Suppose -2*g + 289 = l, -5*l - 12 - 160 = -g. Is 145 <= g?
True
Let k be (-108)/81*9/6*7. Is -57/4 greater than k?
False
Let p = 38 + -65. Let s = 26 + p. Which is greater: 2/45 or s?
2/45
Suppose 0 = 2*c - 2*b - 48, -4*c - c + 2*b + 126 = 0. Let j = -26 + c. Suppose -6*i - 4 + 10 = j. Is 2/5 < i?
True
Let u(i) = 3*i**2 + 4*i - 5. Let d be u(1). Is 2 equal to d?
True
Let v = -179 + 225. Do 46 and v have the same value?
True
Let q = 639 - 572. Do 331/5 and q have different values?
True
Suppose -2*x + 13*x = -0*x. Let c = 11696 - 58862/5. Let m = c - -76. Are m and x equal?
False
Suppose -3*c + 45 = 48. Let x be (446/(-150) + c + 4)*10. Which is smaller: x or 0?
0
Let p(n) = -4*n**2 - 1. Let a be p(-2). Let d(j) = -4*j - 24. Let o be d(-6). Suppose o = -4*m + 14 - 14. Which is smaller: a or m?
a
Suppose -5*w = 22*j - 18*j + 126, 64 = -2*w - 5*j. Do w and -18 have the same value?
False
Let u be ((-3)/(-3))/((-3)/24). Let m(y) = y**2 + 9*y + 6. Let o be m(u). Let g = -95/2 + 467/10. Is o greater than g?
False
Let q = -2.2 + -10.8. Let y = 13.28 + q. Let d = 6.28 - y. Are d and 3/4 unequal?
True
Suppose 5*b + 4*x - 7 = 0, -4*x + 11 = b - 0*x. Are b and 10/29 unequal?
True
Suppose 0 = -0*v - 2*v. Suppose 3*x = -2*t + 7, 0 = -3*t - v*t - 4*x + 12. Which is greater: t or -1?
t
Let t = 1.394 - 1.594. Let b = 15.74 + 0.26. Which is smaller: t or b?
t
Let p(t) = -19*t - 57. Let q be p(-3). Is 7/5 < q?
False
Let j = 1.01 + -0.837. Let a = -0.21 + j. Which is bigger: a or 0?
0
Let m(h) = -3*h**2 + 3*h + 1. Let j be m(-2). Suppose y + 4*w + 12 = 7, -3*y = 2*w + 35. Which is bigger: y or j?
y
Let p(n) = 3*n + 33. Let l be p(-11). Which is bigger: -2/6563 or l?
l
Let z(j) = j - 6. Let m be z(6). Let f(d) = d**2 + 6*d + 30. Let q be f(-6). Suppose -3*n = -m*n + q. Is n > -11?
True
Let r = 2029 + -2386. Which is greater: -356 or r?
-356
Let v = -65.06 + 66. Let a = v - -0.06. Is a < -2/177?
False
Let r = 45 + -40.4. Let f = 2.5 - r. Which is bigger: f or 0.1?
0.1
Let p = 1147 + -1184. Are -2 and p non-equal?
True
Suppose -3*a - 70 = 2*a. Is a at least -1?
False
Let x(j) = -j - 6. Let s be x(-10). Let z be 49/28 + (-2)/(-8). Suppose -f = -3*m - 7 + 17, 0 = -3*m - z*f + 7. Which is smaller: s or m?
m
Let w be (75/10)/((-3)/(-10)). Suppose 5*a - 30 = -4*b, 2*b = 5*a + 5*b - w. Suppose -5*n - 20 = j, -3*n + a*j = 11 + 1. Which is smaller: -2 or n?
n
Let s = 201 + -201. Which is greater: -2/431 or s?
s
Let f be 3/(1 + (43/2 - -3)). Which is smaller: 0 or f?
0
Let v be (-70)/(-21)*(332/70 - 2). Which is greater: 0 or v?
v
Let o(u) = 10*u - 6. Let i be o(4). Suppose -4*p - 5*w + 4*w - i = 0, 0 = 2*w - 4. Is p bigger than -11?
True
Let d = -1.82 - -1.92. Which is greater: 28/11 or d?
28/11
Suppose 0 = -2*k - 2*n + 8, -17 = 38*k - 43*k - 4*n. Let x(o) = -2*o - 9. Let u be x(-4). Which is greater: k or u?
k
Suppose 2*a - 12 - 26 = 0. Suppose 13 = -u + 3*c, a = -3*u + c + 3*c. Which is smaller: -3 or u?
-3
Let r = -2.8 - 2.2. Let m = 1 + r. Let z = m + 4.1. Is z != 2/13?
True
Suppose -4*f + 2*c - 20 = 0, 4*f = c - 4*c. Let t be (-6 - f)/(-3 - -4). Which is smaller: t or -2?
t
Let y be 1 + 3 + (-4 - -4). Suppose 72 = -3*w - y*h, -3*w + 2*h - 72 = -0*h. Let m = 25 + w. Which is smaller: 9 or m?
m
Let v be 12/7 + 4/14. Let c = 0 - v. Let k be -6*2/(-2 - -10). Is c at most k?
True
Let b = 19 - 8. Let n be (b/(-66))/(5/(-2) - -2). Which is bigger: -1 or n?
n
Suppose 89*d - 120 = -2*u + 94*d, -3*u - d + 180 = 0. Is 60 > u?
False
Let f = 611 - 611. Which is smaller: 1/292 or f?
f
Suppose -2*b + r = 0, b + 0*r - 2*r + 6 = 0. Let x = 0.2224 - 0.0224. Which is smaller: x or b?
x
Let q be (-75)/(-9) - 5/15. Let s be (-2 - -1)*1 - 1. Let l be q/(-10) + 2 + s. Which is bigger: -1 or l?
l
Suppose 3*c - 6*c = 27. Let r be c/4*24/(-9). Let g be 4/2*r/(-8). Which is smaller: g or -1?
g
Suppose 5 = 5*h + 10, -i - 5*h = 16. Let y be 1*(2 + 19/i). Let n be (-2)/(-14) + (-14)/98. Which is smaller: y or n?
n
Suppose 2*t + 0*t = 0. Suppose -4*n = -9*n - 10. Let a be 16/(-56) + n/(-56). Which is smaller: a or t?
a
Let z = -1914 + 3817/2. Let l = 2 - 8. Is l < z?
True
Let a be 2 + ((-94)/34 - 1). Let j(r) = r**3 + 5*r**2 - 14*r - 50. Let b be j(-6). Which is bigger: b or a?
a
Suppose 0*r = r - 29. Suppose 3*o = 2*h - 9 - 26, 0 = o - 7. Is r at least h?
True
Let q = -1086 - -1725. Does q = 640?
False
Let d = 6777 + -6784.279. Let p = d - -0.179. Let a = p - -7. Which is smaller: a or 2?
a
Let g = -101 + 155. Let f be (18/g)/((-2)/(-36)). Which is greater: 5 or f?
f
Suppose -7*j + 6 = -j. Which is smaller: j or 3/17?
3/17
Let s = 383 + -399. Let n = -22 + 6. Is n at least s?
True
Let n(b) = 4 - 2*b**3 + 3*b**3 - 2*b + 10*b**2 - 5*b**2 - 3*b. Let y be n(-5). Which is bigger: 28 or y?
y
Let r = -1/20785 - 5690932/20785. Let h = r - -275. Which is bigger: 2 or h?
2
Let s = 18.6 + -18.695. Which is smaller: 4 or s?
s
Let b be ((-147)/3)/(8 - 9). Let v = 393/8 - b. Is -1 bigger than v?
False
Suppose 0 = 17*z - 860 + 877. Is -4/1005 less than z?
False
Let u = 1736798/303 - 5732. Let z = u - -277/3939. Is 0 < z?
True
Let o(v) = 3*v**2 - 57*v. Let x be o(19). Is x != -1/96?
True
Let y be -2 - ((-20)/(-6) - 3). Is y greater than -2?
False
Let z = 16 - 8. Suppose 31 = 3*t + 7. Suppose t = v - 0. Is v smaller than z?
False
Let r = -376 + 397. Do r and 103/5 have different values?
True
Let u be ((-18)/108)/(7/(-28)). Which is greater: u or 339?
339
Let n = -119 + 598. Suppose -s - 2*i = -106, 3*s = 3*i - 125 + n. Let v be 4/12 + (-50)/s. Which is smaller: v or 1?
v
Let p = 24 + -20. Suppose -27 = -3*u - p*s, -s - 12 = u - 4*u. Suppose -6*z - 1 = u. Is z equal to -1/7?
False
Let r = 42 + -41.1. Which is bigger: -10 or r?
r
Suppose -109*m - 147 = -102*m. Which is greater: -33 or m?
m
Let w(o) = o**3 - 2*o**2 + 5*