t f be (-14)/(-42)*(18/(-81))/(4/3). Which is bigger: o or f?
f
Suppose 0 = 2*c + t - 3, -4*t = -20. Let m be 4 + 102/(-32) + c. Let s be 8 + -8 - -1*1. Is m >= s?
False
Let q(d) = -d**3 + 6*d**2 - 5*d + 9. Let z be q(5). Let k = z - 20. Suppose r + 7 = 3*a, -3*a + 28 + 9 = -4*r. Is k != r?
True
Let w(g) = g**3 - 36*g**2 + 63*g + 186. Let l be w(34). Which is smaller: l or 47?
l
Let s(t) = -t**3 + 16*t**2 - 36*t + 26. Let q be s(14). Which is bigger: -681/8 or q?
-681/8
Let o = -335 + 335. Suppose o = -261*l + 258*l. Which is smaller: l or 34/31?
l
Suppose -203*m - 15107 - 983 = -213*m. Which is smaller: m or 1610?
m
Let l = 200.4 + -10.4. Let u = 189.2 - l. Are -1/3 and u equal?
False
Suppose -n + 14 = -s + 12, n = -4*s - 8. Is n >= -170?
True
Let s = -8713 - -8714. Are s and 2.8 unequal?
True
Let q be (-9)/(-21) - ((-2)/(-14) + 3162/6510). Which is bigger: q or -3858?
q
Let l = -12032 - -12033. Is -1/390 >= l?
False
Suppose 4 = -4*a, 9*y + 34 = 6*y + 2*a. Let s be (102/y)/(2/4). Let k be (2 + -1)/((-2)/38). Is k at most s?
True
Let t = 4900 - 4773. Which is greater: t or -34?
t
Let g = 8 - 8. Suppose -3*y + 2*n + n - 21 = g, -3*y + 2*n = 16. Let a be 16/(-8) - (24/(-9) - -1). Which is smaller: y or a?
y
Suppose 0 = -64*x - 18751 + 9919 - 20992. Is -465 not equal to x?
True
Suppose 2662*j + 2900 = 2633*j. Which is bigger: j or -2.4?
-2.4
Let b be -8*5/(-40)*(1318 - -23). Which is bigger: 1340 or b?
b
Let s = 9.708 - 9.608. Is s at least 1050.6?
False
Suppose -4*o + 2*v = 1064, 27*o + 3*v = 31*o + 1060. Let u be (o/335)/((-566)/10). Which is smaller: u or 0?
0
Let k = 17.49234 - 16.49234. Let z be 1/2*(-8)/22. Which is smaller: z or k?
z
Let i be (4 - 1) + (-133)/19. Let v be 12/(-48) + 1 + 5/i. Which is smaller: 61 or v?
v
Let q(n) = n. Let w be q(11). Let g = 2407 + -2415. Which is greater: g or w?
w
Let k be (-14200)/(-2850) - (3 - -2). Let d = -0.96 - -0.96. Is d < k?
False
Let q be 2/(-10) - (-187)/85. Suppose q*x + 5*r = 623, 0*x + 4*r + 946 = 3*x. Which is smaller: x or -1?
-1
Let y = 22064 + -22033. Which is smaller: -11 or y?
-11
Let b(k) = k**3 + 9*k**2 - 8*k. Let x be b(-10). Let l be 0/x - (1 + -5). Suppose l*t = t + 6. Is t at least as big as 10/11?
True
Let i = -4.484 + 3.484. Is -9596 bigger than i?
False
Suppose -16*v = -85*v - 2001. Is -33 less than v?
True
Let n(i) = -i**2 - 23*i - 1. Let q be n(-19). Let f = q + -89. Is -15 less than or equal to f?
True
Let n = -1412323/401 - -3522. Let y = 1/3016087 - 2385729228/13303959757. Let k = n + y. Which is smaller: k or -4?
-4
Let x(t) = t**3 - 8*t**2 - 15*t - 22. Let q be x(10). Suppose 3*h - g - 20 = 0, 4*h - g = g + q. Let i be h/(-4)*(4 + (-50)/15). Is -9/11 bigger than i?
True
Let w = 102 - 102. Let k be (7 + -8 - w)/(1/2). Are k and 6/5 equal?
False
Suppose -3*i + 9827 = -d + 3*d, 2*i - 6573 = 3*d. Suppose 5*z + 6*v + i = 3*v, 2*v = -6. Let r be 230/z - 3/(-9). Is r less than -1?
False
Let t(g) = 2*g**3 - 23*g**2 + 14*g - 17. Let h be t(11). Suppose 0 = -4*l + h, -607 = -2*f + 5*l + 81. Which is bigger: f or 355?
355
Let k be (-160)/(-100)*-5*1/4. Which is greater: k or 47?
47
Let a be -197 - -1 - 17*(-220)/374. Which is bigger: -173 or a?
-173
Let r = -36.93178 - 0.06822. Which is bigger: -0.03 or r?
-0.03
Suppose 7*i = 8*i - 20. Suppose 11*x = i*x - 765. Is 85 less than x?
False
Let t be 268/(-2) - 3/(-3). Let w be (-49324)/t - 1*(-1)/7. Is 371 greater than w?
False
Let v = -1448944/19 - -76231. Which is bigger: v or -28?
-28
Let b be 22/6 - (-2)/(-3). Let r be 4/b*3/(-22). Let t be (1/(-1))/(900 - 901). Is t smaller than r?
False
Let f be (-1)/(-187)*-1 - 0. Let d be 146/1825 - 69/(-75). Which is bigger: f or d?
d
Let u = -12618 + 36743/3. Let o = -322 - u. Which is smaller: o or 48?
48
Let b be 7126/(-315) + 2/9. Let k be (-9 + 5 + 5)*22/(-1). Are k and b equal?
False
Suppose -18*y = -2880 + 1247 - 833. Which is greater: 132 or y?
y
Let g be -10163 - -1 - 78/(-208)*-24. Which is bigger: g or -10170?
-10170
Let i = -3794 - -3794.02. Let m = 4202/117 + -326/9. Which is smaller: i or m?
m
Let r = -110 + 234. Let b = r - 95. Let y = b - 31. Which is smaller: -0.3 or y?
y
Let w = -5832 - -5950. Which is greater: w or 143?
143
Suppose 5*d + 3*z - 6000 = 8*z, -5*d + 3*z = -5988. Which is smaller: d or 1197?
d
Suppose 0*t - 20 = -2*a + 3*t, 4*a + 5*t = 62. Suppose 4*w + 16 = 0, 2*u - 3*w - 2 - 16 = 0. Let m be -10 + 216/8 - u. Does a = m?
False
Suppose -4*t - 3*x - 32 = 0, 5 = 3*t - x + 16. Let p be 1/t + (-644)/(-20). Suppose q + 5*k - 6 = 0, 4*q - 68 = -3*k + 41. Which is bigger: p or q?
p
Let i = -2200936159/21104 + 104290. Which is bigger: -1 or i?
i
Let x = -554 - -554. Let c = 447122/345 + -1296. Is x smaller than c?
True
Suppose 3*b - 2*o = -161, -4*b = 105*o - 100*o + 161. Which is smaller: b or -119?
-119
Let i = -76/3 - -3113/123. Suppose d = -3 - 14. Let p = d + 17. Which is bigger: p or i?
p
Let i = 8.86 + -548.86. Let a = i + 537. Which is bigger: a or 19?
19
Let h = 743/89 - -378803/712. Let c = h - 539. Is 0 > c?
False
Suppose f = -f + 148. Let g = -28605 + 28679. Is f less than or equal to g?
True
Let r = -5114 + 5847. Are r and 736 non-equal?
True
Suppose -3*f - 3*o + 51 = 0, -64 = -5*f + 3*o - o. Suppose 0 = f*i - 8*i - 156. Let z be (2 - 1) + (-202)/(-8). Is i at most as big as z?
True
Let i be ((-49)/(-28) + 5201/4)/(22/4). Which is bigger: 238 or i?
238
Let i be (-1)/(-2)*0*1/(-5). Suppose -4*c + 4*n = -i*c + 4, -c + 2 = 2*n. Let u be 12/15*1/(-36). Is u at least as big as c?
False
Let k(z) = -4*z**2 - 7*z + 43. Let i be k(8). Let x = i - -268. Is 4/41 smaller than x?
False
Let x = 0.1114 + 2.0886. Is x at least -80?
True
Let g = -290 + 156. Let l = g - 11. Is l < -146?
False
Suppose -95*t = 105*t - 277949 + 728549. Which is bigger: -2254 or t?
t
Let g = -522 + 287. Let n = g - -234.63. Let x = 1 - 0. Which is smaller: x or n?
n
Suppose 1578 = -220*i - 8102. Are i and -41 unequal?
True
Let b(z) = z**2 - 11*z + 2. Let k be b(10). Suppose 0 = -5*o - 15, -3*v - 736 = -5*o + 95. Let n = v - -275. Which is greater: n or k?
n
Let b = 210298 - 1631912483/7760. Is 1 at most as big as b?
False
Let z = 46 - 82. Let b be 1115/(-30) - (3/(-18) + 0). Let k = z - b. Which is smaller: k or 2/131?
2/131
Let r = 65.2 - -367.8. Let f = r - 431.03. Let x = f + 0.03. Is 21 equal to x?
False
Let v be 504/49 - 30/3. Which is smaller: -2688 or v?
-2688
Let q = -6255 + 6255. Is q < -301/5?
False
Let w = 6.911 - 6.72. Let n = w - 0.091. Is n at most as big as 39?
True
Let f be ((-1 - -2) + -2)*(-2 - -1). Let r be 2 + -4 + -2 + 4 + f. Suppose 0 = -2*n + n + r. Which is smaller: n or -3/25?
-3/25
Suppose 5*x - 107 = -302. Let s(c) = 2*c**2 + 18*c - 4. Let p be s(-6). Which is smaller: x or p?
p
Suppose -53037 + 39937 = 4*z. Which is bigger: z or 4?
4
Suppose 168 = -y + 5*y. Let f be (2/(-6))/(4/y). Let s(r) = 3*r**3 + 312*r**2 - 2*r - 212. Let k be s(-104). Are f and k unequal?
True
Suppose 0 = -31*n + 161*n + 130. Let m be 6/(-15)*(-5)/(-391). Is n >= m?
False
Let p(o) = o**3 - 35*o**2 + 130*o - 210. Let r be p(31). Let b be 2/(-4) - 31/2. Is r < b?
True
Let d = 52105/3 + -81648517/4701. Are 0 and d equal?
False
Suppose 0 = 2*u + 3*i + 5, -35 = -4*u + 3*i - 0*i. Let x be ((1482/(-1))/3)/u. Let b = -99 - x. Is b at most as big as 3/7?
True
Let a(s) = -181*s**2 + 250*s + 500. Let j be a(-2). Which is bigger: -2901/4 or j?
j
Let z(i) = 6*i**2 - 34*i + 86. Let r be z(10). Is -7 >= r?
False
Let b = 265/4224 - 9/128. Let t = -719809/34349700 - 3/74350. Let y = t + b. Which is greater: 1 or y?
1
Let l(j) = -8*j**2 - 2*j - 3. Let n be l(5). Let v be 1/(-1) - (219 + 32/(-4)). Which is smaller: n or v?
n
Suppose 48 = -l + 17*l. Suppose 6*x - l = 9*x. Which is smaller: x or 1/10?
x
Let w = -7914.331 + 7908. Which is greater: -1 or w?
-1
Let d be -2 - 27/(-6)*2/3. Suppose 3*c + 7 = d. Let q be 0/(1/(-1 + 0 - c)). Is 0 less than or equal to q?
True
Let k(m) = -m**2 + 10*m + 1. Suppose -4*n + 3*y = -32, 0 = 3*n - 2*y - 25 - 0. Let z be k(n). Let g = -54 - -43. Is z greater than or equal to g?
True
Suppose -631*n - 19548 = -649*n. Is n less than or equal to 1076?
False
Let r be (24/105)/(-22 - (-58396)/(-65)). Is 1 < r?
False
Suppose 5*o - 231 = -2*q, -o = -2*q + 3*o + 276. Suppose -f = -4*m - 