 -1.1?
False
Let t = -4 + 1. Let f = t + 8. Let q be f/(-10) - 2/(-4). Which is smaller: q or -2/9?
-2/9
Suppose 3*x + 12 = 0, 7 = 2*s - 5*s - 4*x. Let o be (s/(-2))/(1/(-6)). Which is greater: 7 or o?
o
Let g(r) = r**3 + 5*r**2 + r + 1. Let m be g(-5). Let q be 18/(-8) + 1/4. Is m bigger than q?
False
Let s be (1 + (-7)/4)*36/(-9). Let i = -199 + 417/2. Let f = i + -8. Which is smaller: s or f?
f
Let a = 204 + -203. Is a at least 2/93?
True
Let g = 10 + -5. Suppose g*f = 2*d - 0*d - 19, -16 = -2*d + 4*f. Suppose z = 5*x - 8, 2*z - 6*z + 3*x + d = 0. Do 1 and z have different values?
True
Let l be 1 + 1 + -10 + 0. Suppose -2*q + 46 = -5*f, -2*q = -3*q - 2. Which is bigger: l or f?
l
Let b = -16 + -1. Is -17 at least as big as b?
True
Let p = -3 - -3. Suppose p*f - f = -1. Let j be (f - 0)/((-14)/(-2)). Are j and -1 non-equal?
True
Let v = 0.28 - 0.22. Which is bigger: 0 or v?
v
Suppose -5*p = -p - 4. Let w = -8 + 6. Let s = w + 0. Is p equal to s?
False
Let w = 4.1 - 3. Let j = 4 - 5. Let g = w + j. Is 4 at most as big as g?
False
Let w(s) = -2*s + 19. Let i be w(11). Is i != -5/2?
True
Suppose 2*p + 4*z + 16 = 0, 2*p + 0 - 8 = 2*z. Suppose p = n + 3*n - 12. Let r = 172/3 + -518/9. Which is smaller: n or r?
r
Let c = -11 + 13. Which is smaller: 0.21 or c?
0.21
Suppose s = h - 3, -s + h + 9 = -4*s. Let a = 1 - -19. Let j = 18 - a. Which is smaller: s or j?
s
Let p(r) = -r**3 + 4*r**2 + 11*r + 1. Let h be p(6). Which is greater: h or -4?
-4
Suppose -22*o - 26 = -20*o. Is o < -14?
False
Suppose 2*c - 26 = 14. Do c and 18 have the same value?
False
Let c = -656/7 + 94. Which is bigger: c or 1?
1
Let k = -0.5 - -0.4. Let h = -0.2 + k. Does h = 1?
False
Let g = -2 + 4. Let l = 2 - g. Which is greater: l or -1?
l
Let d(z) = z**3 - 6*z**2 - 8*z. Let a be d(7). Let x = 13 - 8. Let v = a + x. Which is bigger: v or -5/4?
-5/4
Let s(a) = a**2 + 4*a - 3. Let y be ((-1)/2)/((-2)/(-32)). Let d(o) = 2*o + 11. Let f be d(y). Let t be s(f). Is 2 equal to t?
True
Let y be 16/(-15) + 26/39. Let m(g) = g**2 + 1. Let s be m(2). Suppose -s*k - 3 = -2*k. Which is bigger: y or k?
y
Let v be (-4)/5 + 312/40. Let p(l) = l**2 - 2*l - 2. Let u be p(-2). Is u > v?
False
Suppose -8*k = -4*k - 16. Suppose k*t + 0*t = 0. Let g be (-14)/(-24) + (-1)/4. Is t < g?
True
Let z = 3 + -1. Suppose 0 = z*n - 5 - 5. Suppose n = 5*f, 0 = 4*j + j + 5*f. Is j not equal to 1?
True
Suppose -204 = -33*x + 29*x. Is x < -0.1?
False
Suppose -i - i + 12 = 0. Let t = -5 + i. Which is bigger: -1/5 or t?
t
Let a = 0.15 + 0.85. Which is smaller: 0 or a?
0
Let u be 10/30 - (-7)/(-3). Let p be 4/6 - (-10)/3. Suppose 0*y + 2*y = -p. Is u bigger than y?
False
Let h(q) = q**2 + 14*q + 4. Let r be h(-13). Which is smaller: r or -10?
-10
Let u = 7.06 + -0.06. Let i = u + -6. Which is greater: i or 1.4?
1.4
Let u = -0.3 + 0.35. Let c = -0.05 - u. Is -1/6 >= c?
False
Let o be 184/18 + 6/(-27). Let h be (o/(-6))/(1/(-3)). Suppose -2*c = -4*v + 14, -h*c + 1 = -2*v + 4. Is c greater than 1?
False
Let l = -12 + 15. Let h = 5 - l. Let p = -5 - -8. Is p at least as big as h?
True
Let k be (-6)/31*(-7)/(-21). Is k at most -1?
False
Let b be ((-4)/(-6))/(25/(-15)). Let f(j) = -j**3 - j**2 + 3*j + 1. Let x be f(-2). Is x > b?
False
Let w be (-2 - (-15)/9)*-12. Suppose 2*k - 117 = 3*x + 247, -3*x = -4*k + 728. Let l be k/49 + 2/7. Is l < w?
False
Let n be 4 - -1 - (-4)/(-4). Let w be ((-10)/8)/(2/(-16)). Suppose o = 5*k - n*o - w, 5*k - 10 = o. Is k > 1/2?
True
Suppose p + 0*p - 4 = 0. Suppose 0 = -h - p + 6. Which is smaller: h or 6/5?
6/5
Suppose 0 + 3 = 3*x. Suppose 6*t - t = 10. Let p be 2/(3*t/(-3)). Is p at most as big as x?
True
Let z = 0 + -3. Suppose 3*t = 2*y - 8, -y - y - 5*t = 24. Which is greater: z or y?
y
Let n be 1/4 + (-5)/4. Let l = 47/3 + -373/24. Which is smaller: n or l?
n
Let y = 8.1 + -8. Let s = 2.97 - -0.03. Let l = -2.96 + s. Is y bigger than l?
True
Suppose 2*c = 7*c - 45. Let a = 6 - -1. Which is greater: c or a?
c
Let y(v) = v**2 - 4*v + 4. Let x be y(3). Let f be (1 + -2)/((-3)/(-12)). Let r be (1/(-4))/((-6)/f). Is x <= r?
False
Let p = 10 + -12. Let v be 4/p*(-6)/(-12). Are 2/31 and v nonequal?
True
Let q(c) = c**2 + 6*c + 1. Let o be q(-5). Are -25/9 and o nonequal?
True
Let c = 35.7 - 38. Let a = c + 2. Let q = -0.4 - a. Do q and 3 have different values?
True
Suppose 3*m = 2*j - 0*j + 21, j - 3*m = -18. Let o be 2 + ((-3)/(-3))/(-1). Let p = j - o. Is p bigger than 1/3?
False
Let q be 58 - 0/(2 - 0). Let a = -1621/34 - 150/17. Let x = a + q. Which is bigger: x or 3?
3
Let f be (2/(-15) + (-24)/90)*5. Which is greater: 1/4 or f?
1/4
Suppose 5*b - 2*b + 9 = 0. Let s be -1*(1 + 2)*1. Is b bigger than s?
False
Let n(d) = -7*d**3 - d**2 + d - 1. Let p be n(1). Which is smaller: p or -9?
-9
Let a(k) = k**3 + 6*k**2 + 6*k + 3. Let t be a(-5). Let w be (-20)/72 + t/(-12). Is w greater than 1?
False
Suppose -16 = -f - 14. Which is smaller: 9/7 or f?
9/7
Let w(o) = o - 6. Let m be w(6). Suppose m*l = l - 4. Suppose r = -r + l. Which is smaller: r or -1/3?
-1/3
Let l = 2.4 + -2. Let y = l + -0.3. Let a be 2/(-8) + (-6)/(-88). Which is smaller: a or y?
a
Let w = 5 - 2. Let x be -12*(w/6 + -1). Suppose 3 = -3*s + x*s. Is 1/6 not equal to s?
True
Suppose v = 5 - 1. Suppose -5*f + 15 = i, 2*i - v - 2 = -2*f. Is i greater than or equal to -2/13?
True
Suppose -j - 450 = 4*j. Let r be 165/j + (-1)/2. Are r and -2 nonequal?
True
Let q = 4 + -6. Let i be (464/(-3))/4 + 1. Let r = i + 37. Which is greater: r or q?
r
Let a be (-3)/36 - (-1)/(-4). Let m(b) = -b**3 - 4*b**2 - b - 5. Let h be m(-4). Let u be 1 + h + (-4 - -3). Which is greater: a or u?
a
Let w(t) = -t**3 + 8*t**2 + 10*t - 9. Let y be w(9). Suppose -4*x + 5*q = -19, 5*x + y + 4 = -3*q. Let g be (-7 + 6)*(0 + x). Are g and 3/7 non-equal?
True
Let w(f) = -3*f**2 + 2*f. Let m be w(2). Let p be (2/(-4))/((-2)/m). Let a(b) = b**3 - 9*b**2 + 7*b + 6. Let i be a(8). Is p <= i?
True
Let b be -2 - ((-51)/33 + -1). Suppose 0 = -d - 4*d. Suppose -2*h + h = d. Which is bigger: b or h?
b
Suppose -x - 3*d + 16 = 0, 2*x = -0*d + 2*d + 24. Let a = -13 + x. Is -7 >= a?
False
Let x be 1 + -1 - (0 - 1). Does -3 = x?
False
Suppose 0 = -5*a + 1 - 6. Let z be (-18)/15 + 2 + a. Is 1 smaller than z?
False
Let c be 57/18 + 2/(-12). Let i be ((-4)/(-18))/(2/c). Is 2 less than i?
False
Let n(d) = -d**2 - 6*d + 7. Let k be n(-6). Let m(l) = l**3 - 7*l**2 + l - 10. Let b be m(k). Which is greater: b or -1?
-1
Suppose 0*i - 3*i - 3 = 0. Let t = -1 + 0.4. Let p = -0.8 - t. Are i and p non-equal?
True
Let z(f) = -f - 1. Let r be z(1). Let u be (1 - (0 - -1)) + r. Let q be 1/((-2)/u)*-1. Which is smaller: 0 or q?
q
Let f = 8/7 + -143/119. Is -1 smaller than f?
True
Let z = 0.14 - -1.86. Let r = z + 5. Which is greater: r or -1/2?
r
Let v be (-1 - 0)/((-1)/1). Suppose 6*p = 17*p - 22. Do v and p have the same value?
False
Let o(r) = r**2 + r - 4. Suppose 0 = m - 3. Let q be o(m). Is q smaller than 8?
False
Suppose -3*b - 5*t = 22, 2*t - 3*t = -5*b - 18. Let d be ((-6)/126*-7)/((-3)/45). Which is smaller: b or d?
d
Suppose -2*s + 8 = -0*s. Let i = 5 + 1. Let y be ((-4)/i)/((-6)/45). Which is smaller: y or s?
s
Let n(z) = z**2 - 29*z - 23. Let l be n(28). Is l greater than or equal to -51?
True
Let l be (0/1)/(6/3). Is l less than or equal to 1/12?
True
Let y = 26 - 27. Is -5/7 at least as big as y?
True
Let r = 0.64 - -0.06. Which is bigger: -1/4 or r?
r
Let l be (-10 - -10)*-1*1. Suppose 4*h + 0*h = 8. Suppose l*s = s - h. Do 2 and s have different values?
False
Suppose -4*b = 0, -r + 2*r - 5*b - 6 = 0. Let l = -7 + r. Is l > -2?
True
Let r = 11 + -8. Suppose -z + r*z = 0. Which is bigger: z or -2?
z
Let m be ((-1)/(-1))/(2/10). Suppose 10*h + 50 = m*h. Which is smaller: h or -11?
-11
Let m be 3/(-4)*(-3)/180. Let s = 197/240 + m. Are 1 and s nonequal?
True
Let i(m) = 2*m - m + 0*m + 5. Let y be i(-4). Which is greater: y or -1?
y
Let n be (-3)/8 - 18/(-48). Which is greater: 5 or n?
5
Suppose -2*s - 3*m = 8, s - m - 2*m - 5 = 0. Let j = s - 0. Which is greater: j or -4?
j
Let b = -508/5 - -101. Which is greater: b or -1?
b
Let k(x) = -x - 4. Let t be k(4). Let o(m) = m**3 - 7*m**2 + 7*m - 9. Let y be o(6). Let w be ((3 - y)/(-3))/5. Which is greater: w or t?
w
Let w(q) =