f, -5*f + 21 = 3*m. Suppose 2*w = -m*w, 0 = 3*q + w + 3. Is q < -1?
False
Let p = -10.4 - -2.4. Let s = -8.1 - p. Are s and -9 nonequal?
True
Let g be 2/(-5) + ((-36)/(-85))/1. Is 1 bigger than g?
True
Let r be (-2 + 2)/(0 + 1). Which is bigger: r or 1/117?
1/117
Suppose 2 = 4*p + 10. Let k = 1/343 + -349/2058. Which is smaller: p or k?
p
Suppose -3*a = -8 - 1. Let r = -5 + a. Suppose -3*t - 12 = 3*n, 2*t - 3*t = -3*n. Is n greater than r?
True
Suppose -3*q - 15 = -i - i, i - 15 = 3*q. Let a be (54/60)/((-12)/(-10)). Which is greater: i or a?
a
Let b be 0 + (-1)/((-1)/2). Let a = 821 + -820. Is a greater than or equal to b?
False
Suppose 3*q + 9 = 0, 0 = 3*i + i - 2*q - 6. Suppose i = -h - h + 4. Suppose 5*m = j - 0*m + 2, 0 = 3*j - h*m + 6. Is j not equal to -3/2?
True
Let c = -629/3 - -3181/15. Is c at least as big as 1?
True
Let y = -2.8 + 1.8. Let b = -2 - -4. Is b greater than or equal to y?
True
Let s be (2 - -2)/(-2 + 4). Let h = -1 + s. Let l = -8/9 + 11/9. Which is smaller: h or l?
l
Let s be -3 - (-258)/111 - (-5 + 4). Which is smaller: s or 0?
0
Let c be (5/(-3))/((-1)/15). Let n be (-45)/c - 1/5. Let w be -3 - -5*(3 + n). Which is smaller: w or 4/7?
4/7
Suppose 6*h = 3*h - 3. Let u = h + 6. Suppose 0 = -3*i - 10 - u. Is i at least as big as -5?
True
Let c(v) = -2*v**2 - 6*v + 5. Let x be c(-4). Do x and -24/11 have the same value?
False
Let w = 304/765 + 4/85. Which is smaller: 0 or w?
0
Let s = 20 + -25. Which is bigger: 2 or s?
2
Let s = -2 + 1. Let z = -1 - s. Let u = 0.225 - 0.125. Which is greater: u or z?
u
Let s(n) = n**2 - 6*n + 4. Let v be s(5). Suppose -h + 4 = 2. Let j be ((-2)/6)/(1 - h). Is v greater than j?
False
Let k = -8 + 8. Let q = -0.1 + -0.1. Let y = q - -0.1. Is y > k?
False
Let b(k) = -5*k - 2*k + 1 - k**2 + 7. Let l be b(-8). Which is smaller: 5/6 or l?
l
Let k = -17 - -17.7. Let i = k - 2.7. Let n = i - 3. Which is smaller: -1 or n?
n
Let z be (-9)/(-6)*(-8)/(-3). Suppose -n = -2*t - 15, 3*n - 24 = -n - z*t. Which is smaller: n or 8?
8
Let s = 5 - 5. Suppose 5*a - 5 = 10*a. Does a = s?
False
Let j = -17 - -15. Is j <= -13/6?
False
Let t = 416 + -587. Let b be t/(-33) + 4/(-22). Suppose -y - 5*a = -16, -5*a + b + 3 = 3*y. Which is smaller: -5 or y?
-5
Suppose -3*z + 40 - 13 = 0. Suppose z*p = 4*p + 2*a - 3, 4*p = a. Let f = 4 - 3. Are f and p non-equal?
False
Suppose -r = 2*l - 4*r - 19, 0 = -3*l + 4*r + 28. Let i(t) = t - 5. Let h be i(l). Is 3 != h?
False
Let g = -4.5 + 4.8. Which is bigger: 0 or g?
g
Let r(c) = -c**2 - 4*c - 1. Let l be r(-4). Which is greater: -6 or l?
l
Suppose -5*h - 4*q - 16 = -4*h, -5*h + q = -25. Suppose -6 = -h*p + p. Which is bigger: p or 9/4?
9/4
Suppose -5*m - 6 = 2*k, -2*m + 4*k - k + 9 = 0. Do -1 and m have the same value?
False
Suppose -5*z - 25 = 5*i, -5*z - i + 6*i - 55 = 0. Let n = -11 - z. Let h be (-30)/9*(-12)/(-10). Which is smaller: h or n?
h
Let y be (-22)/(-10)*-1 - -2. Is y != 0?
True
Let j = 0.03 - 0.43. Let d = j + 1.4. Which is bigger: d or 3?
3
Suppose -2*n + 4*v - 14 = 0, -5*n - v = 3 - 1. Are n and 2/239 unequal?
True
Suppose -60 - 25 = -5*v. Suppose 3*k + q - 54 = 0, -2*q = -0*k + 4*k - 72. Which is greater: k or v?
k
Let p = 15 + -23. Let q be (2/p)/(1/(-4)). Is q greater than or equal to 2?
False
Let t be (-1)/(2/(-6) + (-12)/(-9)). Which is bigger: t or -5/8?
-5/8
Suppose -2*u - 12 = -0*u. Is u > -4?
False
Let t(m) = m**3 + m**2 + 4. Let i be t(0). Is 1 at most i?
True
Let c(r) = -2*r - 12. Let d be c(-8). Suppose -4*l - 5*m = 12, d = 5*m - 16. Which is smaller: l or -6?
l
Let v = 19648/23 - 854. Which is greater: v or 0?
v
Suppose -23 = f + 9. Which is bigger: -2/5 or f?
-2/5
Let k(y) = y**3 + 5*y**2 + 4*y + 1. Let g be k(-2). Let q = 1 + 1. Which is greater: q or g?
g
Let k = -39 - -38. Which is smaller: k or 6?
k
Suppose s = 3*s - 4. Let a be (-7)/(-9) - 10/(-45). Is a less than s?
True
Let g(b) = -b**2 - 4*b + 2. Suppose 5*t + 11 = -9. Let h be g(t). Suppose 3*f + h*a + 5 = -2, 2*a + 3 = f. Which is bigger: -1/4 or f?
-1/4
Suppose 4*f + 2*r = -18, 6 = -9*f + 4*f + 3*r. Suppose -99*t - 8 = -97*t. Is f greater than or equal to t?
True
Suppose 0 = 5*c - 3*c - 4. Suppose -c*l - f = 3*l - 31, 2*l = 3*f + 9. Which is smaller: l or -2/7?
-2/7
Let u(x) = -x**3 + x**2 - x - 1. Let w(n) = 6*n**3 + 1. Let g(l) = -5*u(l) - w(l). Let k be g(-6). Is k greater than or equal to 10?
True
Let i be ((-1)/(-4))/(21/56). Let n(x) = -x + 8. Let w be n(6). Suppose -3*t - w = 1, -5*l = -t - 6. Is i at least l?
False
Let w = 60 - 60. Is w less than -1/7?
False
Let f = -109 + 328/3. Suppose -2*a - 40 = -6*a. Suppose -2*o = k - 4*o - a, -4*k = -o - 5. Which is smaller: k or f?
k
Let t = -0.22 - -0.11. Let c = -1.11 - t. Which is greater: c or -5?
c
Let j = 1.03 - 0.03. Is j < 0.3?
False
Suppose -3*z + 12 = -5*m, -3*z + 7*z - m + 1 = 0. Let t = -0.62 - -0.7. Let p = -0.02 - t. Which is smaller: z or p?
z
Let i be ((-6)/4)/(12/(-24)). Suppose 3*w + 12 = 5*l, 4*l = -0*w + i*w + 15. Is -10 < w?
True
Suppose 3*z = 5*g + 42, -4*z - 2*g + 21 = -z. Let u be z/(-12) - 23/(-4). Is u at most as big as 4?
False
Let d be 10/(-35) + -1 + (-5)/7. Which is greater: 0 or d?
0
Let i = -5 - -5. Let g be 453/10*(-5)/(-6). Let q = g - 37. Is i > q?
False
Suppose -5*q + 52 - 132 = 0. Are q and -18 unequal?
True
Let y be 3/(-9) + 6103/7095. Let r = y + 4/215. Let w = 8/55 - r. Which is smaller: w or 2?
w
Let k = 0.9 + -1. Let f = 0.03 - -4.97. Is k bigger than f?
False
Let i = -2.5 + 1.7. Let v = i + -0.2. Which is bigger: v or 0.4?
0.4
Suppose 25 = -5*f - 3*i + 5, -38 = 4*f - 2*i. Which is greater: -5 or f?
-5
Let z be (-52)/12 + (-1)/(-3). Let h be 212/(-44) - 2/11. Which is bigger: h or z?
z
Let y = 4 - 3. Let j = -3 - -5. Which is smaller: j or y?
y
Let a be (-12)/8*(-2)/9. Does -14 = a?
False
Suppose 2*v - 61 = -5*t, -t + 3*v - 5 + 24 = 0. Which is bigger: t or 0.1?
t
Let k = -5 - -1. Let z = -3 - k. Which is greater: z or 0.1?
z
Let q(r) = r + 9. Let l be q(-5). Suppose -x + 4 = l*j, -2*x + 3*x = j - 1. Which is smaller: x or -4/19?
-4/19
Let m(d) = 14*d - 13. Let f be m(1). Let b(y) = -y**2 + 6*y + 5. Let o be b(6). Suppose -20 = -5*p - o. Are p and f non-equal?
True
Let u be (0 + 12/(-8))/(-69). Which is smaller: 0 or u?
0
Let d be (-40)/(-25)*(-38)/(-180). Let q = -14/25 + d. Which is smaller: q or -1?
-1
Suppose 11 = -2*z - 11. Suppose -24*u + 20*u = 48. Is u >= z?
False
Suppose -5*l - 8 - 2 = 0. Let y = 18 + -21. Which is smaller: y or l?
y
Let t = 0.51 - -0.09. Let c = t - -0.3. Is 2 equal to c?
False
Let a be 120/(-8) - (-1 - -1). Let i = 21 + a. Is i greater than 5?
True
Suppose 0 = 5*a + 3*y + 34, a - 3*y = 2*y - 18. Which is smaller: 1 or a?
a
Let f(u) = u**2 - 3*u + 3. Let t = -2 - -4. Let n be f(t). Which is smaller: 2 or n?
n
Let b(v) = -v - 3. Let w be (2 - (-2)/(-4))*-2. Let l be b(w). Which is smaller: 9 or l?
l
Let w be -1 - (-1)/(3/3). Let l = -2005/7 - -287. Is w < l?
True
Let l = 6.9 - 7. Let w = 4 + -6. Which is smaller: l or w?
w
Let d be 6/16*-4*1. Which is smaller: -1 or d?
d
Suppose 3*x + 4 = -3*c + 1, -5 = c + 3*x. Which is smaller: 8/27 or c?
8/27
Suppose -3*t - 103 - 2 = -5*v, -2*t - 68 = -4*v. Let m be t/(-42) + (-6)/21. Are -0.08 and m nonequal?
True
Let z be (3/(-6))/(2/28). Is -8 at least as big as z?
False
Let q be 0 - 1 - 1 - 2. Let t be (q - -3)/((-1)/(-3)). Let u be t - 3/(9/(-6)). Is -1 smaller than u?
False
Suppose -11 = s - x + 23, 0 = -2*s + 5*x - 65. Which is greater: -36 or s?
s
Suppose -7*q + 4*q = -2*u - 46, 0 = -q. Is -23 at least u?
True
Let f = 4 - 6. Let w = -2 - f. Is 2/13 at most w?
False
Let k be ((-15)/6)/((-4)/8). Suppose -3*s - 4*t = -s, -k*t = 3*s + 2. Let r be (-2)/(1*s)*-1. Which is greater: 0 or r?
0
Let x be 7 - (0 - (-2 + -1)). Let s = 2 - x. Which is greater: s or 2?
2
Let l be ((-2)/(-1))/((-2)/(-3)). Let i be (-2)/l - (-182)/3. Let z be i/(-21) - -1 - -2. Is z at most as big as 0?
False
Let c be 3 + 3 + (-12)/4. Suppose 0 = -a + 4 - c. Which is smaller: a or 3?
a
Suppose n = -n. Which is greater: n or 1?
1
Suppose 5*a + 32 = -3*d, -2*a + 2*d - 4 = a. Let l be 2/a - (-2)/4. Let z = 2/41 - -64/369. Which is bigger: z or l?
z
Suppose 5*r = -2 - 28. Let m be ((-6)/(-4))/(3/r). Let d be ((-1)/1)/(m/12). Is d smaller than 2?
False
Le