r -159?
-159
Let u be (2/14)/(108/14 - 8). Is 0.97 at least as big as u?
True
Let k = -818/489 - -1/163. Let s = 781.87 + 10.13. Let w = s + -791. Is k at most w?
True
Let h(k) = -7*k - 50. Let p(t) = -4*t - 25. Let m(x) = 3*h(x) - 5*p(x). Let z be m(-34). Is 9 <= z?
True
Let q = 29 - 26. Suppose q*w - 4*w = 0. Suppose w*u - 15 = 5*u. Is u equal to 2?
False
Let i be (-1 + 3)*2310/28. Let c = -388 + i. Is c at most -223?
True
Let p = 9429 + -122579/13. Is 1/4 at most p?
False
Let w = 0.106 + -4.406. Let j = w - -8.3. Let s = 7.6 - -3.4. Which is greater: j or s?
s
Let l be (-2)/(-23) + (-11 - (-3856)/92). Let v be (-1)/(-2) + 319/2. Suppose 4*s - v = -s. Is s not equal to l?
True
Let j = 32679 + -32736. Is j equal to -120?
False
Let r(k) = 249*k + 60. Let d be r(8). Which is greater: 6160/3 or d?
6160/3
Let n = -134 + 176. Let r be (((-30)/(-20))/(n/(-8)))/58. Are r and -1 non-equal?
True
Let d(o) = o**3 + 121*o**2 + 886*o - 20. Let n be d(-9). Is -4 at most as big as n?
True
Suppose 0 = 5*a - 0*a - 20. Let o be ((-55)/(-15))/(6/(54/(-15))). Is a equal to o?
False
Let m = 0.0203 + -0.7603. Let j = -1.07 - -0.33. Let w = m - j. Is w at most -25?
False
Let u(k) = 2*k**2 - 16*k + 24. Let i be u(2). Which is bigger: i or -11/35?
i
Let f be -1 + (-2710)/(-15) + (-2)/3. Suppose -37 = -g + i, 5*g + 2*i - 5*i = f. Let u be g/16*(0 + 1)*-2. Which is smaller: u or -5?
-5
Suppose 60*l + 35469 = -26*l + 23*l. Which is greater: -570 or l?
l
Suppose 4*w = -w - 5. Let u = w + 0. Let y = -206918/90545 - 6/12935. Is u at least as big as y?
True
Let w = -28 + 52. Let p = 20 - w. Is p <= -17?
False
Let i(r) = 18*r + 3287. Let c be i(-100). Is 1484 != c?
True
Let g be (10 - 1)*((-750)/108 + 7). Which is bigger: -1187 or g?
g
Let q = 29.41 - 6.41. Which is greater: q or -0.7?
q
Let f = 85.099 + -0.099. Let y = f - 19. Let d = y - 66. Which is smaller: 0.1 or d?
d
Let f be (-54)/(-8) - (-5)/20. Let j = -8 - f. Let t(o) = o**2 - 9*o - 1. Let m be t(7). Do m and j have the same value?
True
Let o(q) = -5617*q + 61811. Let m be o(11). Let r be (-1 - (-47)/1)/1. Let b = r + -21. Which is smaller: m or b?
m
Let s(u) = 2*u**3 - 10*u**2 + 12*u - 52. Let d(t) = t - 32. Let o be d(37). Let z be s(o). Are z and 0.9 unequal?
True
Suppose -10*a + 5*a = -10. Let r be (-3)/(a + 5/(200/(-92))). Let f = r + -2. Is f less than or equal to 15/2?
False
Let k = -0.0419 + 194.0419. Let z = 194 - k. Which is smaller: z or 10?
z
Let y = -15193/68409 + -1/7601. Which is bigger: y or 74.7?
74.7
Suppose 0 = 21612*m - 21677*m - 34710. Are m and -546 unequal?
True
Let m be (40132/522)/(56/(-6)). Let r = m + 115/14. Which is bigger: -1 or r?
r
Let w = 427/2 - 207. Let d = 17 - -130. Let g = d - 141. Is w at least as big as g?
True
Let w = -1871 - -1924. Which is smaller: 5.3 or w?
5.3
Let q = 121/100 - 1/100. Suppose -5*n - 7 = 4*h - 37, -n - 18 = -4*h. Suppose d - v = -n, -2*d - 4*v = -0*v - 14. Which is bigger: d or q?
q
Let q = -1.58 + -318.42. Let w = -323 - q. Is 13 < w?
False
Suppose -3*q + 12*n - 10*n - 1512 = 0, -5*q - n = 2520. Is -504 less than q?
False
Let n be (-28)/(-42)*(-1 - -3 - -175). Let m = n - 117. Let v be 56/(-119)*m/(12/15). Is -2 <= v?
True
Suppose 3*x + 0*x - c - 11 = 0, 0 = x + 3*c - 17. Suppose -2*i + 6 = 145*z - 140*z, i + 8 = 3*z. Suppose z = -x*f - 3. Is f at most as big as -3/59?
True
Let o = -716 + 761.7. Let x = o + -43. Let p = x + -3.7. Do p and 22 have different values?
True
Let z(f) = -5*f**2 + 8*f - 22. Let r be z(4). Let q = 69 + r. Is -0.023 at most q?
False
Let b = -59.1 - -59.52. Is -108 at most as big as b?
True
Let y = 1812 + -2002. Which is greater: y or 8?
8
Let c = 71.6065 - 0.0065. Let r = c + -71.5. Which is smaller: 27/16 or r?
r
Let w = 0.32 - 0.02. Let r = 39443.3 - 39440. Which is greater: w or r?
r
Let o be ((-81554)/(-2359))/((-4)/(-98)). Which is bigger: o or 853?
853
Let s be ((-9)/6)/(48/(-32)). Which is bigger: -4/1851 or s?
s
Let g = 155.9 - 124. Let l = g + -32.8. Which is greater: -1/3 or l?
-1/3
Let w be (-3 - -7)*(-22 - 0). Let g be -3 + 85 - (-17 + 9). Let p = w + g. Which is smaller: p or 4/3?
4/3
Let p(b) = -b**3 - 9*b**2 + 3*b + 22. Let j be p(-9). Let n be 4 + 20/(3 + 14/j). Let w = n + -103. Is w smaller than 4/11?
False
Let u = -19752/637 - 48846389/5733. Let x = u - -8573. Which is bigger: x or 22?
22
Suppose -5*w = 5*q + 365, 3*w - 156*q + 225 = -158*q. Is -20 less than w?
False
Let s be (72/10)/(230940/(-600)). Which is greater: 1 or s?
1
Let r(t) = -2*t**3 + 19*t**2 + 5*t + 7. Let u be r(10). Let o = u - -109. Suppose -2*s = 3*l - 45 - 5, l = 2*s - o. Which is greater: s or 29?
s
Let x be (11 - (-6)/(-2))*(12 + -13). Let g be 5368/(-4576) + (-2)/x. Is 0 at least g?
True
Let g = 882 - 903. Which is smaller: 0.1 or g?
g
Let r = 1 - 2. Let n = 157051/1872 - 73/624. Let q = n + -84. Which is greater: q or r?
q
Let d(z) = z**3 - 7*z. Let n be d(4). Suppose 4*o - 4*p - n = 0, 5*p + 39 = 2*o + 2*o. Suppose -9 = -3*q, c - 4*q + 7 = -o. Which is greater: c or 0?
0
Let t = 11.7 - -0.3. Let q = t + -12.6. Suppose -14*z - 1 = -15*z. Is z less than q?
False
Let i = -1.0541 - -0.0541. Which is smaller: -6.588 or i?
-6.588
Let c(k) = -7*k + 24*k**2 - k**3 - 7*k - 38*k**2 - 7. Let s be c(-13). Suppose 3*o - 4*u = 33, 0 = 2*o - 5*o + 3*u + 30. Which is bigger: o or s?
o
Suppose 11*i - 6*i - 375 = 0. Suppose -4*m = -5*p + i, m = p - 0 - 16. Suppose 4*l + 6*h = h - 14, 5*l + 3*h + p = 0. Which is smaller: l or 2/45?
l
Let k = -1.3 - 4.7. Let j = 4 + k. Let r = -68929/5 - -13785. Which is greater: j or r?
r
Let d(g) = -5*g**3 + 21*g**2 + 29*g - 232. Let l be d(7). Which is bigger: 1 or l?
1
Let w be (-21)/(-11 + 14) - 61/(-2). Is 23 > w?
False
Suppose 2*t + 3 = 5*i, -4*i + 4*t - 7 + 19 = 0. Let m be (-29*904/16385)/(108/(-10) - -1). Which is smaller: m or i?
i
Let c = 208 + -220.94. Let n = -0.94 - c. Let s = n + -10.7. Are s and 2 non-equal?
True
Suppose -28*a = 2*f - 31*a - 26258, -52536 = -4*f - 4*a. Are f and 13132 equal?
True
Let q = 863777 + 542476. Let j = 485157664/345 - q. Let r = -7/69 - j. Is 4 at most as big as r?
False
Suppose -3*h + r + 501 = 96, 0 = 2*h - 2*r - 258. Which is smaller: h or 21?
21
Let k(f) = -1011*f + 7152. Let b be k(7). Which is bigger: b or -66?
b
Let f = -104069/22880 + 612/143. Are f and 0 non-equal?
True
Let n = 5/52 + -991/572. Let v = -11 + 7. Let h be (v/(-8))/((-1)/2). Which is smaller: n or h?
n
Let u = -10.1 + 10. Let q = -168.07 + -1.93. Let v = q + 170.2. Is v at least as big as u?
True
Let n = 2838 - 2829. Let y = 978/7 - 130. Are y and n equal?
False
Let y = -570 - -613. Let o be (y/(-559))/(4/(-13)). Which is smaller: -1/230 or o?
-1/230
Suppose 18 = -7*u + 46. Suppose -5*j - 22 = l, 0*l + j = u*l + 151. Is -39 > l?
False
Let q(j) = 13380842*j**3 + 2*j**2 - 6*j + 7. Let w be q(2). Let c = w - 3270277873063/30550. Let t = c - 11/94. Which is bigger: 1 or t?
1
Let o be 70/225 + 1/(-5). Let f be 0*2/4*128/(-192). Which is bigger: f or o?
o
Suppose -18*f - 368 = 6*f + 16. Is f greater than -86?
True
Let f be (37338/35)/((-9)/(-30)). Are 3555 and f equal?
False
Let h(r) = -r**3 - 16*r**2 - 28*r - 26. Let w be h(-14). Let l be (-4)/w - (-12222)/(-351). Is -36 at least as big as l?
False
Suppose 0 = -2*w + 3*v - 838, -3*w + 7*w - 3*v + 1676 = 0. Let t = -93288 + 92870. Which is smaller: t or w?
w
Let i be -3 - (1 + 3/(6/(-20))). Let j be (i/(-4) - 4)/((-4)/(-8)). Which is smaller: j or -12?
-12
Let j be (-58)/754*(-6)/231. Let k be 20/(-18) - 1/(-9). Is k less than j?
True
Suppose 19*o = 24*o - 130. Let d be (((-7)/o)/7)/(6/(-28)). Which is smaller: d or -1?
-1
Suppose -2*h - h = t - 6, -h = 4*t - 13. Which is smaller: h or 433.1?
h
Let t be -1 - -29 - ((-6)/3)/(-1). Let c be 2/(-5) - (-4 + t/10). Suppose 3*j - 9 = -3*d + 2*d, 0 = -2*d - 3*j + 12. Which is bigger: d or c?
d
Let q = 48/91 - 11846/22113. Which is smaller: 0 or q?
q
Suppose -1446*m - 1464*m + 2925*m = 15. Which is greater: 2/37755 or m?
m
Let o be (3/22)/(28/(-112)). Suppose m = -4*a - 9, -4*a = -m - 4*m - 21. Let w(j) = j**3 + 4*j**2 - 5*j - 1. Let l be w(m). Do l and o have the same value?
False
Let t be 2/9 + ((-17)/85)/(6/10). Let h = -5.5 - -5.5. Which is smaller: t or h?
t
Suppose 0 = 9*q - 7*q - 3*d - 43, 4*d - 73 = -3*q. Supp