)/6 - (0 + -3). Is i less than t?
True
Let a be 31 + 1/(-3*(-3)/(-18)). Is a not equal to 31?
True
Let u(n) = -n**2 - 4*n + 5. Let t be u(-4). Suppose 0*s + s - 5*b = -21, -5*b = t*s - 45. Is s <= 0?
False
Let q = -8 - -9.1. Let l = q - 0.1. Which is bigger: l or -0.2?
l
Suppose -4*x + 497 = -3*x. Let i be (-3)/814*x - -2. Let d = i + 1/74. Which is greater: d or 1?
1
Suppose 3*s + 89 = -4*b, -2*s = 4*b - 5*b + 63. Which is smaller: s or -30?
s
Let t(u) = -u**2 - 9*u + 3. Suppose -4 - 4 = p. Let z be t(p). Are z and 10 nonequal?
True
Let z(b) = -b**3 + b - 1. Let s be z(-2). Let h(x) = -x - 2 - 3 + 2*x. Let c be h(s). Which is bigger: -3/5 or c?
c
Let l = -17 - -25. Is l bigger than 7?
True
Suppose 2*s - 5*x = -24, -10*s + 12 = -8*s + 4*x. Let r(p) = -p - 4. Let l be r(-3). Is s <= l?
True
Suppose -3*j + 31 + 35 = 0. Suppose 2 = 3*n - j. Let c = -47/6 + n. Which is smaller: 1 or c?
c
Let v = -24 + 4. Let g be v/16 + 1/4. Are g and -1 nonequal?
False
Suppose -9*k + 7*k = 0. Is k < -7/13?
False
Suppose -3*y + 15 = 2*y. Suppose 0 = -t + 4 - y. Which is greater: t or 2/3?
t
Let k(a) = a**3 + 3*a**2 + 2. Let o = 4 - 0. Let v be o/((-12)/9)*1. Let j be k(v). Which is smaller: j or -2/5?
-2/5
Let m = -0.05 - 0.1. Which is greater: m or 0?
0
Let s = -10 - -12. Let g be (-3 + 12)*s/6. Suppose 3*u + 1 + 2 = 0. Which is smaller: u or g?
u
Suppose y - 56 + 191 = -3*s, -5*s + 4*y = 242. Is s != -45?
True
Suppose 30 = -5*l - l. Let q = 1 - l. Are 6 and q non-equal?
False
Let d = -5 + 7. Suppose 0 = d*j - 5*l - 35, -2*j + 4 = l - 1. Suppose 2*q + 9 = j. Is q != 0?
True
Suppose k - 27 = -5*z, -19 = -3*k + k - 3*z. Suppose k*d - 5 = b, b + 8 = 3*d + 2*d. Is -0.7 less than d?
True
Let x = 4 + -1. Let h be 2/x + (-7)/(-3). Which is smaller: h or 1?
1
Let c(p) = p. Let a be c(-4). Suppose 2*d = 5*d - 4*l + 11, d + l = -6. Is d not equal to a?
True
Let i be (-28)/49 + 412/231. Let z = 4/33 + i. Which is smaller: z or 2?
z
Let c be (-55)/(-1) - (-7 - -6). Suppose 17 = f + 2*t, 0*t + c = 4*f + 2*t. Is 13 less than f?
False
Suppose 3*f + 39 + 35 = 4*o, -5*f - 142 = -2*o. Let d = f - -59/2. Let t = -1 + -1. Which is smaller: d or t?
t
Let x(h) = h**3 - 3*h**2 + h - 1. Let m be x(3). Suppose -m - 1 = -g. Is 5 less than or equal to g?
False
Let j = -214/9 + 2221/90. Which is smaller: j or 2?
j
Let h = 28 - 55/2. Let y be (4 - 3) + 0 + 0. Let i(p) = p. Let b be i(y). Does b = h?
False
Let m be (2/(-18))/((-2)/8). Suppose -o - 8 = -4*n, -4*o = -0*n + 3*n + 13. Is m not equal to n?
True
Let z(p) = -p**2 - 7*p + 3. Let a be z(-7). Suppose a*l + 2*l + 10 = 0. Let f = 4 + -7. Which is bigger: f or l?
l
Let z = 2 + -2. Let p be (-8)/(-10) - 1/(-5). Let v be (z - p)*(0 - -1). Which is bigger: -2 or v?
v
Let x = 0.016 + 0.184. Is 0 < x?
True
Let i be 4/8*10/(-5). Let p be (1 - 2) + 15/24. Is p at least as big as i?
True
Let z = -1 + 0. Let o = -0.53 - 0.17. Let h = o - z. Which is bigger: -1 or h?
h
Let s be (3 + 0)*(-14)/(-6). Suppose 2*l - 8 = 4. Is s bigger than l?
True
Let x = 2 + 1. Suppose 8 = x*m + m. Let h be (1/(-4) + 0)*-6. Are m and h equal?
False
Let c(s) = 24*s**3 + 3*s**2 - 2*s. Let h be c(1). Which is bigger: 24 or h?
h
Suppose 0 = 3*r - 3, -3*k + 2*r + 5 = -2. Let u be 1 - (8 + 0 - k). Let o be (u/6)/((-32)/(-18)). Is o < -1?
False
Let h = 251 - 2767/11. Which is greater: h or 0?
0
Let u(m) = -4*m**3 - m**2. Let w be u(-1). Let r = -1 + w. Let k be 9/(-6)*r/3. Is k <= 0.3?
True
Suppose -v + 4*v = -3. Suppose -5*q + 3*i + 5 = 0, 0 = -3*q + q - 2*i - 14. Is q bigger than v?
False
Suppose 5*r = r + 16. Suppose -1 = -3*t + 3*z + 32, r*t - z - 32 = 0. Is 7 < t?
False
Let u be 58/40 - (-30)/(-20). Which is bigger: u or 1?
1
Suppose -5*z = -2*l + 4*l + 205, 3*z = -2*l - 127. Which is smaller: -38 or z?
z
Suppose -28 + 80 = 4*x. Is 14 at least as big as x?
True
Let j = 129 - 195. Does j = -67?
False
Let d = -87/17 - -925/204. Are d and -1 nonequal?
True
Let v be 10/(-4)*3/51. Let y = v + 11/306. Let w be 17 - 15 - (-1)/(-1). Is w >= y?
True
Let b(l) = l**2 + 2*l - 5. Let w be (-11)/3 + 1/(-3). Let c be b(w). Let u = 144 + -285/2. Which is smaller: c or u?
u
Let s(t) = -t**3 - 2*t**2. Let k be s(-2). Let u be (15/20)/(2/16). Suppose -u = n - 4*n. Is k less than or equal to n?
True
Suppose 0*z + 3*z = 0. Let l be (-2)/(-2)*(805/(-203) - -4). Do l and z have the same value?
False
Suppose -9 = -5*g + 11. Suppose 0 = -5*a + g + 1. Let d be (-132)/(-15) - 4 - 4. Is d > a?
False
Let y = 24019646/172555 + 2/34511. Let n = 32722/235 - y. Is -1 greater than n?
False
Let a(i) = i**2 - 15*i + 16. Let b be a(14). Let t be b/3 - 6/9. Which is smaller: t or -1/15?
-1/15
Let l(z) = -z**2 - 11*z. Let c be l(-11). Suppose -2*h - h + 12 = c. Which is smaller: 5 or h?
h
Suppose -1 = -5*o + 2*m - 3*m, 12 = -3*m. Which is bigger: o or 2?
2
Let r = 8 + -6. Suppose r*n = -0*n. Suppose n*i - 4*i = 0. Is 0.1 at most as big as i?
False
Let u be 99/(2/(-10) - -1). Let j be 1/(2 + 498/(-250)). Let n = j - u. Which is smaller: n or 2?
n
Let k(o) be the third derivative of -o**4/8 + 2*o**2. Let t be k(1). Let a be ((0/(-3))/t)/(-1). Is a at most -2/5?
False
Suppose 0 = -t - 3*t + 2*v, -3*t + v = 0. Suppose 0*x - 2*x + 5*q - 14 = t, 5*x + 4*q + 35 = 0. Let u = 6 + x. Which is bigger: u or -2?
u
Let t = 9/10 - 103/120. Is 1 less than t?
False
Let k = 0 - 0.1. Suppose 5*a + 2*p = -10, 0*a - 3*a + 5*p = 37. Which is smaller: k or a?
a
Let z(k) = k - 5. Let x be z(5). Which is smaller: -1/73 or x?
-1/73
Suppose -9*m + 13*m = -4. Let p = 5 - m. Is p < 7?
True
Let x = 0.3 - 0.2. Let y = x + -0.3. Let b = 4 + -4. Which is bigger: b or y?
b
Let j = -6 + 11. Suppose -4*s = -j + 1. Suppose 0 = -5*a - 3*z + 20, 2 = 4*a + 2*z - 12. Is s greater than a?
False
Let x be -7*1*1/(-7). Let y(c) = c**3 - 10*c**2 + 3. Let g be y(10). Suppose 0 = 2*z + q + 3, 0 = z - q - g. Is x at least z?
True
Let z be -1*(-1 - -2) - 546/(-252). Which is greater: z or 1?
z
Let y(o) = -o**2 + 10. Let s be y(-3). Let u = 16 - 7. Let q be (-1)/(-2) + u/12. Are q and s nonequal?
True
Let p = -3 - -4. Which is smaller: p or -6/19?
-6/19
Suppose 0 = 8*n - n - 14. Is 2 at least n?
True
Let i = -2/693 - -2119/13860. Which is greater: 0 or i?
i
Let o(v) be the first derivative of -v**3/3 - v**2 - 2*v + 3. Let b be o(-2). Do -2 and b have the same value?
True
Let d be (-19)/5 + 5/(-25). Let f be 2/d + (-9)/(-18). Is f at most 0?
True
Let a(t) = 2*t - 21. Let f be a(4). Which is smaller: -15 or f?
-15
Suppose 2*f - 10 = 3*f. Is -10 smaller than f?
False
Let r(y) = y**3 - y**2 - 3*y + 2. Let f be r(2). Let q be f + 3 + 146/(-50). Is q at most as big as 1?
True
Suppose 0 = -3*u + 4*l + 25, -4*u - 4*l - 13 = -3*u. Let s be (-36)/150*1/u. Which is smaller: -1 or s?
-1
Suppose -4*u = -3*w - 23, 2*w + 0*w - 5*u = -27. Let s be 6/(-9) + 116/63. Let j = s - 8/9. Is w bigger than j?
False
Let h(o) = -o**2 - 12*o - 13. Let s be h(-11). Let y = -11 - s. Let x = -5 - y. Is 3 < x?
True
Let c = 2213/5 - 444. Which is smaller: c or -2?
-2
Let x be ((3/(-4))/(-3))/1. Are -12 and x nonequal?
True
Let q = 14 + -8. Let d = q + -5.9. Which is smaller: d or -3?
-3
Let c(o) = o**2 - 11*o - 2. Let m be c(6). Is -32 <= m?
True
Let k = -71 - -132. Is k bigger than 61?
False
Suppose -149*f + 144*f = 5. Which is smaller: f or -2/95?
f
Let s = 8 - 13. Let h(a) = a**2 + 5*a - 6. Let z be h(s). Let y = -9 - z. Which is smaller: y or -2?
y
Let r be (-1)/3 - (-19)/3. Let l(q) = -2*q**2 + 9*q + 12. Let h be l(5). Is h at least r?
True
Let w = -0.1 + 0. Let f = -356 - -1073/3. Which is bigger: w or f?
f
Suppose 0 = -2*k - 2*k + 60. Let g = -10 + k. Let q(j) = -j**3 + 6*j**2 - 3*j - 3. Let l be q(g). Which is smaller: 8 or l?
l
Let s be 0 + 4002/(-1338) + 3. Is s less than 0?
False
Let g = 0.6 + 0.2. Let d = g + -0.81. Which is smaller: -0.1 or d?
-0.1
Let b = -17 + 9. Let x = b - -6. Let m be 58/18 - (-1)/((-4)/12). Is m bigger than x?
True
Suppose 0 = 2*j - 4*t - 20, j - 4*t + 0*t - 20 = 0. Suppose j = 4*d - 20 + 4. Suppose d*s + 5*o = 5, o + 2 - 3 = 3*s. Is s less than 3/4?
True
Let g = -4 - -8. Let v be g*2 + -3 + 5. Which is smaller: v or 9?
9
Suppose -6*z = -16*z - 80. Is z at least as big as 6?
False
Let r(o) = -o + 8. Let d(i) = -i**2 - 8*i - 6. Let v be d(-6). Let g be