5?
-1/5
Let r = -1761171/17 - -103699. Which is greater: 102 or r?
102
Let k(y) = -y**2 + 3. Let o be k(6). Let q = 4455 - 4487. Which is greater: q or o?
q
Suppose -3*q + q = -6. Let f(k) = -k. Let i be f(q). Let j = 1025.5 - 1026. Which is smaller: j or i?
i
Let r = 1045 + -1045. Which is smaller: r or 13/85?
r
Let k = -365/91 - -7094779/1768858. Which is smaller: 1 or k?
k
Suppose -6*m - 142 = c - 9*m, -5*m = 0. Which is smaller: c or -141?
c
Let o(z) = z**3 + 3*z**2 + 4. Let g be o(0). Suppose -4*u - 216 = 5*d, g*d + 167 = u - 10. Which is bigger: -48 or d?
d
Let a be ((-1)/50)/((-2)/(-8)). Suppose 0 = 8*g - 18*g + 80. Suppose r = -g*r. Is a less than or equal to r?
True
Suppose 1433 + 407 = 23*h. Suppose 37*f - h = 45*f. Is f greater than or equal to 6/5?
False
Let k be (2/(-12))/(1/(-6)). Is k <= -36/191?
False
Suppose 10*m + 14*m - 1080 = 0. Let b = 6 - 8. Let g = b + 2. Which is greater: g or m?
m
Let v be (150/(-700))/((-858)/1871). Let g = 27/52 - v. Which is bigger: g or -1?
g
Let o be 10/8*12/13315. Which is smaller: -1 or o?
-1
Let p be (205/(-35) + 2)/(-3). Let w = p + -17/14. Are w and -1 unequal?
True
Let r = 31 - -2. Suppose 5*j - 1066 = 934. Let u = -366 + j. Is u bigger than r?
True
Suppose 4*m = 3*g + g, -40 = -3*g - 5*m. Suppose 5*h - 34*h + 108 = -2*h. Which is bigger: h or g?
g
Let n = -200 + 211. Suppose n = -5*g - 6*g. Which is smaller: -2/17 or g?
g
Let a = 21/184 - 137327/552. Which is bigger: -249 or a?
a
Let a(u) be the first derivative of u**4/4 - 4*u**3 + 8*u**2 + 13*u - 79. Let f be a(6). Is f greater than -106?
False
Let p = -3753 + -1653. Let v be (3 - p/(-1800))/(2/(-4)). Which is smaller: v or 0?
0
Let m = 7 + -4. Let j be (-10)/(-5)*m/2. Suppose -3*u + 3*r + 6 = 0, -u + 5*r + j + 11 = 0. Are 1 and u equal?
False
Let n(j) = -j**2 - 3*j + 10. Let t be n(-5). Suppose -9*c - 5*c - 42 = t. Let q be (c + 159/52)/(36/64). Is 1 greater than q?
True
Let p be 13/(520/(-32))*5. Let i be p/(-6) + (-893)/(-114). Which is bigger: i or 9?
9
Let b(a) = -282*a + 1464. Let d be b(5). Is d greater than or equal to 36?
True
Suppose -j + y - 47 = 0, -4*y - 76 = 5*j - 3*j. Let s be (-17802)/(-99) + (-8)/j. Which is greater: 181 or s?
181
Let w = 143 - 155. Let u(x) = -4*x**3 - 52*x**2 - 37*x - 3. Let a(h) = -h**3 - 13*h**2 - 9*h - 1. Let g(y) = -22*a(y) + 6*u(y). Let p be g(w). Is 6 <= p?
False
Suppose -5*h = -119 - 281. Let l = h - 81. Which is bigger: l or -1/65?
-1/65
Let u be 13/((-390)/332) - -11. Which is smaller: 75 or u?
u
Let p = -27 - -14. Suppose -95 = -11*d + 26. Let a = p + d. Which is bigger: -5/3 or a?
-5/3
Let h be 2/9 + 13839/(-189). Which is greater: h or -31?
-31
Let r = -27627 + 26430. Which is bigger: r or -5?
-5
Suppose -2*w - 10*w + 2832 = 0. Which is bigger: w or 945/4?
945/4
Let r be 3*(284/6)/2. Suppose r*p = 63*p + 8. Which is smaller: p or 2/377?
2/377
Let i be 15/(-80) - (0/3)/2. Let g(w) = 65*w**3 - 2*w**2 - w + 2. Let v be g(1). Let p = 63 - v. Does i = p?
False
Suppose -10055 = -44*y - 10099. Let o = -145/56 - -101757/39256. Which is greater: y or o?
o
Let m = 1.33 - -10.67. Let r = 0 + 20. Let f = m - r. Which is greater: f or 4?
4
Suppose -2*o - 4*x = -30, 3*o - 3*x = -2*o - 29. Is o equal to 4/1465?
False
Let r = -55.7 + 55.8. Which is greater: r or -21.1?
r
Let y = 379 + -370. Suppose -y*m + 6 = -11*m. Does -1/32 = m?
False
Suppose 543 = -2*r + 137. Let z be -3*((-4)/(-10) + r/(-105)). Suppose -8 = 2*p, -4*l - 32 = -0*l - 2*p. Is l greater than or equal to z?
False
Let x be ((-4)/3)/((-4)/6). Let q = x - -3. Suppose -68387*t = -68401*t. Which is smaller: q or t?
t
Let g = 8.0607 - -0.0993. Let k = -1.16 + g. Let q = 523/5 - 105. Is q greater than or equal to k?
False
Let o(h) = h**2 + 39*h - 4. Let j be o(-9). Let l = 302 + j. Is l >= 28?
True
Let x = -628 + 46469/74. Let r = x + 169/518. Which is smaller: r or 3.4?
r
Suppose 101*b + 99644 = 43*b. Is b less than or equal to -1721?
False
Let x(f) = f**2 - 3 - 8*f**2 + f**3 + 13*f - 15*f. Suppose 3*j + 6 = 3*y - 2*j, 0 = -4*y + j + 25. Let l be x(y). Is l <= 0.2?
True
Suppose -56*g = -72*g. Let i be g - (-1 + 1)/1. Let r be ((-12)/(-2))/((-42)/9). Is r less than or equal to i?
True
Let y be (-1972)/(-44) - 6/(-33). Let c = y + -41. Suppose -4*a - a + 20 = -p, -5*p - a = -4. Which is smaller: p or c?
p
Let j = 157.42 + -163.42. Does -11/5 = j?
False
Let s(r) = 1480*r - 4. Let p be s(1). Let o be ((-6)/12)/((-3)/p). Is 245 != o?
True
Let l = -39 - 391. Let x = l - -430.02. Is 20 <= x?
False
Let r(d) = -3*d**3 + 2*d**2 + 3*d. Let p be r(-4). Let y = -22679 + 22890. Is p at most as big as y?
False
Let s be (2/10)/(0 - -9). Let p = 1147 - 923. Let u = 223 - p. Is s smaller than u?
False
Let l = -481 + 492. Does l = 2?
False
Let k be 240/360*21638/(-12) - (-2)/18. Which is smaller: k or -1200?
k
Let g be (-7289)/(-4255) + (-2)/(-23) + 16/(-20). Are g and -9/776 equal?
False
Suppose -1884 - 6695 = -105*m + 871. Do 93 and m have the same value?
False
Let p be ((2/6)/(-1))/(1/9). Let t be (p - 0)/((-3)/(-5)). Which is smaller: -13 or t?
-13
Let a = -19341/5378081 + -1/9941. Suppose 1 = -5*o + 3*d, 3*d = 13 - 7. Which is bigger: a or o?
o
Suppose -13*f - 17 = 4*f. Let h = -834 - -474. Let z be h/(-162) - (1/1 - f). Which is bigger: z or 0?
z
Suppose 4*w + 2*d + 94 = 0, -32 = 2*w - d - d. Suppose 2*m - 5*v - 72 = -m, 4*m + 3*v = 125. Let o = m + -48. Which is bigger: o or w?
o
Suppose -40 = -5*w + 50. Let k be 429/w + (-1)/3. Is 25 smaller than k?
False
Suppose -9 = 2*r - 0*m - m, -2 = -4*r - 2*m. Let w(s) = s**3 - 27*s**2 - 4*s + 103. Let u be w(27). Which is bigger: r or u?
r
Let z(j) = j**3 - 27*j**2 + 30*j - 104. Let u be z(26). Let x be u - (4 + 4)/8. Is 9/70 greater than x?
True
Let f = -385 + 698. Let x = f - 312.9. Let g = 2/235 - 713/940. Which is smaller: x or g?
g
Let w = 3355 + -1552. Let i be 1/(-2)*(7 + w/(-257)). Which is bigger: i or -1?
i
Let p = -88 - -443/5. Which is smaller: p or 7/6?
p
Let m = 31.71 + -32. Let o(s) = -2*s - 12*s + s**2 + 21 + s - 70. Let k be o(16). Which is greater: k or m?
m
Let s = -355 + 15619/44. Let w be 54/21 + -7 + 5 - (-99)/(-63). Is w equal to s?
False
Let z = 5799 + -5799. Is z at least as big as -8/403?
True
Suppose -5*k - 2*g = -11, 9*k + 2 = 14*k - g. Let a be (975/300)/(-1*k/52). Are a and -170 non-equal?
True
Let d be (9/(45585/(-20)))/6*-3. Let r = 23305/3039 - d. Which is greater: 8 or r?
8
Let u(r) = -32*r**2 + 234*r + 522. Let f be u(9). Let w(h) = 7*h - 7. Let o be w(6). Are o and f nonequal?
True
Let d = 41 + -39. Let x be 1 + d/(-3)*18/(-12). Suppose -2*k - x*t = -5*t + 15, 2*t - 10 = 0. Which is greater: k or -37?
k
Let y be ((-54)/(-360))/(-1 + 1130/1128). Let j = -419/5 + y. Is j less than 0?
False
Let s = -12801 + 12800.9. Is -19575 at least s?
False
Let x = 55 - 120. Let n = 71 + x. Suppose 13 - 7 = -n*p. Is 1/44 equal to p?
False
Let p = -819153 - -819351.0305. Let l = 0.0305 - p. Are -1 and l non-equal?
True
Let w be 47/(-47)*(85/25 - 3). Which is greater: w or -7.67?
w
Let x = 1 + 18. Let v(g) = 95*g - 1397. Let w be v(15). Suppose 0 = -x*f + 21*f - w. Which is smaller: f or 12?
12
Let l be (56 - (4 + -4))*93/4. Let o = -1866 + l. Let i be o/(-4340) - (-2)/(-14). Is i >= 1?
False
Let j = 0.29107 - 17.50407. Are 0 and j unequal?
True
Let p = 58 - 48. Suppose 0 = -6*m + p + 8. Let y(w) = w**2 + 3*w + 4. Let g be y(m). Which is smaller: 23 or g?
g
Let i(t) = t**3 - 8*t**2 - t - 125. Let b be i(7). Is -181 equal to b?
True
Let h be -7*9396/(-45)*(-10)/21. Do h and -4880/7 have the same value?
False
Let d be (-5)/5*(-1 - -2). Which is bigger: d or 3/1265?
3/1265
Suppose -5*a + 5 = 5*x - 0, 3*x = 2*a - 17. Let g be (-1)/a - 406*3/(-72). Suppose -2*b - 2*p = -42, -5*b - 5*p + 71 = -2*b. Is b greater than or equal to g?
True
Let j be (-2)/((-7)/(-7)) - 107. Let b = j - -284. Which is greater: b or 176?
176
Let f = -36485 - -38308. Which is smaller: 1824 or f?
f
Let j be 39/(10 - 7) + -22. Let u(c) = 2*c + 3. Let l be u(5). Suppose -2*x = 5 + l. Is x bigger than j?
False
Let g = 1/8530816 + 23440283075/8530816. Let j = -2748 + g. Which is greater: 1 or j?
1
Let b be 2 - ((-13 - -17) + 1*4). Let z be (-4 + (144/(-5))/b)*1. Is z at most as big as 1/56?
False
Suppose -36*j + 6*j + 27 = -3*j. Whi