*j - 3*l + 83. Which is smaller: -24 or j?
-24
Let d = 503 + -498. Let w(s) = s - 3. Let c be w(2). Is c > d?
False
Let j = 77 - 43. Let n be -1 - (0/(-4) + -36). Which is smaller: n or j?
j
Suppose -2*u + 46 = 4*p + 10, -p = u - 11. Let l = 7 - p. Which is bigger: l or 1/68?
1/68
Let x = 114 + -113. Let r be (-35)/17 + -1 + 3. Which is bigger: x or r?
x
Let y be ((-222)/(-10))/(-17 + 20). Are y and 7 nonequal?
True
Let n(l) = -l**3 + l**2 - l - 1. Let s(i) = 2*i**3 - 3*i**2 + 5*i + 3. Let f(c) = -4*n(c) - s(c). Let h be f(1). Suppose -t = -h - 0. Does t = -3/8?
False
Suppose -o = -2*o + 4*t - 16, -4*t = -20. Suppose o*u + 17 = 21. Which is bigger: u or 1/16?
u
Let s(c) = -c**2 - 3*c + 42. Let v be s(5). Which is bigger: 52 or v?
52
Let l be 15/1095*3*-1. Which is bigger: 1 or l?
1
Suppose 3*c + 3*g + 24 = 0, 2*c + g + 41 = 4*g. Let r = 32 + -22. Let o be ((-36)/r)/(9/30). Is c greater than or equal to o?
False
Let u = 131 + -52. Let z = -80 + u. Which is bigger: -2/59 or z?
-2/59
Let s = -330 + 274. Do s and -57 have the same value?
False
Suppose -b + 139 = 143. Let y be 2/((-344)/84 - b). Which is smaller: y or -19?
y
Let c be 3/((-2)/(16/(-6))). Let g be c/2 - (9 - 11). Suppose -g*k - 35 = k. Is k != -4?
True
Let c = 45 - 48. Is c at most as big as -11?
False
Let h(w) = w**3 - 13*w**2 + 13*w + 11. Let y be h(10). Is -3 >= y?
True
Suppose -74 - 191 = o. Let v = 13517/51 + o. Which is bigger: -1 or v?
v
Suppose y - t - 4 = 0, -5*y + 0*t = -t - 20. Suppose -n + 2*n + y*s = -8, 2*n - s - 11 = 0. Let i be 66/4*n/(-6). Which is smaller: i or 1?
i
Suppose -3*r - 2*c = -21 - 48, -3*c - 34 = -r. Which is bigger: r or 27?
27
Let l = -10/231 - 283/9471. Is l > 3?
False
Let j = -0.5 + 1. Let s = j - 1.5. Which is greater: s or -6?
s
Let m be (11/(-22))/((-3)/(-6) + 0). Is m at most as big as 4/13?
True
Let d be 95/(-475) + (-1)/5. Is 22 <= d?
False
Let v(h) = 17*h**2 + 11*h - 8. Let p be v(3). Is p less than 178?
False
Let f = -1.96 + 2. Let k = -11.7 - -10.54. Let v = k + 1.26. Which is smaller: v or f?
f
Suppose 10*s + 24 = 4*s. Let d be (28/21)/(s/6). Is d smaller than 0?
True
Let z be (-1840)/18 + (-66)/(-297) + -2. Is z at most 2?
True
Suppose 3 = 4*r - 5*b, -4*b + 9*b = 2*r + 1. Suppose -4*t - 2 = -5*t. Suppose -t*f - 6 = -r. Is -2 less than f?
False
Let z = -75.7 + 75.81. Are z and 1/4 equal?
False
Suppose -13*h + 8*h = 160. Let k be -2 - -1 - 30/h. Which is smaller: 1 or k?
k
Suppose -2*p - p - 4*r = 172, -4*r + 52 = -p. Let z be 30/p - 3/(-12). Is 0.05 at most z?
False
Let q be 1218/(-204) + (-18)/(-3). Is -1 less than q?
True
Let r be (-1*(3 + 0))/(-1). Suppose -r*k + 0*k + 10 = -5*u, -3*k = 2*u + 4. Is 3/17 != k?
True
Let g be (-58)/20 - (-6)/15. Let z(x) = x**3 - 3*x**2 + 10*x + 3. Let m be z(4). Let h = m + -62. Is h at least as big as g?
False
Let k = 564 - 4006/7. Are -8 and k equal?
False
Suppose 4*c - 5 = 7. Suppose -c*z = 5*h + 203, -3*z - 2*h + 73 = 291. Which is greater: z or -0.1?
-0.1
Let z = 125 + -171. Let w(u) = -11*u - 3. Let g be w(4). Is z smaller than g?
False
Let o be (12/(-248))/(15/(-35)). Which is smaller: -1 or o?
-1
Let i be (-1)/(-28)*-2*20. Let j(x) = -x**2 - 4*x - 1. Let w be j(-4). Which is smaller: i or w?
i
Let j be 2 - 44/11*9/12. Suppose y - 11 = -5*o, 4*o = o + 9. Which is smaller: y or j?
y
Let j(i) = i**3 + 7*i**2 - 9*i - 24. Let d be j(-7). Let x be d/(-5) + 5 - -1. Which is greater: -2 or x?
x
Suppose -2*x = -3*s - 13, -3*x - s + 0*s - 8 = 0. Let d be x/((-1)/(-3))*5/(-165). Suppose 5*w = 2*w + 3. Is d greater than w?
False
Let x = -342 - -1369/4. Which is bigger: -8/3 or x?
x
Let w = -64.7 + 64.7. Is 80 at least w?
True
Suppose -76*f - 16 = -78*f. Suppose 74*l - 73*l = -f. Suppose 2*x + 6 = 0, -13 = 2*n - 3*x - 4. Which is greater: n or l?
l
Let k be (5532/(-70))/(3/(-10)). Let z = -263 + k. Let t = -311 - -311. Which is smaller: t or z?
t
Let k(j) = -j**3 + j + 2. Let n be k(0). Suppose 3*g - c = -0*g + 23, -2*c - 25 = -3*g. Let y be 12/(-42) - (-2)/g. Which is smaller: n or y?
y
Suppose -16*m + 36 = -22*m. Is m > -6?
False
Let u = 9 - 6. Suppose -u*w - 4 = a + 13, -2*w + 4*a - 2 = 0. Which is smaller: w or -4?
w
Let i be 8 + -6 - 1/668*1334. Which is bigger: 0 or i?
i
Let n be (-391)/115 - (8/5 + -2). Does n = -131?
False
Let a = 13.08 + -13. Let q = a - -19.92. Let m = -28 + q. Is -0.1 bigger than m?
True
Suppose 33*k - 4180 = -43*k. Are k and 72 unequal?
True
Let u = 5.87 + -81.67. Let j = -76 - u. Is 9 at most j?
False
Let l be ((-16)/(-6)*3)/(-1). Let i(s) = 3*s + 9. Let a be i(l). Let x = 66 - 81. Is a at most as big as x?
True
Suppose 0 = -4*v - 3*h - 120, -2*h - 89 = -v + 4*v. Suppose -3*m + 5*m + 2 = 0, -2*d - m = -47. Let y = d + v. Is -3 >= y?
True
Let p = -49/60 + 16/15. Is -2 at most as big as p?
True
Suppose -p - 4*k = 6, -p - 1 = -5*k + 5. Let a be 148/48 + (p - (0 + -3)). Which is smaller: a or 0?
0
Let h = -56.1 + 54. Let g = -0.6 - h. Let j = -209 - -835/4. Which is smaller: g or j?
j
Let c = -6193441/771 - -8033. Let q be 9 - 6 - 5652/771. Let l = c - q. Are l and 4 unequal?
True
Suppose 0 = 5*i - h + 9, 3*h = -3*i + 13 - 4. Which is greater: i or -86/37?
i
Suppose 3*l = -12, 2*l = -4*w - 2*l - 36. Let f = -2 - -2.05. Let j = f - 0.15. Which is smaller: j or w?
w
Let c be 2/((6/26)/3). Let y(t) = 6*t + 4. Let q be y(14). Let g be 4/c - q/65. Is -1 less than or equal to g?
False
Suppose -3*f = -5*b + 51, -6*f + 3*b = -f + 69. Let r be f/72 - 151/30. Let j = -89/20 - r. Which is greater: 0 or j?
j
Suppose 202 = -9*q - 41. Let r = q - -18. Is r at most -0.3?
True
Suppose 0 = -s + 1 - 4. Let r(f) = -9*f**2 - 27*f - 1. Let m be r(-3). Do m and s have the same value?
False
Suppose -4*f + f - 3*x - 15 = 0, 4*x = -4. Let b(m) = m**3 + 4*m**2 + 5*m + 3. Let w be b(-3). Let d = f - w. Which is bigger: d or 0.1?
0.1
Let t = -40/63 - -7/9. Let i(d) = -20*d - 1. Let v be i(1). Let m = 20 + v. Which is smaller: m or t?
m
Let y(v) = -9*v - 28. Let c be y(-4). Suppose r = -c*r - 9. Which is smaller: 1 or r?
r
Let w = -2900.18 + 2900. Which is bigger: 10 or w?
10
Let c = 7 + -3. Let y = c + -4.4. Is 0 < y?
False
Let w = 117 - -7. Let t = 126 - w. Is t greater than 0?
True
Let t = -8 - -8.024. Let u = t + -0.024. Let b = 0.9 - 5.9. Which is bigger: b or u?
u
Let n be (-5047)/(-98)*(-4)/(-30) - 7. Let b(x) = -x**3 + 7*x**2 - 6*x - 1. Let v be b(6). Let u be v + 3 + -3 + 1. Do u and n have the same value?
False
Let v be ((-15)/45)/(1/3). Which is greater: 2 or v?
2
Let z = 173 + -141. Let v = z + -31.72. Let b = 1 - 0. Is v >= b?
False
Let v(f) = -7*f**3 + 5*f**2 + 8*f + 6. Let b(i) = i**3 - i**2 - i - 1. Let p(x) = 6*b(x) + v(x). Let a be p(-2). Are a and -1/19 unequal?
True
Let k be (-304)/(-294) + (-2)/3. Let d be 2/7 + (-2)/(-1617)*-577. Let g = d + k. Which is smaller: -1 or g?
-1
Let l be (-78)/21 + 4 - (-2)/(-7). Let y = -49 + -26. Let a be (y/11)/(-3) - 2. Which is greater: a or l?
a
Let n be 6/(-4)*(-54)/(-81). Which is smaller: n or 2?
n
Let d be 1/(-1) - -1*143. Let j = 712/5 - d. Is j >= -5?
True
Let w = 1334049781/289971435 + -370/94917. Let j = w - -2/611. Which is smaller: 4 or j?
4
Let k be (-15 - -16)/(1/(-6)). Let t be (-15)/k*(-48)/(-15). Is 0 <= t?
True
Let d = 36 + -17. Suppose 11*j - d = 10*j. Is j > 19?
False
Suppose f - 21 = -2. Let j be (3 - f) + 1 - -3. Suppose 4*w + 38 = -2*t, -2*w - 42 = w - 3*t. Which is greater: w or j?
w
Let p be -1 - (2/(-2922))/(50/22065). Let q = p + -1/487. Which is greater: q or -1?
q
Suppose -12*q + 22 - 238 = 0. Which is smaller: -19 or q?
-19
Suppose -17*z + 19845 = 3865. Is 940 != z?
False
Suppose -29 = 4*c + 4*s + 31, -2*s = 3*c + 46. Suppose 6*f + 90 + 12 = 0. Do f and c have different values?
True
Suppose -p - 18 = 2*p. Let v(w) = -w**3 - 5*w**2 + 7*w + 2. Let a be v(p). Let o be a + 7 + 26/(-8). Which is smaller: 0 or o?
o
Let b = -11998/5391 + 2/599. Is -1 less than or equal to b?
False
Let l(u) = -2*u**2 - 2*u + 4. Let a be l(-3). Let w = 6.73 + -6.63. Which is bigger: a or w?
w
Suppose 4*i - 2*y = -8, -5*y + 0*y + 20 = 0. Suppose v = -i*v. Suppose 0 = 4*l - 4 - v. Which is smaller: 4 or l?
l
Let o(y) = -y**3 + 26*y**2 - 92*y + 87. Let j be o(22). Which is greater: -2/1747 or j?
-2/1747
Let u be 1 + 4 - 34/6. Which is smaller: -1079 or u