6/5. Let b = -124/65 + n. Is 1/3 at least as big as b?
False
Suppose -5*y + 16 = -y. Suppose 0 = -5*r - 6 - 4. Let d = y + r. Is -0.1 bigger than d?
False
Let f = 0.11 - 1.31. Let r = 57 + -57. Is r >= f?
True
Let m(l) = 2*l - 8. Let s(v) = -v + 4. Let j(q) = -4*m(q) - 9*s(q). Let x be (-50)/(-18) + (-4)/(-18). Let u be j(x). Is u < 0?
True
Suppose -2*d + 0 - 10 = 0. Let v be (-4*(-2)/12)/d. Which is greater: v or -1?
v
Let h = -1920 - -3740. Let m = 121938/67 - h. Which is greater: 0 or m?
0
Suppose 11*a - 1 = 12*a. Which is smaller: 5/12 or a?
a
Suppose 0 = 2*k + 5*n - 32, 8 = -0*k + 4*k - 4*n. Suppose y - k = 4*y. Let q(s) = -s**2 - 6*s - 1. Let x be q(-6). Is x at most y?
False
Let x be 54/(-4) + (-3)/6. Let y = x - -24. Let n be y/(-24) - (-4)/6. Which is smaller: n or 2/3?
n
Suppose -2*o - 8 + 50 = 4*n, -n + 15 = 2*o. Let r be 6/n + (-26)/21. Is -2 less than or equal to r?
True
Let z = 0.31 + -0.3. Let x = z - 0.11. Let d = 0.1 + 1.9. Does d = x?
False
Suppose -4*d - 20 = 4*f - 2*f, 0 = -4*f + 2*d - 60. Which is greater: f or -15?
f
Let l = -10 + 25. Let a be (-33)/l + (-2)/(-10). Does a = -4/5?
False
Let y = -39 - -27. Let k be 21/6*y/(-21). Which is smaller: k or 7/4?
7/4
Let m be -1 + 0 + 9/(-3). Let w = -7 - m. Let x be 5 + -8 + (-10)/w. Is 0 smaller than x?
True
Let s be 2/8 - (-213)/12. Let i be (51/s + -3)/(-1). Which is greater: i or 1?
1
Let a(m) = -5*m**2 - 20*m - 18. Let c(v) = -3*v**2 - 13*v - 12. Let h(b) = 5*a(b) - 8*c(b). Let o be h(5). Let z = 8 - 6. Which is greater: z or o?
z
Let x = 35 + -37. Is x greater than 0.18?
False
Suppose -5*l + 0 + 5 = 0. Let c be -6 + ((-4)/(-2) - 0). Let b be (-2*(-1)/c)/(-1). Which is smaller: b or l?
b
Let s = 4 - 1. Let v(p) = -p**3 + 4*p**2 - 3*p. Let q be v(s). Suppose q*z + 3 = z. Is z <= 4?
True
Let z = -7 + 6.99. Let t = 0.99 - z. Is t at least 3?
False
Let m = 2886/7 - 414. Which is greater: -3 or m?
m
Suppose -3*n = -5*n - 50. Let b = 15 + n. Let w = 29/3 + b. Which is smaller: 1 or w?
w
Let z = 138 + -137.9. Is -0.028 smaller than z?
True
Let h be ((-5)/((-10)/36))/((-6)/4). Is h not equal to -12?
False
Suppose -21 = -q - 2*q. Let k be 15/q + (-4)/28. Which is smaller: -1 or k?
-1
Suppose 3*b + b = -j + 108, -3*b + 94 = 4*j. Suppose x + b = -4*r + 9, -x + 4*r = -15. Is x at least -4?
True
Let g = -0.12 + -14.88. Which is smaller: g or -2?
g
Let w be 5 + 3/(9/(-6)). Suppose -o + 8*t = 4*t + 10, 2*o - 19 = -5*t. Suppose x + 1 = -o*b, b + b = -w*x + 9. Which is bigger: b or -2?
-2
Suppose 20 = 3*g + 8. Which is greater: g or 0?
g
Let z = -1.6 - -1.3. Are -3 and z nonequal?
True
Let v be (-15)/(-6)*(-8)/30. Which is smaller: v or -3?
-3
Let t = 14 + -21. Let a = 8 + t. Which is bigger: a or -1/5?
a
Let p(q) = -3*q**3 - 4*q**2 + 8*q + 15. Let v be p(-4). Which is smaller: v or 112?
v
Let i be 1*(-20)/(-12)*-3. Let q(f) = -f**3 - 5*f**2 + 4*f + 1. Let x be q(i). Is x bigger than -20?
True
Suppose 0 = t - 0*t - 6. Suppose -4*c + 2*c = -t. Suppose 0*j + c*j - 3 = 0. Is 0.2 smaller than j?
True
Let o(t) = -2*t + 37. Let d be o(16). Is d bigger than 19/3?
False
Let y = 7 + -5. Suppose y*b = 3*t + 15, -2*b - 3*t + 1 = 16. Which is greater: -1/2 or b?
b
Suppose -4*z - 41 = -3*b, 4*b - 5 - 43 = 2*z. Which is smaller: b or 12?
b
Let r = 50.9 + -51. Which is smaller: r or 0.047?
r
Let y = -3469/13 + 267. Let w(j) = j**2 + 3*j - 3. Let s be w(-4). Which is smaller: s or y?
y
Let x be 22/(-30) - (-18)/54. Which is greater: 0 or x?
0
Let j = -46 + 38. Which is smaller: j or -3?
j
Let v = -189 + 189.06. Are v and 2/5 non-equal?
True
Let d = -21 - -12. Let p = d + 20. Is 11 <= p?
True
Let z = 29 + -86. Which is smaller: -55 or z?
z
Let t = -14.89 + 15. Which is bigger: 1/3 or t?
1/3
Let x be -93*(-3 - (-2)/(-3)). Suppose -5*h = 4*q + x, 0 = -3*h - q - 0*q - 199. Let g be (1 - h/(-63))*3. Is g at most as big as -1?
False
Let h = -25 - -37. Let r be (7 + 1)*6/h. Which is bigger: -2 or r?
r
Suppose -4*l - 5*c + 172 - 593 = 0, c - 193 = 2*l. Let u = -161 + l. Let f be (-116)/u + (-6)/10. Which is smaller: 0 or f?
f
Suppose -2*s - 26 = 4*p, -2*p + s = -0*p + 3. Let a = -16 - -12. Are p and a equal?
True
Let b be (-2)/5 - (-26)/90. Suppose -4*a + 4*s = -2*a + 20, -5*s + 25 = 0. Which is smaller: b or a?
b
Let y = -12 + 14. Let g be 4 - (8 - y - 3). Which is smaller: -2/5 or g?
-2/5
Suppose 0 = -0*v + 4*v - 4. Is 1/2 at least v?
False
Let n = -0.2 - -1.2. Let y(a) = -4*a + 103. Let k be y(24). Which is smaller: k or n?
n
Let u = 0.02 - -0.38. Let y = -0.2 - -0.6. Let n = u - y. Is n at most -0.1?
False
Let p(s) = 4*s - 2. Let x be p(5). Is x != 18?
False
Suppose 0 = v + 1 - 3. Let u be ((-1)/(-2))/(v/4). Let w = -1.1 + 0.1. Is w < u?
True
Let b be (5 - 2) + (5 - 5). Let n be ((16/38)/(-4))/b. Which is smaller: n or -1?
-1
Let h be 2/(-3) - 7/21. Let u(l) = -l - 2. Let r be u(h). Is r at least -1?
True
Let r = 1.2 + -5.7. Let d = r + -0.5. Which is smaller: 1 or d?
d
Let v = -23 - -20. Is 0 at most v?
False
Let d be -4*(-8)/(-18) - -1. Let c be 1/(0 - (1 - 0)). Let r = c - d. Which is bigger: 1 or r?
1
Let i be 2/3*(-13 - -6 - -25). Which is smaller: 53/5 or i?
53/5
Suppose 5*o = 5 + 5. Which is bigger: 3/2 or o?
o
Let x(q) = q + 13. Let c be x(-11). Suppose -a = -3*a - c. Which is bigger: a or -2?
a
Suppose 0*v + 293 = -3*v + 2*r, 3*r = 2*v + 192. Let y be (-216)/v - 4/22. Which is smaller: y or 3?
y
Let g = 4.07 - -1.03. Let l = 5 - g. Suppose -5 = -f - 4*f. Which is smaller: l or f?
l
Let t = -1 + 2. Is -3/7 > t?
False
Suppose -2*i + 2*d = 20, 0 = -2*i - i + d - 30. Let z be (i/25)/((-7)/5). Is z bigger than -1?
True
Let s = 19 - 18.8. Which is greater: 5 or s?
5
Let d(k) = -k**3 - 5*k**2 + 5*k - 11. Let q be d(-6). Suppose -4*t = p - 2, -4*t + 3*t = -5*p - 32. Are p and q equal?
False
Let o(a) = a**2 + 5*a + 6. Let t(q) = q**3 + 7*q**2 + 2*q + 10. Let w be t(-7). Let x be o(w). Which is greater: 0 or x?
x
Let q(m) = m**2 + 8*m + 6. Let l be q(-9). Suppose -3*g + p = 6*p + l, -4*g - 2*p - 6 = 0. Let k be (-10)/(-14) + 1 + -2. Is k > g?
False
Let x(d) = -3*d**3 - d**2 + 2*d**3 + 2*d**3. Let n be x(2). Let v be (n/20)/((-2)/(-5)). Which is smaller: 1 or v?
v
Let d = 3 + -11. Let a = d - -7. Which is greater: a or -1/5?
-1/5
Let b(m) = -m**2 - 2*m + 1. Let p be b(-2). Let j be ((-12)/(-8))/(1/(-2)). Let h = j - -5. Which is greater: h or p?
h
Suppose -2*w - 13 = 5*g, 2*w - 1 = 3*g - 6. Suppose c = 2 + 6. Suppose -3*m - 7 = c. Which is smaller: w or m?
m
Suppose 12 = -i - 3*a + 3, 2*i - 4*a - 12 = 0. Which is greater: i or 5/8?
5/8
Suppose 56 = -4*t - 5*d, -3*t + 3 = 5*d + 40. Which is smaller: -18 or t?
t
Suppose -4 = 4*f - 3*f. Let n(a) = -a**2 - 2. Let v be n(0). Let i = v - f. Are 3 and i nonequal?
True
Suppose -d - 2*m = -18, 3*d = -d - 3*m + 67. Suppose -4*l - d = -2*a, 4*a + 8 - 25 = 3*l. Suppose 3*o = -o + 4*p, a*p - 14 = -5*o. Is o equal to 2?
True
Let m(b) = -b + 4. Let r be m(3). Suppose 3 = 2*i - 1. Which is greater: i or r?
i
Suppose -p + 3*p + 308 = 0. Let w be 2/(-7) - 16/p. Let i be 32/28*(-5)/(-20). Is i at most as big as w?
False
Let l = 13043/663 - 4/663. Is l at most as big as 19?
False
Let v(w) = -3*w + 2*w + 1 - 10. Let l be v(-8). Let f be (2/(-6))/(l/(-2)). Is 0 smaller than f?
False
Suppose 5*j - 2*z = -0*z + 52, 5*j - 5*z = 55. Let o be (-15)/34 - j/(-15). Let r = o - 1/17. Is 0 > r?
False
Let n be 7 + (0/(-3) - 3). Suppose n*w + 10 = 9*w. Are 0 and w unequal?
True
Let s be 5/(-10)*2 - 1. Let z = 3.02 - -0.08. Let b = -3 + z. Is s at most as big as b?
True
Let b = -0.02 + -0.28. Which is bigger: -0.2 or b?
-0.2
Suppose -3*w - 4*z + 5 = 0, 17 = 5*z + 7. Let p be (1/(-2))/((-2)/(-4)). Are p and w nonequal?
False
Let m be (3/(-6))/(6/(-66)). Let y = m + -5. Are y and -2 nonequal?
True
Suppose -3*t + 19 - 4 = 4*h, 2*h - 8 = -2*t. Let a be (6/(-9) - -1)*h. Let k = -7/2 + 4. Is a less than k?
False
Let w(a) be the second derivative of -a**5/20 - a**4/4 + a**3/6 + 3*a**2/2 - 3*a. Let o be w(-2). Is o at least -9/4?
False
Let q = 10 + -9.91. Let g = -20 + 20.1. Are g and q equal?
False
Suppose 0*i - 5*i = 2*x - 79, -2*i - 5*x + 40 = 0. Which is smaller: 13 or i?
13
Let g = 9 - 8. Suppose 0 = 2*r - 6*r - 3*d - 12, 2*r + 5*d = -20. Which is bigger: r or g?
g
Suppose 0 = 4*k - 19 - 13. Sup