ose 6*f - 23 + 17 = 0. Which is smaller: f or u?
u
Suppose 0*v + 40 = 4*v - 4*a, 2*v = 3*a + 24. Suppose -6*f - v*f = -10*f. Which is smaller: 4/55 or f?
f
Let u = -57.04 + 57.168. Is -2/7 at least u?
False
Let o = -49.96 - 502.04. Which is bigger: -0.3 or o?
-0.3
Let l = 296 - 295. Let j = 9 - -3. Is j bigger than l?
True
Suppose 3*j + 4*o - 245 - 245 = 0, 5*o - 652 = -4*j. Suppose 3*k + 2*q = k + 326, -2*k = -q - 308. Which is bigger: k or j?
j
Let r(n) = -21*n - 1. Let s be r(-2). Let w = 140 - 132. Let o be 8/5*(-4)/(w/(-50)). Which is smaller: s or o?
o
Let n(j) = 11*j**3 - 113*j - 769. Let i be n(-7). Is i less than or equal to 0?
True
Let z(s) = 2*s**2 - 31*s + 308. Let l be z(0). Is l < 312?
True
Let g = -55.89 + 55.89. Let d be ((-72)/70)/((-7)/(-35)). Is d greater than or equal to g?
False
Suppose 8 = -h - h + 4*m, -m = 3*h - 2. Let w = 472349/116 + -4072. Which is smaller: h or w?
w
Let v be (-3)/((-9)/(-4))*(-135)/18. Suppose 8*c = 3*c + 30. Let x be -3*(-87)/27 + c/(-9). Which is greater: v or x?
v
Let y be (-4)/(-20) + -3*(-774)/15. Are y and 148 unequal?
True
Suppose 5*a = -10, -9*s = 2*a + 2914 + 23019. Is s > -2884?
True
Suppose -10660 - 43930 = 12*f + 118. Is -4559 smaller than f?
False
Let k(j) = -j**3 - 3*j**2 - 4*j - 2. Let n be k(-2). Let o be n/7*(2 + 4 + 1). Suppose -5*s = 4*p - 50, -4*s + 28 = -s + o*p. Do 6 and s have the same value?
True
Let u be 1317/(-27) + (6 - (-392)/(-63)). Let w = u + 49. Which is greater: 2/193 or w?
2/193
Let r(b) = -b**3 - 2*b**2 + 35*b + 14. Let m be -4 + (-1)/((-5)/(-20)). Let i be r(m). Are i and 118 non-equal?
False
Let p be (2 + 0 + -1)/(7/(-203)). Suppose -4*c = -3*z + 94, 2*c - 61*z + 64*z + 74 = 0. Is p not equal to c?
True
Let i be (21/42)/(11/(-88)) - -2*2. Are 158/563 and i unequal?
True
Let k = -98.949 + 99. Let q = -5918 - -5916. Are k and q equal?
False
Let n be 6/5*1590/(-1272). Suppose 12 = -3*g - g. Is g < n?
True
Suppose -4*v + 3*n - 254 + 75 = 0, n - 1 = 0. Let m be ((-1478)/2)/(v/28 - 2). Let c = 207 - m. Is c at least as big as 1?
False
Let j = 151.9 - 144.9. Is 5.4 less than or equal to j?
True
Let z = -1614 - -1635. Let l(w) = -w + 5. Let m be l(0). Suppose 5*r - 4 - 1 = 0, -z = -m*u - r. Which is bigger: 34/7 or u?
34/7
Let z = 47 - 20. Let s = z + -80. Which is smaller: s or -51?
s
Let f = 10848 - 5359. Is f >= 1?
True
Let v be (4 + -60)/(1 - 0). Let m be 26/8 - 42/v. Which is greater: m or 36/7?
36/7
Let r be ((-2)/(-2))/((-1)/15*-5). Suppose -r*i + i = 34. Let s(x) = -17*x**3 - x**2. Let q be s(1). Is i less than q?
False
Let j = -7 + -2. Let q be 30/j*21/(-14). Suppose 8*i - 3*i + q = 0. Which is smaller: 3/20 or i?
i
Let l = 4939.12 + -4940. Let b = -2/209 - -428/1045. Does l = b?
False
Let a be 7*((-3)/(-14))/(15/50). Let o be (-4 - (340/(-12))/a)*3. Suppose -o*z + 6*z + 45 = -r, -5*z - 84 = 2*r. Which is greater: -45 or r?
-45
Let p be (-36)/10 + -1 + (-9)/(-15). Let d be 26/(-65)*(1 - p). Let x be (d - (-44)/16)*2/6. Which is greater: x or -11/7?
x
Suppose 0 = -0*v - 3*v + 9. Suppose v*g = 3*j - 36, -2*j = -6*g + g - 15. Suppose 0 = -19*o + j*o + 60. Which is smaller: 4 or o?
4
Let g be 4/(-24)*-9*(-5)/(-2445). Let o = 161/652 + g. Do -18 and o have the same value?
False
Let m = -6.7 - -9.4. Let c = m + 31.3. Let u = -96 + 96.1. Which is bigger: u or c?
c
Let z = -452 + 375.6. Let v = 55.4 + z. Is -0.6 greater than v?
True
Let m = 66.1 - 135.8. Let y = -69 - m. Let i = y + -0.7. Is i smaller than -26?
False
Suppose 0 = -41*h + 40*h - 5*g - 923, -3*h - 2749 = 5*g. Are -913 and h nonequal?
False
Let j = 0.1826 + 55.4674. Let r = j + -55.7. Is r > -5?
True
Let w be -2*1 - (-1799)/4. Let i(q) = -3*q - 460. Let a be i(-5). Let o = w + a. Is o > 3?
False
Let q be (-8)/(32/52) + 3 + 3 - -110. Which is greater: q or 102?
q
Let g be (1/2 + -2)/((-3360)/(-640)). Is -0.455 smaller than g?
True
Let j(h) = h**3 + 5*h**2 - 130*h + 27. Let k be j(-15). Which is smaller: -297 or k?
-297
Let p = -1/119 - 27/119. Let q = -47 + 47. Suppose 3*r - 3 = -q. Is p smaller than r?
True
Suppose 5*z - 5*j = 35, 25*j = z + 29*j - 2. Let h(s) = 7*s - 39. Let u(q) = q - 1. Let n(x) = -h(x) + 2*u(x). Let l be n(z). Is l > 4?
True
Let n = 26 - 15. Let c(m) = -14*m - 142. Let f(x) = 7*x + 49. Let t(o) = -2*c(o) - 5*f(o). Let a be t(n). Is a > -38?
False
Let j = 74 + -77. Let p be 6*(-4)/6 - (-2 + j). Let s = -9 + -5. Is s less than or equal to p?
True
Suppose -4*h + 0*h - 40 = 4*t, 3*h + 2*t + 25 = 0. Let f be ((1 + h)/4)/(2/2). Are -4/143 and f non-equal?
True
Suppose -7*l - 3258 = -759. Let y = 357 + l. Does y = 3/82?
False
Suppose 59*w - 62*w = 1299. Is w at least -431?
False
Suppose -c = 6*c - 301. Suppose -12*v + 7 - c = 0. Which is smaller: v or -2?
v
Suppose 102 = -3149*a + 3132*a. Let p = -6 - -19. Which is bigger: a or p?
p
Let f = 226 + -205. Let k be (-12)/(-3) + f + -18. Which is smaller: k or 6?
6
Let s = 220 - 296. Let d = -84 - s. Suppose -5*p = 86 - 36. Which is greater: d or p?
d
Suppose -h - 226620 = -121*h - 60*h. Is h >= 1255?
True
Let m(b) = b**3 - 19*b**2 + 4*b + 23. Let f be m(19). Let n = f - 47. Is n > 158/3?
False
Let w(y) = -y**2 - 2*y - 2. Let p be w(0). Suppose -4*c + 114 = -3*i, 4*c - 299 = 2*i - 227. Which is bigger: p or i?
p
Let b = 1791 - 1792. Is 4/363 equal to b?
False
Let o = 1056821/2132882 - 231/466. Is 1 greater than or equal to o?
True
Let w = 4 + 5. Let l be (2 + 0)/(6/w). Let h be (-77)/l + 4/6. Which is greater: h or -26?
h
Let l = -168 - 297. Which is smaller: l or 3?
l
Let d = 18660 + -18661. Is -84/97 less than or equal to d?
False
Let g(c) = -c**3 + 21*c**2 - 104*c + 11. Let z be g(13). Suppose z*u = -100 + 144. Which is greater: 7 or u?
7
Let u be (9 + 1)/(99/18 + -5). Suppose -u*i + 300 = -26*i. Which is smaller: -48 or i?
i
Suppose -59*v = -747 - 315. Suppose -8*j + 102 = -34. Which is smaller: v or j?
j
Let m be 4/(-6)*(-24)/(-16). Let k = 7375/11 + -670. Which is smaller: k or m?
m
Let o(d) = 2*d**3 - d**2 + 4*d + 6. Let z(u) = u**3 + u**2 + 1. Let j be (-198)/(-55) + 3/(-5). Let v(y) = j*z(y) - o(y). Let t be v(-5). Is -4 less than t?
False
Let g(b) = 249*b - 749. Let z be g(3). Let u be (-18)/(-8) - (-5)/(-20). Suppose -i + 0 = u. Is i bigger than z?
False
Let o(s) = -s**2 - 18*s - 7. Suppose -g = 12*g + 208. Let m be o(g). Let b be ((-5)/m + (-18)/10)/(-134). Which is bigger: b or 1?
1
Suppose -141*g - 3*r - 3 = -138*g, -4*g + r + 16 = 0. Is 29/15 greater than g?
False
Suppose -5*z - 13*b = -11*b - 8320, 2*z = 3*b + 3328. Which is smaller: 13305/8 or z?
13305/8
Suppose 19*o - 3 + 7 = 4. Which is greater: 3/5012 or o?
3/5012
Suppose -4*j + 17 + 87 = 0. Let b = j - 17. Suppose 0 = -b*w + 8*w. Is w >= -1/16?
True
Suppose 44 = -10*x - 46. Let h(j) = -j**2 - 8*j + 13. Let i be h(x). Suppose 12 = -2*a - 3*o - 18, i*o - 29 = 5*a. Are a and -9 equal?
True
Let v(t) = t**2 - 2*t - 29. Let a be v(-5). Suppose 0 = -9*l + a*l. Is l equal to 9/13?
False
Let z = -190 - -122. Let x = -7 - z. Which is bigger: x or 0?
x
Let w = -2/4969 - -10132/481993. Suppose -6*p + 4 - 4 = 0. Suppose 6*x - 8*x = p. Are x and w non-equal?
True
Let h be 1668/(-2085) + (37398/70)/3. Is h != 177?
True
Let x(c) = 6*c**2 - 10*c**2 + 42 + 5*c + 5*c**2. Let v be x(-9). Which is bigger: 76 or v?
v
Let v(c) = -c + 24. Let r be v(26). Let m be 1 - (-14)/(-6) - r/6. Let k(t) = -23*t**2 + 1. Let g be k(m). Is g at least as big as -23?
True
Let i = 18156 + -16117. Is i bigger than 1/4?
True
Let n = -84803/81985 - -66/863. Which is greater: 0 or n?
0
Let m = 10178 - 8132229/799. Does m = -1?
False
Suppose -2*q = -7*q + 5, 0 = 2*x + 4*q - 64. Suppose -c - 8 = w - 6*w, -4*w = 2*c + x. Let u be (-11)/c - (48/26 - 2). Is u at least -1?
True
Suppose 436805 = -42*k - 85934 + 66997. Which is bigger: -10852 or k?
k
Suppose -4*x - 3*r = -1110, -5*x + 2*r = -465 - 911. Let f = x - 553/2. Which is smaller: -280 or f?
-280
Let c be (12/(-184))/((-150)/15200). Is c < 6?
False
Let c = 19 - 16. Suppose c*o = -43 + 49. Let a(n) = 3*n**2 - 9*n + 5. Let d be a(o). Is 2/9 less than or equal to d?
False
Let h(z) = -z**2 - 38*z - 136. Let v be h(-34). Suppose -5*b - c = -3*b + 188, v = b - 3*c + 80. Is b >= -93?
True
Let d = -0.13825 - 15.16175. Which is smaller: d or 0?
d
Suppose 3171 = 1096*l - 6693