ose -1 = -c + 2. Suppose -u = 2*l + 1, -10 - 20 = 5*l - c*u. Let g(q) = -q**3 - 4*q**2 + 7*q + 7. Let o be g(-5). Is l != o?
False
Suppose -5*y + 7 = 2*n, -5*n - 4*y - 28 = -3. Which is smaller: n or -10?
-10
Suppose -5*l + 13 = -2. Suppose -4*j = -4*g, 0 = -6*j + l*j + 2*g. Suppose j = 5*f + 4 + 21. Is -4 not equal to f?
True
Let c be 4/(-35) - (3 - (1 - -2)). Is c less than or equal to 1?
True
Suppose -4*m - m = -40. Is m less than 6?
False
Suppose 3*m + 1 + 2 = 0. Let i = 1051/4 - 265. Is m > i?
True
Let y be (-3)/3*1*-1. Suppose f - 6*f = 0. Let v be -1 - (f - (-7)/(-5)). Is y bigger than v?
True
Let p = 171/910 + 3/70. Let h(c) = -c**3 + 3*c**2 + 5*c - 3. Let l be h(4). Which is smaller: l or p?
p
Let o = -0.132 + 100.132. Is -0.1 greater than o?
False
Let g = -5/14 + -1/7. Is g at least 0.2?
False
Suppose 11 - 6 = -c. Which is bigger: -7 or c?
c
Suppose -k = 1 - 4, 4*k = 4*l. Let i(y) = 2*y - 7. Let s be i(6). Which is greater: s or l?
s
Suppose 5*g = -2*v + 9 - 1, -4*v + 16 = 0. Suppose 0*t + t = g. Which is smaller: 2 or t?
t
Let b = -18 + 17. Is b less than -2?
False
Let d be -1 - (-4 + 4) - -1. Which is greater: 1/5 or d?
1/5
Suppose -5*p = -7*p. Let m be -1 - 1/(-2)*p. Let s = -1542/11 + 140. Is s greater than m?
True
Let x = 0 + 3. Suppose g - 2 + 1 = 2*t, 0 = 5*g - x*t - 5. Let h be 0/(4 - (3 + -1)). Which is smaller: g or h?
h
Suppose -3*u + 23 = 23. Which is smaller: -1/94 or u?
-1/94
Let h(x) = -x**3 + 2*x**2 + 7. Let w be h(0). Which is bigger: w or 9?
9
Let t = 5/28 - 151/532. Let w = t - -61/38. Which is smaller: w or 1?
1
Suppose -6*m - 8 = -2*m. Let s = -1.99 - 0.01. Is s > m?
False
Let n be (-266)/86 - (4 - 28/4). Which is greater: 1 or n?
1
Let g be (-2)/(0/(-3) + 1). Let t = -2 - g. Let r = t - -1. Which is greater: -1 or r?
r
Let d = -156 - -72. Let y = d + 503/6. Which is greater: 2/5 or y?
2/5
Suppose 0 = 8*w - 13*w - 80. Do -17 and w have the same value?
False
Suppose -2*u + 3*q = -5*u + 12, 2*q - 8 = 0. Suppose 10 = 5*x - u. Suppose l - 1 = x. Is l at least as big as 3?
True
Let u = 1 - 2. Let q(i) = 8*i**3 - i**2 + 2*i. Let p be q(-2). Let c = 506/7 + p. Is c >= u?
True
Let m = -0.06 + 0.04. Let t = 0.08 - m. Is t at most 0?
False
Let j(f) = -3*f**2 - 7*f + 11. Let v(n) = 4*n**2 + 6*n - 11. Let c(b) = 5*j(b) + 4*v(b). Let t be c(10). Which is smaller: 0 or t?
0
Suppose 2*n + 10 = -8. Let s be 0*(3/n - 0). Which is bigger: s or 1?
1
Suppose 2*d + 450 = 5*d. Let h be (-6)/d*36/2. Let f = h + 8/25. Which is smaller: f or 0?
f
Let z be (-1)/(((-2)/(-11))/(-2)). Suppose -3*k + z = 5*w - 11, -30 = -5*w - 5*k. Is 1 bigger than w?
False
Let z = 17/12 - 11/4. Which is greater: z or -2?
z
Let a be 0 - (-1 + 0) - -4. Suppose -5*i = -0*i + a. Which is smaller: i or -3/2?
-3/2
Let c = -118 + 125. Is c at most as big as -2?
False
Let p = 3.3 + -4.3. Which is smaller: 14 or p?
p
Suppose 12 = -j + 4*j. Suppose m + 2 = r + j, 0 = 4*r - 3*m + 4. Let w(b) = b**3 + 6*b**2 + 6*b + 6. Let i be w(-5). Which is bigger: r or i?
r
Let a(c) = -c**3 + 15*c**2 - 14*c - 10. Let v be a(14). Which is greater: v or -28/3?
-28/3
Let x(n) = n**3 + 3*n**2 + 2*n + 1. Let t be x(-2). Let f be (-7)/(-7)*(-1)/1. Which is smaller: f or t?
f
Suppose 55 - 10 = -3*o. Is o less than -15?
False
Let t(u) = -u - 11. Let w be t(5). Does -16 = w?
True
Let o = 27.2 - -0.8. Which is bigger: 2/3 or o?
o
Let s(w) = -w**3 + 7*w**2 - 7*w. Let i be s(6). Let l(f) = -f**2 - 7*f. Let v be l(i). Let j be (v/8)/(6/(-4)). Do j and -2 have different values?
True
Let r = 13.3 - 15. Let x = r + 1.8. Is x < -1/4?
False
Suppose 2*j - 4*j - 6 = 0. Is -2 > j?
True
Suppose 14 = 3*p - 5*v, 0*v - 3*v - 15 = -4*p. Let d = p + -7. Is d at most as big as -1?
True
Let t(q) = -2*q + 5. Suppose 0 = -4*f + 2*d + 4, 4*f - 3*d = 2*d - 8. Suppose -6 = -3*a + a + p, -10 = -a - f*p. Let v be t(a). Which is smaller: v or -2?
v
Let t(n) = n + 6. Let i be t(-4). Suppose 0 = 4*b - i*q, b - 4*q = -b. Let v = -19/5 + 143/35. Is v greater than b?
True
Let g = 1/110 + -443/330. Which is greater: -2 or g?
g
Suppose 0 = -5*b + 6 - 11. Is b > -4/13?
False
Suppose -4*d + 8 = 3*v + 79, -29 = v + 4*d. Which is greater: v or -19?
-19
Let m be 20/(-30) + 32/(-6). Is m less than -7?
False
Suppose -2 = -2*o + 3*o. Which is smaller: o or 1?
o
Let m = 49942/4347 + -264/23. Which is bigger: m or -1?
m
Let r be 1/1*4/(-8). Let a = -0.1 - 0.3. Let w = a - -0.3. Is w at least as big as r?
True
Let o = 78 + -80. Which is greater: -1 or o?
-1
Let l be (3/(-9))/(3/63). Let y(f) be the third derivative of -f**5/60 - f**4/4 + 4*f**3/3 - f**2. Let c be y(l). Which is bigger: c or 3/4?
c
Let u be (4/2 + -3)*-3. Suppose -25 = -2*o - 3*o. Suppose u*h = 6, h = o*q + 4*h - 1. Is q at most as big as 2/7?
True
Let z = -4 + -13. Let j = 16 + z. Which is bigger: -2/11 or j?
-2/11
Suppose -5*h = 4*q + 46, 5*q + 14 = 2*h - h. Let u = h - -7. Let f = -65/7 + 9. Is f not equal to u?
True
Let s be 1 + (1/(-20) - 1). Let a = s - 3/20. Is a greater than 0?
False
Suppose 2*i + 6*i = -216. Which is bigger: -1 or i?
-1
Let r = 3.1 + -3. Let u = -3 - -2.8. Are u and r non-equal?
True
Let t = 100 - 124. Which is smaller: -1 or t?
t
Let n be -3*(8/(-6))/(-2). Let i(u) = 3*u**2 + 3*u + 1. Let p be i(n). Is 9 < p?
False
Let t be (-4)/((0 - -3)/(-24)). Let y = -286/9 + t. Is -3 bigger than y?
False
Suppose -2*k - 24 + 10 = 3*n, 12 = 4*k - 4*n. Let u be k/5 + (-3)/(-15). Let r = 0 + 0. Is u at most r?
True
Let v = 98/323 - 14006/24871. Let i = -6/11 - v. Which is bigger: 0 or i?
0
Let x(y) = 7*y - 4. Let b be x(2). Which is greater: 0.2 or b?
b
Let i = 0 - 0.1. Let b = 8 - 7.9. Which is bigger: b or i?
b
Suppose -5*o + o + 56 = 0. Is 13 < o?
True
Suppose -22 = -4*z + 5*k - 7*k, -5*z + k = -31. Suppose -5 = -4*q - 5*g, -26 = -4*q + g + g. Is q greater than z?
False
Let t = 5.04 - 0.04. Let i = -0.15 - 4.85. Let j = t + i. Which is smaller: j or -1?
-1
Let l(f) = -f**3 + 4*f**2 - 3*f + 1. Let p(q) = q**2 + 3*q - 1. Let t be p(-4). Let k be l(t). Which is bigger: 2 or k?
2
Let y = -72 - -73. Let t(m) = -m**3 + 4*m**2 - m - 3. Let x be t(3). Which is smaller: y or x?
y
Let f(o) = -o**2 - 1. Let g(k) = -4*k**2 + 2*k + 1. Let v(m) = 3*f(m) - g(m). Let i be v(3). Let a be (-5)/(-10)*4/19. Which is greater: i or a?
a
Let w = -1 + -2. Let h = 12 + -14. Is w bigger than h?
False
Let r be 12/(-9)*(-2)/4. Is -9/4 greater than or equal to r?
False
Let f = 203/3 - 67. Which is greater: f or -4/9?
f
Let z = -1 + 1.2. Let w = -0.23 - -0.23. Is z != w?
True
Let y = 2260/3 + -15113/24. Let c = y + -124. Is c bigger than 1?
False
Suppose 4*r + 31 = q, -4*r - r + 5*q = 35. Let b = -34 - -26. Is b less than r?
False
Let i = 0.02 - -0.02. Let h = i + 0.16. Which is smaller: -2/9 or h?
-2/9
Suppose -2*w = 3*p + 6, 2*p - w = -0*p - 4. Is -3 less than or equal to p?
True
Suppose 6*g - 2*g = 20. Suppose 0 = -4*a + 16, -6*a = -g*s - 2*a + 9. Do s and 6 have the same value?
False
Let s = -1.93 - 5.97. Let f = s - -8. Does f = 1/6?
False
Suppose 0 = -b + 2 + 5. Suppose -2*q = -b*q - 5. Which is greater: q or -1/14?
-1/14
Let n be (-32)/7 + (-78)/182. Which is greater: n or 1?
1
Let c(d) = d**3 - 10*d**2 + 9*d + 8. Let r be c(9). Let w = -8 + r. Which is bigger: w or -1/2?
w
Let x be 3 + (-3)/6*-14. Let a be ((-2)/4)/(5/x). Let l = 1.3 - 0.3. Which is greater: l or a?
l
Suppose 4*i + 30 = 5*x, -x = 5*i - 2 + 25. Let r be (6/12)/((-2)/(-8)). Do r and x have different values?
False
Let z = -39 - -41. Is -0.11 less than z?
True
Let b be (-6)/(-15) - (-436)/(-40). Is b > -11?
True
Let q(x) = -x**3 + x - 1. Let f be q(1). Let v be (-2)/30*(12 - 18). Which is bigger: f or v?
v
Let p = 31 - 32.9. Let y = -2 - p. Let h = y + 0.1. Which is smaller: -1 or h?
-1
Let m = -19/15 - -13/15. Let g(f) = -f**2 - 3*f + 6. Let w be g(-5). Let j = 3 + w. Which is greater: m or j?
m
Let s be ((-6)/9)/(5/45). Is -4 greater than or equal to s?
True
Let v = -59612/5 + 11867. Let n = v - -55. Which is smaller: n or -1?
-1
Let h = -241 - -241. Let r(d) = -d**3 - d**2 + 2. Let g be r(0). Does h = g?
False
Let y = 0.02 - 0.1. Which is bigger: 0 or y?
0
Suppose -2 = x + d - 1, 32 = 4*x - 5*d. Suppose -10 = -5*f - 5*y, 0 = -3*y + 8*y + 5. Suppose 0 = -x*m - f*w, 2*m + 2*m - 4*w = 8. Which is smaller: 1/3 o