o = -176627/3 + 58350. Let p = o - -525. Which is smaller: p or -40?
-40
Suppose 10*o + 18 = o. Let s(r) = -11*r - 17. Let x be s(-6). Let w = x - 50. Which is bigger: o or w?
w
Suppose -157 + 602 + 600 = -1045*o. Let u = -4/1083 + 89905/4332. Let v = u - 21. Are o and v unequal?
True
Let l be 5/4*11/(-11550)*-28. Let u be (-3)/1 + 6 + -1. Suppose g + u*g = 3. Which is smaller: g or l?
l
Let r be 2125/6120*(-1 + 4). Which is bigger: 2 or r?
2
Let m(f) = -5 - 2 - 9 + 7 - 34*f. Let z be m(-2). Let l = -27 + z. Is 32 smaller than l?
False
Let x = -39 - -57. Suppose 4*s + 2*a + x = 0, 5*s + 0*a - 2*a + 9 = 0. Let r = 296 + -898/3. Do r and s have different values?
True
Suppose 0 = 3*i - 4*o + 1635, 2*i - 4*o = -717 - 373. Is i bigger than -545?
False
Let f(o) = -2*o**2 + 102*o + 88. Let w be f(47). Are 457 and w nonequal?
True
Let n be 130/39*-3 + 1169. Which is smaller: 1153 or n?
1153
Let g be (70/(-40))/((-2)/8). Suppose 3*w = f - 61, 4*f - w + 133 = g*f. Are 44 and f non-equal?
True
Suppose 18*x = -25608 + 25806. Which is smaller: 285/28 or x?
285/28
Let u be 225/(-525) - 20/(-14). Let n be 38 + 27 - -7*u. Which is smaller: 367/5 or n?
n
Let o = -1990 + 13915/7. Let q = 0.272 - 0.112. Which is greater: q or o?
q
Let s = 124/119 - 2326/1547. Let f(n) be the third derivative of n**4/24 - 2*n**3/3 + 2*n**2. Let k be f(3). Is s at least as big as k?
True
Let y(u) = 85*u**2 + 41*u + 214. Let i be y(-5). Which is smaller: i or 2135?
i
Let x be (-1 + 7 + 0)/((9 - 11) + 10). Is -580 at most as big as x?
True
Let s be (3/1)/((-27)/23526). Are s and -2612 equal?
False
Let n(w) = 93*w - 59. Let p(a) = a - 2. Let h(c) = -n(c) + 6*p(c). Let s be h(6). Which is bigger: s or -474?
-474
Let c = -869 + 1222. Let p = c - 357. Does p = -0.3?
False
Let c be 198/(-55)*((-649)/(-1610) - 38/95). Is c at least as big as -1?
True
Let n = 5183/1276 + -48/11. Which is bigger: n or 0?
0
Suppose -2*y - 2*y = 64. Let l be (-12)/y - 2*(-3)/24. Does 9/43 = l?
False
Let l = 8749807/340270 + -1/48610. Suppose 130 = 5*w - 5*v, 4*v - 29 = -w + 2. Is w greater than or equal to l?
True
Let n be (2/(-4))/(6/(-32)). Let x = -434 + 157. Let a = -278 - x. Which is smaller: n or a?
a
Let j = -2.46 + 0.16. Let z = 0.02702 - 206.92702. Let m = -207 - z. Which is smaller: j or m?
j
Let c(x) = 3 - 12*x - 10*x + 29 - 7*x. Let k be c(4). Is k >= -85?
True
Suppose 14 + 1 = -3*v. Let z be v/(-3) + 36/27. Suppose 0 = -l - 5*o + 3, 2*o = -l + 3*l - 30. Which is bigger: l or z?
l
Let u = 0.0783 - 37.3783. Let k = u + 38. Let n = 0.3 + k. Is n less than or equal to 31/2?
True
Let j(b) = 58*b + 432. Let z = 371 - 379. Let x be j(z). Which is smaller: -19 or x?
x
Suppose 0 = -7*x + 686 + 224. Let r be (-40)/x*3/6. Which is greater: 1/2 or r?
1/2
Let v = -268/39 + 189515/27573. Let g = -383969 + 383968. Is g less than v?
True
Let j be -4*(0 + -1) - 2. Let c = -452 + 2677/6. Let o = c + 6. Is j smaller than o?
False
Let u be (-3)/(-2)*(264/72 + -4). Let y(v) = -v**2 - 4*v + 2. Let l be y(-4). Let d = 9 - l. Are u and d non-equal?
True
Let l = -11 + -1. Let y be 4 - ((-747)/(-2100))/((-18)/(-732)). Let d = -6/175 + y. Which is bigger: d or l?
d
Let a = 3 - 12. Let v be (-2)/(6/a) - (-45)/(-8). Let i = v + 33/8. Which is greater: -0.6 or i?
i
Let j be 2040/(-11341) - (-6)/33. Let g be (0*25/(-400))/(-2). Is g less than j?
True
Let u(z) = -3*z - 1. Let s(y) = -6*y**2 - 71*y + 18. Let c(q) = -s(q) - 2*u(q). Let l be c(-13). Which is smaller: l or 3.5?
l
Let l(n) = 3*n**3 + 130*n**2 + 41*n - 120. Let u be l(-43). Is u >= -29?
False
Let b be 1/(-4 + 23/6). Let c be (-7)/b - (-6)/(-6). Let g(a) = -a**2 - 9*a - 14. Let p be g(-7). Does p = c?
False
Let w be (10/3)/(2/(-15)). Let d be (2 + 0)/((-21)/(-63)). Let r be d/12 - (-51)/(-2). Does w = r?
True
Let q be 16*9/432*(2 + 2/2). Is q not equal to -23/140?
True
Let x be 31918/(-8) + (-828)/368. Is x at most as big as -3992?
True
Suppose 0 = -3*x + 4*r - 8534, 641*x - r + 11357 = 637*x. Which is bigger: -2839 or x?
x
Let f be -8*2/4 - (-158756)/39690. Which is smaller: 0 or f?
f
Suppose -5*w + 58 = -77. Let o = -53 + w. Let v = 26 + o. Which is smaller: v or 4?
v
Let h be ((-14)/21)/(92/(-6)). Let u be (-108)/(-84)*7*1/9 + 0. Which is smaller: h or u?
h
Let h = -548 - 481. Let g be 10 + -1 + h/105. Which is bigger: 1/45 or g?
1/45
Let q be 1*(5 + 15)/(-2). Let m be -30*((-6)/10)/(9/q). Let l = 24 + -45. Is m >= l?
True
Let r(m) = -m**2 - 41*m - 113. Let u be r(-28). Let l = u + -584. Are -333 and l non-equal?
False
Let i = 523 + -524.407. Let f = i - -0.207. Which is bigger: -4 or f?
f
Let q(h) = -h**2 - 1049*h + 1. Let y be q(0). Let v(z) = -z**3 + 5*z**2 + z - 10. Let n be v(7). Let k = n + 709/7. Is k >= y?
False
Let z be 1 + (14/8)/(-1). Suppose 10*c = 4*c - 588. Let y be c/56*(1 - (5 - 0)). Which is greater: z or y?
y
Let j be ((-21)/336)/(7/(-45332)) + 3/(-4). Do 410 and j have different values?
True
Suppose -5*y + 73 = 28. Suppose -y*w + 22848 = 7*w. Let q be (0 - 2)*((-10003)/w - -7). Which is smaller: q or -1?
-1
Suppose 260 = -h + 5*h. Suppose 0 = -3*c - x + 39, 4*c - 3*x = -0*c + h. Is 18 less than c?
False
Let c = -12204 - -12207.39. Which is smaller: 3/8 or c?
3/8
Let w = 28 + -46. Let x = 22 + w. Let u be (2 - 0 - x)*(1 + 1). Which is smaller: u or -14/3?
-14/3
Let j = 7895 - 7826. Which is smaller: j or 84?
j
Suppose 290*j + 2666346 = 192*j - 263*j. Is -7386 at most j?
True
Let o = 2302 + -2290. Let h = 503/24 + -77/8. Are h and o unequal?
True
Let m be -42*((-4)/24)/((-4)/64). Let j be (42/18)/(3/(-144)). Is m at least j?
True
Let s be 668*1 + (27 - 34) + 12. Which is bigger: 676 or s?
676
Let c = 8 - -7. Suppose c*h = 14*h - 4. Let p be (-4)/(-10)*(-2)/h. Are p and 2 equal?
False
Let r be (3/(-2))/((-6)/(-16)*498/(-35109)). Which is bigger: r or 272?
r
Let h = -277 + 363. Let q = 230 + -145. Which is bigger: q or h?
h
Let y = 2921 - 4184. Are -1263 and y nonequal?
False
Let q(s) = -21 - 20 - 14 + 12*s - 6. Let d be q(5). Let p = 0.308 + -0.35. Which is smaller: p or d?
d
Let g(b) = -2*b**3 - 22*b**2 - 52*b - 13. Let q be g(-3). Which is greater: -10/999 or q?
-10/999
Let m = 268463/235692 + -1/6547. Let l = m + 2171/180. Which is smaller: l or 14?
l
Let v = -543 + 551.01. Let r = -0.01 + v. Let f = 9 - r. Which is bigger: f or 7?
7
Let r = 431 - 231. Let j = r - 285. Let l = j - -125. Which is smaller: 41 or l?
l
Suppose 153*r + 12905 = 298*r. Is r equal to 1142/13?
False
Let c = 8663 - 22295. Let j be -6 - c/1364 - (-3 + 7). Is 1 bigger than j?
True
Let p(d) = 5*d - 76. Suppose 69*c = 79*c - 200. Let q be p(c). Which is smaller: q or 20?
20
Suppose 643*d = 650*d + 21. Which is bigger: 315 or d?
315
Let h = -28/10547 - -563406/220168625. Which is bigger: 0 or h?
0
Let o be 4/(-14) - 17916/(-84). Suppose -7*r + 2*r = j + 69, -o = 4*j - r. Let t be j/13 + (-14)/(-91). Which is bigger: -8 or t?
t
Let u = -855 - -870. Let s(m) be the third derivative of m**4/24 - 2*m**3 + m**2. Let c be s(u). Is c at most as big as 7?
True
Let x(p) = -p**3 - 6*p**2 - 7*p. Let k be x(-5). Suppose -3*b = -2*v - 56, v = -0*v - 3*b - k. Suppose 17*z = 20*z + 63. Which is smaller: z or v?
v
Suppose 3*b = b - 5*n + 4499, 2*b = -4*n + 4500. Suppose -16*y - 1492 - b = 0. Are y and -233 nonequal?
True
Let f be 216/(-64) + 6/16. Let k be -1 - -1 - f*21/(-81). Is 0.3 smaller than k?
False
Let q(v) = 2098*v**2 + 296*v - 295. Let p be q(1). Which is bigger: 2100 or p?
2100
Let x be (10/25)/((-4)/6). Let j = -9.18 - -9. Let i = j + 1.18. Which is bigger: x or i?
i
Let f be ((-30)/(-25))/((16/(-230))/(-4)). Suppose -57*s = -f*s - 168. Are -16 and s unequal?
True
Let h = -5738920/59 - -97256. Is h bigger than -13?
False
Suppose 488 = 58*d + 33 + 49. Which is smaller: -478 or d?
-478
Let y = -4352/161 - -27. Suppose 36*z - 29 = 7. Which is smaller: z or y?
y
Let v = 62 - 56. Let j be ((-16)/v)/(36/(-54)). Suppose 24 = -5*t + 4*s - 41, t + j*s + 13 = 0. Which is smaller: -10 or t?
t
Let t = 34053174/11 - 36947629121/11935. Let l be (-884)/(-868) + (10 - (-44)/(-4)). Let p = t - l. Which is bigger: p or 4?
p
Let g(b) = 3*b**2 - 16*b + 52. Let h be g(4). Let n be -1*(8/h + 469/(-1827)). Let m be 2/(-4) - 3/6. Is m greater than or equal to n?
False
Let b(x) = -130*x + 3730. Let c 