u. Which is smaller: u or 58?
u
Let m = -23.4 + -101.6. Let h = -124.3 - m. Which is smaller: h or -15?
-15
Suppose 3*q - 52 = -2*f + 7*q, 4*q = -4*f + 116. Suppose 131*o - 1026 = 93*o. Do f and o have the same value?
False
Let a = -257/1989 + 4/221. Let v = -20.2 + 20. Is a != v?
True
Let p be -3*(-8)/(-6) - 7136/(-1920). Let r be 321/(-45) + 2/3. Let i = r + p. Which is smaller: i or -7?
-7
Let s = 1179/242 + -22467719/4611794. Do -1 and s have the same value?
False
Let t = 17260 - 17259. Is 2/1757 smaller than t?
True
Let s(u) = 131*u - 189. Let h be s(-6). Let t = h + 957. Is t smaller than -250/13?
False
Let s = 6257 - 6493. Is 35 > s?
True
Suppose 160 = 90*m - 20. Let p(g) = -g**2 + 1. Let k be p(-1). Which is smaller: k or m?
k
Let g = -13/1915 - -24181/741105. Let w = 1/387 - g. Which is smaller: -1 or w?
-1
Let z = -999 + 979. Which is smaller: z or -265?
-265
Suppose -c - 4*b = b - 34, 82 = 3*c + 5*b. Let w(j) = -6*j + 23. Let y be w(9). Let q = c + y. Which is bigger: q or -11/2?
-11/2
Suppose -8 = a - 2*k, -4*a + 4*k - 6 = 10. Which is bigger: a or 2/1421?
2/1421
Let o = -98.079 + 0.079. Let i = 98.029 + o. Let t = i - 0.029. Is t greater than 3.3?
False
Let z be ((-14)/2)/(1 + 0) + -1. Let f be (-1602)/24 - 6/z. Let s = 66 + f. Which is greater: s or -7/13?
s
Suppose 2*m - 15 = 5*u, 2*u = -4*m + 1294 - 1300. Is m >= 43/187?
False
Let t(c) = 2*c**3 - 57*c**2 + 30*c + 47. Let h be t(28). Is h >= 108?
False
Let q = 0 - 0. Let z be (q/(-2))/(10 + -8). Suppose 0 = -t + 6*m + 21, 5*m + 25 = 2*t + 4. Which is smaller: z or t?
z
Let y = 0.59 + 29.41. Let t = y + -19.6. Let j = t + -10. Is 0 bigger than j?
False
Let o = 2652.59 + -2638. Let f = 4.59 - o. Is -0.8 less than or equal to f?
False
Let z be (3/55)/(84/(-8)). Let t be -12*1/(-3) - 20/5*1. Is t greater than or equal to z?
True
Let p be (2 - 0)/(((-8)/(-32))/((-3)/(-24))). Let v be (-22)/36 + (-2)/(-2). Let d = 1/18 - v. Is d at least p?
False
Let z be -1 + (1 - 6 - -9). Suppose 0 = -z*j + 2*l - 15 + 184, -3*l = -5*j + 280. Let s(k) = -k**3 + 19*k**2 - 30*k - 15. Let w be s(17). Is w != j?
False
Let k = 0.9521 + -5828.9521. Is -2 at most k?
False
Let r = -19696 - -19695.98. Which is smaller: 487 or r?
r
Let w = 1964 - -964. Is w at most as big as 2928?
True
Let n = -14079/4 + 3520. Is n at most 13/73?
False
Let q be (-100)/80*-139 - 1/(-4). Is 174 <= q?
True
Let i = -19 - -85. Suppose 3*s + 6 = i. Suppose 1000 = 77*h - 316 - 378. Which is greater: s or h?
h
Let w = 18999 + -19538. Which is bigger: w or -536?
-536
Let p = 29.2 + -34.191. Which is smaller: p or -2/7?
p
Let y be -1*(-2 - -1 - 0). Suppose -4*i - 154 = -810. Let f = i + -163. Are y and f nonequal?
False
Let c = 0.02298 - 0.87298. Which is smaller: 2/7 or c?
c
Let r = -0.1 + 1.1. Let h = 5997.65 + -5995. Is h greater than r?
True
Suppose -j = -4*j + 249. Let l be j - 5/25*5. Let r = 63 - l. Is -19 at most r?
True
Let m be (-45)/(-342)*38 + -9. Let z = -2422/11 + 35714/165. Is m equal to z?
False
Let q = 28/117 + -1819/2223. Suppose 2*p + 18 = 4*s - 2, -4*s = -3*p - 22. Are q and p unequal?
True
Let m be 5/((-15)/(-18))*3/6. Let k be m/(-21)*-60 + 9/21. Suppose 0 = 14*i - k*i - 40. Is 10 > i?
True
Suppose 8*h + 18*h = h. Let i be (1/47)/(1/6). Which is smaller: i or h?
h
Let c = -63/197 - -22773/985. Which is greater: 24 or c?
24
Let n = 0.86 + -93.86. Let h = -1968 + 1968.1. Is h at least n?
True
Let a = -21 - -64/3. Suppose 0 = -5*j + 2*l - 114, j + 2*l - l = -27. Is a smaller than j?
False
Let h = -98.7 + 94. Let j be (-48)/60 + 1 + (-2 - 18/15). Which is greater: h or j?
j
Suppose 2*t = -4*z + 2, z - 4*t = t + 28. Suppose -2*x - 2*s + 16 = s, x + 2*s = 7. Suppose -x*n + 3*n = -16. Is n bigger than z?
False
Let n = -63 + 0. Let r(v) = -4*v - 3. Let p be r(15). Are n and p nonequal?
False
Let s = 175 - 310. Let m = 125 + s. Which is bigger: m or -16?
m
Let n = -149/15 - -59/6. Let c(t) = -t**3 - t**2 + 5*t - 4. Let j be c(-3). Is n at most j?
False
Let j = 918 + -939.09. Let s = j - -21. Let b = 196 + -195. Is b smaller than s?
False
Let p = 0.31 + -0.21. Let q be ((-9)/6 + 101/66)*8. Is q not equal to p?
True
Let s = 0.171 - 0.263. Let k = s + -20.908. Are k and 0.3 equal?
False
Let r(j) be the first derivative of -j**4/4 - 4*j**3 - j**2 - 34*j + 1. Let w be r(-12). Which is smaller: -14 or w?
-14
Let t = 78 - 134. Let c = -41 - t. Let r = 2 - 2. Is r bigger than c?
False
Suppose 5*h - 32 = -12. Suppose -l - 12 = -3*v - 4, l - 4 = 0. Suppose s + v*o = 4*s - 72, h*s - 103 = 3*o. Is s > 28?
False
Suppose o + 333 = -4*d, 88*d + 887 = -3*o + 92*d. Suppose 0 = x - u + 300, -x + 3*u - 395 = -103. Which is smaller: x or o?
o
Let i be (-9 + -1 - -10)/(-1). Which is smaller: 1/4711 or i?
i
Let h = -2138 + 1189. Let m = h + 949. Which is greater: 106 or m?
106
Suppose 30*g = 39*g - 27. Suppose -4*d - 43 = -g*x + 53, 4*x = 5*d + 120. Is d at most as big as -4?
True
Let h be (5/(-10))/((-1)/136). Let r = h + -100. Does r = -35?
False
Let u(x) be the first derivative of -x**4/2 - 5*x**3/3 + 7*x**2 + 2*x - 87. Let o be u(2). Is -2 > o?
True
Let j = -0.97 - -0.852. Let n = -0.318 - j. Let d = -67 - -84. Which is smaller: n or d?
n
Let q be (4/(-6))/((-4305)/189 + 23). Are q and -2891/4 non-equal?
True
Let g = -12599 - -16307. Is g greater than or equal to 3710?
False
Let f be 0/(-21) + 8/(-8). Is f bigger than 3/194?
False
Suppose 4*c = 0, 11*y - 5*c = -7*y + 15*y - 57. Which is smaller: y or -1.07?
y
Let c be 778/18 - (-980)/2205. Do c and 44 have the same value?
False
Let m = -343.72 + 343. Let v = m - -0.72. Which is greater: v or 133?
133
Let v = -3918 + 3918. Which is bigger: -4 or v?
v
Let b = 24616 + -24515.47. Let k = b - 101. Let u = k - -1.47. Which is bigger: -0.3 or u?
u
Let u(t) = 63*t - 38. Let d be u(1). Suppose d = -h + 26. Is h != 1/596?
True
Let k(m) = -3*m**2 - 16*m + 9. Let w be k(-6). Let x be (w*(102/(-27) - -4))/4. Which is greater: 40 or x?
40
Suppose 15*k = 7*k + 672. Let s(u) = 24*u - 58. Let f be s(6). Which is bigger: k or f?
f
Let j = -413382/25 - -16536. Which is smaller: 2 or j?
j
Let n = -2 - -6. Let i(k) = 25*k - 13. Let m(d) = -22*d + 16. Let l(s) = -4*i(s) - 5*m(s). Let y be l(n). Is 7 greater than y?
False
Let r = 1016 - 996. Are r and 5 equal?
False
Let m(n) = -2*n**3 - 11*n**2 - 28*n - 114. Let g be m(-5). Which is bigger: g or 3/15293?
g
Let c = -6.939 - -6.939. Which is smaller: c or 1625/7?
c
Let p(q) = -q. Let o be p(1). Let c(x) = 0 + 14*x**2 - 3*x + 2 + 5*x - 9*x**2. Let k be c(o). Which is greater: 7 or k?
7
Suppose -4*f - 4*x = 0, 0 = -2*f + 5*f - 2*x + 5. Let h(o) = 76*o. Let z be h(1). Let u be 1 + ((-236)/z - -2). Is f at most as big as u?
True
Let w(o) = 6*o**2 - 66*o + 3. Let n be w(11). Is n not equal to 22?
True
Let g be 14 - (-1)/36*-1084. Which is greater: g or -16?
-16
Let t be (-48)/26*245/(-70). Suppose 11*y = 16*y - 25. Are t and y nonequal?
True
Let m be 33/66*((-39)/51 - -1). Let b = -4.2 + 4. Which is greater: b or m?
m
Let k = 44.9212 + -0.0212. Let x = k + -45. Let r = 7.9 - x. Which is bigger: r or 0.2?
r
Let m be 1 - 41/(-9)*7. Let z be (-21)/(-6)*11154/1183. Which is smaller: m or z?
m
Let x(h) = 30*h + 6. Let a(b) = -15*b - 3. Let d(c) = 13*a(c) + 6*x(c). Let v be d(-7). Suppose -5*q + q - v = -5*o, 5*o - 79 = 3*q. Which is greater: q or -24?
q
Suppose 0 = 4*l + q + 2 - 16, -4*l = 4*q - 8. Suppose 5*y - l*y - 2*s = -8, -s + 1 = 0. Let t be (-28)/63*y/68. Is t < 0.1?
True
Let w be 8 - 6 - (-3)/675*-411. Is w < 2?
True
Let j = 3497 + -3680. Is -182 bigger than j?
True
Let q(b) = -28*b - 2243. Let k be q(-79). Are -329/11 and k non-equal?
True
Let v = 450 + -277. Let i = v - 54. Is 2/7 >= i?
False
Let t = 3368 + -3364. Is t <= 186?
True
Let y(m) = -m**3 + 12*m**2 - 41*m + 208. Let g be y(10). Which is greater: -2/1113 or g?
-2/1113
Let b(v) = v**3 + 9*v**2 - 9*v - 2. Suppose y + 6 - 18 = m, 4*m + 5*y = -30. Let c be b(m). Let n be (-5)/(-20)*2*c. Is -6 greater than or equal to n?
True
Let o = 8188/21 + -5058/7. Is o >= -334?
True
Suppose 600 = 28*u - 33*u. Let v be (u/9 - -5)*(-4 + 1). Is 1/16 equal to v?
False
Let h = -94.14 - -93. Let j = 0.86 - h. Is j at most as big as 2?
True
Suppose 42 = 4*s - 42. Let p be 9/72 - s/40. Suppose 2*u + 4*o = -o - 131, -2*u - 125