Let u(a) = -6*a**3 - a**2 + 2*a + 2. Let k be u(-1). Suppose -3*d + 2 - k = 0. Are d and -1 equal?
True
Suppose 3 - 8 = -5*l. Which is greater: l or 2/3?
l
Suppose 0 = 3*p + v - 10, 2*v = 3*p + p - 10. Suppose -21 = -5*n - 1. Does n = p?
False
Suppose 0 = 4*d + 3*p + 35, 2 + 1 = p. Is -11 greater than d?
False
Let y = -2359 + 460007/195. Is y less than or equal to 0?
False
Let t = -8.4 + 8. Let c = -2.3 + 2.3. Which is bigger: t or c?
c
Let n(k) = -k**2 + 7*k - 3. Let l be n(7). Let r = l - 2. Let i(u) = 2*u + 6. Let p be i(r). Is p at most as big as -4?
True
Let l be 4/(-6) + (-3)/(-18). Suppose -5*o - 9 - 1 = 0. Are o and l non-equal?
True
Suppose -3*h + 2*w = -7, 11*h + 3*w = 6*h - 20. Let r be h/(-5) + (-4)/(-10). Is 0 <= r?
True
Let d = -10.7 - -10.8. Is d greater than -5.3?
True
Suppose x + 4*w - 4 = 3*x, -2 = 5*x - 2*w. Let z be 2/((2 + x)/(-2)). Let q be 25/20 + 1*z. Is q greater than or equal to 0?
False
Let i be 1/(-5) + (-92)/(-10). Do i and 9 have the same value?
True
Let x(l) = -l + 7. Let d be x(6). Let u = 3.7 - 4. Let z = -1.3 - u. Which is smaller: d or z?
z
Suppose b - 60 = 4*b. Let m = 15 + b. Suppose 2*c + 2 = 3*y - 4*y, -5*c + 4 = y. Which is smaller: m or y?
y
Let s = -5/7 + -20/21. Is -3 less than s?
True
Let m(w) = -2*w + 3. Let h be m(6). Is h smaller than -31/4?
True
Suppose -2012*n - 28 = -2016*n. Let p be 10/6*9/2. Which is smaller: p or n?
n
Suppose 3*a = 13 + 26. Suppose 0 = -2*i + 4*u + u + 41, 0 = 5*u + 15. Is a != i?
False
Suppose 10 = 176*n - 171*n. Do n and 15/14 have different values?
True
Suppose 2*r = -g + 51, -r - 123 = -6*r - g. Is 21 != r?
True
Let y be (-63)/61 - (7 - 8). Let w = y + 152/915. Which is greater: w or -1?
w
Suppose -4*o + 2*l = -4, l + 3 = 3*o + 1. Suppose 0*r + r + 4 = o. Let q = -2 - r. Which is greater: q or 0?
q
Let u(g) = -3*g + 1. Let l be u(2). Let z = l + 12. Let w be 2/z + 4/(-14). Which is greater: -1 or w?
w
Let x = -115 + 459/4. Which is greater: -1 or x?
x
Let x(y) = y**2 - 3*y - 5. Let g be x(5). Let p(l) be the second derivative of l**4/12 - l**3 + 3*l**2/2 + l. Let i be p(g). Is i at least as big as -2?
True
Let t(b) = 2*b**2 + 15*b + 7. Let n be t(-7). Do 7/27 and n have the same value?
False
Suppose -24 - 32 = 4*r - 4*m, -38 = 2*r + 3*m. Let u be 1 - 2*(-4)/r. Is -3 bigger than u?
False
Let s(m) = -m**3 + 6*m**2 + 8*m + 2. Let g be s(7). Is 8 not equal to g?
True
Let g(l) = -2*l - 3. Let b be g(-2). Let r be (2 + b)/(6/8). Let m be (1/r)/((-9)/12). Which is smaller: m or 2/7?
m
Let t be (1 + (-2 - -1))/2. Is 2/43 bigger than t?
True
Let x = -50 + 154/3. Let z(k) = -2*k - 4. Let s be z(-7). Let j(o) = o - 9. Let v be j(s). Is x greater than v?
True
Let i be 6 - 2 - 98/20. Which is smaller: 0.2 or i?
i
Let m be (1 + -1 - 1)*22. Let y be m/(-28) + (-4)/14. Are 1 and y unequal?
True
Suppose -a = 3*a - 8. Suppose 0 = -4*w + 10 - 2. Let b be (-5)/(-10)*w/1. Is a at least as big as b?
True
Let o(p) = -p**2 - 4*p + 2. Let g(u) = -1. Let h(q) = -2*g(q) - o(q). Let a be h(-3). Which is smaller: a or -2?
a
Let u = 1 + -5. Let r = 0.28 + -0.38. Is r greater than u?
True
Suppose -4*p = -3*p. Which is greater: p or -3/14?
p
Let y = -9.6 + 8. Let n = y + 0.6. Which is smaller: n or 1?
n
Suppose 5*v = 3*x + 8, 4*x + 2 = -v + x. Is 2/5 at least as big as v?
False
Suppose 12*b + 558 = 6*b. Which is smaller: b or -92?
b
Let q be 3 + 3/(0 - 2 - -1). Let h(k) = 40*k**2 - k + 1. Let v be h(1). Let z be (-46)/v + (-2)/(-5). Which is greater: z or q?
q
Let i = -8.9 - 3.1. Let w = i - -12. Is w less than or equal to -3/2?
False
Suppose 3*l - 8 - 7 = -4*y, 3*l = 3*y - 6. Let a = 4 - l. Which is bigger: 2 or a?
a
Suppose -14*m - 10 = -16*m. Is m >= 5?
True
Suppose -25 = -8*y + 3*y. Suppose 5*d + y + 0 = 0. Let l = -5/13 - -28/39. Which is smaller: d or l?
d
Let u = -6/7 + -9/14. Which is smaller: 0 or u?
u
Let s = 0.35 - -15.65. Let a = 15.8 - s. Is a greater than or equal to 0.5?
False
Suppose s + 2*o = -s - 2, 0 = -s + o - 7. Is -4 smaller than s?
False
Suppose 3*n = 7*n. Which is smaller: 2/63 or n?
n
Let k = 17 + -8. Is -1 equal to k?
False
Suppose -3*d + 0 = 3. Let a be (-20)/11 - (-14)/(-77). Which is bigger: a or d?
d
Let q(c) = -3*c - 27. Let s be q(-9). Is -2/35 less than or equal to s?
True
Suppose -3*h - 15 = 2*h. Which is smaller: h or 4?
h
Let q = -0.06 - 3.94. Let s = -9 - q. Let i = s + 3. Are i and -1 nonequal?
True
Let w = 4/55 - 56/165. Is 0 at least w?
True
Let d = -34 - -36. Is d less than -1/7?
False
Let z(l) = l**3 - 4*l + 5. Let b be z(0). Is 6 >= b?
True
Suppose -3 = m - 2. Let c be 0/((-1)/1*m). Which is greater: c or -2?
c
Let h be 6/9*6/20. Which is greater: h or 1?
1
Let w be ((-200)/18)/(-2)*-3. Let o = 84/5 + w. Is o bigger than 1?
False
Let q = -8/25 + 278/1025. Do 1 and q have the same value?
False
Let p be (-1)/8 - 3/(-24). Let t be (1/(-3))/((-1)/3). Which is greater: t or p?
t
Let w be 2*(-2)/(-6)*3. Suppose 3*o = -w*o + 30. Which is smaller: o or 7?
o
Let a = -302/63 - -18/7. Are a and -3 nonequal?
True
Let q(d) = d**3 - 9*d**2 + d - 11. Let n be q(9). Which is smaller: 2 or n?
n
Let h = -0.12 - -1.42. Let l = h + -0.3. Let q = -7 + 7. Which is smaller: l or q?
q
Let c = -4.5 + 4. Let l = c - 0.5. Which is greater: -1/3 or l?
-1/3
Let v = 0.2 - 0.8. Let b = v + 0.6. Is b bigger than -1?
True
Let o be (-13 + 16)*1*1/(-6). Which is smaller: 3/16 or o?
o
Suppose 4*l = -3*r + l + 48, 0 = r + 2*l - 20. Let k be r/27 + -3 + 3. Do -1 and k have different values?
True
Suppose 3*q = 78 + 75. Let g be 4/34 - (-249)/q. Do 4 and g have different values?
True
Let t be (-8)/(-3 - (2 - 4)). Suppose 5*k - 2 = t. Let i be -4 + k - (-3 + 1). Are -4/7 and i unequal?
True
Let r = -5 + 10. Suppose -5*h - 5*y - 70 = 0, r*y + 68 = -5*h + 2*y. Which is smaller: 1 or h?
h
Suppose -4*y - 3 = -5*t, -4 - 1 = t + 2*y. Is -12/5 at least as big as t?
False
Let r = 2 + 0. Let t(i) = 2*i**2 - i + i**3 - r*i**2 - 2 - i**2. Let y be t(2). Which is smaller: -2 or y?
-2
Let s = -4 - -3.7. Let p be (8/3)/((-40)/(-15) - 2). Which is smaller: p or s?
s
Let o = -6 - -4. Let t be 3*(-1)/(o/(-6)). Do t and -9 have different values?
False
Let v = 9.9 - 10.3. Is -6 greater than v?
False
Suppose 6*k + n = 2*k + 1, 2*k - n = -1. Is k bigger than -2/37?
True
Let f = -18370/9 - -2044. Let h = 12/181 - -3512/1629. Let v = h - f. Which is bigger: v or 3?
3
Let h be 8/(-4) - (1 - 1). Let z be 2/h*2*1. Is -3 at least z?
False
Suppose 11 = 4*m - 5*b, b - 6 = 3*b. Let w be (-9 - -8)/(0 + m). Let p = w + -3. Which is bigger: p or -5/2?
p
Let f(z) = -z + 1. Let t be f(-4). Let u be 3/(15/(-4))*t. Let a(k) = k**2 + 4*k - 1. Let y be a(u). Are -1 and y equal?
True
Let y = 0.1 - 0. Let h = -17 - -11.8. Let a = 5 + h. Are y and a non-equal?
True
Let y be (26/8 + -3)*-2. Let u = 0.39 - -0.01. Is y bigger than u?
False
Let b(l) be the first derivative of -l**2/2 + l - 9. Let u be b(-4). Is -3/5 greater than or equal to u?
False
Let w = 14.5 + -14.7. Do w and 0.06 have different values?
True
Suppose 5*u = 3*a - 26, -5*a - u - 5 = -95. Which is smaller: 13 or a?
13
Let s be 3/((12 - 3)/(-3) - -1). Suppose 0 = -3*l - 2*l - 3*a - 4, 0 = 4*l - 3*a + 14. Which is smaller: s or l?
l
Let y(m) = 11*m + 21. Let g(u) = 4*u + 7. Let x(p) = -8*g(p) + 3*y(p). Let n be x(5). Suppose -5*z - n = 3. Which is bigger: z or -2?
-2
Let v(b) = -b**3 - 8*b**2 + 5*b - 6. Let q be v(-9). Let o = q + -26. Which is smaller: o or 5/2?
5/2
Let j = -11 - 66. Let k be 1/1 - j/(-56). Is k <= -1?
False
Suppose 2*t + 4*h - 6 = 0, 5*t - 5*h + 9 = -3*h. Let p(b) = b**2 + 7*b + 8. Let y be p(-6). Let r = y - 3. Is t smaller than r?
False
Let z(o) = -o**3 + 8*o**2 - 8*o - 1. Let s be z(7). Are s and -0.1 non-equal?
True
Suppose 0 = -v + 2 - 0. Let p be v/7 + 25/35. Is p less than -1/2?
False
Let j(x) = -2*x**2 + 3*x + 2. Let d be j(3). Let m = d - -8. Is m smaller than 1?
False
Let i = -248/5 - -49. Let v = -11 - -12. Which is smaller: i or v?
i
Suppose -2*z + 22 = 2*z + f, 4 = -2*f. Let d be ((-1)/4)/((-13)/(624/54)). Which is greater: z or d?
z
Let c = 13 + -13.04. Which is greater: c or 0.2?
0.2
Let p be (-40)/5*(3 - 28/8). Which is greater: p or 8?
8
Let v be (-325)/1260 - 2/(-9). Let u = v - -69/364. Which is bigger: 0 or u?
u
Let l = -10/17 + 76/187. 