- -6222. Let m = o - 491/3885. Let r be (-72 - -81)/(9 - 0). Which is smaller: m or r?
m
Let q be (117/(-6))/(-3)*(-28)/(-14). Let m be 75/5 - (0 - -2). Is m at most q?
True
Let u = -1924 + 1893. Let x = -34 + 37. Which is smaller: x or u?
u
Let u = -384 - -164. Let l = 220.1 + u. Is l less than 2/13?
True
Let t be 1397/(-127)*(-1 + 2)*2. Is t at least -101?
True
Let s be -1 - (-3 + (-3 - 9/(-3))). Suppose -2*z + s*k = 8, -z + 2*k - 1 = 5. Let l be z - (-16)/(-2)*(-2 - -1). Which is greater: l or -0.4?
l
Let s(f) = 18*f - 5. Let c be s(-2). Is c > -1?
False
Let x be (19 + -25 - (-3 - 2))*-1 + -107. Is -141 equal to x?
False
Let h = -33714/55 - -613. Let s = 101/495 + h. Let m = 1 + -2. Is m at least as big as s?
False
Suppose 25*l - 24*l + 3 = 0. Let i be 0 - 309*l/9*-1. Let r be 1/(4/i) + 4/(-16). Which is bigger: -27 or r?
r
Let f be ((-104)/429)/(153/27). Is 1 equal to f?
False
Let l = 115 + -142. Let p be -1 + -1 - (-3 - 36/l). Is p at most as big as -3?
False
Let y = -179 + 179. Is y greater than -2/55403?
True
Let z(l) = -l**3 - 14*l**2 + 2*l + 31. Let d be z(-14). Suppose -3*b - 3*t = 63, -2*b - d*b + 3*t = 65. Let c(x) = x - 8. Let h be c(-8). Is b > h?
False
Suppose 2*b - 4*q = 48, 2*b - 3*q = 2*q + 47. Let l = 24 - b. Let n be (l*2/12)/((-6)/8). Which is greater: 1 or n?
1
Let g = 71 - 77. Suppose 2*h = -2*h - 44. Let a = -35/3 - h. Is a at most as big as g?
False
Let s be 3*-3*(2 + 0)*(-1070)/(-20). Is -960 not equal to s?
True
Suppose 39*l = 33*l - 6. Let n = 5 + -3. Suppose -4*v + y - n*y - 41 = 0, 2 = -3*v + 5*y. Is l != v?
True
Let c be (32/10)/(2/5). Let j be (6/c)/(9/7). Let b = -1512 - -1512. Are j and b non-equal?
True
Suppose 0 = 3*w + 5*n + 12, 2*w - n - 4 - 1 = 0. Let c be ((-129)/126 - -1)/((-1)/(-8)). Let j = c + 1/42. Which is greater: j or w?
w
Let n(k) = 2*k + 15. Let l be 17 + -15 - (33 + 1/(-1)). Let y = -20 - l. Let o be n(y). Is 36 greater than or equal to o?
True
Let x = 11 + -4. Suppose x*k = 4*k - 168. Let n = k + 67. Do 10 and n have the same value?
False
Suppose 3*r - 5*d + 209 = -0*r, -5*d = -5. Let k be (r/9 + 1)/((-7)/(-21)). Let a = k - -239/12. Does 1 = a?
False
Suppose 0 = q - 4*i + 48 - 5, 3*q + 5*i = 24. Which is bigger: -274/47 or q?
-274/47
Let q(b) = 6*b**3 + 6*b**2 + 14*b + 3. Let r be q(4). Let c be -2 + -2 - (6 + r/(-55)). Which is bigger: 38 or c?
38
Let w(q) = -19*q**3 - q**2 + 27*q + 5. Let j be w(5). Which is greater: -2261 or j?
j
Let a be (-1 - -2)/((-3)/(-15)). Let n = -249 + 252. Suppose c = n*c - 14. Which is greater: a or c?
c
Let h be 89464/(-42) + (-3)/9 + 0. Let z = -2136 - h. Let i = -883/161 - z. Which is greater: i or -1?
i
Let v = -0.481 - -0.631. Does v = 0.19?
False
Let r = -151435 + 90406664/597. Do r and -1 have the same value?
False
Suppose -5264 = 2349*c - 2356*c. Is c equal to 755?
False
Let h = -0.035 - -33.035. Let r = -44.86 - -17.86. Let l = r + h. Which is smaller: 1 or l?
1
Let y(g) = g**3 + 3*g**2 + 53*g + 51. Let o be y(-1). Which is smaller: o or -1/1218?
-1/1218
Suppose -45*i - 25*i - 29*i = -56925. Which is smaller: 2871/5 or i?
2871/5
Let v be 172/(-46)*(-9)/(-189). Let g = 2/483 + v. Suppose -37 = 5*x - 4*c - 25, 5*c - 15 = 2*x. Which is bigger: g or x?
x
Let f = 48064 - 48064.2. Let l = 2.607 - 0.337. Is f at least as big as l?
False
Let c = 12.7 - 7.8. Let n = -671 - -666.2. Let q = c + n. Which is bigger: -2/11 or q?
q
Suppose 29*r - 68837 = 6012. Is 2580 not equal to r?
True
Suppose 5*s - 4*a - 14 = 0, 3*s + 3*a - 1 = 2. Let g be (-1 + 2/(-6))/(s/6). Let f be g/6*75/50. Is f smaller than -0.6?
True
Let w = -29 - -40. Let q = 0.18 - -83.82. Let n = q - 80. Which is bigger: n or w?
w
Suppose -5*w + 2*z = 111 - 16, 3*w = 5*z - 76. Let l(i) = -2*i**2 - 43*i + 9. Let j be l(-20). Let y = j - 87. Is y at least w?
False
Suppose -27 = -5*z + h, 4*z + 3*h - 7 = 26. Suppose -z*d = -58 - 44. Which is smaller: d or 15?
15
Suppose -61*q + 4913 = -44*q. Let f = -289 + q. Is -6/55 at least f?
False
Let m = -1.39 - -68.39. Let t = m - 33. Let q = t - 36. Which is greater: q or 27?
27
Let n be ((-18)/15 + 0)*(7 - (-273051)/(-38988)). Which is smaller: n or 2?
n
Let l = -220.477 - 0.523. Let g = l + 159. Which is bigger: -0.2 or g?
-0.2
Suppose 0 = -4*a + 5*g + 55, -6*g + 5*g = 2*a - 31. Let j be (-54)/(-4) - (-235)/94. Which is smaller: j or a?
a
Let k be 1496/(-296) + 4 + 1. Suppose -h + 398 - 397 = 0. Is k less than or equal to h?
True
Let f be 6/(-4)*888/72. Let z(m) = -m**2 + 10*m + 19. Let t be z(13). Is t > f?
False
Let x = -51 + 52. Let s = -5.3 - -8.3. Let g = s + -11. Is x > g?
True
Let a = -526 + 530.59. Let k = a + 2.41. Which is smaller: 2/31 or k?
2/31
Let v be 2/14 + (-58)/14. Let j be (3/(-6))/(v/(-2)). Suppose -57 = 3*b - f, 0 = 2*b + 11*f - 6*f + 55. Does j = b?
False
Let a be (13 + 26*(-13)/26)/(3 + -2). Is a >= 7/355?
False
Let o = -1765 - -1720. Is -48 at most o?
True
Let o(d) = d**2 + 8*d + 3. Let v be o(0). Let r = -30 + 38. Suppose r*f - 65 = 3*f. Are f and v equal?
False
Let z be (-13 + 20975/1610)/((-12)/14). Let q be (-8)/6*27/(-36). Which is greater: q or z?
q
Let v = 134.4 - 93. Let h = -41.6 + v. Which is greater: -0.08 or h?
-0.08
Let s = 447578/11 - 40656. Let b = -2327/55 + s. Is -10 <= b?
True
Suppose -5*t = -5*v + 1715, 3*t + 1005 = -v - 2*v. Let i = 2663/8 + t. Do i and -5 have the same value?
False
Suppose -3*z + 3*p - 6 = 12, -4*z - p = 4. Suppose -3*x + 11*x = 216. Let c be (z/x)/(9/27). Is 11/5 < c?
False
Let p = 1544 + -1543. Is -7/44 less than p?
True
Let x be 391/34 - 104/8. Which is greater: 13 or x?
13
Suppose 0 = -127*c + 36 + 1615. Which is greater: c or 68?
68
Let y = -20719 + 21324. Which is smaller: -1 or y?
-1
Let z = -5 + 2. Let c be -55 + -1 - (-1 + z). Which is smaller: c or -54?
-54
Suppose -8*n = 21*n - 4*n - 275. Is -1.11 less than or equal to n?
True
Let w = -16849285/242 - -69625. Is -1 greater than w?
False
Let c = 6/325 - -143963/650. Is 221 less than or equal to c?
True
Let l(i) = -i**3 - 21*i**2 + 24*i + 42. Let s be l(-22). Let p be 18/s*(-6 + 10/2). Do p and 9 have the same value?
True
Let c be (-2 + (-44)/(-30))*603/991734. Which is greater: c or 0?
0
Suppose 5*z = 107 + 43. Suppose 0 = -77*d + 34*d. Suppose d*j - 5*j = -z. Is 0 bigger than j?
False
Suppose -25*u + 926 + 1107 + 1092 = 0. Does u = 110?
False
Suppose 32 = 4*n - 28. Let w = -34 - -21. Let f = n + w. Is f <= -3?
False
Let g = -46.02183 + 4.07403. Let s = 0.0522 - g. Which is greater: -8 or s?
s
Let o(b) = -750 + 8*b + 725 + 5*b. Let w be o(2). Is 97 less than w?
False
Let i = 0.25031 + -0.05031. Which is smaller: -3/4 or i?
-3/4
Let k = -69 + 52.9. Let t = k - -8.7. Is 2 equal to t?
False
Let d(n) = 4*n**2. Let r be d(1). Suppose -4*f - 195 = f - 4*w, -r*w = 2*f + 78. Let c = 39 + f. Which is bigger: c or -2/193?
c
Suppose -4*v = 2*x + 2*x - 16, v + 16 = 4*x. Suppose -x*s + 14 = -6*s. Let j(w) = w + 3. Let m be j(s). Is 2 bigger than m?
True
Let u = -2834/3 + 1053. Suppose -2*k - 3*k = -545. Which is smaller: u or k?
u
Let z be ((-6)/15)/(2/(-40)). Let u = -1896 - -641. Let q = u + 1254.94. Is z at least as big as q?
True
Let j = 604182 - 10266509/17. Let u = 269 - j. Is u smaller than -1?
False
Let v be 5/20 + (-15)/(-420). Which is greater: v or -4683?
v
Suppose d + 58 = -u - u, -u - 35 = 2*d. Let t = u + 241/9. Is t < 25/4?
True
Suppose -39*m = -38*m. Suppose m = -3*k - 3*y - 12, -y - 1 = -2*k + 6*k. Does k = -1/120?
False
Let n = -1.6 - -0.4. Let g = -33.8 + 37.8. Do g and n have the same value?
False
Let g(u) be the second derivative of -u**5/20 + 3*u**4/4 - 4*u**3/3 + 5*u**2/2 + u. Let h be g(8). Suppose -3*a - h*p - 2 = 0, 3*a - p + 2 = 6. Is 11/5 > a?
True
Let l = 23514 + -23515. Which is smaller: 2/6437 or l?
l
Suppose 0 = 9*w - 17*w - 72. Let r be (-1 - (w + 2))*(-3)/(-2853). Which is smaller: 1 or r?
r
Let y be -24 + -3*12/(-18). Which is smaller: y or -114/5?
-114/5
Let t = -35711/15162 - 2/1083. Let k = 281/119 + t. Which is smaller: -1 or k?
-1
Let p = 269 + -1886/7. Let g be (0/(2 + -4))/((-2)/(-2)). Suppose 0 = 3*y - 6*y + 4*s + 9, g = 3*y + 4*s + 15. Are p and y equal?
False
Let p be 52/(-182) + 1 + (-28992)/40593. Is p bigger than 0?
True
Let k be ((-82544)/(-18760))/((-11)/(-20)). Let v = -4.3 - 0.7. Which is bigger: v o