= -34130 - -34323. Which is smaller: 179 or o?
179
Let r = 8394.259 + -8394. Are r and -0.09 nonequal?
True
Suppose 17*j + 6900 = -8*j. Let l = j + 274. Let w = -184/5 + 1049/30. Is w > l?
True
Suppose -22*z + 25*z = 174. Suppose 61*o - 295 = 56*o. Which is smaller: o or z?
z
Let f(u) = u**3 - u**2. Let b be f(0). Suppose b = g - 14*g - 26. Let j be (-3)/g - 5/((-30)/(-12)). Are j and 61/5 equal?
False
Let l = -70.167 + 0.167. Let t = -10348 - -10351. Which is greater: t or l?
t
Let f be 356/12 - -2 - (-6)/(-9). Let r be (f + -2)/((-110)/20). Which is smaller: -5 or r?
r
Let b = -15254/3 - -5198. Let z = 20728777373/267 + -77635757. Let l = b - z. Which is bigger: l or 2?
2
Let o(f) be the first derivative of -f**2 - 5*f + 22. Let g be o(-5). Let c(h) = h**3 - 3*h**2 - 3*h + 1. Let u be c(4). Is g at most u?
True
Let h = -0.56 + -0.04. Let a = h - 1.4. Let z = -0.505 - -1.405. Do a and z have the same value?
False
Let u = 23537/54887 - 2/7841. Are 1224 and u equal?
False
Suppose 5*t - 3*b - 1425 = 438, 4*t - 2*b = 1492. Suppose o + a - t = 0, 4*o + a + 50 = 1547. Is 374 at most o?
True
Suppose -1343 + 1511 = 3*x + 3*u, 2*x - u - 118 = 0. Is x equal to 237/4?
False
Let v be (-6)/((-5308380)/177166) + 3/(-15). Is v at least -1?
True
Suppose -2749*o = -2779*o + 14850. Is o >= 490?
True
Let u = 1.06573 - 0.06573. Which is smaller: u or -726?
-726
Let q be -12 + 199890/24987 + 4. Is -1 less than or equal to q?
True
Suppose -273*t - 58098 = 159*t + 42558. Is t at most as big as -233?
True
Let l be -7 + 1268/36 + (-2)/9. Let q be 48/(-14) + l/(-49) + -47. Are -356/7 and q equal?
False
Let h = -5 - -3. Let c = -6176 + 6202. Which is smaller: h or c?
h
Let k = -33.18 - -1849.18. Is 0.2 not equal to k?
True
Let b = 155.51 + -155.46. Which is bigger: 1/6 or b?
1/6
Let i(h) = -25*h - 21. Let a be i(-6). Let x = a + -81. Let b = x - 46. Which is smaller: b or -40?
-40
Let p = 11513179050 - 632614649231728/54947. Let b = 2/2389 + p. Is 1 < b?
False
Suppose 69*p - 70*p = 2. Let w be ((-3)/1 - p)/1. Which is bigger: w or 6/113?
6/113
Let q = 315 - 321. Let r be ((-42)/22 + 2)*90/q. Suppose -w + 5*w = 0. Is r bigger than w?
False
Let d be ((-135)/25)/(-9) + (-327039)/15. Let f = d - -370530/17. Is -6 at least as big as f?
True
Suppose 0 = -4*s + 3*b + 20, 142 - 158 = 4*b. Is 18 smaller than s?
False
Let i = 25.3 + 94.7. Let h = i + -120.2. Which is smaller: h or 1.04?
h
Let s = -155.6 - -156.1. Let f = -18.4 + 19. Are f and s equal?
False
Suppose 5*l - 88 = 4*k - 63, 0 = 3*l - k - 22. Let g = 73 + -92. Which is smaller: g or l?
g
Let c(j) = j**2 - 2*j - 7. Let h be c(5). Suppose 0 = 4*u - 3*b + 3, b + 2*b - 12 = u. Suppose -u*f - 4*m = -47, 5*m = 5*f + 11 - 31. Which is smaller: f or h?
h
Let t(m) = m**3 - 17 - 23 - 22 + 80 + 3*m**2 - 14 + 7*m. Let l be t(-1). Is 0.315 >= l?
True
Let d = 553.6 + -534.6. Suppose 5 = -5*i, 5*p - i = -10 + 1. Are d and p nonequal?
True
Suppose -5*j + 51 + 23 = m, -11*m - 3*j + 710 = 0. Is 316/5 <= m?
True
Suppose -9*z + 19 = -26. Suppose 237 = -10*c + 697. Let b = c - 38. Are b and z unequal?
True
Let g be 73*(5 + (-21696)/4344). Is -1 > g?
False
Suppose 3*z + 1 = 25. Suppose -9*n = 6*n + z*n. Which is smaller: n or -3?
-3
Let h = 4979 - 4980. Which is greater: 21/122 or h?
21/122
Let p = 17809 - 17399. Which is smaller: -1/2 or p?
-1/2
Let s(i) = -i**2 - 4*i - 25. Let w = 130 - 127. Suppose 5*v - 5 = 5*z - w*z, -z - 4*v = 9. Let p be s(z). Is -31 bigger than p?
False
Let i be 12 - (6 - (16 + -22)). Which is smaller: -2/2471 or i?
-2/2471
Suppose z + 4*i = -z + 428, 2*i = 6. Let v = z + -233. Is -29 greater than v?
False
Let x be (-3)/3 - (-10)/(-12). Let d = 8.262004 - 0.262004. Which is smaller: x or d?
x
Let q be (-56)/196 - 1/(77/29875). Let g = 388 + q. Is g at least as big as 2/3?
False
Let p = -0.2 + 0.4. Let k = -7.3 - 32.1. Let g = -42.5 - k. Which is greater: g or p?
p
Let l = -0.629 + -266.371. Let y = 304 + l. Does -1 = y?
False
Let c = 0.38 - -15.62. Let o = c + -7. Let t = -16228 + 16226. Is t at most o?
True
Let i be 2 - 2/4*(1200/35)/10. Is i >= 639?
False
Let h = -432 - -109. Is h greater than -323?
False
Let n = 610 + -498. Suppose -n = -2*a - 5*a. Let j be 17 - (-1 - 0) - 2. Is j < a?
False
Suppose 12*s - 61 - 35 = 0. Suppose s*b = b + 84. Suppose b*n - 11*n = 12. Which is bigger: n or 40/3?
40/3
Let d(k) = k**3 + 29*k**2 + 301*k + 67. Let x be d(-31). Which is smaller: -2/3 or x?
x
Let g = -1155757/52 + 22224. Are -2 and g equal?
False
Let i = 226.7 + -233. Let k = i - -74.3. Which is smaller: k or 1?
1
Let n be (-8)/(5736/(-12420) - 8/(-18)). Let r = n - 956. Is -495 > r?
True
Let d = -728 - -700. Let a be 21/d - (1143/(-4) - -1). Which is smaller: a or 283?
283
Suppose 16*q - 22*q = -2076. Let r = -346 + q. Which is smaller: -9/25 or r?
-9/25
Let g be 96/64*4/6. Let n be ((-2)/20)/((-33)/(-15) - g). Is n greater than 1?
False
Let d be 15 - 637/42 - 151/(-888). Let f be 492586/(-12432) - 2/(-7). Let q = f + d. Which is smaller: q or -40?
-40
Let m = 31 + -16. Suppose 68 = -s - 4*d, 4*s = 2*d - 221 - m. Let z be 7/(-35) + 93/s + -2. Is z at most -4?
False
Let y(o) = o**3 + 8*o**2 + 6*o - 4. Let c be y(-7). Let p(d) = -2*d**3 + 65*d**2 + 331*d + 78. Let r be p(37). Is r smaller than c?
False
Let d be (-8 - -6) + (-6278)/12 + -3. Let z = d - -527. Let f = 0.03 + 0.02. Is z bigger than f?
False
Let o(l) = -l**2 - 66*l + 165. Let x be o(-64). Which is bigger: 3 or x?
x
Let n be (-22)/(-6)*108/174. Let o = 28 - 27. Is n bigger than o?
True
Let b = -24341 - -24698. Which is smaller: b or -29?
-29
Let p(g) = g**3 + 48*g**2 - 7*g + 553. Let j be p(-48). Which is smaller: j or 1?
1
Suppose -2*x + 0*x = -12. Suppose -x = 15*q - 13*q. Let y = 133/2 - 68. Does y = q?
False
Let s be 425*(-1)/(-20) + 3/4. Is 44 at least as big as s?
True
Let v = -28.667 + 55.514. Let i = 26.7 - v. Is i bigger than -0.1?
False
Let f = -64 + 106. Suppose -134*u + 1978 = -88*u. Is f smaller than u?
True
Let j = -26.41309 + 0.45609. Let t = j - -26. Let o = -0.143 + t. Is 10 at least o?
True
Let u(q) = 88*q - 1145. Let r be u(13). Is r greater than -171/121?
True
Let r be (0 - -19) + (-96732)/30. Which is bigger: r or -3204?
-3204
Let x be 1*2 + (4 - 977)*-1. Suppose -5*j - 172 = -t, -2*t - 3*t + 2*j = -x. Which is smaller: -1/4 or t?
-1/4
Let q(z) = z**3 - z**2 - 14*z + 13. Let c be q(4). Suppose 0 = c*y + 5*w + 240, -175 + 55 = 3*y - 3*w. Is -43 >= y?
True
Let n(s) = -s**2 + 5*s + 7. Let l be n(6). Let h(f) = -4*f**2 - 212*f - 24. Let u be h(-53). Let d be ((-10)/u)/(6/((-156)/(-65))). Which is bigger: l or d?
l
Let z = 809 + -809.677. Let q = 0.297 + z. Which is bigger: q or 3?
3
Let j be (-57)/11 + 5 - (-97)/(-11). Let o be 2/(-5)*(j - 6). Suppose 2*y + 2*f = -4, -4*y + f - 4*f - o = 0. Is -2/229 greater than y?
False
Let b = 2564 - 1120. Are b and 0.1 nonequal?
True
Suppose -7*j + 28 = -3*j. Let g be 28/(-5)*(j/2 - 6). Which is greater: g or 15?
15
Let w = -148 - -26. Let s = 132 + w. Let y be (4/s)/(12 - (8 - 4)). Which is greater: 1 or y?
1
Let r be 18/4 - (-16077)/(-3262). Which is smaller: r or -458?
-458
Suppose 29*j + 34*j - 6755 = 58*j. Which is greater: 1353 or j?
1353
Let w = 900 + -894.81. Let s = w + -0.19. Is s greater than or equal to 0.1?
True
Let m be 566/(-1116) + 5/10. Let b be ((-9)/3 - -8) + 12531/3348. Let p = m - b. Is p != -10?
True
Let d be ((-938)/(-35))/((-4)/(-10)). Let o = 141 + -140. Which is smaller: o or d?
o
Let q be (575/(-690))/(80/13248). Let r = 264 + -403. Which is smaller: r or q?
r
Suppose h - 17*u + 6066 = -19*u, -5*u = -2*h - 12186. Is -6078 not equal to h?
False
Let i = -21991 + 21368. Which is bigger: -637 or i?
i
Let o be -2 + (-36)/9 + -316. Is o bigger than -322?
False
Let a(g) = 22*g**2 - g + 1. Let c be a(1). Suppose -6 = 4*h - c. Suppose -7*y = -10*y + 12. Is y not equal to h?
False
Suppose -6*p + 30*r - 26*r = 3552, 0 = 5*p - 5*r + 2970. Which is smaller: p or -579?
p
Let t = 0.0351 + -6.5851. Let g = t - -3.75. Is g at least as big as -2/25?
False
Suppose -3*n + 12 = -3*z - 4*n, -z - 2*n - 9 = 0. Let h be 2 - (z/(-126)*123 + -1). Is 1/4 less than h?
False
Let k = 14200 - 14055. Is k greater than 2458/17?
True
Let t = -581.5 - -264. Let f = 318 + t. Does -11/6 = f?
False
Let n(l) = -121