= 0. Suppose l = 5 - s. Let h(o) = 3*o - 3. Let n be h(2). Is n at least l?
True
Suppose -3*x + 2*y = 6*y + 604, x + 210 = 3*y. Let r = x + 1023/5. Is r > 0?
True
Let v(u) = -u + 1. Let k be v(-9). Let g = 7 - -5. Do g and k have different values?
True
Let a(n) = n**2 - 12*n + 16. Let o be a(11). Suppose -5*d + 0 + o = 0. Which is smaller: 0.1 or d?
0.1
Let a be (2/(-6))/(2/(-6)). Let y = 2 - a. Let s(j) = j**2 - j. Let k be s(2). Which is greater: y or k?
k
Let y(j) = -j**2 - 5*j + 4. Let k be y(-7). Let z = k - -11. Is 1 at most z?
True
Let p = 13/5 + -81/35. Let z = -3 - -2.9. Which is bigger: p or z?
p
Let l(o) = -11 - 9 + 2*o**3 - 3*o + o**2 + 17. Let w be l(-2). Is -9 at most w?
True
Let s = 26 + -20. Is 4 bigger than s?
False
Let q be -2*(1 + (-12)/9). Which is smaller: q or 4?
q
Suppose -2*n + 6 = -0*n. Does 3 = n?
True
Suppose o - 5 = 10. Suppose o = -11*i + 6*i. Are 3/2 and i non-equal?
True
Let k(f) = -7*f - 3*f**2 + 2*f**2 + 0*f + 1. Let r be k(-7). Which is smaller: r or -2/7?
-2/7
Let o = 11 + -15. Let t(g) = -g**2 + 2*g - 5. Let y be t(0). Are o and y unequal?
True
Let j(p) = p**2 - 15*p. Let l be j(7). Let y be ((-1)/(-7))/((-16)/l). Which is smaller: y or 2?
y
Let l = 1396 - 40480/29. Is l smaller than -1?
False
Let c(w) = w**3 - 8*w**2 + 7*w - 4*w**3 - 2*w**3 + 6*w**3 + 2. Let p be c(7). Which is bigger: p or 3?
3
Let a(c) = c**2 - 7*c - 3. Let x be a(8). Let z = 3 - x. Which is bigger: z or -1/2?
-1/2
Suppose 8 = -34*t + 36*t. Is t at most as big as 7/2?
False
Let r = -27 + 32. Is 7 > r?
True
Let q be ((-8)/(-10))/(140/50). Which is bigger: q or 0.2?
q
Let k = -5 - -7. Let b = k - 3. Let u = b - -1. Which is bigger: u or 1?
1
Suppose 0 = 3*c - 5*c - 10. Let y be (2 + 22/(-5))*c. Let d be y/(-20) - 24/10. Do d and -3 have the same value?
True
Suppose -2*m - 8 = -5*i - 5*m, -2*m + 7 = 5*i. Let w be i/2 - (-158)/(-60). Let l = w + 9/5. Is l less than -1/3?
False
Suppose u + 2*c = -c - 20, c = 0. Which is greater: -22 or u?
u
Let r = -10.7 - -12. Let p = -1.1 + r. Let u = 1 + 0. Which is smaller: u or p?
p
Let p = 11 + -6. Suppose 5*v - q + 8 = 0, 2*v + p*q + 16 = -v. Is v less than -2/3?
True
Suppose 0 = -4*r + 7*r. Which is smaller: -4/19 or r?
-4/19
Suppose -33*l + 28*l - 5 = 0. Which is smaller: l or -2/171?
l
Let g be -1 - (0 - (-2033)/(-11)). Let u = -184 + g. Let z = -7/40 + -3/40. Are z and u nonequal?
True
Let p = 478/5 + -96. Which is bigger: p or 2?
2
Suppose 2*m - 4 = -2*o, -m + 0*m + o = 4. Let t = 9.1 - 9. Are m and t equal?
False
Let t(a) = -a**3 + 6*a**2 + 6*a + 9. Let p be t(7). Suppose -505 = 3*h + p*h. Let d = h - -1109/11. Which is smaller: d or 0?
d
Let d = 1 + -4. Is d < -2?
True
Let w be (-1)/6*12/(-14). Which is greater: 1 or w?
1
Let a(f) = -f**3 + 5*f**2 + 7*f - 7. Let h be a(6). Which is smaller: 12 or h?
h
Let h = -3 - -3.03. Let o = h + 0.27. Let n = -0.14 - -0.14. Which is bigger: n or o?
o
Let l = 3 - 4. Let n = l - 2. Is n >= -1/3?
False
Suppose -3*c = -3 - 12. Let l = c + -7. Which is smaller: l or 5?
l
Let n = 4 + -10. Let v = n + 5. Let d = -214 + 4920/23. Which is smaller: v or d?
v
Let y = -1.4 + 1.3. Let r = -0.1 + y. Is r bigger than -5?
True
Let z(x) = -19*x + 17*x - 9 + 2. Let i be z(-9). Is 10 less than or equal to i?
True
Let a(v) = v**3 - 3*v**2 + 4. Let f be a(3). Suppose i - 40 = -f*i. Let h be 1/(-3) - i/84. Which is greater: 0 or h?
0
Suppose 0 = -6*d + 15*d. Which is greater: -6/13 or d?
d
Let m = -36587/6 - -6171. Let a = 110 - 183. Let o = a + m. Is -1 <= o?
True
Let y = 7 - 13. Which is smaller: y or -4?
y
Suppose -3*a - 51 = 2*y, 2*y = 8*a - 13*a - 61. Is y at least -19?
True
Let w = -2.8 - -2.4. Do w and -3 have the same value?
False
Let g be 1 + -9*(-2)/(-15). Which is greater: g or -1?
g
Let d = -2/9839 - -1229887/59034. Let q = d + -1631/78. Which is smaller: 1 or q?
q
Suppose 0 = 4*d - 9 - 15. Let b be (-76)/(-16) - d/8. Which is smaller: b or 2?
2
Let x(c) be the third derivative of -c**5/60 - c**4/6 + c**3/3 - c**2. Let u be x(-5). Let o be ((-1)/u)/((-1)/(-3)). Is 1 at least o?
True
Suppose -3*f + 222 = -3*d, 2*f + 4*d - 106 = 12. Is f not equal to 69?
False
Let i(v) = v**2 - 4*v + 2. Let w be i(3). Let z be -2 + 26/3 + 0. Let r = 7 - z. Is r bigger than w?
True
Suppose 0 = -5*z + 3*z + 5*n + 36, -n = 3*z - 20. Suppose -4*o + 16 = 4*i, -4*o + 3*i + 22 = -z. Let t be (-1)/o*(-2 - -4). Which is bigger: -1 or t?
t
Let m = 3 + -8. Let w = -16 + 23. Let v = w + m. Is v greater than or equal to 1?
True
Let a be (-3 - 0)/((-6)/(-16)). Let p be (-4)/(-14) - a/(-28). Is 1/12 >= p?
True
Let a = -8 + 12. Let q(o) = -o**3 + 5*o**2 - 3*o - 3. Let x be q(a). Let v = -3/74 - 97/1258. Is v >= x?
False
Let i = 0.01 + 0. Let j = -0.09 - i. Let b = 3.9 - j. Are -1 and b nonequal?
True
Suppose 0 = 2*q + 4*q + 84. Which is smaller: -1/3 or q?
q
Let k be ((-15)/30)/(2/(-168)). Are k and 42 non-equal?
False
Suppose -v - 4 = -5. Is 3/2 >= v?
True
Suppose 5 + 0 = -5*c. Let k be 16/(-24) - c/(-6). Let j(f) = f**2 + f - 1. Let m be j(0). Is k smaller than m?
False
Let h(z) = -3*z + 0*z + 0 - 4 + 1. Let f be h(-3). Is f less than 7?
True
Let c = 0 + 1. Let z be 2/(-8) - (-42)/(-280). Is c >= z?
True
Suppose -v = -2*h - 4, h + 5 = -0*h + 2*v. Let t(g) = g**3 - g**2 - 208. Let w be t(0). Let m = w - -3954/19. Is h equal to m?
False
Let g(d) = -d**2 + 7*d - 15. Let x be g(3). Suppose 3*b + 14 = v, 4*b + 7 = 3*b - 2*v. Which is greater: x or b?
x
Let h(b) = 9*b. Let n be h(-1). Let q = -7 - n. Let p be (-2 + 1 + -1)/(-1). Is q at least p?
True
Suppose 24*f = 27*f. Is f at most -2/213?
False
Let y be ((-3 - 1) + 2)/(-2). Suppose -3*n + y = -2*n. Is -1/4 not equal to n?
True
Let x = 73 - 219. Which is bigger: -147 or x?
x
Let r be 535/10 + 2/(-3 + -1). Is r less than or equal to 52?
False
Suppose 3*d + 9 = 18. Is -5 > d?
False
Let i = 57014/63 + -905. Do -1 and i have the same value?
False
Suppose 3*r + 4*w = 133, -w + 4*w = 3*r - 105. Is -3 >= r?
False
Let n = 65 + -66. Is n >= -2/379?
False
Let t = -462439/6 - -77349. Let x = -274 + t. Which is smaller: x or 3?
x
Let i = 46 - 139/3. Suppose -3*c + 0 = -6. Suppose 18 = c*a + 4*v, a - 3*v + 7 = -4. Which is smaller: i or a?
i
Let s = 12 - 5. Suppose 4 - s = -y. Let l = y - 2. Which is smaller: l or 1/4?
1/4
Suppose -18*c + 10*c = 104. Which is smaller: c or -11?
c
Let l be ((-2)/3)/(4/18). Let f be 1*l/3*-1. Does f = 1?
True
Suppose 0*u = -u + 2, -n + 3*u - 10 = 0. Let i be (0 + -3 - n) + -7. Is i at most as big as -2?
True
Let y = 9 + -9.2. Let n = -0.1 + y. Which is smaller: -0.1 or n?
n
Let g(t) = -t + 1. Let z be g(2). Let y = z - 5. Suppose -3 = -s - 9. Is y bigger than s?
False
Let d be (-6)/(-8) + (7/(-4))/1. Is d smaller than -4/3?
False
Suppose 5 = -5*c - 0, -4*c - 8 = -2*l. Which is bigger: l or 4?
4
Let w = 138 + -139. Which is smaller: -24/11 or w?
-24/11
Suppose 8*h + 9 = 5*h. Which is smaller: h or -5?
-5
Let v(f) = 2*f**3 + 1. Let w be (-1 + 0)/(4 - 3). Let s be v(w). Which is smaller: 3 or s?
s
Let h = 2 - -1. Let s = 3 - 1. Suppose 0 = -s*m + 6. Is h less than or equal to m?
True
Let y(t) = t**3 - 10*t**2 + 10*t - 3. Suppose 0*v + 5*v + 15 = 0, b = 2*v + 15. Let w be y(b). Let h be 2/w + 5/(-6). Which is smaller: h or -2?
-2
Let q be 68/(-16) - ((-18)/8 - -2). Suppose 5*z - 5*v = -35, -7 = z - v - 3*v. Let y = q - z. Is 4 <= y?
False
Let g be 0 - (-10)/475*-1. Is g not equal to 0?
True
Let z be 1*3*(-10)/(-15). Let b = -17 - -8. Let w be (-2)/b - (z - 2). Which is greater: w or -1?
w
Suppose 0 = 2*i + 327 + 17. Let g = -854/5 - i. Which is smaller: g or 2?
g
Let l = -2243/9 - -249. Which is greater: -10/9 or l?
l
Let i(j) be the third derivative of 0 + 1/12*j**4 + 0*j - 1/60*j**5 - 4*j**2 + 0*j**3. Let q be i(3). Which is greater: -2 or q?
-2
Suppose 11*a = 5*a + 12. Is a smaller than 0?
False
Let a = 8/17 - 155/221. Suppose -3*i + n - 5 = -0*n, 3*n - 6 = 0. Which is smaller: i or a?
i
Let l be 2 - (-1*7)/(2 + -7). Which is smaller: l or 2?
l
Let r = -162 - -108. Is -54 <= r?
True
Let n(a) = a**2 + a + 2. Let y be n(-3). Let i = y - 6. Is i equal to 5?
False
Let v(o) = -5*o - 2. Let z be v(-4). Let i be (63/z)/(1/2). Which is greater: i or 5?
i
Suppose 26 = 2*v - 12. Is v less than 19?
False
Let j = 8 + -9. Which is smaller: j or 