: -1 or k?
k
Let z(y) = 5*y**2 - 5*y + 5. Let k be z(2). Let n = 8 + 8. Is n less than k?
False
Let u = 1 - 2. Let z be 3 + 1 + (-90)/21. Is u at most as big as z?
True
Let j = 18.1 + -22. Let q = j + 4. Let s(b) = -4*b - 46. Let l be s(-11). Which is smaller: l or q?
l
Let j(n) = -n**3 + 5*n**2 + 5*n + 7. Let t be j(6). Let f be t/2*(1 + -3). Let y be 2/6 - (-22)/(-30). Is y > f?
True
Let c = 3 + -3. Suppose h - 4*h + 2*s - 1 = 0, 4*h - 4*s = c. Is -6/17 less than h?
False
Let b be (-8)/(-4)*2/(-8). Let h = -24/35 + 2/5. Which is bigger: b or h?
h
Suppose u - 5*t + 24 = 0, -4*t - 15 = -7*t. Do -2/29 and u have the same value?
False
Suppose 0*i = 3*i. Which is bigger: 3/5 or i?
3/5
Suppose -2*u + 12 = 4*a - 4*u, 0 = 4*a - 4*u - 16. Let y(x) = x**2 - 2*x + 2. Let l be y(a). Suppose -5*m = -2*h - 21, -2*m = 5*h + 3*m - 35. Is l >= h?
True
Let g(k) = -k**2 + 8*k + 2. Let i be g(7). Let u = i - 4. Suppose 11 = u*w + 36. Are 2/5 and w unequal?
True
Let d = 148/3 - 50. Which is smaller: d or 2?
d
Suppose -i + 32 = -2*k, -5*i + 5*k + 129 + 16 = 0. Let x be 57/39 - 4/i. Let t = x + -124/65. Are -0.1 and t equal?
False
Let r = 0 + -3. Let c(p) = -p**3 + 5*p**2 + 6*p - 1. Let j be c(6). Which is smaller: r or j?
r
Suppose 5*x - 4*y - 25 = 0, -2*x + y - 2 + 9 = 0. Suppose 5*h = t + h + 18, -x = 2*t - h. Let z = 5 - 3. Is t bigger than z?
False
Let h be 9/(-3)*6/(-9). Suppose -h*k = k - 6. Which is greater: k or 0?
k
Let o = 66 - 44. Suppose o = 4*h - 2. Is h at least as big as 0.1?
True
Let i(h) = 30*h**3 - h**2 + 1. Let s be i(-1). Let n = 152/5 + s. Which is greater: 0 or n?
n
Let d = -6 - -14. Let n = d + -8. Which is bigger: -0.8 or n?
n
Suppose 47*s - 16 = 49*s. Let k(g) = g**2 + 6*g - 2. Let r be k(-5). Which is greater: s or r?
r
Let v be -6*(-4)/12 - 1. Suppose h = -0*h + v. Are h and 4/7 non-equal?
True
Let i = 0.1 - -3.9. Let g = -2 + i. Is g greater than 1?
True
Let z be 2/(-4) - (-5)/10. Let s = z + 5. Suppose 4*j + 2*v - s*v + 21 = 0, 5*v = 2*j + 7. Which is smaller: 0 or j?
j
Let g(n) = n**3 + 10*n**2 + 9*n + 1. Let c be g(-9). Is c > -4?
True
Let z be -12 + 10 - (-128)/6. Is 19 at least as big as z?
False
Let f be 15*-1*(-2)/6. Let x = 1 - 5. Let r be 1/((3/x)/(-3)). Is f less than or equal to r?
False
Let i(y) = y + 13. Let q be i(-7). Let h(f) = f**2 - 2*f - 1. Let o be h(4). Is q less than o?
True
Suppose 5 = 2*p - j, 3*p + 15 = -2*p - 3*j. Which is bigger: p or -1?
p
Let l be 7 + -8 + -2 + (-29)/(-7). Do l and 1 have the same value?
False
Let p(w) = w**2 - 7 - 4*w - 7*w**2 - w**3 - w**2 + 3*w. Let n be p(-7). Which is greater: n or 2?
2
Let z = 31 + -17. Let k = z + -12.4. Let o = k - -0.4. Is o greater than or equal to -2?
True
Suppose -t = 5*o - 15, -3*o + 8*o - 15 = -4*t. Which is bigger: t or 1/7?
1/7
Let j = -165 + 167. Which is bigger: -41 or j?
j
Let n = -0.1 - -0.2. Let k = -1/153 - 1/9. Which is bigger: k or n?
n
Let p = -0.2 - -0.3. Let t = 7.2 + -7. Let g = t - p. Which is smaller: g or -1?
-1
Let z = 3 - 3. Let v be 1/(-2 - -1 - z). Is -3 less than v?
True
Suppose -s = -2*m - 2*m - 52, -4*s + 28 = -m. Is -11 <= m?
False
Suppose -14 = -4*z + 18. Let h = z - 10. Which is smaller: h or 2?
h
Let u be 0 + 5/(-25) - (-28)/(-10). Which is bigger: u or -5?
u
Let k = 2 + -4. Let q(m) = m - 14. Let n be q(0). Let h = 11 + n. Is h at most k?
True
Let v(g) = g**3 - 3*g**2 + 2*g + 2. Let t be v(2). Suppose -t*x + 4*x = 10, -4*c + x = -3. Is c at most 2?
True
Let j be 1 + (5 - 10) + (-9)/(-2). Is j less than -41?
False
Let x = -55/117 - -9/13. Suppose o = 4*o - 2*q, 4*o = -5*q + 23. Let r be (0 - o) + -5 + 6. Is r greater than or equal to x?
False
Let y = -1628/3 - -590. Let s = y + -47. Is s < -1?
False
Suppose 2*s = 3*s - 4. Let o = -5 + s. Suppose 4*c = c. Which is smaller: o or c?
o
Let t = 44 - 130/3. Which is smaller: -1 or t?
-1
Let x(i) = -i**3 - i**2 + 4*i + 3. Let v be x(-2). Is -2/13 greater than or equal to v?
True
Let w = 8 - 10. Let a be ((-10)/(-14))/(-5)*w. Which is bigger: -2/5 or a?
a
Let l be (9/(-6))/(((-15)/6)/5). Is 4 not equal to l?
True
Let n(o) = 2*o - 7. Let k be n(5). Which is smaller: 13/5 or k?
13/5
Let t(w) = -w + 2. Let a be t(2). Suppose 2*l - 5*o - 17 = a, -l - 19 = 4*o - o. Suppose z = -4*d + 4, 3*z - 6 + 16 = -d. Are z and l equal?
True
Let a be 3/6 - 0/(-3). Let l(f) = f**2 - f + 2. Let y be l(0). Suppose -4*g + 3 + 1 = y*s, -g - 5*s - 8 = 0. Which is greater: a or g?
g
Let o = 1 + -3. Suppose -4*k - 4*q = -0 + 8, -9 = -3*k + 2*q. Let y = k - o. Is y > 2?
True
Suppose 76*t = 79*t - 99. Is 33 less than t?
False
Let j = 1107 + -1090.11. Let b = j + -17. Let c = -0.09 + b. Is -1 < c?
True
Let g = 2 - -4. Let w be 4/6*(-3)/g. Which is greater: 0 or w?
0
Let v(o) = -o + 8. Let h be v(6). Suppose -h*x = -2, -2*j = -5*j - 3*x + 18. Are j and 0.1 non-equal?
True
Let s = 47/6 + -277/30. Which is bigger: -1 or s?
-1
Let g(b) = -b**2 - 4*b - 2. Let a be g(-4). Is a greater than -24/11?
True
Let o be (-8)/(-20) + 32/(-5). Let m be ((-1)/(-4))/(o/16). Let c = 0.1 + -0.3. Are c and m unequal?
True
Let f = 15 + -14.5. Is -0.2 equal to f?
False
Suppose -2*f = -2*p - 6 + 2, -4*p - 8 = 4*f. Let o = -248 - -1236/5. Which is smaller: o or f?
o
Let g = -9 + 13. Let h be (g/(-6))/((-8)/12). Which is smaller: -1/4 or h?
-1/4
Let s = 11506 - 57232/5. Let r = -58 + s. Which is bigger: 1 or r?
r
Let c(w) = w**3 - 5*w**2 + 4*w + 3. Let l be c(4). Suppose l*y - 7 = 5. Let j(d) = d**2 - 2*d - 4. Let x be j(4). Is x less than or equal to y?
True
Let n = -7 + 1. Let z be (36/n)/((-3)/(-2)). Is -2 bigger than z?
True
Suppose 3*c = -5*i - 28, -3*i + 4*i + 20 = -3*c. Is -2 at most as big as c?
False
Suppose 4*j - j = 6. Let n be 4/j - (-4 + 5). Let w = 9 - 9. Is w at most n?
True
Suppose 4*k = -0*k. Let d be 4/(-8)*(2 + 0). Which is greater: d or k?
k
Let x(t) = -6*t**3 - t**2 + t. Let c be x(1). Let q = c - -9. Let o(y) = 4*y - 9. Let s be o(3). Is q less than s?
False
Let k be 1*-3 - (5 + -9). Let o(h) = -h**3 + 6*h**2 - 3*h - 7. Let i be o(5). Let v = 5 - i. Is k >= v?
False
Suppose -2*p - c = 10 + 1, 4*p + 47 = 3*c. Let d be (-2)/(-1)*1*-4. Is d smaller than p?
False
Let a be (2 - -1)*(-9)/27. Is a != -5/6?
True
Let d = -0.3 - -1.1. Let y = 0.7 - d. Which is bigger: -0.4 or y?
y
Let r = 5604 + -509981/91. Let v = -20/59 - 212/767. Let j = r - v. Which is smaller: j or -1?
-1
Let g = 6 + -6.1. Let n = g + -0.9. Is 0 less than n?
False
Let d(g) = -g**3 - 10*g**2 - 10*g - 9. Let l be d(-9). Let a(o) = -o**3 - o**2 - 5. Let s be a(l). Let y(p) = -2*p - 6. Let n be y(s). Which is bigger: n or 2?
n
Let z(t) = 26 + 3*t - 30 - 6*t + t**2. Let y be z(4). Let n be 0 + (-1)/(-4) + 0. Which is greater: n or y?
n
Let r be 1/(3/(3 - 0)). Let l = -4978/15 + 332. Which is greater: l or r?
r
Let c = -4.74 - -3.3. Let n = 0.42 + c. Let q = n + 0.02. Is -2/13 smaller than q?
False
Suppose 14 = 4*l + 5*o, l + 6 = -5*o + 2. Is 6 greater than l?
False
Let d = 9256459/420 - 110198/5. Let q = d - -1/84. Let a be ((-1)/2)/(9/(-6)). Is q less than or equal to a?
True
Let a = -1/178 + -1061/1246. Is -2 at most a?
True
Let c = 76 - 77. Is -1/13 greater than or equal to c?
True
Let l be (-4)/25*5/6. Let y(h) = -h + 3. Let i be y(3). Does l = i?
False
Let m = -362 + 256. Is m at least as big as -106?
True
Let h = -17/26 - -2/13. Is 2 at least h?
True
Let q = -5 - -12. Suppose -3*y = -4*d + y - 8, q = -4*d + 3*y. Suppose 0 = m - 2*i - 5, 3*i = i - 2. Which is bigger: m or d?
m
Suppose -3*a + 4*c + 23 = -33, 4*a - 3*c = 84. Suppose 5*x + 5*i - 16 - a = 0, -2*i + 4 = 0. Let m be (3/x)/((-2)/(-4)). Is m > 2?
False
Suppose 0 = -x - 7 - 2. Let t = -181 + 175. Are t and x nonequal?
True
Let f be (-180)/(-24)*(-1)/(-205). Is f smaller than -1?
False
Let b = 1.62 + -1.72. Is 1/2 less than b?
False
Let w = -31/2 - -829/54. Is 1 at most as big as w?
False
Suppose -3*m = 5 - 2. Let f be (m/(-19))/((-4)/(-8)). Which is smaller: f or -1?
-1
Let r = 23 + -23.2. Which is bigger: -0.1 or r?
-0.1
Let n(b) = -b**3 - b**2 - b + 1. Let p be n(0). Let g = -11 - -11. Does p = g?
False
Let r = -34.8 + 31. Let f = 4 + r. Let c = f + 0. Which is bigger: -2/7 or c?
c
Let i = -0.06 + 0. Let z = 0.04 - i. Is -8 >= z?
False
Suppose 93 = 5*d - 142. Is 48 at least d?
True
Suppose -2*x + 