et q be s(-1). Is n > q?
False
Let s be 24/(-45)*(-6)/4. Let m = -2 - -4. Is m at least s?
True
Let k = -0.158 - -1.938. Let l = k + -0.18. Let u = -0.4 - l. Is 1 equal to u?
False
Let i = -0.06 + 1.06. Let q be 33/45 + 4/(-10). Which is smaller: q or i?
q
Let z be (-2)/3*(-54)/(-4). Which is greater: z or -10?
z
Let i = 8 - 2. Which is smaller: i or 4?
4
Suppose 5*h - 48 = -13. Suppose -l = 2*u - h, l - 1 = -u + 5. Let f be (-4)/(-8)*0*-1. Is f > u?
False
Suppose 17*u + 336 = 13. Suppose 3*j - 4*b + 16 = -41, 0 = -4*j - 4*b - 76. Is j at most as big as u?
True
Suppose -j - 3*j = -8. Let t be 22/48 - j/6. Is t >= -1?
True
Let t = 5 + -4. Let j be (-43)/147 + 1/3. Which is smaller: j or t?
j
Suppose 6*y - 2*y - 5*w - 6 = 0, 4*y - 4*w - 4 = 0. Suppose -3*h = 2*d - 23, 4*d - 2*h = h + 1. Let g be (d + -2)*1/(-2). Is y bigger than g?
False
Let o = -17/276 + 7/92. Are 0 and o equal?
False
Let p = 0.048 - 0.148. Which is greater: p or 62?
62
Let v(l) = -l - 5*l**2 - 3*l + 8 + l**3 + 2*l**2. Let n be v(6). Let o = n - 373/4. Is 0 equal to o?
False
Suppose 0 = -k, -33 = -5*b + k + 27. Is 12 smaller than b?
False
Let q(g) = 2*g**2 + 3*g + 2. Let m be q(-2). Suppose 0 = -4*l - 3*u + 19, m*u = -3*l - l + 24. Which is smaller: 2/9 or l?
2/9
Let n = 3.9 + -2.9. Let s = 2.4 + 0.6. Is n > s?
False
Let q = 4 + -1. Let h(j) = j**3 - 3*j**2 - 11*j + 5. Let s be h(5). Is s at least q?
False
Let o = -0.1 - 0. Suppose 0 = -3*i + i + 6. Suppose 3*a + i*n + 3 = -0*n, -2*a - 5*n = 17. Do a and o have the same value?
False
Let o(f) = f**3 - 4*f**2 + 3*f - 1. Let d be o(3). Let y be ((-1)/8)/((-7)/(-98)). Is d > y?
True
Let o be (-42)/15 - 3/15. Let r be o/12 - 2/(-8). Does 1/10 = r?
False
Let r = -110 + 103. Which is greater: r or -2/19?
-2/19
Let f be ((-6)/15)/((-3)/15). Let i be 2 - (1 + 1) - f. Which is greater: 2/3 or i?
2/3
Let j = 6 - 12. Let t be ((-8)/12)/((-26)/j). Is 0.1 greater than or equal to t?
True
Let w(n) = -n**3 + 5*n**2 + 6*n - 1. Let k be w(6). Is -1 > k?
False
Let w = -1.6 + 1.5. Which is bigger: w or 0.8?
0.8
Suppose 5*y - 3*y = 24. Suppose -4*p + y = -p. Suppose -4*q = -o + 12, 6 = -4*o + 4*q + 30. Are o and p equal?
True
Suppose -7*x = -5*x. Let b be 4 - 330/243*3. Is x greater than b?
True
Let h be 18/8*(-40)/(-15). Suppose -4*s - h = -s. Suppose 5*g = -10, -5*g - 35 = 5*f - 5. Is f greater than s?
False
Suppose 0 = 3*o + 1 - 4. Which is smaller: -2/63 or o?
-2/63
Suppose 0 = -4*w + w + 66. Is 22 greater than w?
False
Let h(a) = -25*a + 121. Let g be h(5). Let t = -1 + -1. Which is smaller: t or g?
g
Let w = -33 - -6. Let p = 27 + w. Is 2/3 greater than or equal to p?
True
Let t be (6/(-3))/(-1) + -3. Are -1 and t non-equal?
False
Let b(p) = p**3 + 2*p**2 - 2*p + 4. Let s be b(-3). Which is smaller: -2/15 or s?
-2/15
Suppose -k + 3*p + 2 = 0, 4*k - 4 - 17 = -p. Suppose 5*g = 4*g + k. Is g greater than or equal to 4?
True
Let u = -35 + 26. Is u less than -10?
False
Let w(l) = -3*l + 7. Let o be w(0). Which is smaller: 2 or o?
2
Let z(q) = -q**2 + 5*q - 3. Let i be z(3). Let g be -4 + 10/(-6) + i. Is -2 less than g?
False
Let h = -0.1 - -0.1. Let x = -1.96 + 2.04. Which is bigger: x or h?
x
Let f = -6 + 12. Let a = f - 7. Which is smaller: -1/4 or a?
a
Suppose 4*c + 36 = -3*v, -4*c + v - 9 = 11. Is -46/7 bigger than c?
False
Let t(q) = -q - 4. Let l be t(-3). Let h be 0 - -1*(1 - -1). Let n be -1 - h - 40/(-15). Which is smaller: l or n?
l
Let b = 77 - 43. Is b at least 2?
True
Let o = 0.83 - 0.86. Is 3/4 less than o?
False
Let z = 10 + -8. Suppose 0 = -2*l - z*b, -3*l = 5*b + 1 + 1. Suppose 3 - 1 = o. Which is greater: o or l?
o
Suppose -7*r = -2*r - 145. Is 2 >= r?
False
Let f(v) = -v**3 - 5*v**2 + 5*v - 11. Let c be f(-6). Which is smaller: c or -6?
-6
Let p = -33 - -19. Is p bigger than -14?
False
Let p(f) = 2*f - 2. Let t be p(5). Let s be t/(-32) + (-7)/(-12). Is s less than or equal to -4?
False
Suppose 10*k - 10 = -200. Which is smaller: k or -20?
-20
Let g(y) = -y**3 - 6*y**2 + 6*y - 2. Let b be g(-7). Suppose -u + b*h = -7, 4*u - 3*h - 12 = h. Let w = -5 - -5. Which is smaller: w or u?
w
Let t = 240 - 1109/4. Which is smaller: t or -37?
t
Let m = -1498 - -7428/5. Is -12 > m?
True
Let h = -6 - -5. Let k(i) = -8*i**2 - 2*i - 1. Let t be k(h). Is t at least as big as -6?
False
Let n(w) = -w**3 + 8*w**2 + 9*w. Let x be n(9). Suppose 3*y + x*y - 3 = 0. Let v be 33/60 - y/(-4). Which is bigger: v or 0?
v
Let f = -5 + 1. Let v = -7 - f. Let g = v - -3.1. Which is smaller: -1 or g?
-1
Suppose -f - 5*y - 26 - 4 = 0, -5*f + 3*y = 10. Let i be ((-6)/f)/((-21)/10). Let m(o) = 2*o**2 - 2*o + 1. Let c be m(1). Which is smaller: c or i?
i
Let y be 102/(-45) - (-3)/5. Let w = -9 - -10. Suppose r + 2 = w. Which is bigger: r or y?
r
Let u be 0 - 2/(-20)*1. Suppose -7*l + 5*l + 18 = -4*s, 2*s = -l - 7. Is u > l?
False
Let k = 15 + 240. Let q = k - 1782/7. Which is smaller: q or -1?
-1
Suppose -3 = 3*y - 0. Let z be 0 - -3 - (-123)/(-39). Which is smaller: y or z?
y
Let x be (10/15)/(2/(-3)). Which is bigger: x or -2?
x
Let f = -1391/5 - -274. Which is smaller: -5 or f?
-5
Let t = 26 + -14. Suppose -4*a - 2*s - 3*s - 29 = 0, 3*a - t = 3*s. Is a less than 0?
True
Suppose 4*k - 5*t + 9 = -4, -3*k = t + 5. Let b be 9/k - (-5)/10. Let h(x) = -x - 3. Let g be h(b). Which is smaller: g or 0?
0
Let h be 24/(-90)*-3*(40 - 0). Do h and 0 have the same value?
False
Let r = -1 - -3. Let k = r - 1. Let m = -3 + 2.9. Does k = m?
False
Let h = 0.18 - 0.28. Let k = 6 - 2. Suppose -9*d = -k*d + 10. Is h smaller than d?
False
Let d be 2/(-4) + 78/(-20). Are -4 and d non-equal?
True
Let u(k) = k**3 + 8*k**2 + 10*k + 9. Let r be u(-6). Let a be 2/(-7) - 99/r. Let y = 0 + -5. Is y not equal to a?
False
Suppose -2*g + g = -1. Let w = -1993/15 + 133. Which is smaller: w or g?
w
Suppose -5*r - d + 0*d = -55, 5*d - 55 = -5*r. Let a(c) = 11*c**2 - 1. Let p be a(-1). Which is greater: p or r?
r
Let x = 33 - 7. Suppose -2*r - a + 0*a = x, 5*a - 50 = 5*r. Let f = r + 21/2. Is -2 >= f?
False
Suppose 0 = -h + f, -h + 2*f - 1 = -0*h. Are h and 3/8 nonequal?
True
Let j be 1 + -14 - -6 - -7. Let w be -1 + (-8)/14 + 1. Which is smaller: w or j?
w
Let t(u) = 7*u - 38. Let x be t(5). Which is bigger: -16/5 or x?
x
Suppose 0 = -5*u + 15, -4*u = 5*f + 3 - 0. Let s be (1/f)/(3/9). Let q be (0 + 0)/(-2 + 5). Which is smaller: q or s?
s
Suppose 4*o = 2*o + 5*a - 10, a = 2*o + 18. Which is smaller: o or -9?
o
Let d = 0.02 + 2.98. Let c = 5 - 6. Which is smaller: c or d?
c
Let u(k) = k - 1. Let a(w) = 3*w - 6. Let z(y) = a(y) - 5*u(y). Let r be z(-1). Which is greater: r or -2/9?
r
Let i be 2/3 + 116/(-176). Let c = 173/396 + i. Which is greater: -1 or c?
c
Let n be (8 - 0)*((-92)/(-24) + -4). Let k = -10.8 + 10. Let v = -0.2 + k. Which is smaller: v or n?
n
Let w(j) = -1 - j + 2*j - j + j. Let q be w(6). Suppose 5*f + 2*k = q*k - 10, -2*k = 3*f + 25. Which is bigger: f or -1?
-1
Suppose 6*s + 2 = 5*s. Are s and -4/3 equal?
False
Let k = 1/118 + -475/354. Which is bigger: -2 or k?
k
Let z = -1 + -1. Let c be (-1313)/(-52) - 6/(-8). Suppose -4*x + n = 8 - 1, 4*n = -2*x - c. Is z greater than or equal to x?
True
Let m(o) = -o**3 - 17*o**2 - 16*o - 4. Let a be m(-16). Let u(q) = 2*q - 6. Let b be u(7). Suppose -4 = 3*c + b. Is a at most as big as c?
True
Let a = 9 + 0. Suppose 0 = -3*c + a - 0. Which is greater: c or 2?
c
Let h = -18/77 - -356/1463. Which is smaller: 0 or h?
0
Suppose -u + 4*i + 18 = 4*u, -4*u - i = -6. Let w(y) = 6*y + 4 - y - 2*y - y**u. Let t be w(4). Is t >= 2/19?
False
Let t(a) = 3*a - 3 + 4*a - 9*a. Let i be t(-5). Which is smaller: i or 6?
6
Let u(k) = 3*k + 11. Let l be u(-7). Is l > -11?
True
Let f = 7 + 74. Let t be 3/(f/6 - 3). Is t smaller than 1?
True
Suppose -2*l = 2*l - 100. Suppose 0 = 2*f + 5*w + 31, -4*w - l = 2*f - w. Is -10 bigger than f?
False
Let c(x) = -x**3 + x**2 + x - 1. Let b(q) = -2*q**3 + 9*q**2 - 4*q + 1. Let i(t) = b(t) - 3*c(t). Let p be i(-7). Let s be p/(-6)*3/16. Does s = -1?
False
Let m be 1/(-13)*-24 + -2. Let r = 9 + -6. Suppose 0 = 2*s + s - r. Which is smaller: m or s?
m
Suppose -6 = -5*z - 11. Let b = -35 + 174/5. Is b less than z?
False
Let k = -267/10 + 53/2. Is k < 1?
True
Let k = -8 - -4. Let l be (-33)/6 + (-18)/(-6). Which is bigge