e y(v). Suppose s = -f*s. Which is smaller: s or 3/8?
s
Let g = 8.125 - 1.081. Let u = -7.12 + g. Which is smaller: 0 or u?
u
Let u = 6779 - 8599. Is -1818 greater than or equal to u?
True
Let c be -56*(-15)/6 + -4. Suppose 0*u = -4*u - c. Let l = 45 + u. Does l = 6?
False
Let r be (-18)/(-156)*108/243. Do r and 1/90 have the same value?
False
Let t be -2 + 8/44 + 2. Let r(g) = -g**2 - 11*g - 31. Let k be r(-13). Let o = k - -57. Is t not equal to o?
True
Let z = -1 + 1. Let x be -3*(-6)/2 + z. Let s be (-18)/(-2)*(-3 + 0)/(-3). Is x < s?
False
Let o(u) = -u**2 + 4*u - 3. Let c be o(5). Let b = -136 + -56. Let j = b - -192. Are c and j non-equal?
True
Let t be (24/9)/((-115)/120 + -1 + 2). Which is smaller: -5 or t?
-5
Suppose 617*w = 616*w + 3, -2*d + 4*w + 5314 = 0. Is 2664 at most d?
False
Let m = 137/40 + -5/8. Let z(n) = 2*n + 8. Let p be z(-6). Let g be (p/(-2))/((-10)/(-15)). Which is smaller: m or g?
m
Let q = 377.2 + -384.4. Which is greater: 0.8 or q?
0.8
Let o be (3 + 1)*6/8. Suppose 3*q = -4*j + 6*j + 1, 5*j - o*q = 2. Let l = 3/674920 + 2024727/7424120. Which is smaller: l or j?
l
Let y = 595 - -474. Let v = y + -87657/82. Let t = 0 - -1. Is v at least t?
False
Suppose -66*b + 5*v = -63*b - 17478, -3*b = -3*v - 17478. Do 5827 and b have different values?
True
Let h(b) = -2*b**3 + b**2. Suppose 3*x - 19 = 4*v, 0 = -x - 0*v - 3*v - 11. Let l be h(x). Which is greater: 2/467 or l?
2/467
Let q = -0.06879 - 0.03121. Is q >= 468.2?
False
Suppose -3*j - 720 = -3*y, 0 = 8*y + 4*j - 915 - 1029. Is y >= 242?
True
Let v(g) = -16*g**2 + 47*g - 39. Let b be v(2). Suppose 0 = -6*a + a + 20. Suppose -5*q = a*w + 32, 0 = 2*w + w + q + 24. Which is smaller: b or w?
b
Let h be (-10 + 11)*17*3. Let k = -54 + h. Let x be (-6)/(6/3) - k. Which is smaller: x or 1/47?
x
Let w = -492063963/418 + 1177183. Let l = w + 3/209. Which is smaller: l or -5?
-5
Let d = -21.98927 + -0.01073. Which is smaller: -39 or d?
-39
Suppose 10*o - 11 = 59. Let q be o/(-28)*0/(-2). Suppose 4*u + 4 = -q. Are -4 and u equal?
False
Let n(j) = -3*j**2 - 81*j + 37. Suppose -31 + 118 = -3*v. Let z be n(v). Is z < -137?
False
Let p = 232483/5 + -46352. Which is smaller: 144 or p?
144
Let o be (4/1)/(44 + -46). Let h be (-36)/10 + (-27 - -28). Which is smaller: o or h?
h
Let w = -1858 - -1856. Let k(i) be the first derivative of i**3/3 + i**2/2 - 5*i + 1. Let p be k(w). Do p and -13/7 have different values?
True
Let p(c) = -29*c + 1225. Let v be p(56). Is 9 greater than or equal to v?
True
Let m = 2579 - 2557.03. Let w = -1.03 - m. Which is greater: w or -2?
-2
Let g be 4106/(-5) - (19 + 72/(-6)). Is -829 at most g?
True
Let a be (-2)/(-4)*-4 + 12/2. Suppose 15 = 5*x, -2*g + a*x = -106 - 4. Suppose -7*r = 16 + g. Is -11 less than or equal to r?
True
Let m = -3643 + 3672. Is 33 at least as big as m?
True
Suppose 0 = -3*u - 5*g - 1241 - 450, -u + g = 577. Let c = u - -568. Do -44/13 and c have the same value?
False
Let t = -9821.7 + 9821.9. Let h(s) = -11*s - 1. Let f be h(6). Is t less than f?
False
Suppose -21*x + 19*x = 4. Let l be 1/((10/(-55))/x - 0). Suppose 0*f + 3*f = 6. Which is smaller: l or f?
f
Suppose 8*o - 12 = 4*o. Let d = 11/2 - o. Is d less than 4?
True
Let r be (-1)/((4/(-68))/(-1)). Let a be (-19)/r + (-2)/21*-3. Let f = a + -36/17. Are f and -1 equal?
False
Let t be ((-108)/(-20))/(3/15). Let h be t/330 + 12/(-66). Is h > -40?
True
Let k be ((-390)/(-600))/((-5)/20). Which is smaller: k or 84?
k
Let t = 20321.508 + -20318. Which is smaller: t or 1/2?
1/2
Let o = 2221 - 2795. Which is smaller: o or -0.2?
o
Let a be (3/2)/((-15)/100 - 0). Let i be (18 + -8)/((8/a)/2). Is i at most -25?
True
Let x be (-1 - -7 - (-1680)/(-285)) + (-1510)/15428. Is -1 greater than or equal to x?
False
Let k be 0/(4/(2 - 0)). Let u be (-8)/(129760/(-3204)) - (-10 + 357/35). Is u smaller than k?
True
Let k = 4 + -5. Let h = k - -2. Let g = -0.092 - 0.038. Is g less than h?
True
Let x be 291/2*(-2)/(-3) - 7. Let r(q) = -2*q - 2. Let z be r(-3). Let p be 2/z - (x/4 - -3). Which is greater: -24 or p?
-24
Let k = 0.045 + 8.755. Let y = k + 0.2. Let i = y - 30. Is 1/2 smaller than i?
False
Let g = -865800197/1040 - -832500. Let r = -9/80 - g. Do r and 0 have the same value?
False
Suppose 1011 = -5*g + v, -11*v + 7*v = 4*g + 828. Is -207 at least g?
False
Let z(r) = r**2 + 11*r + 18. Let i be z(-9). Let o be (5/(-25))/((-144)/(-280)). Is i greater than or equal to o?
True
Let x = -79 + 78.9. Which is bigger: 1/52 or x?
1/52
Let s = -32 - -31. Let o be (-29872)/36*1 + (-4)/18. Let x = -62252/75 - o. Is x at least as big as s?
True
Let r = -2418 - -2417.483. Let u = 90.923 - 91. Let t = u - r. Is 0.1 at most t?
True
Let m = -16027 + 15726. Is 3 < m?
False
Suppose 3*n - o + 1147 - 4951 = 0, 0 = -4*o. Is n smaller than 1259?
False
Let w(n) = n + 2. Let c(x) = 18*x**2 - 107*x - 8. Let z be c(6). Let p be w(z). Does 2/453 = p?
False
Let j = -3687/5 - -215781/290. Do 8 and j have the same value?
False
Let y = 18.68 - -0.32. Suppose -3*x - 5*a = -60, -5*a = 16*x - 14*x - 40. Let w be 65/(-39)*(62/x - 3). Is w at most y?
True
Let f = -2321.6 + 1706.5. Which is smaller: f or 1?
f
Let k be (32/(-24) - -1)*1*1. Which is bigger: k or 125?
125
Let n(m) = 2*m**2 + 15*m. Let y be n(-6). Let b be (-3550)/y - 4/108*6. Suppose 2*k = -157 + b. Is k smaller than 20?
False
Let p be 24728/(-88) + 2/1. Which is smaller: p or -4?
p
Let o be ((-20)/(3 - -1) - 192)*(-5)/55. Which is greater: o or 18?
18
Let r = 85 - 76. Let b be (r + -9)*1/4. Suppose 12*v - 15*v + 18 = b. Which is bigger: 7 or v?
7
Let r = -341 - -341.0802. Let a = -349.0802 + r. Is 0.2 equal to a?
False
Let r be (0 + 168)*1896/157052. Is r != 3?
True
Let w = -746 - -2312. Which is smaller: 1567 or w?
w
Let s be (-48)/12 + (1 - 16/(-6)). Let q be (-2*3)/(12/(-30)). Let n be (-1)/5 + 3/q. Is s != n?
True
Let m = 12949/7 - 1853. Let g = -13 + -7. Let r = -22 - g. Which is greater: r or m?
r
Let q(u) = -3*u - 24. Let d be q(-10). Let m be (d/12)/(17/(-4)). Let z = -4.9596 + -0.0404. Which is bigger: z or m?
m
Let j(y) = 6*y - 30. Let t be j(10). Let z be (18/(-10))/((-3)/t). Let g be (-6)/z + 2/3. Is g at least as big as 0.14?
True
Let a be (8740/2622)/((-25592)/(-12798) - 2). Which is greater: -10667 or a?
a
Let u be -9 - -5 - (-8)/(-1). Let s = -3 + u. Let y(h) = -h**2 - 19*h - 4. Let p be y(s). Which is greater: 55 or p?
p
Let b(n) = n**2 - 5*n + 3. Let v be b(4). Let c be 6512/5152 - (-27)/(-21). Is c > v?
True
Let w = 320.09 + -320. Let h = 0.91 + w. Let n = 0.2 + -0.19. Is n less than h?
True
Let n(r) = -r**2 - 6*r - 2. Let s be n(-4). Let b be (21/66)/(s/30). Which is bigger: 3 or b?
3
Let y = -29.7 + 280.7. Is -0.2 not equal to y?
True
Let o = 1292 + -2686. Is -3/2 at least o?
True
Let l = -10517 + 10522.333. Let s = l + 0.067. Let h = 0.6 + s. Which is smaller: -0.3 or h?
-0.3
Let w be (354/4)/(3/4). Suppose 0 = 4*i + h - 471, -i + 61*h = 55*h - 124. Is i <= w?
True
Let i(j) = j**2 - 8*j + 2. Let r(g) = 21*g - 55. Let q be r(3). Let u be i(q). Which is smaller: u or 2/35?
2/35
Suppose -111*r + 109*r + 2*h = 552, 4*h + 12 = 0. Which is smaller: -273 or r?
r
Let t = -34 - -257. Let r = -266 + t. Is -43 <= r?
True
Let p be 4/(-6)*(3 + 0). Let h be (-38)/(-8) + (-32 + 24 - -8 - 6). Is p bigger than h?
False
Suppose -623 = 100*p - 20 + 397. Suppose 5*k = 3*k. Let x be -8 + (1 - k) + -2. Are p and x non-equal?
True
Suppose 14 = 4*h + 2. Suppose -4*z - 4*k = 36, k = h*z - 0*k + 23. Let x = z - -1. Which is smaller: -39/7 or x?
x
Let f be 60/(-21)*(-42)/76. Let r = -71/57 + f. Is 16 equal to r?
False
Let d = 83.0986 + 0.0014. Let c = 27.04 + -115.04. Let u = d + c. Do u and 0 have the same value?
False
Let d be ((-64)/(-288))/(4/6)*-3. Which is smaller: -82/209 or d?
d
Suppose 29 = 2*m + 3*k, -6 = -3*m - 0*k + 3*k. Suppose 2*w + 5 - 15 = 0. Suppose 2*q = y + 6*q - 18, 0 = -3*y - w*q + 40. Which is bigger: m or y?
y
Let y be 156/504 + 1/7*-1. Let i = 78 + -85. Is i < y?
True
Let o be (-77)/(-142) + (-5)/(15 - 5). Let w be 32/6*279/62. Suppose 25*n = w*n. Is n bigger than o?
False
Suppose -168 + 30 = 3*d. Let n(y) = 8*y - 628. Let i be n(73). Does d = i?
False
Let d = -410 + 409. Let p = -581 - -581.113. Do d and p have the same value?
False
Suppose 5*h