2023 + -21016205/1748. Which is bigger: c or 0?
0
Let f = 5440 - 5649. Is -6 at least f?
True
Suppose -18 = -3*b - 3*l, -b - 899*l + 20 = -896*l. Which is smaller: 4/621 or b?
b
Let n be 9/(-6)*(-174)/9. Suppose 4*w + 5*v = -n, 2*v = 4*w + 6*v + 24. Let t be 1*-62*((-2)/w)/28. Which is smaller: t or -3?
t
Let y = 378.9597 - -0.0403. Let c = y + -377.7. Is 3 less than or equal to c?
False
Let k = 1.37744 + 1.62256. Let w = -7 + 7.18. Let x = w - 0.2. Are k and x unequal?
True
Suppose -10*q - 23 + 53 = 0. Suppose -11 = 5*p + 2*j, -q*p + p - 5 = j. Which is smaller: -10/33 or p?
p
Let s = 5367 + -423974/79. Which is smaller: s or 1?
s
Let q = 1.7593 + -0.7593. Which is greater: -1/433 or q?
q
Let m(g) = 123*g**3 + g**2 + 3*g - 6. Let o be m(1). Suppose -2*k = -103 - 137. Which is smaller: o or k?
k
Let d be 1802/434 - (29 + -26). Is 0 bigger than d?
False
Let a = -17/548 - 43551/9316. Is -6 less than or equal to a?
True
Suppose -3*t - 3*t - 9*t - 6120 = 0. Do t and -415 have the same value?
False
Let b(n) = 22*n**2 + 180*n + 8. Let i be b(-8). Let z = 14 + -40. Is i smaller than z?
False
Let p(d) be the first derivative of d**3/3 - 4*d**2 - 4*d - 33. Let g be p(6). Let q = 12.6 + -13. Is g not equal to q?
True
Let w be (-15)/23*((-51545)/26685 - -3). Let m = w + 2/1779. Let n = -2/69 - m. Which is smaller: n or 6?
n
Let l = -261.59 - -251.3. Which is smaller: 1 or l?
l
Suppose 0 = -7*v + 2*v - 4*s, 5*s = 5*v. Let k be (-15)/18 - 5364/(-4104). Is k less than v?
False
Let u be (6466/150)/((-102)/5). Let b = -3/50 - -559/7650. Let w = b + u. Which is bigger: -1 or w?
-1
Suppose -12*u + 2*u = 350. Let c = u - -48. Suppose c = 5*n - 77. Is 15 at most n?
True
Let w = -225244/7 - -32048. Is -130 > w?
False
Suppose -3 = f - 3*s - 0, 0 = -2*f - 4*s + 4. Suppose f = 5*j - 331 + 301. Which is bigger: j or 9?
9
Suppose 0 = -7*v + 169 - 6623. Let t = v - -932. Suppose 0 = 4*a - 3*a - 13. Which is bigger: a or t?
a
Let g = -229 + 235. Let m be ((-26)/g - 2) + (-2)/(-1). Let b(w) = -w + 4. Let z be b(8). Are m and z equal?
False
Let q(m) = -m**3 + 22*m**2 - 3*m + 24. Let r be q(11). Suppose p = r + 583. Let l be 6/9 + (-1315)/p. Which is smaller: 1 or l?
l
Let l = 90765 + -90781. Let h be (-3)/6 - 29/2. Is l greater than h?
False
Suppose 759*y - 740*y - 874 = 0. Which is bigger: 58 or y?
58
Let o(u) = -u**3 - 13*u**2 + 5. Let z be o(-13). Let h be -2 - (4 - 8) - -2. Is h smaller than z?
True
Let f be ((3/(-39))/((-9)/9))/3. Is f greater than or equal to 60?
False
Suppose 0*o - 3*o = 3*j - 540, -5*j + 888 = o. Let q = j - 176. Is q smaller than -8/131?
False
Suppose 15 = -5*n - 4*y, -5*n + 4*y - 15 = y. Let v be n + 1385/(-25) - (-9)/(-15). Let m = v + 408/7. Which is bigger: -2 or m?
m
Let d = 1.6 + -0.7. Let f = -0.014023 - -2.914023. Which is bigger: f or d?
f
Let o(a) = a**3 - 13*a**2 + 13*a - 12. Let v be o(12). Suppose -s + 4 = 3*q - 13, -5*s - 5 = v. Suppose q*f - 8*f = 8. Is -10 greater than or equal to f?
False
Let y = -7544.4 + 7545. Which is smaller: y or 36?
y
Let j = -31430 + 23718. Which is greater: -1/2 or j?
-1/2
Suppose 7*y - 63 = 14*y. Let s = y + 48. Suppose -15 = -5*m, -2*r + m + 87 = 4*m. Is s at most r?
True
Suppose 0 = -r - 5*m - 15, -m - 5 = -1. Which is smaller: 225/56 or r?
225/56
Let d be (-1 - (-7 + 6) - 7) + 526. Is d at most 513?
False
Suppose 16*k + 4*h - 16 = 20*k, k + 4*h = 16. Does -24/337 = k?
False
Let x be (1675/(-145) + 11)*(-2 - (-1194)/552). Which is bigger: 1 or x?
1
Let o be -21 + (-261257)/(-74) - (-9)/1. Is 3519 >= o?
True
Suppose 3*n - 252 = 135. Suppose 8*d + 55 + n = 0. Is -0.1 less than d?
False
Suppose 0 = 2*p - 16 - 10. Suppose 0 = 4*q - p*q + 36. Suppose -15 = 3*x, 2*x = -0*a - q*a - 222. Is a not equal to -53?
False
Suppose 163 = 7*r - 285. Let i = 68 - r. Suppose 3*o - i*o + 375 = 5*t, 25 = 5*o. Is 75 > t?
True
Let d = -32 - -35.7. Let a = d - 3.64. Let j = 65/4 + -341/20. Which is bigger: a or j?
a
Let g = 8262 - 8251. Let n = 2.27 - -8.63. Let b = n - g. Is b at least 29?
False
Let g = -302 - -301.8923. Let z = g - -0.077. Which is bigger: -1 or z?
z
Suppose -10*t - 73 = -1193. Let g = -61 + t. Let j = g - 53. Which is smaller: j or -0.15?
j
Let x = -1.311 - 0.834. Let w = x - -0.145. Which is greater: w or 2/5?
2/5
Suppose 6*x = 4*x - 4*s + 212, 5*x - 3*s - 517 = 0. Let h be (40/(-45) + 1)/(11/10307). Let p = h - x. Are p and 0 equal?
False
Let t(h) = h**3 - 9*h**2 - 9*h + 13. Let m be t(10). Let s(v) = v**3 + 14*v**2 + 2*v - v**2 + m - 3*v**2. Let d be s(-10). Are d and 4 unequal?
True
Let j be -3*(-2)/(-6) - 3. Let l be 1*j*(0 - (-21)/(-12)). Suppose -2*n = -13 + l. Which is smaller: 1/3 or n?
1/3
Let z be -3*((-2)/6 - -1). Let j be (3/(-6))/(((-2)/(-16))/(9*(-32)/(-1152))). Which is bigger: j or z?
j
Let k be 100/8 + 2/(-4) - 8. Which is smaller: k or 28?
k
Suppose 126*z - 387 = -3*z. Is 1/14 greater than z?
False
Suppose -4*p - 1709 - 1721 = 2*g, -2*g = -2*p - 1718. Is -859 greater than p?
False
Suppose 4952*g - 119884 = 4935*g. Are g and 7053 equal?
False
Let b = 2048 - 2820. Is b at least as big as -771?
False
Let j = 6489/10 + -3247/5. Which is smaller: -5/189 or j?
j
Suppose 0 = -42*u + 53*u. Suppose u = -4*o + 2*n + 48, -5*o + 3*n + 4 = -54. Is 2 not equal to o?
True
Let p be (-2864)/4296*2/((-4)/(-6)). Which is greater: -19/10 or p?
-19/10
Let j = -18858 + 18858. Is j bigger than 9820?
False
Let q(x) = x**3 + 8*x**2 + 13*x + 4. Let i be q(-3). Suppose -1 - i = w - 4*l, 3*l = 0. Is w smaller than -0.02?
True
Let v = -0.0788 + -4.9212. Which is greater: v or 16.66?
16.66
Let a(y) = 4*y - 23 - 2*y + 5*y - 3*y - 56. Let k be a(20). Suppose 10 = -2*c + 7*c. Is c at most k?
False
Let y(m) = m**2 - 9*m + 9. Let v be y(1). Let h be 100/(-16)*(v - 102/(-30)). Which is smaller: -1/5 or h?
h
Let u = -7408 - -2388. Let t = 3456 + u. Let m be 1 - ((-11)/33 + t/(-1182)). Which is smaller: 0 or m?
0
Let r = -106 - -94. Let i(v) = -v**2 - 3*v + 23. Let b be i(r). Let q = -61 - b. Which is greater: 26 or q?
26
Let t be (-59355)/88911 - (6 + (-80)/12). Is t > -1?
True
Let b be (7 - (0 - -4)) + -2. Let o be ((-1)/b)/((-11)/33). Let f(x) = -x**3 + x**2 + 5*x + 4. Let g be f(o). Which is greater: g or -21?
g
Let p = -1102055 - -510678. Let z = 559442735/946 + p. Let a = 14/43 - z. Is -1 < a?
True
Let g = 17 - 17. Let h(u) = 3*u**2. Let k be h(-1). Suppose g = -x - k*f - 23, 0*x - x - 5*f - 33 = 0. Is x less than -5?
True
Let o be 3/(-2)*1*2144/(-48). Is 71 bigger than o?
True
Suppose -8*x + 36 = x. Suppose x*l = 3*l. Let s be (3 + (-55)/25)/(-2). Which is smaller: s or l?
s
Suppose 0*j = 2*d + 2*j + 66, 4*j - 16 = 0. Let u = -13 + d. Is -52 at least u?
False
Let o be (-180)/330 - 47770/(-85360). Is 1 <= o?
False
Let y be 72/39 - (1 - -1). Let p = 34421/117 + -3826/13. Is y at least as big as p?
False
Suppose 3*s = 3*p + 93, s = -4*p + 2*s - 112. Is -649/25 < p?
False
Let n = 0 + -5. Let d(o) = 10*o - 106. Let f be d(11). Suppose -16 = f*r + y, -3*y + 16 = y. Is r > n?
False
Suppose 711*h - 706*h + 2608 = b, 5*b - 13155 = 2*h. Are b and 2634 non-equal?
True
Let y be (-504)/105*5/1814. Do 0 and y have different values?
True
Let o be (-1761)/(-3666) - (-74)/(-148). Which is greater: o or -1?
o
Let g(h) = -4643*h - 15827. Let s be g(-6). Is 2/5 at least as big as s?
False
Let k(m) = 2*m**2 + 29*m + 61. Let r be k(-21). Let q = r + -333. Are q and 2/19 nonequal?
True
Let t(h) = h**2 - 32*h - 969. Let l be t(51). Do l and -1/17941 have the same value?
False
Let v = -2717.9 + 2718. Let i = -4 - 7. Let j = 2 + i. Is j at least as big as v?
False
Let w be (-2*2/8)/((-55)/(-2)). Let f = 0.83 + 0.17. Which is smaller: w or f?
w
Let n be 39954/(-3987) + -11*(-50)/55. Is n smaller than 0?
True
Suppose 9*n = -43 + 7. Let z be 0 - (-102)/(-15) - -3. Let k = n - z. Which is greater: k or -0.09?
-0.09
Let v = -0.006 - 44.994. Let k = 8 - v. Let n = k - 52.98. Is -0.1 bigger than n?
False
Let m = 1234 + -1232.8. Is 505 equal to m?
False
Let g be (-343)/(-18*(36/(-16) - -2)). Let h = g - -58301/765. Which is greater: -1 or h?
h
Let v(p) = p - 5. Let c be v(11). Let t be (-2)/12 + 4/c. Let a be 0*(-4 - (-43)/11). Which is smaller: t or a?
a
Let f = -429 + 471. Let u be (-7)/f - 794/(-12). Are u and 64 nonequal?
True
Let j = -308 - -