 = r. Let k = -14/5 + 276/95. Which is bigger: b or k?
k
Let u be (4636/3610 + 0 + -2)/(4/(-420)). Which is smaller: 76 or u?
u
Let l = 2849 + -2411. Which is smaller: 442 or l?
l
Suppose 0 = 7*c - 2*c - 140. Let f(a) = -6*a - 192. Let n be f(-35). Suppose h = 5*w + n, 4 - 92 = -3*h - 2*w. Is c greater than h?
False
Suppose 0*q - 5 = 2*s + q, -3*q = -s - 13. Let r(p) = 36*p - 62. Let b be r(s). Which is smaller: -205 or b?
b
Let b be 96/120 + (-41)/(-5). Is b equal to -3/340?
False
Let v = 12 + -10. Let u = -1 - v. Let x = 1281 - 1287. Is u at most x?
False
Let x = 6347 + -1250356/197. Suppose -87*p = 173*p. Is p at least x?
False
Suppose -5*f - 5*o = 245, -131*o - 122 = 2*f - 126*o. Which is smaller: f or -465/11?
-465/11
Let b = 43025/8 + -733447191/136376. Is -1 greater than or equal to b?
False
Suppose 11*x - 301 = 1580. Suppose 0 = s + 4*t - 145, x = 4*s - 2*t - 409. Is 146 greater than or equal to s?
True
Let l = 13029 + -11774. Is 0.07 at least as big as l?
False
Let a be (35/(-14))/(-1)*32/10. Suppose c = -c + a. Suppose -15*x - 121 = -c*x. Which is smaller: -21/2 or x?
x
Let o = 106 + -121. Let b be ((-5)/o)/((-6)/3312). Which is smaller: b or -183?
b
Let t = -20703 + 20713. Do t and -624 have different values?
True
Let k be ((-3)/9)/(0 - 2/246). Let h = 44 - k. Suppose 0 = 3*v - b + 5*b + 8, b = -h*v - 11. Is v equal to -13/3?
False
Let i be 9/(-6)*(-98)/8. Let z(j) = j**2 + 8*j - 87. Let x be z(-15). Do x and i have the same value?
False
Let v = -14108 - -197623/14. Which is smaller: v or 9?
v
Let i = -4245 - -4185. Which is smaller: -14 or i?
i
Let m = -100 - -184. Let a = -103.26 - -0.26. Let s = a + m. Is s at least as big as 1/3?
False
Let m be 168/(-87) + 0 - -2. Let i = -310 - -298. Let f be (-3150)/(-1540) + i/22. Is m < f?
True
Let v be 12 - (-34)/274*(-6 - 91). Is 41 greater than v?
True
Suppose 0 = 437*a - 214*a + 1669601. Which is smaller: -7488 or a?
-7488
Let v = 5132 + -5166. Is v greater than or equal to -15?
False
Suppose 4*u = 2*z + 74, 4*u = 4*z + 212 - 60. Let i(l) = l**2 + 37*l - 96. Let t be i(z). Is -18 less than t?
False
Let h = 302 + -303. Let s(q) = -93*q - 1. Let i be s(-1). Are i and h unequal?
True
Let v be (-2 - (-108)/52)/(((-11)/1)/11). Which is bigger: v or -0.0372?
-0.0372
Let b(z) = 33*z**2 - 10*z. Let u be b(2). Let t be 202/3*7/(u/12). Which is bigger: 52 or t?
52
Let r = 406115/17 - 23880. Do r and 8 have the same value?
False
Let l be (-2*1*(-7)/(-21))/(30/(-6390)). Which is bigger: 102 or l?
l
Let d be 63/(-6)*(-28)/(-6). Suppose -8 - 224 = -h. Suppose 7*q - 248 = 12*q - 2*b, h = -5*q - 2*b. Is d less than or equal to q?
True
Suppose 0 = 5*m, 3*w = -m - 4*m + 6. Suppose 4*j - w*x - 6 = -2, 5*j = -x + 5. Which is greater: j or 3/152?
j
Let h = -96/2915 - 275206/317735. Which is smaller: -2/3 or h?
h
Let m be (17088/(-1710) - -10)*549190/136. Let x = m - 3/646. Which is smaller: x or 27?
27
Suppose 0 = -r - 33 + 2. Suppose -7145 = 174*g + 1207. Let h = r - g. Is 17 >= h?
True
Let r be (60/35)/6 + (-1)/(-28)*20. Do r and 1/759 have the same value?
False
Suppose -101*l + 15810 = -71*l. Which is greater: l or 512?
l
Let o be (0 + 2140/98)/(6/14). Let m = 51 - o. Is 0 <= m?
True
Let o = -13/14 - -151/42. Let b = -1.42 + -0.58. Is b smaller than o?
True
Let n = 6909 - 10304. Which is smaller: n or -3397?
-3397
Suppose -4*d - d - c = 0, 2*c = 10. Let a be ((-8)/(-20)*d)/(6/(-15)). Which is smaller: -41 or a?
-41
Let q be (3 + 3)/(1197/(-294)). Is 0 less than q?
False
Let h be (-9)/4*(-3010)/731. Which is smaller: 8 or h?
8
Let g be 1/3 - (-10248)/(-126). Suppose 5*m + 0*m + 401 = 4*t, 76 = -m + 5*t. Is m >= g?
True
Let f = -21285 - -21284.9. Let s = 0.63 + 48.87. Let q = -9.5 + s. Which is greater: q or f?
q
Let n = -2.057 + 0.057. Let x = 29 - 71. Let u = x - -46. Do n and u have the same value?
False
Let y = -10 - -23. Suppose 0 = -v + 2 - y. Let j be 3 + -7 + (2465/20)/(-17). Which is smaller: j or v?
j
Let k(g) = -g**3 - 4*g**2 - g - 3. Let p be k(-4). Let r = 1438352/4445 - -10/889. Let u = 326 - r. Which is smaller: p or u?
p
Let z = -1624 + 1604. Let f = 29 - 43. Let p = z - f. Is -6 <= p?
True
Let x = -75008 + 4425480/59. Suppose -3*d = -0*d. Which is smaller: x or d?
d
Let l = 1137.3 - 1216. Let b = l - -76. Let i = b - -3. Is 0.16 greater than or equal to i?
False
Let o be (-6 + 0)*-94*6/36. Suppose 58 = -4*r - 6. Let k be (3/(-20))/(o/r + -2). Which is smaller: -1 or k?
-1
Suppose -25 = -5*n + 5*l, 0 = 4*n + 12*l - 15*l - 19. Let i be (-2 - -3)*(8 - (n - 4)). Which is smaller: i or 15?
i
Suppose 0 = -5*n - 2*z - 79 - 18, 4*n + 64 = -5*z. Are -0.44 and n nonequal?
True
Let v be (-8)/28 - (-188)/21. Let k(f) = -f**3 - 222*f**2 + 1122*f - 2943. Let t be k(-227). Which is smaller: t or v?
t
Suppose k - 2*i = -0*i - 5, -5*i + 15 = -2*k. Suppose 3*q = f + 31, 30 + 15 = k*q + 5*f. Let p = 1798/185 - -3/37. Which is bigger: q or p?
q
Suppose 0 = 124*z - 123*z - 8. Let n be z/(-6) + 158/132. Which is smaller: -1 or n?
-1
Suppose 2*h = -17 + 47. Let r be (3 + h/(-6))/(1/144). Let c be 10962/154 + 2/(-11). Which is smaller: r or c?
c
Let c = -74 - -37. Suppose 2*o - 121 = 5*h + 101, -o + 48 = -h. Is h less than or equal to c?
True
Let x = 241.535 - 312.93. Let c = 71 + x. Let k = 0.005 - c. Is k bigger than 2/3?
False
Let x be (6 + 156/(-24))*(-9 - -1). Suppose -x*j + 1 = -3. Let f be ((-6)/(-63))/((-8)/(-6)). Is f equal to j?
False
Let p = -1081/8 + 144. Which is smaller: 10 or p?
p
Let o(a) = 73*a. Let v be o(-1). Let d(u) = u**3 - 13*u**2 + u + 51. Let x be d(15). Suppose 738 - x = -3*w. Do v and w have the same value?
False
Suppose 3*d - 8*d = -445. Let n = -77 + d. Is 11 bigger than n?
False
Let q be 0 + 5 + 549/396*-4. Let m = 1819402/77 + -23629. Let w = m - q. Is 0 less than w?
True
Let f = 1324.8 - 1325. Let m = 2.54 + 0.16. Let i = -0.7 + m. Which is smaller: i or f?
f
Let h = 0.2276 + 0.6724. Which is greater: -1.6 or h?
h
Let a = -397 - -52. Let s be (-23)/(a/(-1750)) - 3/9. Suppose -n - 4*n - 588 = -4*g, -g + 2 = 0. Is n less than or equal to s?
False
Let t(u) = -2*u**3 - 45*u**2 - 19*u + 51. Let c be t(-22). Let k be 5/(-25) + (-258)/c + -1. Which is greater: 26 or k?
26
Suppose 0 = -7*j + 226 - 2200. Let c = 283 + j. Is -4/69 at least as big as c?
False
Let y be 4/10 + (-65562)/105. Let j be 8*8/32 - y/(-314). Which is greater: -2/15 or j?
j
Suppose 0 = d + 2*y - 4, -2*d + 3*y = 6*y - 8. Let l be d/(-8)*-39 - (-21)/(-14). Is l at most as big as 15?
False
Let v be (2 + 15678/(-7845))/(-6 - 360/(-75)). Which is smaller: 1 or v?
v
Suppose -3*n = -2*b - 74, 3*b + 5*n = 2*b - 11. Let y = b + 93. Let i = y - 62. Which is bigger: i or 1/13?
1/13
Suppose -l = -5*g + 27 - 41, -5*g + 5*l - 30 = 0. Is 0.22 != g?
True
Let s = -5.5 - -5.9. Let d be (8 + -10)*(1 - (-15)/(-6)). Let p be (d - (-55)/(-15))/(5/3). Is p != s?
True
Suppose 2*r + 2*g + 8 = g, 4*g + 20 = -5*r. Let q be (66/18)/(-16 - -15). Are r and q equal?
False
Suppose 13 = -p - 4*p - u, p - 1 = u. Let h be (-198)/15 + (0 - p/10). Suppose 2*q + v = -2 - 0, -5*q - v - 11 = 0. Are q and h equal?
False
Suppose -12*j + 3*j + 261 = 0. Suppose -49*k + 48*k + j = 0. Let f = k + -53. Which is bigger: f or -25?
f
Let c be (24/(-20))/((-10)/(-25)). Which is bigger: -312 or c?
c
Let y be 6*1*34/(-7191). Is y > 1?
False
Let s = -83 - -38. Let m be -2 - ((-4)/10 - (-54)/s). Which is bigger: -1 or m?
m
Let r = 75 - -12. Suppose -15*b + 387 = r. Is 20 less than b?
False
Suppose -30*d = -18*d + 11916. Let o = d - -990. Suppose -2*g = -0*g + 12. Is g bigger than o?
False
Let h be 5/((-10)/86)*3. Let x = h + 901/7. Which is smaller: x or 68?
x
Let n = -21070 + 42143/2. Which is bigger: -66 or n?
n
Let f(o) = 11*o**2 - 880*o - 5. Let l be f(80). Which is smaller: 63 or l?
l
Suppose -6*s = -69 - 399. Let z = 697 + -618. Which is smaller: z or s?
s
Let r be ((-28)/(-1872))/(1 - 312/171). Let b = -1/188 - r. Which is smaller: b or -1?
-1
Let n = 1226 - 1225.9. Is -1/15 greater than or equal to n?
False
Let v(u) = u**3 + 5*u**2 - 7*u - 5. Let y be v(-6). Suppose -2*z = -2*w - 18, -7*w = -2*z - 3*w + 28. Suppose 0 = -5*h - z*k + 17, 15 = 4*k + k. Is h > y?
False
Let u be 15/(-3) + (-1 - -125). Let a be -6 + (-6)/((-84)/u). Which is bigger: 4 or a?
4
Let k(g)