 Let c = s - 50. Which is greater: c or 2/53?
2/53
Let u = -4 - -1. Let a = 383/20 - 367/30. Let h = 7 - a. Is u less than or equal to h?
True
Let r = 2978/45 + -312/5. Let v(w) = -w**2 + 17*w + 311. Let t be v(28). Which is smaller: t or r?
t
Let p = -292.95 + 293.95. Which is greater: -1996 or p?
p
Let o be ((-3)/24*0)/((-5)/((-5)/(-2))). Is o greater than -2/19381?
True
Suppose 26*g = 21*g + 280. Suppose -3*b + 0*b = -k - g, -3*b - 4*k + 46 = 0. Let r be (39/b - 2)*80/(-10). Which is bigger: -1/5 or r?
-1/5
Let i be 5 + 1 + -1 + -5. Suppose -6 - 4 = -5*y. Let u be (y/6)/((-11)/33). Is i < u?
False
Let f = -0.0067 + -99.7933. Let q = f + 99. Which is greater: q or -0.1?
-0.1
Suppose 4*y + 3*t + 63 = -0*y, y + 2*t = -22. Let b be 31 + 20/(-8)*y/15. Is b at most 98/3?
False
Let o be (1*14)/((-8)/(-52)). Let w = o + -151. Let p = -83 - -22. Is w less than p?
False
Let l be (-2)/(4/(-6)) - 2*-3. Let o be 206*(17/2 - l). Which is smaller: -519/5 or o?
-519/5
Suppose -28 = 2*x + 5*w, -13*x + 4*w + 20 = -17*x. Is 5/702 smaller than x?
True
Suppose -131 = 2*q + 2*q + 5*y, 2*q + 4*y = -58. Let u(z) = 75*z**3 + z**2 + z. Let w be u(-2). Let s be (-8)/(-6)*q/w. Is -2/7 smaller than s?
True
Let d be (2/21)/((-28)/16). Let t be 4509/334 + 87/(-6). Which is smaller: t or d?
t
Let l(s) = 161*s**2 + 58*s + 1. Let j be l(-1). Is j > 104?
False
Let o = 498 + -497. Let n be (0/o)/((-1)/(-6)*12). Which is bigger: 3/113 or n?
3/113
Let z be 12 - (-10 - 101686/(-19 + 6)). Are -7800 and z equal?
True
Let r = 271/5 + -54. Suppose -15*q - 12 = -18*q. Suppose -q*w = 5*y + 8, 6*y + 6 = y - 3*w. Which is greater: r or y?
r
Let t = 82 + -412/5. Let k = -1412 + 1412.2503. Let c = 0.0503 - k. Is t bigger than c?
False
Let p = 16309/3 + -5436. Which is bigger: p or 382?
382
Let r = 21.5 - 139.5. Let u = -118.26 - r. Which is bigger: u or -3?
u
Let q = 333.95 + -333.45. Which is smaller: -7.81 or q?
-7.81
Let o be 3/(-6)*-3*12/(-9). Let f be (20/(-9) - o) + (-1184)/18. Let a be -1 - 31/f*2. Which is smaller: 0 or a?
a
Suppose -4*r + 95 - 279 = 0. Let z = -228 - -369. Suppose -284*n + 281*n - z = 0. Which is greater: r or n?
r
Let l(m) = -m + 125. Let v be l(-8). Suppose r = 103 - v. Which is greater: -29 or r?
-29
Let r(s) = -s**3 - 23*s**2 + 135*s - 79. Let h be r(14). Is h smaller than -5440?
True
Let p be (-58)/(-630) + (-8)/(-36) + 18/(-30). Which is bigger: p or 2292?
2292
Let t = 114 + -120. Let p be (-1)/(-3) - (-9)/1134*t. Does 0.31 = p?
False
Suppose -8*b = -2*b + 3708. Let g = b - -669. Is 53 < g?
False
Let u = -791 - -795. Suppose 0 = j - 4*x + 15, u*x = 7*j - 2*j + 11. Which is smaller: 3/220 or j?
3/220
Let x be 1/(48/9)*(-44)/(-3102). Is 0 greater than x?
False
Let f = 5 + -1. Suppose -1 - f = 5*t. Let b = 1/1155 + 117/13090. Does b = t?
False
Suppose 3542 - 782 = 15*y. Which is greater: 188 or y?
188
Let r = 102174.979 + -102175. Let s = -1/7 - 9/35. Is s > r?
False
Let d = 11910 - 11909. Let s = 126.073 - 126. Is s at least as big as d?
False
Suppose 27 - 45 = -6*o. Suppose -9 = o*n + 6*n. Is n at most -1?
True
Suppose 0 = -123*f - 53 - 91 - 102. Which is greater: 2792 or f?
2792
Let w = 345 + -577. Let r = w - -210. Is -7 <= r?
False
Let t be (1 - (-1899)/(-488)) + 3. Let z = 62/14945 - -3/245. Let f = z + t. Is 1 equal to f?
False
Suppose -2*s + 3 = -3*o, 3*s + 0 = -2*o + 11. Does o = -1/789?
False
Let x be (-824)/120 + 14/(-105). Let f be (-3)/84*x*(-5)/(-5). Do 45 and f have the same value?
False
Let w be ((-4)/25)/(47/(29081955/(-42))). Are 2356 and w equal?
False
Let q be 148116/(-96) - 1*-2. Let m = -1543 - q. Let r = 495/248 + m. Which is greater: -1 or r?
r
Let o = -632 + 1674. Do o and 1042 have different values?
False
Let k be (-4)/(-48) - -62*6/(-1008). Do 97.4 and k have different values?
True
Let g be ((-36)/8)/((-36)/96). Let w be ((-2)/(2/3))/(2/(-6)). Is g at least as big as w?
True
Let m = -61 - -59. Let z be 1/2 - m/4. Is 0 at most z?
True
Let i be 4/((-8)/6) - (78 - -10). Let z = -97 - i. Suppose 0 = -5*c - 3*x, -5*x + 10 = -3*x. Is c bigger than z?
True
Let s = -27030 - -5433028/201. Which is greater: s or -0.32?
s
Let i = 2895 - 277925/96. Let b = -19/96 + i. Are b and -3/2 nonequal?
True
Let l be (-162)/39 + 4/26. Let q be 4/(-4)*(-12)/4. Suppose q*x + 3*k + 15 = -0*k, 3*x + 4*k = -20. Which is greater: x or l?
x
Let i = 464.092 + -464. Let j = i + -0.392. Which is greater: j or -65?
j
Let b(q) = 2*q**3 - 199*q**2 - 63*q - 36. Let j be b(100). Which is smaller: j or 3663?
3663
Let n be ((225/(-84))/(-5))/((-351)/(-180)). Is -1/2 less than or equal to n?
True
Let z = 2 + -7. Let q = 13 + z. Let y = -135902 + 135901.3. Do y and q have the same value?
False
Let a be 4/(-66)*-36 + (-4)/22. Let q be (4 + -1)/((-25)/(-12) - a). Let m be q/12 + (-373)/125. Is m at least as big as 1?
False
Suppose -o - 2*s + 5 = 0, -16*o + 13*o - s = -5. Let w be (-4)/(-14) + (-81)/112. Is w <= o?
True
Suppose 8*r - 70081 + 13619 - 10034 = 0. Is 8312 less than r?
False
Let y = -127 + 201. Let s = 86 - y. Are s and 34/3 unequal?
True
Suppose 0 = -3*d + 33. Suppose 11*q + 116 = 6. Let k be 3/((q/15)/(-2)). Which is greater: d or k?
d
Suppose 12*x + 229 = -287. Suppose -10 = -4*d - 3*n, -2*d + 6*d - 4*n = 24. Suppose 2*j - b = -j - 135, -5*b + 191 = -d*j. Is x at least as big as j?
True
Let j be (-94 - -1)*(-1 - 20/(-12)). Let s be ((-54)/(-12))/(-9)*j. Is s bigger than 31?
False
Let d = -169 - -61. Let l = 185 + d. Let x = -77.1 + l. Which is bigger: -4/3 or x?
x
Let y be 18/(-9) - 27/(-13) - (-102)/(-1326). Let u be ((-1)/4)/(10/(-8)). Which is bigger: u or y?
u
Let z be 0 + -43 + 22/(-22). Let y = 44 + z. Suppose l = -n + 2*l + 4, 3*n + 3*l = y. Is n less than 12/13?
False
Let f be 4 + 1*-10*1. Let h be 10*2*f/108. Let v = h - -205/63. Is v less than or equal to 1?
False
Let w be (4 - -4)*(488/(-64) - -7). Which is smaller: -410/109 or w?
w
Let n(w) = w**2 - 43*w - 633. Let y be n(112). Which is smaller: 7096 or y?
y
Let o = -4.6 + 0.6. Let k = -4.515 - 1.175. Let z = -5.19 - k. Is o less than z?
True
Let d = -234747 + 3968398036/16905. Are d and 0 non-equal?
True
Let f = -139 - -134. Let c be f - (5 + 6 - 2). Are 2 and c equal?
False
Let u be -8 - -7 - (0 + -13). Let k(m) = -2*m**2 - 4*m + 62. Let z be k(u). Is z > -275?
True
Let q = -3801 + 3800. Let i be (14/3 + -4)*(-3)/(-695). Is q >= i?
False
Suppose -4*u = -26 - 26. Suppose 9*y + 728 = u*y. Let v be -2*2/26 - (-756)/y. Is v at least as big as 21/5?
False
Let r be (1 + -16191)*(-12 - 835/(-70)). Is 1157 equal to r?
False
Suppose 4*v + 12256 = -4*v. Let l = v + 136345/89. Do l and 1 have the same value?
False
Let o = -25096 - -25114. Is 5/7 not equal to o?
True
Let g(h) = 23*h - 304. Let w be g(14). Is 38 equal to w?
False
Suppose -2*q + 7*o - 10*o = 10, 3*q = o - 37. Is 56 smaller than q?
False
Let r = -1017 + 1017.007. Let o = 0.05 - 0.15. Which is greater: o or r?
r
Suppose -8 = 2*c - 0*c, 3*g + c = 11. Suppose -2*h = g*h. Suppose h = 13*o - 11*o + 50. Which is smaller: o or -24?
o
Suppose 9 + 21 = 10*q. Suppose -a = -q*a - a. Suppose 16*f - 8*f + 8 = a. Is -12/11 < f?
True
Let k(j) = 216*j - 2306. Let u be k(9). Which is smaller: -365 or u?
-365
Let h = -6874088/17 - -404078. Let o = 5865 + -6145. Let d = h - o. Is -1 less than d?
True
Let s(g) = -9*g**3 + 5*g**2 + 170*g - 911. Let f be s(5). Are f and -1049 equal?
False
Let i = 2 + 63. Let l = 2681 + -2618.4. Let c = i - l. Is -1 >= c?
False
Suppose -n + 32*n = 908 + 3556. Which is bigger: -5 or n?
n
Suppose 0*h - 3*h - 36 = 0. Let j be (360/(-144))/((-1)/(-12)). Let m be h/j + (-554)/10. Is m bigger than -55?
False
Let y = 981/7 - 30383/217. Let j be (-10)/(-6) - (-8)/(-12). Is j != y?
True
Let k be (78/(-20))/(-13)*(-420)/(-16). Let g = -3347/424 + k. Is 0 at least g?
True
Let r = 160465/8 + -20058. Let w = 0 + -1. Which is smaller: w or r?
w
Let u = 11 + -18. Suppose 6*q = -7*m + 8*m + 42, -3*q + 42 = -4*m. Is m equal to u?
False
Let o(s) = -s**3 - 4*s + 4. Let j be o(3). Let h be ((-4)/(-14))/(15/j). Let w(t) = -12*t**2 + 120*t. Let z be w(10). Which is smaller: h or z?
h
Let s = 37.46 + -36.16. Which is smaller: 0.44 or s?
0.44
Let r = 1208 - 207777/172. Let i = -335/1548 + r. Let l = -2649 - -2652. Which is smaller: l or i?
i
Let v = 8425 