 = -2 - -2.3. Let x = -0.4 + v. Is x > 5?
False
Let h be (-2 + 47)*4/(-10). Let o be (1 + 22/h)*-3. Which is bigger: 1/2 or o?
o
Let j(w) = -3*w - 13 + 3*w + 2*w. Let n be j(7). Is n < -2/11?
False
Let r = -1952/17 - -115. Let f = r + 11/34. Let t(q) = -q**3 - 6*q**2 - q - 6. Let p be t(-6). Which is smaller: p or f?
p
Let j = -1.22 - -1.41. Is -1 greater than or equal to j?
False
Let q(h) = h + 4. Let w be q(-4). Suppose u + 4 = w, -2*f + 5*u = -7*f - 15. Suppose -4 + 3 = -k. Is k smaller than f?
False
Suppose 2*q = 3*y + 1, 4*q + y + 25 = -2*y. Which is smaller: 4 or q?
q
Let x be ((-216)/30)/(4/(-10)). Which is smaller: x or 15?
15
Suppose 0 = b + 2*b + 6. Let a be (-184)/(-304) + b/4. Let g = -1 - 0. Is g at most as big as a?
True
Let u be (2 + 2)/(-2)*-7. Which is greater: 15 or u?
15
Let t be (-6)/2 - -13 - 0. Is t bigger than 11?
False
Let l(b) = 2*b**2 + b. Suppose 0*n = n + 1. Let z be l(n). Let d be 0*3/(-6*1). Which is bigger: z or d?
z
Let z = -38.7 + -2.3. Let r = z - -37.8. Let u = r - -0.2. Is u greater than 1?
False
Let y = -2 + 2.03. Let b = y - -0.07. Which is bigger: b or -5?
b
Let h be (-42)/(-36)*2 + 6/(-18). Let d = 1 + -2. Which is greater: h or d?
h
Let i(a) = a**2 + 12*a + 27. Let x be i(-8). Are -5 and x equal?
True
Suppose 0*p = -3*p. Suppose 4*x + 21 = 5*r, -2*x + 9 = -5*r + 32. Suppose p + x = u. Which is smaller: 2/3 or u?
2/3
Suppose -2*s = 2, k + 3*s = -3*k + 69. Let f be (-6)/k + 7/(-24). Is f at most 0?
True
Let u(b) = b**2 + 6*b + 2. Let m be u(-6). Suppose -20 = 2*f + m*f. Are -5 and f equal?
True
Let p = -4/3 - -31/12. Suppose -11*j - 68 + 79 = 0. Which is bigger: j or p?
p
Let t be (-6 + 6)/(0 + 2). Suppose t*o = 2*o. Which is greater: o or -3/10?
o
Let h = 0.54 + 0.16. Let m = -1 + h. Let d = -0.2 - m. Which is bigger: -1/2 or d?
d
Suppose 0 = 5*a - 5*l + 15, 5*l = 7*l - 8. Which is smaller: a or -113?
-113
Suppose -4*m - 14 = g, 0 = 9*g - 13*g - 2*m. Let n(v) = v + 5. Let h be n(-4). Let y be (-3)/(-12) + h/4. Is y bigger than g?
False
Suppose 0 = -5*a - 3*z + 16, a - 30 = 4*z - 13. Let r be (-2)/((-5)/(a/3)). Let k be (-2)/(-8) + 9/12. Which is smaller: r or k?
r
Let w = -13.1 + 11.02. Let q = -0.08 - w. Is 2 at least as big as q?
True
Suppose 0 = 2*s + 2*s. Which is bigger: s or 1/5?
1/5
Let a be 20/8 + 12/8. Suppose o = -3*o + a. Which is smaller: 2/7 or o?
2/7
Suppose 15*b + 5 = 20. Is b greater than -2/119?
True
Let c be ((-6)/(-7))/((-5)/(140/2)). Are c and -12 equal?
True
Let v be (-4)/6*(-21)/14. Suppose -16 = -2*w - 4*l, -4*l - l = 2*w - 21. Let s be w/12*(-4)/v. Is 1 at least s?
True
Suppose 0 = 12*m - 18*m. Suppose 2*d + 4*a = 28, -2*d - 5*a = 16 - 48. Suppose m = d*u - u. Which is greater: u or -2/5?
u
Let w = -40 + 41. Let v(h) = -h**3 - 4*h**2 - 1. Let d be v(-3). Let j be 5/(-9)*(-4)/d. Is j <= w?
True
Suppose -3*s - 3 = 0, -5 = a - 6*a - 5*s. Let f be (-21)/(-3)*1 + -3. Suppose 1 = -f*x + 9. Is a bigger than x?
False
Suppose 0 = 2*u - 10 - 0. Which is smaller: 17/4 or u?
17/4
Let q = -3 - -8. Suppose -p + 3 = 2*z - 3, -2*p - 6 = -q*z. Suppose 0*j + p*j = 0. Which is greater: j or -1/11?
j
Suppose -2*l - 2*l = 0. Which is bigger: -2 or l?
l
Let v = 11/40 - -1/8. Suppose 20 + 19 = -3*t. Which is bigger: v or t?
v
Let j be 3/(-30) - 4/10. Suppose l = -2*l + 15. Suppose -l = -4*g - 5*s - 4, 5*g - s + 6 = 0. Which is greater: j or g?
j
Let b(c) = 5*c**2 + 2*c + 5. Let z(t) = -4*t**2 - 3*t - 5. Let a(u) = -3*b(u) - 4*z(u). Let r be a(-4). Are -1 and r equal?
False
Let r(m) = m**2 + 69. Let s be r(0). Let t be s/15 - (-2)/5. Suppose -t = -0*k + 5*k. Are k and -2 non-equal?
True
Suppose 0 = 5*l - 7*l + 6. Do 1 and l have the same value?
False
Let j be (-15)/60*(-7)/2. Is 1 at least j?
True
Let k be (1 + 0)*2/(-2). Let s = k - 0. Let u be s*(27/(-15) + 2). Which is smaller: 1 or u?
u
Let o be (-1 - 1) + 245/130. Let p = o + 41/130. Are -1/2 and p non-equal?
True
Suppose -7 = -5*v - 2. Let k be 1 + -5 + 472/120. Is k at least v?
False
Let q = 4 - 3. Let g(r) = -3*r. Let n be g(q). Is n < 1/3?
True
Let x = -28 + 22. Suppose -z = -0 + 6. Is z greater than x?
False
Let g(k) = 2*k**3 + 2*k**2 + 2*k + 2. Let p be g(-2). Is -11 greater than p?
False
Suppose 3*z - 2*s + 22 = 6, -s = -2*z - 10. Are z and -5 unequal?
True
Let m be 42259827/(-330)*(-5)/(-6). Let a = -106718 - m. Let i = a + 13/12. Which is bigger: i or 0?
0
Let a be (0 - 4/12)/((-1)/15). Which is bigger: a or 2?
a
Let t be 4/(-6) + (-26)/(-39). Let q(f) = -f**3 - 2*f**2 - 1. Let g be q(t). Which is bigger: 1/7 or g?
1/7
Suppose 12 - 2 = -2*t, 5*o - 105 = -3*t. Suppose -m + 5*m + 4*k = o, 14 = 2*m + 4*k. Suppose b + 4*b = -m. Is b bigger than -2/13?
False
Suppose -4*p = 4*k, 3*p = 7*p + 12. Suppose 2*a = -0*a + 4. Suppose k*g = -n + a*n + 4, 3*g = 4*n - 11. Which is smaller: 2 or g?
2
Let g = -5 + 4.5. Let b = -0.3 + g. Let x = b - -0.7. Is 1 < x?
False
Let m = -0.45 + 0.4. Let x = 2.05 + m. Let s = 1.9 - x. Is -1 at least as big as s?
False
Let f = -48 + 27. Is -21 equal to f?
True
Let i = -337 + 362.1. Let w = -25 + i. Which is bigger: w or 1.5?
1.5
Let r be (17 - 13) + 47*2/(-28). Is r greater than 0?
True
Suppose 5*q + 9 = 4*m, -5*m - 2*q + 11 = 41. Let n be 1/(20/m - 3). Which is smaller: -1 or n?
-1
Let h be (2 + 2)*(-12)/88. Are -0.1 and h non-equal?
True
Let s = -0.35 - -0.05. Let y = 22.1 - 22. Which is bigger: s or y?
y
Suppose 0 = -q + 2 + 2. Suppose 12 = q*d - d. Which is greater: d or 3?
d
Suppose -4*a - 4 = -4*i + 44, 2*a + 5*i = -3. Which is greater: -10 or a?
a
Let h = 0.5 - 0.1. Suppose -2*j = 3*i + 2 + 5, -5*i - 3*j - 11 = 0. Do i and h have the same value?
False
Let t = 72 - 73. Which is greater: -5/8 or t?
-5/8
Let k = 7 + -4. Let t(l) = 2*l - 10. Let b be t(7). Suppose -3*h - n = k, -3 = b*h - h + 4*n. Which is greater: h or 0?
0
Let s = -0.06 + 0.06. Are -11 and s unequal?
True
Let y(a) = -a - 7. Let u be y(-4). Let t(g) = g. Let w be t(-1). Is w greater than or equal to u?
True
Let u = -2 - -1. Let f = 302/7 - 43. Is f equal to u?
False
Let f = 30 - 36. Which is bigger: f or -1?
-1
Suppose -3*q + 3 = 2*c, 4*q - 1 = 4*c + 3. Let v be q + 0 + 0 + -2. Let w = -1811/9 + 201. Which is smaller: w or v?
v
Let b(c) = c**3 + 7*c**2 + 5*c - 1. Let o be b(-6). Suppose o*m - 11 + 6 = 0. Which is bigger: 4 or m?
4
Suppose -5*f = 3*x + 31, 3*f = -3*x - 31 + 10. Let l be x + 3/(2 + -1). Is 2/5 at most l?
True
Let d(n) = -28*n**2 + 1. Let i be d(-1). Let b = i - -9. Let c = 35/2 + b. Which is greater: -2 or c?
c
Let z = 0 + -0.1. Let y be ((-3)/(-9))/(2/30). Suppose y*n + 4 = 3*n. Which is smaller: n or z?
n
Let v(d) = 2*d - d - d**2 + 3*d**2. Let y be v(-1). Which is bigger: 0 or y?
y
Suppose 3*s - 2*w - 9 - 36 = 0, 3*w = -2*s + 30. Let x be 8/(-170)*s/6. Let q(f) = -f**3 - 5*f**2 - 4*f - 1. Let o be q(-4). Are x and o equal?
False
Let l be (5/110)/((-3)/(-12)). Let i(u) = u**2 - u. Let v(d) = -2*d**2 - d + 4. Let q(p) = 3*i(p) + v(p). Let m be q(3). Is l at most as big as m?
True
Suppose 2*d + 0*x - 5*x + 1 = 0, -d = -2*x. Suppose 4 = -3*p + r, -r - 4*r + 5 = 0. Let a be (p + 0)*(-2 - -1). Which is smaller: d or a?
a
Let d = -4.98 - -5. Let s = -0.04 - d. Let f = s - -4.06. Which is greater: -1/4 or f?
f
Suppose -5*p - 243 - 537 = 0. Let j = p + 1090/7. Which is greater: -1 or j?
j
Let q(r) = -7*r - 2. Let u(g) = 3*g + 1. Let p(t) = -2*q(t) - 5*u(t). Let k be p(-3). Let a be ((-4)/6)/(k/(-3)). Which is smaller: a or 1/14?
1/14
Let j be (21/(-2))/(-3) - 4. Is 9 > j?
True
Let y be (0*(-1)/3)/(2/2). Is y greater than or equal to -12/13?
True
Let s = -8 - -4. Suppose -3*l + 16 = -7*l. Is l greater than or equal to s?
True
Suppose 0*k + 35 = 5*k. Suppose -3*g + k - 1 = 0. Suppose 0 = -3*z + g*z. Is z != 2/9?
True
Suppose -4*d = -2 + 10. Let x be 64/(-132) + 2/(-11). Which is smaller: x or d?
d
Let t = 8 - 7.73. Let b = t + -0.37. Is -8/7 bigger than b?
False
Let k = -58/213 + 2/355. Which is smaller: k or 1?
k
Let s(g) = -2*g + 8. Let j be s(7). Let y be (-1)/(1*2/j). Is y bigger than 4?
False
Let r = 9 - -2. Let a = r - 10. Suppose -j = -2 + 3. Is j less than a?
True
Suppose -2*s = -25 - 3. Let r be (-4)/14 - 66/s. Are -7 and r equal?
False
Let p(o) = -2*o**2 - 2*o - 1. Let f be p(-1). Let q be (-6)/(-9) - 7/(-3). Suppose 2*j + q*v 