s greater: -2 or y?
-2
Let i = 36 - 20. Let y be (-555)/(-75) + 21/6*2/(-1). Which is smaller: i or y?
y
Let n = 32 + -27.8. Let v = 223 + -389. Let t = v + 165.9. Is n at most as big as t?
False
Let j be -8 + (-310)/(-35) + (-2480)/2884. Suppose -3*f + 3*x - 3 = 0, 4*f - 5*x + 7*x = 2. Are f and j nonequal?
True
Let l(a) = 2*a - 4. Let g be l(2). Suppose g = -3*b + 4*v - 9*v + 51, -85 = -5*b - v. Is 15 at least b?
False
Let v = -23215 + 23378. Is -23/4 != v?
True
Let c(b) = 8*b - 144. Let a be c(20). Is a smaller than -175?
False
Let q be (-7)/(879081/205)*(-12)/(-10). Are q and 1 equal?
False
Let b = 376 - 494. Let r = -352/3 - b. Which is greater: r or -3?
r
Let a(q) = 5*q + 64 - 3 - 10*q. Let z be a(14). Let c be (-2)/(2/(-1)) + 7/z. Which is greater: c or -2/11?
c
Let g = 1.49 + -3.19. Let k = g + 1.9. Let j = -12.02 - -0.02. Is k < j?
False
Let q = 3401111/134 - 25381. Which is bigger: q or 1?
1
Let u = -113.22 + -0.78. Let g = u + 130. Is g equal to 2/3?
False
Let b = 19612/7 - 2802. Which is bigger: b or -137?
b
Let b be (-2)/(-6) + 14/21. Let r be 23 - 33 - (-1689)/168. Which is greater: b or r?
b
Suppose -6 = -75*h + 76*h - s, 3*h - 5*s + 30 = 0. Which is bigger: h or 21/212?
21/212
Suppose -13*h - 746 = -720. Do -95/31 and h have different values?
True
Let q = -147493/38632 + -1/3512. Let s = q - -1112/297. Is 0 greater than or equal to s?
True
Let t = -47 + 75. Suppose -t = 4*s - 8, -3*n = -s + 796. Which is bigger: n or -0.1?
-0.1
Let b = 37105 - 630719/17. Suppose -3*d + 8*d = 25. Is b < d?
True
Suppose 5*l - 4*f = 232, -4*f = f + 15. Suppose -n = 111*b - 107*b - 63, 0 = 4*n + b - 177. Is n smaller than l?
True
Let o be 48/4 + (-8)/(432/639). Let u = 0.09 + 0.2. Which is greater: u or o?
u
Suppose -19152 = -6*u + 1104. Let x = -523282/155 + u. Is 0 greater than x?
True
Suppose -129*w - 4935 + 291 = 0. Which is smaller: w or 143?
w
Let h = -0.01431 - -12.01431. Which is smaller: -107 or h?
-107
Suppose 140 - 146 = 3*t. Is -16/19 bigger than t?
True
Suppose 8*f = 22*f. Which is bigger: f or 1/715?
1/715
Let l = 318 + -513. Let z = l + 110. Is -84 greater than z?
True
Suppose 0 = -27*x + 23*x + 12. Suppose 656 = -x*m - 5*m. Is -81 greater than or equal to m?
True
Suppose -5*l = -5*f + 248 + 32, 4*f = 4. Let w = 59 + l. Let h be 2*2/(9 + (w - 5)). Is h at most as big as 0?
False
Let b = -8.8942 - 0.1358. Let z = b + -29.97. Let a(m) = -m**3 - 3*m**2 - m - 2. Let w be a(-3). Is w greater than or equal to z?
True
Let f be (1/((-2)/(-26)))/8. Suppose -9*b - 4*b = -39. Let k be (b - 1) + -7 + 6. Which is smaller: k or f?
k
Let i = 245 + -248. Let q be ((-252)/(-216))/(i/14). Is q less than -5?
True
Let p(x) = -27*x - 6. Let s be p(5). Suppose -w = i + 141, 0 = -i - 0*w + 3*w - 145. Is i <= s?
True
Let z be (-18)/24 - (-125)/(-20). Let m be (2/4 + z/(-14))/(-3). Does m = 1?
False
Let f be (8 - (95 - -11))/(-12). Is 3 equal to f?
False
Let s = 36882 + -36879. Are s and 0.0939 equal?
False
Let j = -109 + 1418/13. Let v(h) = 14*h + 115. Let s be v(-8). Let i be (-4)/(-12) + 2/s. Which is greater: j or i?
i
Suppose 3*f = -g - f - 22, -5*f - 29 = 2*g. Suppose -2*i = -2*d - 30, -3*i - 2*i - 3*d + 59 = 0. Let o = 10 - i. Which is greater: o or g?
g
Let g be 6/12 + 245/1470. Let t be (-3 + 2)*1*9. Let h be ((-2)/t)/((-2)/12). Is g less than h?
False
Let s = 13 + -460. Let n = 447 + s. Is -4 <= n?
True
Let l = 188.8 - 175. Let j = l - 13.8. Which is bigger: j or 111?
111
Let s(d) = -d**2 - 11*d. Let q be s(3). Let k be (-11)/506*24/q. Let j(r) = -r**2 - 7*r - 6. Let a be j(-6). Is a at most as big as k?
True
Let s = -6 + -2. Let a be (-440)/222 - (s + 6). Suppose 28*u - 4 + 4 = 0. Are u and a unequal?
True
Suppose -18 = -2*j - 10, 0 = 4*p + 5*j - 148. Let d be (-52 + 0)*4/(p/(-22)). Which is smaller: 142 or d?
142
Suppose -d - 4*h + 21 = 0, d = -9*h + 12*h - 7. Suppose d*r - 5*c = -7*c - 9, 0 = r + c + 3. Is r smaller than 26?
True
Let y be (-822)/5 + (-4)/(-10). Let n be 1*2 + 352/y. Let x be (2007/2676)/(3/(-4)). Does x = n?
False
Let r(i) be the first derivative of i**4/2 + 3*i**3 - 3*i**2/2 - 12*i + 66. Let f be r(-4). Which is greater: f or 21?
21
Let g = 0.0569 + 0.0059. Let p = g + -0.0628. Which is smaller: 17 or p?
p
Let y(w) = 32*w**2 + 28*w - 72. Let g be y(17). Which is smaller: g or 9651?
9651
Let y be (-10)/(-14) + 58995/805. Is 85 less than y?
False
Let j = -0.58 + -0.02. Let a = -0.58 - j. Suppose 2*t = -35*t. Which is smaller: t or a?
t
Let x = 3.99 + 0.01. Let l = 59.4 - 51. Let h = -8 + l. Is h less than x?
True
Let q = 25.42 + -26. Let h = q + 2.18. Let f = -2.6 + h. Are 2/7 and f equal?
False
Let i = 25 + 0. Suppose -2*s = 945 - 237. Let j be (6 + s/60)*5. Which is greater: i or j?
i
Let n = -12906/77 + 1214/7. Suppose 20*j - 15*j - 3*o - 25 = 0, -j + 2*o + 5 = 0. Which is greater: j or n?
n
Let d be ((-306)/85)/((-4)/130). Suppose 3248 = 16*y + 12*y. Which is smaller: y or d?
y
Let g be (-2)/(-5)*-1*(11 + 0 + -6). Do -46/59 and g have the same value?
False
Let l = 19752159/20 + -6182496039/6260. Let y be (16/(-10))/(626/10). Let w = y - l. Which is bigger: w or 12?
12
Let i = -1009 - -1183. Is i < -3?
False
Let i be 2 + (8 - 0) + -8. Suppose 2*x + 34 = -i*t + 170, -2*x + 4*t + 160 = 0. Is x < 71?
False
Let k(m) = m**3 - m**2 + 32*m - 17. Let n be k(7). Suppose 7*z - n = 325. Is z at least 119?
False
Let i = -33 + 233/7. Let a = -17.3 - -2. Let y = a + 0.3. Is y < i?
True
Let x(i) = -2198*i**3 - i**2 + 2*i - 2. Let v be x(1). Let w = v - -1154. Let j be w/(-1700) + 6/(-10). Is j at least 0?
True
Suppose 4*h - 4*j - 32 = 0, 3077 - 3047 = -5*h - 5*j. Let b = -386 + 216. Is h less than or equal to b?
False
Let p = -1425794/3 - -228123911/480. Let w = 7/32 + p. Which is bigger: -6 or w?
-6
Let f = -547 + 366. Let p = 180 + f. Do p and -3/305 have the same value?
False
Let z = -69.55 + 35.55. Which is smaller: z or 0?
z
Let k = 118 - 116. Let o = k + -2.19. Let m = -0.39 - o. Which is greater: 19 or m?
19
Let w = 144 + -176. Let o = w - -31.9. Which is greater: o or -35?
o
Let a(d) = 2944*d + 8427. Let r be a(-5). Which is greater: -6292 or r?
-6292
Suppose -q - 78 = 602. Let z(c) = 80*c - 440. Let l be z(-3). Is l <= q?
True
Let y = 359 + -349. Let c(x) = -131*x + 4. Let h be c(8). Let d = 3163/3 + h. Which is greater: d or y?
d
Let d be (135/(-108))/((-1)/(-4)) + -1*35. Suppose -5*t - 7 = 8. Which is smaller: d or t?
d
Let u(x) = 12*x**2 - 19*x - 113. Let k be u(-5). Let l = k - 321. Is l at most -41?
False
Let g be 1 + ((-18)/(-10))/(26/390). Let l(b) = b**3 - 28*b**2 - 9*b - 81. Let j be l(g). Which is bigger: j or -334?
j
Let y be (-12)/10 + 2 + 64/20. Suppose 121 = l + y*z, -z = -2*l + 3*l - 109. Let s be l/2 - (-6)/4 - 1. Is 1 at most as big as s?
True
Let u be 4/(-102)*84/(-910)*-13. Which is greater: u or -1/6?
u
Let c = 117 + -108. Let r be 104/(-78)*5/((-150)/c). Is -7/9 at least r?
False
Let a = 1300 - 3740. Which is greater: a or -2441?
a
Suppose 145*o - 6 = 147*o. Let m be (1/o)/((-12)/36). Is 6/25 >= m?
False
Let r = -270 - -272. Let v be ((-3)/(-45))/((-198)/(-1944)). Which is smaller: v or r?
v
Suppose 0 = -163*d + 333*d + 51170. Is -299 greater than d?
True
Let o = 276.363 - 564.363. Let y = 0.3 - 0.4. Which is smaller: y or o?
o
Suppose 5*o + h + 609 - 120 = 0, -h - 195 = 2*o. Let p be o*3/6 + 1. Suppose 0 = 55*b - 40*b + 705. Is p < b?
True
Let m = -471945 + 468575.572. Let u = m + 3377. Let p = u - 7.6. Which is smaller: 0.1 or p?
p
Let x = 121 + -63. Suppose -3 = 35*u - 34*u. Let i be u/1*(-118)/6. Which is greater: x or i?
i
Suppose 0 = 3*j + 2*j - 35. Suppose 3*h = -2*a - 4, -4*h + 23 = -j*a + 4*a. Let t = 39067/12 + -3255. Which is smaller: h or t?
t
Let s = 63 - 77. Let t be 14/24*58/s. Let d = 11/4 + t. Is 1/13 greater than d?
False
Let l(s) be the first derivative of -s**3/3 - 10*s**2 - 58*s + 19. Let i be l(-4). Which is smaller: i or 8?
i
Let y(l) = 3*l**3 + 24 + 2*l**3 - 16*l**2 - 2*l**3 - 12*l - 4*l**3. Let t be y(-15). Which is greater: -20 or t?
-20
Let v = -50257/938 - -375/7. Let i(m) = 2*m**3 - 8*m**2 - 22*m + 60. Let n be i(5). Which is bigger: v or n?
n
Let v(p) = -3*p**2 - 294*p - 854. Let x be v(-3). Is x <= -11/559?
False
Let f = 187.26 - 183.26. Which is smaller: 118 or f?
f
Let j(p) 