ich is smaller: t or 50?
50
Let b be (-3)/51 - (-285040)/(-414120). Is b at most as big as 0?
True
Suppose 20 = -5*o, -13*p + 80 = -9*p + 3*o. Let h = -206 - -379. Suppose p = -3*f + h. Which is bigger: -2/7 or f?
f
Let i = -5837 + 7250. Are 1413 and i unequal?
False
Suppose -n = -c - 6, -2*n = -5*c + 12 - 57. Let u be (-52)/(-39)*21/(-4). Let s be (-3)/(-9) + -40*u/(-21). Is c at most s?
False
Let h = -156 - -172. Let g be (9/(-36))/((-538)/h). Which is greater: g or 0?
g
Suppose 1974 = 3*o - 5*g + 717, -2*o = 2*g - 822. Let x be 183/o - 2/(-12). Is 0 <= x?
True
Let v = 26 - 21. Suppose v = -f - 38. Suppose -m + 4*m - 12 = 0, -t - 4*m - 26 = 0. Is f at least t?
False
Suppose 5*z - 1375 = 805. Suppose 5*i - p - 1566 = 0, 5*p - 498 = -3*i + z. Is i at least 315?
False
Let h(r) = -24*r + 12. Let z be h(-1). Suppose z + 20 = 28*m. Which is smaller: -10 or m?
-10
Let u = -411 + 211. Let r be ((-4)/u)/((-1)/(-4)). Which is greater: 1 or r?
1
Let j be 6 - -1 - 44/11. Let l(p) = 0 + 3 + j - 3 + 3*p. Let d be l(4). Which is bigger: d or 13?
d
Let w(j) be the second derivative of -4*j**5/5 + j**4/4 - j**3/2 + j**2/2 - 74*j. Let d be w(2). Is -120 at least as big as d?
True
Let o be 4503212685/(-36359554) + 22/121. Let z = o + 851419/6595. Let g = -3/1790 + z. Is 6 bigger than g?
True
Let o(g) = -5*g**3 - 60*g**2 + 13*g - 6. Let m be o(-12). Is m > -158?
False
Let w be (1 - (1 - -2))/(-5 - -4). Suppose -5*k - w*u + 1566 = 0, -34*k = -32*k - 3*u - 634. Which is smaller: k or 313?
313
Suppose -2*p - 8*c + 7*c = 6, 0 = p + 2*c + 9. Which is greater: -571 or p?
p
Let s = 315487/27911130 - 27/2426. Which is greater: 1 or s?
1
Let g = 1040 - 724. Suppose 2*v + 112 + 112 = 2*m, g = -3*v - 2*m. Is -110 greater than v?
False
Let c = 384 - -332. Suppose 5*y = 56 - c. Which is greater: y or -130?
-130
Let v be 2200/(-125) + (-4)/10. Let s be ((-3)/6)/(9/v). Which is smaller: s or 2/29?
2/29
Let b = 102.3 - 181.3. Which is bigger: 15.7 or b?
15.7
Suppose 2*s + 4*b - 152 = 0, -4*s + 147 + 133 = -4*b. Suppose -s = -12*t + 10*t. Suppose 0 = 2*i + 4*x + 6, x - 5*x = -4*i - t. Is i >= -6?
False
Let r be ((-86)/(-6))/(2/(-36)). Let z be 10/4*(3885/45)/(230/(-276)). Is r != z?
True
Let g be (88 + -1)*(17 - 16). Suppose 3*w - 65 = 4*x + g, -2*w + 102 = -2*x. Let j = 177 - w. Is j bigger than 126?
False
Let q(l) = -24*l**3 + l**2 + 11*l + 11. Let a = -233 + 232. Let u be q(a). Is u not equal to 25?
False
Let c = -5226 - -5224. Let m be (-2 + 4680/7)*-2. Let r = m + 1331. Which is smaller: r or c?
r
Let r = 94.92 + 0.08. Let d = -59 + r. Let g = 69 - 69. Which is bigger: d or g?
d
Let x = -1350 + 1344. Let j(i) = -i**2 - 10 - 3*i**2 + 3*i**2 - 8*i. Let c be j(x). Is 8/5 at most c?
True
Suppose -3*z - 34 + 8 = -2*l, -2*l = -4*z - 30. Suppose 3*d + 44*s - 42*s - 16 = 0, 4*d - 24 = -2*s. Which is greater: d or l?
d
Let v = -9473 + 7420. Which is smaller: v or -2055?
-2055
Let f = -1.692 - -2.492. Let l = -11 - -21. Which is smaller: l or f?
f
Let m = -472/17 - -58898/2125. Let v(d) = 23*d + 2600. Let j be v(-113). Is m less than j?
True
Let o be -145 + 6 + (-28 - -33). Which is smaller: -136 or o?
-136
Let y = 0.7 + -4.7. Let b(r) = r**3 + 3*r**2 - 28*r - 65. Let s be b(-6). Do y and s have the same value?
False
Let r be 1/(6*-1) - 29109/(-558). Let p = -1.11 - -0.11. Is r at most p?
False
Let v be 114/18 - 8/(-12). Suppose 58 - 170 = -v*i. Which is bigger: -2/3 or i?
i
Let o = -1.401 - -0.081. Let g = 1.3 + o. Let x = 0.38 - g. Which is bigger: x or 2?
2
Let m(h) = -3*h - 33. Let s be m(-12). Let f be -1 - -2 - 3/(s/(-74)). Suppose 3*z = 5*a + 35 + f, -107 = -3*z + 2*a. Is z at most as big as -1?
False
Let o(p) = p**2 + p - 2. Suppose 5*t + 0*q - q = -12, -4 = -2*t - 4*q. Let k be o(t). Which is smaller: k or 30?
k
Let d(u) = 27*u**2 + 82*u - 8. Let y be d(1). Let n = 4 + -3. Is n not equal to y?
True
Let v(b) = -2*b**2 - 47*b + 17. Let y be v(-15). Let c = y + -137. Is 135 greater than c?
False
Let f = -321/37 + -24454/333. Which is bigger: -81 or f?
-81
Let m(j) = -j**3 - 45*j**2 - 59*j - 692. Let t be m(-44). Which is smaller: t or -29?
t
Let z = -0.11752 + -0.08248. Let y = -2 + 2.08. Do z and y have different values?
True
Let k(l) = -9*l - 103. Suppose -133*w = -129*w + 44. Let y be k(w). Is -27/7 < y?
False
Let v = -28076 - -28074. Is v < -1/129?
True
Let d = 0.4117 + -0.0647. Is 0 at least as big as d?
False
Let m = 1403 + -1403. Suppose -l + 21 = 2*j, -l + 0*l + 4*j + 21 = 0. Let q be (l/(-18))/((-6)/(-4)). Which is smaller: q or m?
q
Let c(o) = o + 49. Suppose 490 = -35*x + 25*x. Let y be c(x). Is y >= 0?
True
Let q = -1249 + 1788.5. Let a = q + -541. Which is bigger: a or 2?
2
Let b be (4/(-20))/(3/(-5)). Let o = -1/3463 - -311693/79649. Is o >= b?
True
Let k be 6 - (5/70*-1396)/(12/84). Which is greater: -0.17 or k?
k
Suppose -2*x + 4*u + 908 = 0, -5*u + 518 = x + u. Which is greater: 468 or x?
x
Let s be 7/1 - 561*357/63. Is -3169 greater than or equal to s?
True
Let n be -5 + 3 + 24866/(-50) + 0. Let m = n + 499. Let u = m - -18/25. Which is greater: 1 or u?
1
Let v be 0 + 1 + -65 - 0. Suppose 2*p + 72 = -22*p. Let t(j) = 45*j + 71. Let i be t(p). Is v less than i?
False
Suppose -2*h - 9883 = -11*r + 6*r, 5*h + 24676 = 2*r. Does -4934 = h?
True
Suppose 0 = 5*v + 3*u + 39499, 12*v - 37*u + 40*u = -94806. Is v < -7900?
True
Suppose 108*n + 65*n + 10442 + 630 = 0. Is -37 greater than n?
True
Let x(l) = l**3 - 3*l**2 + 16*l - 182. Let v be x(6). Which is greater: 966/47 or v?
v
Let s be ((-18)/(-45))/(8/(-720)). Let u be 8/s*(-9)/(-3). Which is smaller: 567 or u?
u
Suppose -5*p + 1228 = -1382. Let y be 1 - (2/(-4) + (-945)/p). Do 3 and y have the same value?
False
Let w(a) = -59*a - 17. Let y be w(3). Suppose c + 5*j = -204, 2*j + 603 = -2*c + 211. Is c bigger than y?
False
Let w = 20939/45 + -466. Let c = 1/45 + w. Which is smaller: 0 or c?
c
Suppose -40 = -19*t + 15*t. Let u = -2.94 + 10.94. Is t bigger than u?
True
Suppose 0 = -5*w - m - 9, -w + 13*m + 18 = 11*m. Which is smaller: 18/1069 or w?
w
Let w(o) be the first derivative of 17*o**4/4 + o**3/3 - o**2 + 52. Let h be w(1). Let d(a) = 15*a + 1. Let t be d(1). Are h and t nonequal?
False
Let f(z) = -z**3 - 37*z**2 + 2*z + 74. Let b be f(-37). Let l be (-285)/632 - 45/(-120). Is l < b?
True
Suppose 2*b = 7*w + 31, -2*b + 28*w - 9 = 29*w. Which is smaller: b or -1055?
-1055
Let m be -11124 + (8 + -13 - (1 - -6)). Which is bigger: m or -11137?
m
Let j = -600030 + 10196814/17. Is -218 at most as big as j?
True
Let f = -1652 - -1651. Is -1691 at most f?
True
Let x = 1029.41 - 1029.3. Which is greater: x or 0.01?
x
Let k = -0.0167 + -6.2633. Let o = 4.68 + k. Is o > 7?
False
Let b = -87 - -41. Let p = b - -147. Is 0 at least as big as p?
False
Suppose -290*r + 3900 = 579 - 2769. Which is smaller: 137/7 or r?
137/7
Suppose 0 = 5*c - 28 + 53, 5*j + 4*c - 25 = 0. Let p = 44 - -8. Let u be p/(-13) - (-38)/j. Which is bigger: u or -1?
u
Suppose -d - 3*g - 7 = 9, 3*d = 4*g - 9. Let x = 16 - 0. Let h = x + d. Is -2 at least h?
False
Suppose 3*i + 2494 = -2*z + 4*z, 4*z - 4*i - 4984 = 0. Is 1243 greater than or equal to z?
False
Let m = 1829 + -1830. Which is smaller: 25/99 or m?
m
Suppose -3*u - 20 = -4*p, u = -p - u - 6. Let b be (86436/(-3458))/(-18) - (-51)/(-221). Do p and b have the same value?
False
Suppose -145*i = -146*i - 4. Let x be (4/(-5)*-5)/i. Is 23/4 bigger than x?
True
Suppose 0 = 4*y - 2*y - 10. Suppose -y*t + 2*o = 0, 2*t - 3*o = 3*t - 17. Let k be (t*3/(-4))/((-48)/(-512)). Which is smaller: 2 or k?
k
Let q be -12 + 9 + 7 - (-5296)/(-6). Let t = -2/420209 + -3354108220/3781881. Let k = q - t. Is 9 at most as big as k?
False
Let v = -3684 + 3686. Which is bigger: v or 46.6?
46.6
Let o = -698 - -694. Let g be -1232*o/60 - (-4)/(-30). Which is bigger: 85 or g?
85
Let r(x) = -12*x**2 + 4*x - 1. Let c be r(5). Let n = -42057 + 41776. Are c and n non-equal?
False
Let n = 24311 - 24310.7. Which is greater: n or 16/351?
n
Let n(c) = c**3 + 17*c**2 - 8*c - 1. Let v be n(-18). Let x = 178 + v. Is -4 greater than x?
False
Let k(n) = 3*n**3 - 65*n**2 - 20*n - 34. Let m be k(22). Which is smaller: 65/6 or m?
m
Let p(d) = -3*d**2 + 6*d - 6*d**2 + 27 - 48*d**3 - 2 + 49*d**3. Let r be p(9). Suppose -57 = -8*j + r. Ar