4.1385 - -4.0495. Which is smaller: j or 0?
j
Suppose 15*r = 6*r - 18. Let c be 2/(-1)*((r - -1) + -49). Let f be (-40)/c*(0 + 21/(-2)). Which is smaller: 4 or f?
4
Let j = 1 + -2. Suppose -7*b - 2 = -16. Let h be (-20)/(-15)*(-1)/68*b. Which is smaller: j or h?
j
Let i be 41/((-697)/(-102))*(-2)/3939. Which is smaller: i or 0?
i
Let m = 8120 - 8119. Which is greater: -38/257 or m?
m
Let j = 2796.73 - 2799. Which is greater: 2/5 or j?
2/5
Let a(q) = 3*q**3 + 26*q**2 + 4*q - 14. Let v be a(-8). Suppose 0 = -y - 3 - 9. Let g be 6/v*(-4)/y. Which is greater: -1 or g?
g
Suppose -16 = 4*p + 4*j, 0 = 3*p + 6*j + 2 + 19. Let i be 5695/(-1156) + 1*5. Which is greater: p or i?
i
Let b = -185 + 176. Suppose -2*r + r = -2. Let f be r*b/12*1. Which is bigger: -2/3 or f?
-2/3
Let t = -10 - -12. Let j(w) = -w + 2. Let c be j(t). Let r = 677 - 677.6. Which is smaller: c or r?
r
Suppose 3*a + 9*a - 544 = -5*a. Which is smaller: a or 60?
a
Let d be (4/(-2))/(2/(-11)). Let x(o) = 2*o + 5. Let q be x(d). Suppose 0 = -4*f - q + 203. Which is greater: f or 0?
f
Let i = 16744 - 14249140/851. Is i less than or equal to 0?
False
Let d be (-9)/11 + 134/(-737). Is -10/99 bigger than d?
True
Let x = -233 + 221. Let r be (-10)/x*3*(-284)/60. Which is smaller: r or -13?
-13
Let a = -10.3 - -10.462. Let g = a - 28.162. Is 1 < g?
False
Let n = -3 - -4.7. Let m = n - -15.3. Let h = 5.88 - 5.78. Which is bigger: m or h?
m
Let m(l) = 6*l**2 + 9*l + 2. Let q(c) = 33*c + 187. Let g be q(-6). Let u be m(g). Which is bigger: 628 or u?
u
Let b be (6 - 800/136)*(-169)/(-26). Let s(p) = -p**3 + 7*p**2 - 5*p - 4. Let m be s(6). Is m less than or equal to b?
False
Suppose -84 = -4*n + 84. Suppose 38*s = n*s - 4. Which is smaller: s or -2/305?
-2/305
Let p = 12558 - 12549.71. Is p at most -9/7?
False
Let u be -10*5/(-4)*2/5. Suppose -u*v - 3*s + 163 = 0, 0 = -2*v + v + 2*s + 30. Which is smaller: 33 or v?
v
Suppose 0 = -w - 4*r - 9, w - r + 1 = -2*w. Let d = 28513/106 + -269. Let f = d - 3/106. Is w < f?
True
Suppose 16 + 3 = 19*f. Suppose 0 = x - f - 11. Which is smaller: x or 67/6?
67/6
Suppose 2*w = -2, 11*u - 15*u = 4*w + 4. Suppose u*s = 2*s + 4*n, -4*s = 4*n. Is -1/284 less than or equal to s?
True
Let p = 41 + -101. Let f = 59.5 + p. Which is smaller: f or -0.2?
f
Let d = 0.56 - -23.64. Let g = d + -24. Let c = -16 + 17. Which is smaller: c or g?
g
Let c(l) = 74*l + 71. Let h be c(42). Suppose -54*f - h = -37*f. Which is smaller: f or -186?
f
Let j = 588793/246 + -4787/2. Let k = -898/123 + j. Which is smaller: -6 or k?
k
Let u(c) = c**2 - 8*c + 4. Suppose -6*d + t + 33 = -2*d, -5*d = t - 39. Let x be u(d). Suppose -4*v + 3*f + 9 = 0, -5*v = 4*f + x + 8. Is v at least -0.1?
True
Let u = -8890 + -6596. Is -15486 at least u?
True
Let h(j) = -j**2 + 12*j - 12. Let q(f) = 3*f - 2*f - 29 + 3*f. Let x be q(10). Let n be h(x). Is -7/8 > n?
True
Suppose -1419 = -2*m - p, -5*m + m = 3*p - 2841. Let y = -2765/4 + m. Let w = 30 - 12. Which is greater: w or y?
w
Let i = -83.1 + 37.1. Let m = i + 46. Do -90 and m have the same value?
False
Let a(k) = -9*k**3 - 87*k**2 - 53*k + 6. Let f be a(-9). Is f at least -1.175?
False
Let m = -1 - 26. Let h be ((-93)/1)/3 - -2 - -5. Let s = m - h. Which is greater: s or -14/5?
-14/5
Let x = 0.0091 - 0.8991. Let n = -4.11 + x. Let h = -0.1 - -0.1. Is h smaller than n?
False
Let a be (30 - 17 - (0 + 6))*86/161. Is 4 smaller than a?
False
Let p be 3/(-33)*(-979)/(-89). Is -94/147 less than p?
False
Let l be (24/(-420) - 2/(-35))/(-2). Is l at most as big as -1823?
False
Suppose 5*t = -4*b + 1838 - 1890, -29 = 5*b + 4*t. Let p be (25/4)/((-2)/(-8)). Which is greater: b or p?
p
Let b be 0*8/64*19/(-114). Which is smaller: b or -93/193?
-93/193
Let c be (0 - -1)/(2 - (-1675)/(-835)). Let o = c - -113. Are o and -53 nonequal?
True
Let n(z) = -118*z + 8. Let i be n(-1). Let d be 20*(1/(-2))/((-72)/i). Let o = -2 - -19. Is o at least as big as d?
False
Suppose -v = 92 + 78. Let a be ((-9)/5 - -1)*(-3 - -218). Is a < v?
True
Suppose 0 = s + 4*s + 6*h - 4456, 5*h + 4500 = 5*s. Which is greater: s or 1?
s
Let i be (-6)/26*((-6308800)/(-705) + -9). Let r = -2063 - i. Which is bigger: 1 or r?
1
Let j(h) = -194*h + 1746. Let c be j(9). Does c = -3/295?
False
Suppose -172*a = -166*a - 1955 + 12893. Which is bigger: a or -9109/5?
-9109/5
Let a be (-6)/(120/(-655)) + 6/(-8). Let g be a/240 - (-1)/6. Let y = 1/10 + g. Which is smaller: y or 106?
y
Let x be 4/(-8)*(54 - 54). Which is bigger: x or 29/99?
29/99
Suppose 3*b - 3*i = -57, -2*i = -b + 16 - 38. Let z = b + 35. Let p = -44 - -63. Is p > z?
False
Let q = -401 + 248. Let t = -130 - q. Which is smaller: 0 or t?
0
Let d = -12 - -7. Let z(b) = -b + 1. Let j be z(d). Let o(i) = -i**2 - 209*i - 1603. Let a be o(-8). Is a greater than or equal to j?
False
Let p(t) = 7*t**3 + 2*t**2 + 3*t - 3. Let v be p(-3). Let r(b) = -175*b**3 - 6*b**2 + 16*b - 17. Let m be r(1). Which is greater: m or v?
m
Let l(o) = 3*o**2 - 7*o + 13. Let w be l(4). Let t(r) = -6 - 35*r + 8 + 6*r**2 + w*r. Let p be t(1). Is p > 50/9?
True
Let l be 105/42*(-6)/(-5). Suppose 2*z - 13 + 21 = 0. Let x be (-54)/(-10)*z/(-6). Which is bigger: x or l?
x
Let o = 10472903/9998 - 2095/2. Which is bigger: o or 0?
0
Suppose -a + 4 = 1. Suppose -6*x - 700 = -20*x. Let g be (20/(-8))/(x/(-40)). Which is greater: a or g?
a
Let u = 4198 - 4392. Which is smaller: -43 or u?
u
Suppose 0 = 219*t - 216*t + 1302. Which is smaller: -2163/5 or t?
t
Suppose 4*r - 27*r = 109 - 7584. Which is bigger: 2589/8 or r?
r
Let a = -1615 + 1773. Is 160 at most a?
False
Let t = -16.4 - 3.7. Let n = 18.1 + t. Which is bigger: n or 82?
82
Let w = -10908.7 - -10109. Let r = w - -800. Which is smaller: r or -13.1?
-13.1
Let w be 394585/49137 + -7 + (-2 - -1). Let v = -3 + 2. Is w bigger than v?
True
Let a = 2629.86 + 26.14. Is -1/4 smaller than a?
True
Suppose 22*m + 384 - 11252 = 0. Let h = 2959/6 - m. Which is greater: 5 or h?
5
Let v be (123/(-1025))/((-3)/(-17)). Which is bigger: v or -1?
v
Suppose 519*d - 268*d + 403 = 264*d. Is d <= 36?
True
Suppose 1385 = 21*o + 3465 + 11255. Does o = -5085/8?
False
Let h = -48 - -50. Suppose 0 = h*m + o, -2*m + 5*m = 2*o. Which is smaller: -2/157 or m?
-2/157
Let h be (-1)/(-2)*-9*16/720. Does h = 4/7?
False
Let i(x) = -33*x**3 + 10*x**2 + 3*x - 14. Let v be i(2). Which is bigger: -227 or v?
-227
Suppose -11*j + 54 - 10 = 0. Suppose 5*n - 4*o - 8 = n, -n + 11 = -j*o. Is n at least -1/32?
False
Let f(c) = -5*c**3 + c**2 + 3*c + 4. Let d be f(-2). Let z be (d/70)/((-98)/10). Is -1 less than z?
True
Let r be 8/(-2)*(-168)/(-24). Let v be ((-6)/4)/((-273)/r). Which is smaller: -0.098 or v?
v
Let h = 0.0482 - 0.1052. Is h at most as big as 18?
True
Let o(z) = 2. Let a(u) = -2*u**2 - 15*u + 1. Let m(t) = a(t) - 4*o(t). Let l be m(-5). Which is bigger: l or 0.2?
l
Let k = -958 - -675. Let u = k + 244. Are u and -1/5 equal?
False
Let u = -2/571467 - 1126361443/4000269. Which is smaller: u or -281?
u
Let l be -4*414/(-24)*8/12. Is -19 at most as big as l?
True
Suppose 3*m + 2489 = -2*m - 3*u, -8*m - 3*u = 3968. Which is smaller: m or -2965/6?
-2965/6
Let y = -159 - -6517/41. Let p = -47/123 - y. Let f = 3/28 - 31/420. Is p at most as big as f?
True
Suppose -4*w = -4*j - 16, 3*w - 4*j - 3 = 14. Let f be (-84)/9 + 4 + 35/(-21) + 1. Is f >= w?
False
Suppose -3*f - 6 + 3 = 0, 4*p + 5*f = 1483. Let i = 375 - p. Let v be ((-1)/(-2))/(2/(-4)). Is v greater than or equal to i?
False
Let s(f) = f**3 + 9*f**2 + 2*f + 18. Let t be s(-9). Suppose t = 3*c - d + 4 - 0, -3*c + 4*d = 7. Let x be c + 5 - 600/190. Which is smaller: x or 0?
0
Let j be (2/10)/(148/(-92389)). Let b = j + 622/5. Which is bigger: b or 1?
1
Suppose 2*t + 15 = -t. Suppose 3*n + 126 = -5*v, -29*n = -41*n - 24. Which is greater: v or t?
t
Suppose 10 = 8*z - 3*z. Let m(k) = -4*k**2 + 13*k + 8. Let d be m(4). Let v be d + -4 + -2 + (1 - z). Does v = -11?
True
Suppose -3*x - 2*y = -10, 0 = -x + 3*y - 0*y - 4. Let g be (-2)/(x - -2) - 66/(-12). Suppose -32*j = -27*j - g. Which is greater: -1/52 or j?
j
Let a = 7541 + -7542. Is a smaller than -15/97?
True
Let r = -2/6223 + -167851/528955. Which is smaller: r or -1?
-1
Let u be ((-15639)/(-5))/(258/430). Which is greater: 5214 or u?
5214
Let a = -374/7 +