 Let g = v - 204. Let h be (-3)/(-4) + 1/4. Is g at least h?
False
Suppose -2*x - s = -0*x - 27, 24 = 4*x - 4*s. Suppose 0*h = -3*t + h + 9, 4*t = h + x. Let o be 1 - (2 + (2 - t)). Which is bigger: o or 2/9?
2/9
Let n = -1 - 1. Let b = n + 3. Which is smaller: b or 4?
b
Let k = 261 - 5483/21. Suppose g - 5 = -4*g. Which is greater: g or k?
g
Suppose a = 3*v + v + 6, -5*a - 10 = 0. Let m(h) = 19*h + 113. Let x be m(-6). Which is smaller: v or x?
v
Let m = -0.22 + 0.1. Does m = -1?
False
Let i = 0.9 - -0.1. Let q = i + -3. Let u = q + 1.8. Is -1 at least u?
False
Let f = -10 + 18. Let i be (7 - f)/((-2)/(-4)). Is i > -1?
False
Suppose -2*o + 5 = -3*m, 3*m - 2*m - 24 = -3*o. Suppose o*d = 3*d. Is -8/7 >= d?
False
Let z = -50 + 39. Is z greater than -7?
False
Let a = -3.5 + 7. Let b = a + 1.5. Which is smaller: b or 2?
2
Suppose 0*s + 2*s = -2. Which is bigger: 3 or s?
3
Let q be (-2 - -5)*-1 - -9. Let v be (2 - 1)*(-7 + q). Is -1/12 equal to v?
False
Let f(u) = 10*u + 3. Let o be f(-2). Suppose n = -n. Let p be n - 1/o*2. Is 0 at least as big as p?
False
Let o(z) = -z**3 + 4*z**2 + 3. Suppose 5*p + 0*f - 18 = f, 4*p - 14 = f. Let l be o(p). Is l at most 3?
True
Let k be 6/(-3 + (-27)/(-6)). Suppose -w = -3*w - k. Is 2 >= w?
True
Let w = -197 - -209. Let a = -22 + 35. Is w smaller than a?
True
Let y = -6 + 11. Suppose -5*m + 16 = -14. Which is smaller: y or m?
y
Let u(x) = x - 36. Let k be u(11). Is -25 not equal to k?
False
Let i(r) = -r - 2. Let h be i(-2). Let v be 1*(-2 - (-11)/5). Which is smaller: v or h?
h
Suppose -9 - 16 = -5*f + 5*y, 17 = f + 3*y. Suppose -l = -5*l + f. Suppose -10 = -4*w - 3*z, l*w + z - 6 = -2. Is -1/3 bigger than w?
False
Let l = -52 - -51. Do l and 2/73 have different values?
True
Let f be 1 + (-47)/(-49) + -2. Let p = -76 - -75. Is p at most f?
True
Suppose i + 2*q - 9 = 0, -3*i - 18 = -8*q + 5*q. Let w = 5/6 - 3/2. Are w and i unequal?
True
Let k(s) = s**3 + s**2 + s + 7. Let c be k(0). Let a = c + -11. Let v = -6 + 7. Which is smaller: v or a?
a
Suppose 12 = 2*u - 8. Suppose -22 + u = 4*o. Which is smaller: o or 1/2?
o
Let n = -0.04 - -0.03. Let j = -0.09 + n. Is 0.3 less than or equal to j?
False
Suppose 9 = s - 0*s. Let v be (6/(-9))/((-2)/s). Which is greater: v or 5?
5
Suppose 84 = -4*b + m, -m = 6*b - 2*b + 84. Is -21 > b?
False
Let d = 5063 + -35540/7. Let q = d - -97/7. Which is greater: -1/10 or q?
-1/10
Let b = 0.1 - 0. Let c = -552/5 + 110. Is c bigger than b?
False
Let i = 4 + -3. Let p be ((-6)/(-435))/(i/5). Suppose -5*a + n - 2 = 0, 2*a = -a + n - 2. Do a and p have different values?
True
Suppose 0*v + 1 = v. Let m be (-40)/(-12)*8/(-5). Let u = m + 11/2. Which is smaller: u or v?
u
Let c = 2 - 1. Let h be (2 - c)/((-21)/(-3)). Which is bigger: h or -1?
h
Let b be 0 + (-234 - -2)/(-4). Let r(s) = s**2 + 4*s + 3. Let t be r(-2). Let d be t + 4 + b/(-18). Is d greater than or equal to -2?
True
Let l(f) = f**3 - 6*f**2 + 4*f - 4. Let q be l(5). Which is greater: -8 or q?
-8
Let f = 0.04 + 0.26. Let j = 0.01 + -0.31. Let c = j + f. Which is greater: c or -1?
c
Let q be 18/12*(-2)/(-3). Let k = q - 0. Is k smaller than -2/21?
False
Let f(o) = -o + 11. Suppose 7 = i - 2. Let u be f(i). Suppose u*s - 11 + 5 = 0. Which is bigger: 1 or s?
s
Let d = -37 + 54. Is 18 bigger than d?
True
Suppose 4*x - 2*y + 20 = 0, -20 = -0*x + 4*x + 3*y. Is x < 2?
True
Let o = -183/7 + 26. Suppose 3*r - 2*r = 0. Is o not equal to r?
True
Let d = 10 + -13. Let v be (1 + -2)*d/(-6). Which is smaller: v or -3/2?
-3/2
Let j = 0.3 - 0.1. Suppose -3*y - 7 + 1 = 0. Let h be y/4*(1 - 1). Which is smaller: h or j?
h
Let j be -3 + 4 + -2 + 0. Is j > 2/7?
False
Suppose 3 = 4*k - 1. Suppose -5*b + 41 = d - 5*d, 0 = b - d - 9. Let g be 1/b*(-2)/k. Is 0 greater than g?
True
Let t = 9.5 - 0.5. Let q = t + -5. Let m = 0.1 - 0. Is q >= m?
True
Suppose -2*v - v - 5*c - 18 = 0, 0 = -2*v - 2*c - 8. Is -4/3 at most as big as v?
True
Suppose 4*h = -s - h - 17, 7 = 4*s - 5*h. Let o(w) = w**2 - 9*w - 2. Let z be o(9). Does s = z?
True
Suppose 7*q = 8*q + 5. Is q equal to -4?
False
Let a = 5 - 3. Suppose 0*f = -f - a. Which is smaller: f or -2/3?
f
Let o(p) = p**3 - 12*p**2 + 19*p + 3. Let g be o(10). Are -7 and g nonequal?
False
Let l = 30 + -42. Let z be (5/75)/((-2)/l). Which is greater: z or -2/17?
z
Let a = 23 + -11. Let v be 22/(-4) + a/8. Let g be v/(-3)*(10 - 4). Is 8 at least g?
True
Suppose 2*m + 20 = 5*h, -m - 2*m - 4*h + 16 = 0. Which is bigger: m or 2?
2
Let o(p) = -3*p**2 + 8*p + p**3 + 11*p**2 - p - 1. Let g(w) = w**3 + 7*w**2 + 6*w - 7. Let l be g(-6). Let f be o(l). Which is smaller: 2/11 or f?
f
Let c = -8.63 + 0.63. Which is smaller: c or -2?
c
Let n(b) = -b - 17. Let x be n(-7). Let g(h) = -h**2 - 10*h + 1. Let s be g(x). Let j(w) = w + 5. Let c be j(-4). Is c <= s?
True
Suppose 0 = -2*j + j - 5*s + 7, 4*j - 5 = 3*s. Let t be 8/30 + j/5. Let v be (2/(-2))/(1 + 3). Which is greater: v or t?
t
Let k(g) = g**3 - 8*g**2 + 8*g + 2. Let b be k(7). Is 5 greater than b?
False
Let q = 9 - 5. Suppose 3*d = -5*p + p, 3*p = -q*d. Suppose 0 = 5*x + 3*n + 7, -5 = x - 0*n - 3*n. Which is smaller: d or x?
x
Suppose 0 = -p - 0*p. Which is greater: p or -91?
p
Let t = -4 - -3. Let s be (-20)/10 - (-24)/14. Is s less than t?
False
Suppose 3*v - 9 = b, -v - 4*b = 4*v - 32. Is 2 < v?
True
Let w = 23 - 21. Which is greater: w or 3/2?
w
Let n(r) = 2*r**2 - 2*r - 2. Let b be n(2). Suppose -4*a = -b*i - 4, a - 5*i - 10 = -2*a. Which is smaller: a or -2/3?
-2/3
Suppose -5*k = 3*b - 4, -k = -5*k + b + 10. Is -1 less than k?
True
Let w = -265/116 - 28/29. Let q = w + 177/52. Is q less than -1?
False
Let o = -15.9 + 16. Is -0.9 at most as big as o?
True
Let g = 21 + -16. Which is smaller: 19/3 or g?
g
Let g = 51 - 33. Suppose 5*v = c + 33 + 7, -2*c + g = 4*v. Which is greater: 6 or v?
v
Let x(t) = 2*t**3 + 2*t**2 - 2*t - 2. Let b be x(-2). Let n = b - -11. Suppose -3*u - 15 = 2*u + n*p, -4*p = 0. Are u and -4 unequal?
True
Let k = 0.62 + 4.48. Let w = k + -0.1. Let o = -6 + w. Is 2 > o?
True
Let s be (-131)/(-140) - (-4)/(-14). Let j = s + -2/5. Which is greater: 3/10 or j?
3/10
Let x be -1 + -3 + (-51)/(-24). Which is smaller: -1/4 or x?
x
Let f = 161 - 163. Which is bigger: f or -26?
f
Let l = 7 - 5. Let t be (-3)/l*2/(-3). Is t at most 1/6?
False
Let d = -1 - -2. Which is smaller: -2/43 or d?
-2/43
Let r(n) = 2*n + 1. Let x be r(-2). Suppose 4*i = -2*u - 132, -3*u + 2*i = 236 - 78. Let t be u/66 - 2/x. Which is greater: -1 or t?
t
Suppose u = i - 4, 5*i + 8*u - 5*u + 4 = 0. Which is greater: 4/15 or i?
i
Suppose 9*j - 12 = 6*j. Which is smaller: j or -6?
-6
Let n = -10 - 0. Let z be ((-2)/4)/(2/40). Is n at most as big as z?
True
Let d be 6*(-2)/(-6)*1. Suppose 0 = a + d*a. Let i be 1*-1*(1 + 0). Which is greater: i or a?
a
Let v be 2/(-3)*(4 - 6). Which is smaller: 0 or v?
0
Suppose o + 5 = 2. Let v be ((-328)/162 + 2)*o. Is -1 <= v?
True
Let a be (21/9 + -2)*9. Suppose a = -2*c + 7. Let i be c/7 - 4/14. Which is bigger: -1/4 or i?
i
Suppose -2*m + 20 = -6*m. Which is smaller: -6 or m?
-6
Let d = 3.98 + -4. Let z = d + 0.02. Which is bigger: z or 0.7?
0.7
Suppose 3*n + 2*s = 29, -4*s = -4*n + 31 + 21. Which is bigger: n or 3?
n
Suppose 0 = 3*s - 4*n - 28, 0*s - 4*s - 4 = 5*n. Suppose -1 + 10 = -2*i + c, 3*i + 16 = s*c. Which is smaller: -5 or i?
-5
Let y = 0.093 + 36.907. Which is smaller: -1 or y?
-1
Let w(u) = u**3 - 6*u**2 - 8*u + 7. Suppose 4*h = 2*o + 24, 0*h - 2*h = -4*o - 6. Let a be w(h). Which is bigger: a or -1/2?
a
Suppose 2*f = -2*f. Suppose f*z = z + 5*u - 22, 3*u = 4*z + 4. Which is bigger: z or 0?
z
Let k be 5 - 6 - (0 + 1). Let l be (-20)/(-42) - k/(-14). Which is greater: l or -1?
l
Let s(p) = -p + 9. Let d = 16 + -10. Let y be s(d). Suppose -2 = r - y*r. Which is greater: 4/5 or r?
r
Let m(r) = -r - 17. Let z be m(-13). Which is bigger: -2 or z?
-2
Suppose -5*g - o - 7 = -4*g, -4*g - 4 = -2*o. Let f be 10/6 + (-5 - g). Suppose 0 = -3*d + 4*d. Which is smaller: f or d?
f
Let r(p) = -p**3 - 4*p**2 - 2*p + 3. Let b be r(-3). Which is greater: 3/22 or b?
3/22
Let x(a) = -2*a + 6. Let k be x(4). Let l be 0*k/6 + 30. Let i be ((-4)/l)/(2/(-20)). Is 1 at most i?
True
Let m(l) = 10*l**2 - 1. Let f be m(1). Let u = f + -9. Is 1 greater than u?
