)))/(z/6). Are k and 47 nonequal?
False
Let q(y) = -4*y - y**3 + 15*y + 11*y**2 - 2*y + 7. Let j be q(12). Are j and -29 unequal?
False
Let l be 4*(1 + 2)/6. Let h = -5 + 11. Does l = h?
False
Let k = -39/170 + 1/34. Is k != -33.7?
True
Let g be (24/(-9))/(2/(-3)). Let k(c) = 2*c - 7*c + c**3 - 10*c**2 + g*c + 20 - 9. Let l be k(10). Which is smaller: l or 0?
0
Suppose 102 = 3*h - 5*h + b, -5*b + 86 = -2*h. Let o = h - -52. Is -2 not equal to o?
True
Let o = 70 - 41. Let h = o - 27. Let i = -3158/9 - -352. Do i and h have the same value?
False
Let x = -592 - -12430/21. Is -0.19 <= x?
True
Let p = -1.4 - 0.6. Let f = 0.37 + 41.13. Let d = f + -41. Is d less than p?
False
Let t be 3 + 90/33 + -5. Which is smaller: t or 2?
t
Let w(x) = x**2 - 8*x + 10 - x + 2. Let c be w(7). Does 6 = c?
False
Let r be 1 + 3 + 220 + -3. Is r greater than or equal to 220?
True
Let w = 181/75 - 38/15. Let x = 387 - 386. Is w at least as big as x?
False
Suppose -7 + 13 = 6*a. Suppose -3*d + 4*o - 3 = o, 3*d - 4*o = a. Which is smaller: d or -11/3?
d
Let h = 115 + -109. Is h greater than or equal to -2/17?
True
Let k = -4.0944 - -0.0944. Which is smaller: -16 or k?
-16
Let h(q) = -q**3 - 7*q**2 - 10. Let i = -30 - -24. Let x be h(i). Are -46 and x nonequal?
False
Let i(a) = 3*a + 10. Let x be i(11). Suppose -77 - x = 5*r. Let g be 2/6 - (-32)/r. Is g at most -2/3?
True
Let m be (-594)/12279*-62 + -3. Let i = m - 712143/53209. Let y = -2984/221 - i. Which is smaller: 0 or y?
y
Let c = 77 - 79. Let k be c*1*(3 + -4). Suppose 0 = -2*x + 5*x - 12. Is x at least k?
True
Let u = 3 + -2. Let r = -8656/7 - -61051/56. Let p = 146 + r. Is u at most p?
False
Suppose -81*l = 33*l - 11058. Let s be ((-194)/(-6))/((-1)/(-3)). Is l less than or equal to s?
True
Let s = -2437/8 - -305. Suppose -8*u + 183 = -5*u. Suppose 0 = -64*d + u*d. Which is smaller: s or d?
d
Suppose -5 = -5*z - 0, -g - z = 1. Let r be (-904)/(-32) - g/(-2 + -6). Which is greater: 27 or r?
r
Suppose 2*s + 1 = -3*u - 3, 0 = u + 4. Suppose 2*l = -w + 4*w - 6, 8 = -4*w. Let q = l - -12. Which is greater: s or q?
q
Let l(o) = -o. Suppose q = -q + 4. Suppose -3*j - 6 = -4*c, -c - 5*j - q = -4*j. Let m be l(c). Is 0 greater than m?
False
Let r = 487 - 484. Let w = 0.3 - 1. Which is smaller: r or w?
w
Let m = 29 + 6. Suppose 8 = 3*j + 5*g - m, j + 3*g = 21. Suppose -3 = 3*h - j*h. Is h at most 2/47?
False
Let l = -9693951/19 - -510326. Let h = 118 - l. Which is smaller: 1 or h?
h
Let r = 4.1 - -1.5. Let s = -6.8 + r. Is s >= 0.1?
False
Suppose -2*a + 261 = 27*a. Which is greater: a or 8?
a
Let v = -2502/7 - -358. Let o(q) = q**2 + q. Let u(j) = -j**3 + 8*j**2 - j + 6. Let s be u(8). Let k be o(s). Is v smaller than k?
True
Let h = 71/68 - 22/17. Which is bigger: h or -206?
h
Let r = -3304/5 - -663. Which is greater: 2 or r?
r
Let w = -10 - -6. Let n = 1.03 - -4.97. Is w less than n?
True
Let v be 11/(110/(-15)) + 65/(-2). Which is greater: -98/3 or v?
-98/3
Let f be (1 + -2 + -6)*-1. Let d(i) = i + 9. Suppose 0 = -3*l + 9 - 21. Let w be d(l). Is w less than or equal to f?
True
Suppose -3*n + 2*n = -7. Suppose -5*f - n = 3. Let z be 2/(-8) + 2 + f. Which is smaller: z or -2/5?
-2/5
Suppose 2*f - 6 = 2. Let k be 2 + -2 - f/(-18). Suppose q - 2*c + 9 = 0, q + 5*c - 11 = 1. Which is smaller: k or q?
q
Suppose 0 = 11*o - 16*o + 70. Let f be (-392)/o + -2 + 1. Is f greater than -29?
False
Let j(f) = f**2 + 15*f - 297. Let z be j(-26). Suppose -2*g + 3 = 5. Let p be (2/(-3))/(g/(-15)). Which is greater: z or p?
p
Let f(r) = 7*r - 2 - 1 + 2 - r**2 - 3. Let u be f(3). Let w be 7/(-6) - u/(-12). Which is smaller: -10 or w?
-10
Let j be (2/36)/((-8)/(-16544)). Let m = j + -115. Which is smaller: m or 3?
m
Let m(h) = 2*h - 8. Let u be m(6). Let z(s) = -s**3 - 5*s**2 - 6*s - 7. Let w be z(-4). Is u at least as big as w?
True
Suppose -5*l + 4 + 6 = 0. Let a be l/(-9) - (-28)/63. Let k(b) = -3*b + 6. Let i be k(2). Is i equal to a?
False
Let b(g) = g**2 - 6*g + 4. Let k be b(4). Let a be 15/(-12)*(-8)/(-6)*-3. Suppose 0 = -5*m - 2*q - a, 5*m + 3*q + 3 + 2 = 0. Which is smaller: k or m?
k
Let l = 4045/7 - 581. Let b = -80/21 - l. Which is smaller: b or 0?
b
Let z(n) = -n**2 - 2*n + 14 - n**3 + 0*n - 11. Let v be z(1). Which is greater: 1/111 or v?
1/111
Let h(j) = -2*j + 3. Suppose 0*v = -4*v - 3*t - 12, 0 = -4*v - 5*t - 20. Let l be h(v). Let s be l/(-7)*(-14)/4. Which is smaller: s or 2?
s
Let p(j) = j**2 - 27*j + 72. Let u be p(16). Is u at most as big as -104?
True
Let a = 748 + -1060. Which is smaller: a or -313?
-313
Let o be (6/8)/((19 - -2)/(-7)). Is o equal to -35?
False
Let i = -17 - -26. Let c be 6 + (128/(-60))/((-2)/(-5)). Are i and c nonequal?
True
Let r be (2/(-2902))/(73/292). Is 1 < r?
False
Let n = 18.68 + -17. Let f = n - -0.32. Which is greater: f or -0.04?
f
Let k(n) = n**2 - 6*n - 169. Let j be k(-9). Which is smaller: 8 or j?
j
Let o be (182/(-143))/(-7) + 6393/(-11). Is -581 at least as big as o?
True
Let t(n) = 8*n + 87. Let p be t(-43). Which is smaller: p or 0?
p
Let h(r) = -3*r + 2. Let y(l) = 4*l - 2. Let s(j) = 3*h(j) + 4*y(j). Let p be s(-2). Is -15 <= p?
False
Suppose 3*f + 12 = -w, 4*f + 92 - 96 = 0. Is -175/12 less than w?
False
Suppose -t = 3*u - 0*u + 249, u - 2*t + 83 = 0. Are -82 and u nonequal?
True
Let d(p) = p**3 + 5*p**2 + 6*p - 1. Let v be d(-5). Let r(l) = -7*l - 60. Let i be r(-4). Is i less than v?
True
Let i be -1 + 3 + 215 + 0/5. Is i at most as big as 215?
False
Suppose -3*q + 4*l - l = 3, -5*q = -4*l. Let o be 3 - 0/((-15)/(-3)). Suppose 0 = -2*w + o*w + 2. Which is greater: w or q?
q
Let a = -53 - -52. Let q = -22 - a. Which is smaller: q or -20?
q
Let v be 0/((-42)/6 + 3). Are v and -9/89 non-equal?
True
Let k = -1.8 - -0.2. Let n = k + 2. Let m = n + -0.5. Which is smaller: m or 3?
m
Let r = -1819 + 1632. Is r smaller than -190?
False
Suppose -2*f = 5*c + f - 47, 3*c - f - 17 = 0. Let v(t) = 21*t - 205. Let n be v(10). Which is bigger: c or n?
c
Let o = 22.059 - 0.059. Let j = 22.05 - o. Is -2/27 less than j?
True
Let l(j) = 0*j - j - 4*j + 4*j. Let c be l(-2). Suppose -4*u = 0, 0 = c*i - 5*u + 6*u + 2. Which is bigger: -14/9 or i?
i
Suppose -1941*l - 1 = -1940*l. Is -5/24 greater than or equal to l?
True
Let g be (-39840)/(-175) + 6/(-10). Suppose 0 = 5*m + 563 + 572. Let x = m + g. Which is bigger: 0 or x?
x
Let b = -42 + 42.1. Let g = -7 - -8. Which is greater: g or b?
g
Let m = -142 + 141. Let n(j) = -2*j**2. Let s(y) = -y**2 + 3*y + 3. Let f be s(4). Let o be n(f). Is m smaller than o?
False
Suppose -13*k = 78 + 156. Let r be (1 - k/(-15))*(-2)/(-34). Is r != -1?
True
Let d = 23 + -18. Suppose -5*i + 5 = d*f, i = -0*i - 5*f + 5. Which is bigger: i or -2/27?
i
Suppose -1 = -x + 6. Let m = 7 + -2. Which is smaller: x or m?
m
Let t be (1 - -26)/(1*-1). Let p be (-3)/4 + t/12. Let z be 14/8*12/(-9). Which is bigger: z or p?
z
Let w be (-25*(-16)/40)/(48/(-38)). Which is bigger: w or -8?
w
Let p be (-1)/2 + (-4)/(-26). Is p at least as big as 1?
False
Suppose 16*j - 15*j + 3*x + 126 = 0, 4*x + 122 = -j. Is j less than or equal to -139?
False
Suppose -4*w = w. Let q be (-2 + w)*(-8)/(-120). Let m = -6 + 6. Which is bigger: q or m?
m
Let p = 6 - 8. Let j be 1/1*(-2)/2. Let s = j - p. Which is smaller: s or -3/11?
-3/11
Let h = 8 + -10. Let f be 0 - -25 - (h + 1). Is f greater than -0.1?
True
Let u = -1447828/627 + 91444/33. Let z be 4624/10 - (5 - 115/25). Let j = z - u. Is -1 != j?
True
Let n be (-80)/(-20) - (1 - 4). Let b be (-24)/309*n/(-28). Which is smaller: 1 or b?
b
Let g(i) be the second derivative of -i**4/12 - 5*i**3/3 - i**2/2 - 4*i. Let a be g(-8). Is a at least 16?
False
Suppose -2*v = 11 + 5. Let u be 57/(-65) + v/(-10). Is u smaller than -1?
False
Let b be 9/(-2*(-1)/(-4)). Let a = 47 - 11. Suppose s = 2*o + a, 5*s = o + 4*s + 18. Do o and b have different values?
False
Let p = 1111693/300 - -9119/100. Let i = p + -3833. Let k = i - -4159/114. Do k and 1 have different values?
True
Suppose 7*j + 24 - 17 = 0. Is j >= -13/9?
True
Let y = -1.8 + 0.2. Let a = y + 0.6. Let v = a + 1.1. Which is bigger: v or -2?
v
Suppose -3*h = -4*f + 2*h + 195, 5*f = -h + 280. Suppose -2*d + 6*a = a + 5, f = -2*d - 5*a. Which is greater: -17 or d?
d
Let m = -652 - -647.41. Let w = m +