 + -67. Let g = z - -10/21. Let q be 2/(-11) - (-4)/22. Which is bigger: g or q?
g
Let j = -16 + 21. Is 3 less than j?
True
Let l(a) = -a**2 + a. Let d(s) = -4*s**2 - 7*s - 8. Let w(o) = d(o) - 3*l(o). Let f be w(-7). Which is greater: f or 2/3?
f
Let t = -10 + 17. Which is bigger: t or 0.2?
t
Let p = -9.3 - -9. Let d = -1.8 - -1.9. Do d and p have the same value?
False
Let m = -2.32 - 0.08. Which is smaller: 1 or m?
m
Suppose 0*a + 5*a + 2*j - 408 = 0, 0 = 3*a + 2*j - 248. Let l be (-3)/(-9) + a/(-6). Is -13 smaller than l?
False
Suppose c + 5 - 1 = 0. Suppose 5*p - 3*r = -10, 2*r + 4 = -3*p - 2. Is p at least c?
True
Suppose 3*c = 8*c - z, 2*c = 2*z - 8. Suppose -5*d + c = -4. Suppose -14 = -3*l + d. Which is bigger: l or 4?
l
Let w = 56 + -39. Which is bigger: w or 19?
19
Let q = 0 + -1. Let g be -8 - -4 - 1*-1. Let s = q - g. Which is bigger: 1/2 or s?
s
Let b(z) = -3*z + 9. Let c be b(6). Let m be (14/4)/((-2)/4). Let f = m - c. Is f smaller than 2?
False
Let d be ((-3)/(-2))/(3/8). Let l(n) = -3*n + 6. Let g(j) = -4*j + 5. Let t(v) = d*g(v) - 5*l(v). Let b be t(-11). Is 2 greater than or equal to b?
True
Suppose 3*z - v + 11 = 0, -4*v - 2 - 2 = 4*z. Let j(h) = h**3 - h**2 - 3*h + 2. Let b be j(2). Suppose n + b*n = -3. Is n at least z?
True
Let x = -29/4 - -15/2. Suppose 0 = o - 3*o. Suppose o = -3*p - p. Is p not equal to x?
True
Suppose 3*i + z - 1 = -7, -4*i + z = 1. Suppose 0 = -2*c - 0*c + 20. Suppose -4*w - w = c. Which is greater: i or w?
i
Suppose 3*l + 4*t + 1 = 4*l, 4*l + 3*t + 53 = 0. Which is greater: 0 or l?
0
Let q(t) = t**3 + t**2 + t - 2. Let y be q(0). Let c = 4 + y. Suppose c*g = -s - 1 - 4, -5*g + 5 = -s. Is 1 at most g?
False
Let m(y) = y**2 + 8*y + 3. Let t be m(-7). Let a(i) = -i**2 - 5*i - 3. Let g be a(t). Is g not equal to 1?
False
Let v(m) = -m**2 + 8*m + 11. Let k be v(8). Let y(d) = d**3 - 12*d**2 + 11*d + 9. Let l be y(k). Are l and 9 equal?
True
Let z = -5.06 - -0.06. Let w = 5 + z. Is 0 bigger than w?
False
Let l be (-5)/2*(-6)/(-3). Is -7/2 < l?
False
Suppose -3*t = -5*v + 17, 7 = -4*t + 5*v - 9. Is t less than -1?
False
Suppose -2*j + 8 = 4*m, 2 = -4*j - 3*m + 18. Suppose -j*s = s. Is s != 0?
False
Let t = 22 - 22.1. Let r = -13.9 - -13. Let s = 0.1 - r. Which is smaller: t or s?
t
Let m(i) = -i + 5. Let k be m(0). Suppose -2*v - 2 = 0, -11 = -2*f + 5*f + k*v. Is f != 0?
True
Suppose -4 - 4 = -4*z. Suppose 0 = -4*b + z + 2. Let v = 12 - 13. Which is greater: b or v?
b
Let t(x) = -8*x**2 - 3. Let z be t(-2). Is z less than or equal to -137/4?
True
Suppose 4 = -y - 3*y. Let t be ((-4)/10)/(2/(-20)). Let n be -1*(-2)/t*0. Which is smaller: n or y?
y
Let z be -3*4*(0 - -1). Let g be 28/z - (-3)/9. Is g >= 2?
False
Let m be 3 - ((-135)/92 + 3). Let l = -5/23 + m. Let z be 1/((-2)/4 - -1). Which is bigger: l or z?
z
Let s be (-1)/(-2 + 9/5). Let d = s - 9. Is d bigger than -4?
False
Let v be (-62)/(-22) - (-4)/22. Suppose 2*w = v - 9. Which is smaller: w or -2?
w
Let b be 5/(25/(-85)) - 4/(-1). Which is smaller: b or -9?
b
Suppose 3*l = -2*l + 30. Suppose -2*s + 2 = l. Is -3 smaller than s?
True
Let w = 111 + -110. Which is bigger: w or -1?
w
Let r = -0.37 + 0.3. Which is smaller: r or 0?
r
Let n be (-2)/5 + 836/6000. Let l = n - 3/500. Which is greater: l or -1?
l
Let u(r) = -r**2 + 10*r - 2. Let t = -15 - -25. Let g be u(t). Which is smaller: g or 0?
g
Let n be 2*2*(-27)/6. Let z = -25 - n. Let s be (7 + z)*(-1)/2. Is s bigger than -1?
True
Let h = -5/8 + 1/8. Let i(a) = a**3 - 2*a - 1. Let u be i(-1). Suppose u = 3*n - 7*n. Which is greater: n or h?
n
Let v = 2345/72 - 5/72. Let d = 33 - v. Does d = -0.2?
False
Let i(l) = 3*l - 2*l - 3*l**2 - 7*l + 2*l**2 - 4. Suppose z + 2 = -b, 2*z + b + 12 = -z. Let a be i(z). Which is greater: 4/7 or a?
a
Let b be 2/2 + 8*6/48. Which is smaller: b or 30/11?
b
Let a be 8/(-4) + 4 + -4. Do -1 and a have different values?
True
Let b = -9/86 + -807/2150. Is b bigger than 0?
False
Let m = 0.31 + -0.21. Which is greater: m or 1.1?
1.1
Let a = 12011/14 - 859. Which is bigger: 0 or a?
0
Let z be 2/(-6)*(-3)/(-2). Suppose 2*v + 1 = -2*g + g, 2*g - v + 7 = 0. Let k = g - -3. Is z greater than k?
False
Let s(v) = -5*v + 6. Let b be s(-10). Let d be (21/b)/((-3)/2). Which is greater: d or 2/3?
2/3
Let w = 3 - 4. Let o = 2 - w. Suppose -o*u + 0 = -12, 0 = 2*b - u. Is 1 not equal to b?
True
Let g = -2 - -1. Let f = 7 - 26. Let x = 23 + f. Which is greater: x or g?
x
Let m be (8/(-3))/((-35)/(-42)). Is m at least -4?
True
Suppose -2*a + 1 = -23. Suppose 4 = 2*g - 0*g + 3*w, -a = -2*g - 5*w. Let l be g + 2 + (-1 - -3). Are 2/3 and l unequal?
True
Suppose x = -5*x - 24. Is -8 greater than x?
False
Let g = 2 + -2.2. Let q = -0.04 + -0.26. Which is smaller: g or q?
q
Let v = 3 - 0. Suppose 2*z = h - v, -5*z + 0*h = -2*h + 7. Is 2/29 >= z?
True
Let n(l) = 27*l - 3. Let c(w) = -9*w + 1. Let d(j) = -7*c(j) - 2*n(j). Let k be d(1). Let x = k - 13. Is x > -4?
False
Let d(k) = -k**2 - 6*k + 2. Let o be d(-6). Let l = 82/69 + -12/23. Which is smaller: o or l?
l
Suppose -3*j + 72 = j. Let q = j + -13. Suppose 0 = 4*i + i + t - 7, -i + 3*t - q = 0. Which is smaller: 1/4 or i?
1/4
Let u = 8 + -5. Let b = u - 6. Let q = -2.5 - -2.5. Is b bigger than q?
False
Let m = 10 - -7. Is m greater than 18?
False
Suppose 5*f - 20 = 0, -3*x + 3*f = 6*f - 15. Let z be (-5)/(-21) - x/(-3). Is z greater than 1?
False
Let o be 5/15*(-3)/(-13). Is -1 at most o?
True
Suppose 0 = -u + 6*u - 2*l, -28 = 4*u + 4*l. Let h be (-52)/72 - 1/u. Suppose 2*t + 4*g = -18, -3*t = 5*g + 14 + 9. Is h equal to t?
False
Let u = 11 + -9. Let v be (-25)/(-9) + (-20)/(-90). Is u bigger than v?
False
Let x = -32 - -32. Which is smaller: x or -2/15?
-2/15
Let r = 11.2 - 11. Let d = 0.1 - 0.1. Is d smaller than r?
True
Let k be (0 + 3/2)*12. Let s be (-4)/(-9) + (-4)/k. Let j = -5 + 5. Which is greater: s or j?
s
Let b = -2.98 - -1.38. Is b < -0.1?
True
Let s(o) = -o + 5. Let q be s(3). Suppose 0 = -p - m + 3*m - 6, -q*p - m + 8 = 0. Let d = -5 + p. Is -2 less than d?
False
Let o(q) = -4*q**2 + 2*q - 1. Let m be o(1). Let y(k) be the second derivative of -k**4/12 - k**3/2 - 3*k**2/2 + k. Let b be y(m). Which is smaller: b or -2?
b
Suppose -5*a + 2*r = -r + 4, -4*a - 3*r = -13. Let y be (-2)/8 + (-57)/(-4). Let p be ((-4)/y)/((-3)/(-3)). Is a >= p?
True
Suppose 5 + 2 = -2*g + w, 2*w + 2 = -4*g. Let x be (-3)/4 + (g - -2). Let j = 0.7 + 0.3. Which is smaller: x or j?
x
Let h(b) = 8*b - 3. Let o be h(1). Let r be (-4 - -7)*o/(-15). Let t = 0 - 0. Which is bigger: r or t?
t
Let v(u) = u - 8. Let i be v(6). Suppose 2*f + 2*f = -8. Let a be f/6 - 8/3. Which is smaller: i or a?
a
Let w be 4 + -2 + -5 + 1. Let x(o) = -o + 2. Let j be x(w). Let v be (4/(-6))/(j/12). Do v and -3 have the same value?
False
Let p be (6 + -9)*(-2)/6. Let m = 61/152 + -10/19. Which is greater: m or p?
p
Let j = 876.93 + -872. Let p = j - -0.07. Let f = -5.1 + p. Which is smaller: 0.5 or f?
f
Let k = 2.1 + -2. Let s be 2/3*4/52. Let c = 11/39 + s. Which is greater: c or k?
c
Suppose 2192 = 3*w - 157. Let p be ((-69)/w)/(-1)*-6. Let g = p - 4/29. Which is smaller: g or -2?
-2
Let o = -3/89 + 632/267. Is 2 <= o?
True
Suppose 0 = -7*d + 3*d + 12. Suppose -3*s = -d*g + 24, -3*g + s = -0*g - 34. Is 13 at most as big as g?
True
Let b be (5/(-3))/((-10)/36). Which is bigger: 5 or b?
b
Let m = -0.2 - -1.2. Let x(i) = i + 9. Suppose 17 = 4*g + 4*k + 53, 3*g + 2*k + 25 = 0. Let w be x(g). Is m != w?
True
Let m be 9 + (-1 - (2 - 1)). Which is bigger: 13/2 or m?
m
Suppose -3*m = -0*m - 42. Suppose 229 = 5*s - 3*i, -s + 59 = i - 6*i. Let g be s/(-56) + 4/m. Is g < -2?
False
Let t(q) = 4*q**3 + q**2 - 2*q - 2. Let p be t(-2). Which is bigger: p or -25?
-25
Let f = 22 + -13. Suppose -3*j + 9 = -5*m - f, 4*m + 12 = 0. Let s = -6 + 5.8. Which is bigger: s or j?
j
Let r be (-32)/(-144) + ((-94)/18 - 0). Are r and -4 nonequal?
True
Suppose 0 = -0*p + p - 8. Let r be 8/(-14) + p/8. Are 1 and r non-equal?
True
Let l = -15 - 6. Is l not equal to 2?
True
Let q be 30/(-4) + (-6)/(-4). Let k = 7 + q. Let i = 196 - 1370/7. Which is greater: k or i?
k
Let o(m) = m + 4. Let c be o(-5). Let f be (609/(-16))/((-2)/8). Let y = -153 + f. Which is smaller: c or y?
c
Let c = 22 - 15. Is 7 greater tha