. Is l at most as big as q?
True
Let h(u) = 9*u + 1. Let g be h(-1). Let z = 0 - g. Which is smaller: 9 or z?
z
Suppose -6*y = -2*y + 4. Let k be (y - 0 - -2)*-1. Is 0 not equal to k?
True
Suppose 4*h + 3*z = 50 + 5, 4*h - 60 = -4*z. Suppose 5*a - l + 4*l - 5 = 0, 2*l = h. Are a and 1 unequal?
True
Let n be 2*-1*18/(-4). Let v = n + -9. Is 7 at most as big as v?
False
Let r = 5.7 - 5. Let q = -0.8 + r. Do -5 and q have the same value?
False
Suppose 2*v + 19 = 5*w + 2, -w = -5*v + 15. Which is smaller: 0.1 or v?
0.1
Suppose 3*x + 3 = -0. Which is greater: 0 or x?
0
Let o(a) = -2*a - 18. Let d be o(-12). Is 11 greater than or equal to d?
True
Let n be 6*(-3)/(-6)*-1. Are -11/3 and n unequal?
True
Let o be (-233)/105 - 4/6. Let j = o + 16/7. Which is greater: j or -2?
j
Let g(f) = -f**3 + 7*f**2 - 8*f - 1. Let a be 46/8 + (-2)/(-8). Let t be g(a). Which is smaller: -14 or t?
-14
Let r(w) = w - 4. Let t be r(7). Which is greater: 4 or t?
4
Let c = -0.01 + 0.01. Which is smaller: -2/3 or c?
-2/3
Let y be 176/518 + 16/(-56). Let o = -115/74 + y. Is o > -2?
True
Suppose 7*f + 3*o = 2*f + 32, 16 = 4*o. Which is smaller: f or 5?
f
Suppose 3*j - 11 = 1. Suppose 5*p + 15 - j = -3*y, -p - y - 3 = 0. Which is bigger: -3/5 or p?
-3/5
Let a = 4 - 1. Suppose 5*o + 40 = -a*q, -8*q - 25 = -4*q + o. Let k(h) = h + 8. Let u be k(q). Is u > -1/3?
True
Let m be -2 + -1*(2 + 1). Let o be (m/(-60))/((-2)/(-44)). Which is smaller: 3 or o?
o
Let q = 0 + 0.03. Let k = 12 + -11. Is q less than k?
True
Suppose 11*w - 7*w - 56 = 0. Is 2 smaller than w?
True
Let t(i) = -i**3 + i**2 + i + 1. Let b be t(2). Which is smaller: b or 2/59?
b
Let r(k) = k**3 - 9*k**2 + 10*k + 1. Let v be r(8). Suppose -c - 20 = 4*c + 3*q, -v = 2*c + 3*q. Let o be 7/(-6)*c/7. Is 1 greater than o?
True
Let p = -2367/986 - 9983425/36482. Let g = 276 + p. Does 1 = g?
False
Let a = -1.2 + 1.2. Let d = 1.9 + -2. Which is smaller: d or a?
d
Let u = -2 - -1. Let y(i) = 2*i + 1. Let h be y(u). Is h >= 2/17?
False
Suppose 0 = v + 1 - 2. Is 0 < v?
True
Let k = -1.4 - -14.4. Let a = 13.1 - k. Are 5 and a equal?
False
Let w(d) = -d**2 + 6*d - 3. Let u be w(2). Suppose 2*i = -u*l + 35 - 10, 0 = i - 4*l + 20. Suppose -5*z + 3*v + i*v - 2 = 0, 5*z + v = -6. Is z != -9/5?
True
Let v be 1*-1 - 3/(-1). Let o be (-1)/(-6) - v - -2. Suppose -2*l + 3 = l. Which is bigger: l or o?
l
Let d = -0.06 - -0.16. Let x = 0.109 - -4.591. Let i = -5 + x. Which is bigger: i or d?
d
Let m(y) = -y**2 + 8*y + 11. Let b be m(9). Suppose -2*p = -b*d + 2, d + 3 = -3*p - 8. Which is smaller: p or -18/11?
p
Let c be 134/10 - (-2)/(-5). Let w = c - 2. Suppose -3*a + 5*p = -16, 0*a + p + w = -2*a. Is a > -2?
False
Let t = 264/7 + -38. Let m = 1.8 + -2. Are t and m equal?
False
Let n = 0.15 + 6.85. Let x = 7.81 - -0.19. Let g = x - n. Which is bigger: g or 0.1?
g
Let d be (-3 - -9)*(-5)/320. Is 0 greater than d?
True
Suppose 17 = b - 5*o, -5*b + o - 3*o = -85. Let f = b - 12. Let m = -10 + f. Is m > -4?
False
Let l = -22 + 21. Is l at least as big as -4/5?
False
Let h = 901/5 - 181. Which is bigger: h or -2?
h
Suppose 7 = 3*r - b, 4*b + 0*b + 10 = 3*r. Let v be ((-33)/7)/(-3) - r. Let k(q) = q**2 + 4*q - 1. Let n be k(-4). Which is smaller: n or v?
n
Suppose -h + 1 = -0*g - 3*g, -4*g - 10 = 3*h. Let m be 2 - 1 - 9/4. Is m > h?
True
Let c be (-3)/(-4)*72/(-3996). Which is smaller: 0 or c?
c
Let v = 61 - 64. Are v and 3 unequal?
True
Let m(b) = -b**3 + 4*b**2 - 4*b + 2. Let h(c) = c + 4. Let f be h(-2). Let o be m(f). Does 4 = o?
False
Let w(b) be the third derivative of -b**4/24 - b**3/2 - b**2. Let l be w(-2). Let f be l/(((-3)/(-1))/3). Which is smaller: f or 0?
f
Suppose -13 = -9*r - 22. Which is smaller: r or -4?
-4
Suppose 5*w + 5*f = 0, -3*w + 0*f - 5 = -2*f. Let l = -121 - -118. Which is bigger: l or w?
w
Let g = 20 + -44. Let r be (-1)/3 + (-14)/g. Which is bigger: -3 or r?
r
Let y(s) be the first derivative of s**3/3 - s**2 - 2*s - 2. Let r be y(-2). Let q = 3 - r. Which is greater: q or -4?
q
Let y(h) = 7*h + 1. Let s be y(2). Let x = -13 + 20. Suppose -2*b = -x*b + s. Is 4 bigger than b?
True
Suppose 2*o + 154 = -5*o. Which is greater: o or -65/3?
-65/3
Suppose -12 = -3*o - 0*o. Suppose 31*s - 24 = 19*s. Is o greater than or equal to s?
True
Let g be (-17)/(-7) + (7 - 14)/7. Which is greater: g or 1?
g
Let h(c) = -2*c**2 + 2*c + 2. Let a be h(2). Is 0.4 less than a?
False
Suppose -5*y - 5 = 10. Which is greater: -22/7 or y?
y
Suppose 0 = a - 3*f + 4, -3*a + f + 0 = -12. Suppose 2*h - 4*w = -11 - 1, -2*w + 14 = h. Which is bigger: h or a?
a
Let g = 8 + -6. Let a be (g/(-2) + 2)/1. Are -0.1 and a non-equal?
True
Suppose 20 = -5*m + m. Does -5 = m?
True
Let i = -26/83 - -895/3652. Are i and 1 equal?
False
Let u be (-8)/12 + (-1 - (-14)/(-6)). Suppose 2*f - 104 = -2*f. Let a be -1 + (f/10 - 2). Is u smaller than a?
True
Suppose -2*g + g = p + 3, -2*p + 2*g - 6 = 0. Let h be (-36)/(-28) + 2 + p. Is 6 < h?
False
Let m = 1/15 + -2/5. Which is greater: m or 83?
83
Let k(v) = -4*v. Let g be k(-7). Suppose -24 = 4*y + g. Do -13 and y have the same value?
True
Let p = 3 - 3. Let q = p - 3. Let y = q + 2.9. Which is greater: 0.1 or y?
0.1
Let k(n) = n - 5. Let y be k(6). Suppose -w - y = 2. Let f be -2*(-1 + (-1)/(-2)). Which is greater: f or w?
f
Let n = -12 - -14. Which is smaller: -1/7 or n?
-1/7
Let b = 0 - -2. Suppose 0 = 4*g + b*m, 0 + 2 = -4*g - m. Do g and -2/7 have different values?
True
Let c be 2/12 - 639/(-54). Let s = -35/3 + c. Which is bigger: s or -1?
s
Let n(l) = l**3 + 2*l**2 - l + 1. Let t(o) = -2*o + 2. Let y be t(2). Let z be n(y). Suppose q = z*k + 16 - 3, -k + 33 = 5*q. Which is smaller: 6 or q?
6
Let t(i) = -i**3 + 4*i**2 + 13*i - 5. Let y be t(6). Which is bigger: y or 1/19?
y
Let x(q) = -9*q + 3 + 3 - 3 + q**2 + 3. Let f be x(9). Suppose f*p - 5*p = -2*i, -3*i = p - 2. Which is greater: 2 or p?
2
Let i(t) = -t**2 + 4*t - 4. Let f be i(6). Do -16 and f have different values?
False
Let k(s) = -37*s - 2. Let d be k(-1). Let i be ((-7)/d)/((-2)/(-5)). Let c = -0.1 + 0.3. Is c greater than i?
True
Let j = 0.9 + -1.3. Let k = j - -1. Which is smaller: k or -2/7?
-2/7
Let x be 2 + -7 + 2 + 2/10. Suppose 3*d = 5*l + d + 20, 3*l - 5*d + 31 = 0. Is l less than x?
False
Let k = 1.15 + -0.15. Is 3 < k?
False
Let t = -69/1253 - -99062/274407. Let k = t - -2/73. Which is greater: k or 1/6?
k
Suppose 2*w + 2*w - k = 16, -k + 4 = 0. Suppose w*b = -3*c - 0*c - 2, 2*b + 16 = -5*c. Let o = b + -2. Which is smaller: 3/5 or o?
o
Let c = -1.8 - -1. Let t = c + 1.1. Let n = 0.2 - t. Which is smaller: n or 0.1?
n
Let g = 66 - 40. Which is smaller: g or 27?
g
Suppose -3*c + a - 20 = 8, c = -2*a. Let v be (-12)/5 - c/20. Is v greater than or equal to -3?
True
Let v = -9 - -7. Let p be (0*(-1)/v)/2. Suppose -4*c + 2 = -2. Which is smaller: c or p?
p
Let s be (-4)/(-142)*4/(-4). Let t = s + 148/213. Which is smaller: 1 or t?
t
Suppose 0 = a + 2*o - 1, o + 3 = 4*o. Let h be ((-7)/28)/((-6)/(-4)). Is h bigger than a?
True
Suppose -1 = v + 1. Let k be v/20*(-4)/2. Suppose 2*u = -0*u. Is k at least as big as u?
True
Let n be (-2)/(-6) + (-2)/6. Let m(q) = -q - 1. Let f be m(n). Is -4/11 at least as big as f?
True
Let p(y) = 5*y**2 - 5*y - 4. Let g be p(-6). Let n = -134/71 + -72247/355. Let z = n + g. Is z at least as big as 0?
True
Let y = 17 - 11. Let b(o) = o**2 + o - 1. Let w(r) = 5*r**2 + 2*r - 10. Let m(j) = y*b(j) - w(j). Let d be m(-3). Is 1 at most d?
True
Let z(j) = j**3 - 6*j**2 + 4*j + 2. Let b be z(5). Is b at least -4?
True
Suppose -208 = -4*t + 24. Is 57 >= t?
False
Let n = -0.24 + 0.24. Let q = 2 + n. Is -0.02 smaller than q?
True
Let d = 0.1 - 0.2. Let t be ((-1)/(-5))/(4/(-10)). Which is smaller: t or d?
t
Let i = -8 - -9. Let u be 65/(((-2)/(-2))/i). Let z = 125/2 - u. Is z at most as big as -4?
False
Let u(l) = -l + 8. Let i be u(6). Let f = -2/63 - 19/63. Is f >= i?
False
Suppose n = -4*m + 4*n - 12, -m + 3*n = 12. Let p(g) = -g + 1. Let t be p(5). Let v = t + 2. Which is greater: m or v?
m
Let w = 3 + -2. Let h = 275068/3327 + -12/1109. Let f = -82 + h. Which is smaller: w or f?
f
Let j(u) = u**2 - 4*u + 5. Let f be j(4). Is f less than or equal to -1?
False
Let z = 0.3 - 0. Let a = z - 1. Let x = -0.8 - a. Which is smalle