- 20. Suppose j - 4 = 3*b, -2*b - g = -0*b + 2*j. Is -2 at most b?
True
Let x = 7 - 5. Let n be (x/(-15))/(1/10). Is n at least as big as -2?
True
Suppose 0 = 5*a - 105 + 30. Let q be 3 + -2*(-44)/8. Does a = q?
False
Suppose -43 = 11*f - 10*f. Is f less than or equal to -43?
True
Suppose -3*i = 4*c + 2*i - 18, 4*c - 12 = -2*i. Which is smaller: c or 30/11?
c
Let p = 1.086 + -0.056. Let y = -0.08 + 0.05. Let j = p + y. Which is smaller: j or 0?
0
Let d(o) = -o**3 - 4*o**2 - 3*o + 3. Let x be d(-3). Which is bigger: x or 0?
x
Let t = 6 - 11. Let h = t - -7. Is h at most 0?
False
Let a = -6 + 10. Suppose -5*l + 6 = -a. Which is greater: l or 3?
3
Let f = 407/5 - 81. Suppose 3*g - 6*g = 0. Suppose 5*s + q = s, g = 5*s + q. Which is smaller: f or s?
s
Let y = -0.35 + -0.01. Let u = 0.06 + y. Is u equal to -2?
False
Suppose 4*f = 3*p + 19, -6*f = -p - 3*f - 13. Let b be (-3 - p)/((-2)/(-1)). Which is bigger: -4/11 or b?
-4/11
Suppose -2 + 4 = -2*s. Let m be ((-1)/2)/(s/8). Is 4 equal to m?
True
Suppose -8*h - 4*h = -324. Is 82/3 at least h?
True
Suppose 7*t - 5*t + 5 = 3*b, -3*b - 4*t + 17 = 0. Which is smaller: 13 or b?
b
Let o = 59 - 297/5. Let r = -0.6 + 1.5. Does o = r?
False
Let o = -13.9 + 13.7. Which is bigger: -5/3 or o?
o
Let j = -6.6 - -7. Let r = -0.6 + j. Are -2/5 and r nonequal?
True
Let i = 18 - 22. Which is smaller: -21/4 or i?
-21/4
Let u = -0.03 - -0.03. Let w = 0 + u. Which is smaller: 1 or w?
w
Let z = -0.5 - -0.5. Which is greater: z or -0.1?
z
Let k be (-6)/((-150)/35) + -2. Suppose z = 5*y - 0*z + 11, 2 = 2*z. Is y >= k?
False
Let x be 4/3 - 4/(-6). Let w be (0 + -1 + -2)/x. Let g(z) = z**3 - 7*z**2 - 7*z - 10. Let u be g(8). Which is bigger: u or w?
w
Let m = -121 + 120.6. Is m equal to 1/6?
False
Suppose 5*a + 55 = 5*k, -2*k - 4*a + 0*a = -4. Suppose -4*w + k = 0, -4 = -2*h - 2*w - w. Which is smaller: h or 1?
h
Let t = -4 + 2. Suppose 20 + 0 = -4*a. Let y be t/a + 2/20. Is 0 at least y?
False
Let r be (-2)/(-5) - (-372)/(-30). Which is smaller: -13 or r?
-13
Let f be 9/14*-4 + 2. Is f less than -1?
False
Let j(x) = x**3 - 9*x**2 - x + 7. Let b be j(9). Let i be (-5)/(-2) + (-2)/4. Which is bigger: b or i?
i
Let z = 9 - 7. Suppose -6*f + z = -4*f, -2*y - 2*f = -14. Suppose -10 = -o + y*o. Which is bigger: -2/7 or o?
-2/7
Let p be ((-40)/15)/((-2)/6 - 0). Which is bigger: 9 or p?
9
Suppose 0 = 3*c - 5 + 23. Let b = c - -13. Which is bigger: b or 6?
b
Suppose -z = 4 - 1. Let a be (z + 4 + -3)/13. Which is bigger: a or 1?
1
Let u = -16 - -8. Suppose -o - 3 = -4*f + 3*f, 4*f + 30 = -2*o. Which is smaller: o or u?
u
Let y = -22 + 27. Is y > -1?
True
Let g = -140627 - -982304/7. Let f = g + 297. Let s(o) = o**2 + 3*o + 2. Let p be s(-2). Which is greater: p or f?
p
Suppose 5 = y - 2*n, y + 17 = -y - 5*n. Which is bigger: y or 4/13?
4/13
Let l = -66 + 62. Which is smaller: l or 15?
l
Let l be (18/4)/((-60)/(-16)). Is 2 at most l?
False
Suppose -5*u = 2*m - 24, 3*m + 2 = 3*u - 4. Suppose 3*o = -5*c + 46, o + 6 = u*o - 3*c. Let q be (-1)/4 - o/(-140). Is q greater than 1?
False
Let l = -1.98 + -0.02. Let n = -1 - l. Which is smaller: n or 1/2?
1/2
Let g = 32 - 95/3. Which is smaller: g or -3?
-3
Let m be ((-24)/(-42))/(10/7). Is m greater than or equal to 2?
False
Let m = 22 - 10. Is m less than or equal to 13?
True
Suppose d + 3*d = 8. Suppose 3*u - 19 = -2*u - 2*p, d*p = -2*u + 10. Suppose -14 = -u*n - m, -2*n + m + 15 = -1. Which is greater: 0 or n?
n
Suppose -4*w - 224 + 64 = 0. Let a be 3 - 2*(-52)/w. Is a less than or equal to 1?
True
Let i be -1 + 21/6*2. Suppose 2 - i = -4*o. Let c be ((-4)/51)/(6/9). Which is greater: c or o?
o
Suppose 3*u = -5*d, -d - 2*d = -4*u. Let w be 3/36 + d/(-2). Is 1 equal to w?
False
Let f be ((-39)/52)/(8*2 - -2). Let l be (1 - 2)*-1*1. Which is greater: f or l?
l
Let h = -18 - -14. Which is smaller: h or -3?
h
Let u be (336/36)/(-4 + 2). Is u greater than -6?
True
Suppose p - s + 6 = -3*s, 0 = -5*p + 4*s + 12. Which is smaller: -4 or p?
-4
Let u(h) = -h**2 - 6*h + 6. Let c be u(-7). Let x = 1 + c. Which is greater: x or -1/5?
x
Let z be (-7)/4 - (0 + -2). Let k = -3 + 6. Suppose k*r = r - 2. Which is greater: r or z?
z
Let l = 171 - 138. Which is smaller: -2 or l?
-2
Suppose -5*c = 25 - 20. Is c not equal to -2/19?
True
Let t = -57 + 58. Let p = 0 + -5. Is t <= p?
False
Let r be (-2)/4*-6 + 0. Let p = r - 6. Let t = -2 + 1. Is t != p?
True
Suppose c - 4 + 1 = 0. Suppose g + 3*g + 10 = 3*k, 0 = c*k - g - 16. Is 6 less than k?
False
Suppose 0 = -4*x - 2*s - 8, 2*s = x - 2*s - 16. Suppose 4*i = -i. Suppose -g + i*g = x. Is g greater than or equal to -1/4?
True
Let i = -17.4 - -10.4. Let w be 1/(1 - (-1 + 1)). Is i at least w?
False
Let k be 2*1*3/(-8). Which is bigger: -1 or k?
k
Let j be 2/3 - (-44)/(-30). Let g be (-2)/((-40)/(-45)) + 2. Is g at least as big as j?
True
Let l = 85 + -82. Which is bigger: -1.4 or l?
l
Let l = 2 - 9. Let i(z) = -z**3 - 6*z**2 + 4*z - 7. Let d be i(l). Let t be ((-12)/(-28))/(4/d). Which is bigger: 3 or t?
3
Suppose 3*i = -7*q + 3*q - 37, 4*i = 3*q + 59. Is -13 greater than q?
False
Let i be 590/25 + 4/10. Let t = i + -26. Let n be (4/(-2))/((-4)/(-6)). Which is smaller: n or t?
n
Let b = 2 - 0.7. Let a = b + -1.17. Which is smaller: a or -1?
-1
Let p = -5 - -11. Suppose -4*l + p*l - 6 = 0. Suppose h - 2 = -l. Which is smaller: h or -1/14?
h
Let a = 7 - 9. Let h be (-3)/((-3)/2*1). Let o be 1 - 1 - h/(-4). Which is bigger: a or o?
o
Let d(g) = -8*g**2 + 3*g - 3. Let o be d(1). Which is smaller: o or -0.1?
o
Let u(q) = q - 5. Let k(j) = -j. Let o be k(-6). Let l be u(o). Is 3 not equal to l?
True
Let k be 4/2*14/8. Suppose 0 = n - 8 + 3. Which is bigger: k or n?
n
Let f(h) = -h**2 - 19*h - 19. Let l be f(-20). Are -40 and l equal?
False
Let d(s) = 5*s + 13. Let c(n) = 6*n + 14. Let l(p) = 6*c(p) - 7*d(p). Let f be l(5). Is f smaller than -2?
False
Let z = -0.058 - 0.042. Is z > 1/11?
False
Let y = -2 + 2.2. Let r be 10/(-12) + 92/69. Which is smaller: r or y?
y
Let z(t) = -t**2 + 2*t. Let u be z(3). Let i be 5/(-30) - (-1)/u. Which is bigger: 2/7 or i?
2/7
Suppose a = 3*j - 2 + 3, 2*j = 2*a - 6. Let w be (-1)/a + (-1)/(-4). Let i = 0.1 - -0.9. Which is greater: w or i?
i
Let g = -18 - -23. Suppose 2*t = 3*d + 7, -1 = 6*t - 4*t + g*d. Is t < 2?
False
Let d(r) = r + 15. Let m be d(-13). Let b = -2 + 6. Is m <= b?
True
Let h = 10 + -5. Let w = 11/15 - 1/3. Which is smaller: w or h?
w
Suppose 5*w + k - 57 = -0*k, 3*k + 21 = w. Which is smaller: w or 8?
8
Let r = 2.8 + -10.7. Let f = r - -8. Which is smaller: f or -4?
-4
Let c = 15 + -11. Let m = 0.68 - 0.58. Is c != m?
True
Let k = -116971432/9 - -12903341. Let j = -93587 - k. Let n = 102 + j. Which is bigger: n or -1/4?
n
Let x be 3 + (-3 - -2)*2. Suppose 3 = 3*g + 4*c, 5*c + x = -3*g + 7. Is -1 less than g?
False
Suppose -4*x - 10 = 5*s, -5*x - 4*s - 6 = -s. Suppose x = -w + 5*w - 36. Let f be (1/(-9))/(3/w). Which is bigger: -1 or f?
f
Let x(r) = -r**2 - 3*r + 7. Let j be x(-6). Let o = j + 15. Suppose -5*y + 9 = -3*f, 2*y + o*f + 12 = 5*y. Is y >= 0?
True
Let q be 4/20*13 - 6/10. Let w = -1 + 3. Suppose 0 = 2*x + w*o + 2, 3*x - 3*o + 4 = 25. Which is smaller: q or x?
q
Suppose 5*u + z + z = -13, 4*u + z = -8. Is u greater than -1?
False
Let d be (21/30)/(-7)*4. Let l(g) = -g. Let p = 3 - 2. Let f be l(p). Which is bigger: d or f?
d
Let u be (0 - 4) + 1 + 0. Let a be (-28)/35*5/(-2). Let c be ((-1)/(-3))/(a + u). Is c bigger than 1?
False
Let y(m) = -5*m**3 - m**2 + m + 1. Let h be ((-2)/4)/(13/(-26)). Let b be y(h). Which is smaller: -17/5 or b?
b
Let q = 8.9 + 2.1. Let i = q + -11. Is i >= 0?
True
Suppose 0 = -5*f - 15, 2*d - 10 = -0*d + 2*f. Let a be -2*(1 - 1/(-2)). Let m be -2 + (a + 1)*-2. Is d at most as big as m?
True
Suppose -5*z + 5*u = 0, z - 4*z - 4 = -4*u. Let h = 17 - 11. Let v = -3 + h. Which is greater: z or v?
z
Let m(w) = w**2 - 5*w + 4. Let d be m(4). Suppose 0*h + u + 27 = -5*h, 5*u - 9 = -h. Let q be 2/h*(-3)/(-2). Which is bigger: q or d?
d
Suppose -o + 4*o - 40 = -5*y, -15 = -3*y. Suppose 4*f - 5*k = 28, 0*f - 3*f + o*k + 26 = 0. Let h = 2 + 1. Is f less than or equal to h?
True
Let t be (-2)/6*1 - 14/(-6). Are -4/7 and t equal?
False
Let f = -45 - -42. Are f and -13/6 unequal?
True
Let g(x) 