-2)) - 2. Let l be ((-2)/8)/(i/6). Are u and l nonequal?
True
Suppose 14*x - 9*x = -105. Is x > -21?
False
Let p = -1.6 + 1.7. Let f = 1 + -3. Is f at most p?
True
Let w be (-6)/(-15) - (-99)/15. Which is greater: 4 or w?
w
Suppose -2*r - 45 = -3*c, -5*c - 3*r + 10 + 65 = 0. Let o = c + -13. Which is smaller: o or 0.1?
0.1
Let c = -177 + 181. Which is smaller: c or 8/3?
8/3
Suppose -p = 4*c - 8, 1 = -3*p + 4*c + 25. Let k be (-42)/(-4)*p/12. Is k < 5?
False
Let j be (1 + (-2 - -3))/11. Let q = -4 - -3. Which is greater: q or j?
j
Suppose 0 = 3*w - w - 6. Suppose 0*g + 3 = -w*g. Does g = 2/13?
False
Suppose -5*q + q - 4 = 0. Are -2/9 and q equal?
False
Let a(l) = -l**3 + 4*l**2 + 6*l - 1. Let g be a(4). Is -3 less than g?
True
Let x(v) = 8*v**3 - 2*v**2 + v. Suppose -2*r + 1 = -r. Let g be x(r). Let q = g + -2. Is 5 bigger than q?
False
Let a(z) = z**3 + 2*z**2 + 2*z + 1. Let r be a(-2). Is -3 at least as big as r?
True
Let i be (-2*2/(-112))/((-35)/40). Which is smaller: -2/5 or i?
-2/5
Let u = 100 + -45. Is 57 < u?
False
Let s be (-26)/(-6)*(12 + -9). Which is bigger: 14 or s?
14
Let d = -9 - -9.2. Let a be 8/(-48)*(-8)/6. Is a bigger than d?
True
Let u be (-16)/12 + (-23)/12. Are u and -4 equal?
False
Let g = 956/15 + -162/5. Which is smaller: g or 30?
30
Let j = -6.76 + -0.24. Let k = -10 - j. Which is bigger: k or 0.1?
0.1
Let s = 1/109 - -213/545. Let k be -1 + 39*3/(-15). Let w = k - -181/20. Is w greater than s?
False
Let s be (-142)/(-610) + (-5)/25. Which is bigger: s or -1?
s
Let k(i) = -i + 4. Let d be k(4). Suppose d = q - 0*q. Suppose 0 = 4*b + 5*f - 2*f + 3, -4*b - 4*f - 4 = q. Which is smaller: -2/9 or b?
-2/9
Let s = 10 + -10.11. Which is greater: s or -1?
s
Let w be (1 - 3) + 3 + 6. Suppose 0 = -2*r - 8, 2*r - r = 4*g - 28. Are w and g unequal?
True
Let z = -22 + 22. Which is bigger: z or 50/7?
50/7
Let z(b) = -6*b**2 + 5*b + 10. Let w(h) = -5*h**2 + 5*h + 9. Let i(a) = -5*w(a) + 4*z(a). Let l be i(6). Which is greater: 2 or l?
2
Let m = 28 + -17. Let w = -7 + m. Let c = -3 + w. Is c smaller than 0.2?
False
Let q be (-2)/(-3) - 28/105. Is q != 0?
True
Let i(x) = -x**3 + 16*x**2. Let k be i(16). Is k greater than 1/204?
False
Let z = 11 - 5. Let q = -10 + z. Is 0.1 greater than q?
True
Let b = -18.94 - -19. Let l = b - -0.04. Is -14 >= l?
False
Let v = -34423/20 + 7419/4. Let f = v + -134. Which is bigger: f or -1?
f
Let x = -0.5 + -2.5. Let l = -3.1 - -3.2. Which is bigger: l or x?
l
Suppose -3*j - 3*t + 8*t = 34, -3*j - 2*t + 1 = 0. Which is smaller: j or -1?
j
Let j be 1 + -1 + 0/3. Let k = 1328/17 - 78. Which is smaller: k or j?
j
Let o(i) = -i**3 + 5*i**2 - 6. Let n be o(5). Let p be n/(-4) - (0 - 0). Let c = -4 + 7. Is p < c?
True
Let d = 49 + -50. Which is greater: -0.1 or d?
-0.1
Let z be 1*-11*(-4 + 3). Let w be (-7 - -11) + 8 + -2. Is w at most as big as z?
True
Suppose 5*w + 5*f = 3 + 2, 3*f - 11 = -w. Let b be w - (-1)/((-24)/(-124)). Are 2 and b nonequal?
True
Let l be 2/(-5) + (-13)/5. Let b = 2.43 - 0.43. Which is smaller: b or l?
l
Let y be (-130)/728 - (-1)/(-4). Is y > -1?
True
Let v be 16/(-14) - (-7)/49 - 0. Let s be ((-3)/(-21))/(1 - -2). Which is smaller: s or v?
v
Let v be -1 + -1 + 1 + -11. Let d be (4 - 3)*v/2. Let t be 10/d - (-1)/3. Which is bigger: 0 or t?
0
Let o(d) = d**3 - 15*d**2 - 16*d + 1. Let s be o(16). Is -4/13 smaller than s?
True
Let m(s) = -8*s**2 + 1. Suppose 5*v = -c - 8, -v + 4*c + 11 = -0. Let r be m(v). Which is greater: -8 or r?
r
Let c = 4 + -4.02. Is c greater than 1/4?
False
Let s = -0.23 - -0.23. Which is greater: 7/2 or s?
7/2
Let o = 6128/55 + 167/11. Let t = 127 - o. Which is greater: t or 1?
1
Let z = 36286/7 + -5194. Is -9 smaller than z?
False
Let f be (-1)/(-3) + 2314/(-48). Let y = -889/24 - f. Let x = -11 + y. Is 1 != x?
True
Let w(z) = -5*z + 4. Let o be w(2). Let a be (-43)/o - (-2)/(-3). Which is smaller: 7 or a?
a
Suppose -3*h + 17 - 5 = 0. Let a(l) = -l**3 + 5*l**2 - 6*l + 6. Let q be a(h). Is -3 <= q?
True
Suppose 3*k - 11*k - 16 = 0. Suppose -u + 3*u = 4. Let d be (-3 + u)/1*1. Which is smaller: d or k?
k
Let y = -5 - -4. Let u = -5 + 9. Let c = u + -4. Which is smaller: y or c?
y
Let j be 6/(-908) - (-2 + 2). Let k = j - -1849/4994. Which is bigger: 0 or k?
k
Let f = 2 - 1. Let u = f - 0. Let q(d) = -2*d**3 - d**2 + 1. Let y be q(u). Which is smaller: y or 0?
y
Let k be -2*14/(-16) - 2. Which is bigger: k or 1?
1
Let m be (9/12)/((-2)/(-8)). Which is smaller: 5 or m?
m
Let u(k) = k**2 - 10*k + 11. Let l be u(9). Let i be 2/6*(-28)/(-21). Which is smaller: i or l?
i
Suppose -6 - 2 = -2*i. Suppose 5*x - 4*k + 25 = k, i = -k. Let j be (-6)/x + (-4)/(-3). Is 3 smaller than j?
False
Let j be 9/(-33)*(-4)/6. Let s(d) = d - 2. Let l be s(3). Which is greater: l or j?
l
Let i be (-3)/4 - (-11)/4. Let t(l) = 2*l - 5. Let w be t(4). Let n be w - (6/i + 2). Which is bigger: -1 or n?
-1
Let t(l) = l**2 + 7*l - 9. Let g be t(-8). Let a be 1 + (g - (0 - 2)). Suppose 2*v + 2*n - a = 0, 3*v - 4 - 1 = -5*n. Is v > 1?
False
Suppose 4*b - 9 = 23. Let o be b/28 + 20/(-21). Let v = 0.048 + -0.148. Which is smaller: o or v?
o
Let c(t) = 2*t**2 - 17*t - 23. Let k(h) = -h**2 + 8*h + 11. Let s(b) = -3*c(b) - 7*k(b). Let y be s(6). Let j be -3*(-16)/(-18) - y. Which is smaller: -1 or j?
-1
Let d be (-3 - 69/(-21)) + 46/(-210). Are d and 3 nonequal?
True
Let n = 3/13 + -5/78. Let f be (25/(-10) + 3)*0. Is f smaller than n?
True
Let l be 6/18 - 13/3. Let h(s) = s**3 + 6*s**2 + 7*s + 6. Let p be h(-5). Is p less than l?
False
Let a = 40 + -40. Are 1/4 and a equal?
False
Let m = 8 + -7. Suppose -3 = -2*c - m. Suppose 4*d + 3*t + 8 = 0, -5*d - 9 - c = -4*t. Is d less than -1?
True
Suppose 5*v = 4*b + 96, -4*v + b + 2*b + 76 = 0. Suppose 2*t - v = -2*t, -4 = 5*n - t. Which is greater: -2 or n?
n
Suppose 2 = m + 5*b, -m = m - 3*b - 4. Suppose -1 + m = -5*d + n, 2*d - 4*n = -4. Which is bigger: 1/2 or d?
1/2
Suppose 4*j - 8 = -4. Which is smaller: 2 or j?
j
Let a = -5 - -4.99. Let h = a - 0. Which is smaller: -1 or h?
-1
Let b = 4 - 4. Suppose 5*l - 4*k + 95 = 0, b = 3*l - 2*k + 5*k + 30. Let o be 4/(-6) - l/36. Are o and 0 non-equal?
True
Suppose -4*b = -3*b - 13. Suppose -2*q = -2*w + q + b, 0 = -5*q - 25. Let o be w + (18/3)/2. Is o smaller than 3/5?
False
Let g(b) = b + 7. Let w be g(-5). Let y be 14 + 0 - (0 + w). Suppose -5*u - y = 5*l - 2, u = 3*l + 14. Which is smaller: u or 3/4?
3/4
Let r be 3/9 - 3/36. Which is bigger: r or -4/3?
r
Let p(t) = -t + 7. Let r be p(6). Let l be (-5)/10*(-1 + r). Which is bigger: l or -2/3?
l
Suppose 2*v - 46 + 12 = 0. Let p = 55/3 - v. Which is smaller: 2 or p?
p
Let p = -10 + 20. Let u(q) = q**3 - 9*q**2 - 12*q - 1. Let h be u(p). Let x be ((-4)/6)/(35/h). Which is bigger: 1 or x?
1
Let k(z) = 3*z. Let i be k(1). Suppose -3*u - 21 = i*l, -u + 4*l = -10 - 8. Let r be 0 + 3*(u - 0). Do -5 and r have the same value?
False
Let d be 168/(-35)*-15*(-2)/4. Is d > -37?
True
Let n = -166/7 + 1307/56. Is -1 bigger than n?
False
Let g = 0.83 - 0.28. Let m = 12 - 11.4. Let a = m - g. Which is smaller: -1 or a?
-1
Suppose 7*g - 2*g - 55 = 0. Are g and 11 unequal?
False
Let i(q) = -5*q**2 - q + 3. Let k be i(3). Let h = 2 + -1. Let f be 3/(k/(-21)) - h. Which is smaller: f or 0?
0
Suppose -2*a + 5*i + 34 = -0*i, -5*i + 20 = 0. Suppose 5*o - 12 = -p, -p + a = -5*p + 5*o. Which is smaller: p or -9/5?
p
Suppose 0 = -m - 2*w - 5, -4*w = -3*m - 0*w + 25. Let x(h) = -3*h**2 + 15*h + 20. Let v be x(6). Suppose 0 = m*y + 1 + v. Is 1 greater than or equal to y?
True
Let f be (-3)/30*-2*3. Is f less than -0.08?
False
Suppose -3*u + 8 = u. Suppose u*m = m. Is 0 less than or equal to m?
True
Let f = 2 - 3. Let q = 3525/7 - 504. Is f at most q?
True
Suppose -2*z + 4 = 2*z, l = -3*z + 6. Is l <= 4?
True
Let c(w) = 11*w**2 + 3*w + 1. Let l be c(-1). Is l equal to -1?
False
Let w be 3 + (-1 - (3 - 1)). Suppose -3*a - 4 = a. Which is greater: a or w?
w
Let q be 2 + -3 + 1 + -1. Let z be (1 + -1)/((-2)/q). Let j = -0.494 + 0.194. Which is smaller: z or j?
j
Suppose 0 = -3*i - 5*k, 0 = -3*i - 5*k + k. Are 0 and i non-equal?
False
Let y be ((-1)/(-3) - 0)*3. Let v be -1*(-1 - (-4)/y). Is v > -2?
False
Let v(u) = -u**3 - 3*u**2 - 1. Suppose 0 = 3*x - 0*x + 9. Let w be v(x). Is w at mo