False
Let t be -1*4/10*-7. Is t smaller than 2?
False
Suppose -3*x - 5*c + 0*c = -164, 0 = 2*x - c - 118. Let y = x + -109. Let h be 6/(-1 - y/6). Are h and -0.1 nonequal?
True
Let i = 26 + -8. Let a be (-7)/((-21)/i)*1. Which is smaller: 5 or a?
5
Let j be (-3)/12 - (-19)/28. Which is smaller: -2 or j?
-2
Let w(d) = -d - 1. Let q be w(-4). Suppose -1 = q*x - 4*x. Suppose 0 = 2*y - j + 2, 5*j = 2*y + 18. Does y = x?
True
Let s = 1 - -2. Let d = s - 1. Suppose -2 + 0 = d*o. Is -2/9 > o?
True
Suppose 2*u = j + 5, -5*u = -4*j + 3 - 8. Let f = 3 + 1. Which is bigger: f or u?
u
Let o(q) = -28*q**2 + q - 1. Let t be o(1). Let n = t + 198/7. Is 0 smaller than n?
True
Suppose k - 10 = -3*s, -4*s + 0 = 2*k - 10. Let n(l) = l**3 + 8*l**2 - 2*l - 10. Let t be n(-8). Which is smaller: t or s?
s
Let j(m) = -11*m + 43. Let a be j(4). Is -1/107 at least a?
True
Suppose 3*l = -3*l + 18. Suppose l*o + 3 + 11 = -2*g, 2*g + 2*o = -10. Let u(d) = d**3 - 5*d**2 - 6*d + 1. Let c be u(6). Which is greater: g or c?
c
Let f = 0.12 - -0.18. Let l = 0.06 + -1.36. Let i = f + l. Are i and 0 nonequal?
True
Let h(u) = -u. Let r be h(-5). Suppose -y + 5*b = -3*y + 40, b = r*y - 46. Suppose 5*o - y = -3*l, 0*o + l - 8 = 3*o. Is o bigger than 0?
False
Let q = 11 - 11.3. Let o = 0.4 + q. Let c be (-1)/(-3 - -2 - -5). Which is smaller: o or c?
c
Suppose -16 = -t - 3*t. Let r(b) = b - 3. Let m(x) = -x**3 + 6*x**2 + 8*x. Let k be m(7). Let y be r(k). Is t greater than y?
False
Suppose -3*p - 49 = -5*x, -9*x = 3*p - 6*x + 9. Is p greater than -3?
False
Suppose 0 = -i + 3*d + 2, -4*i - 4*d + 9 = 33. Suppose 1 = -2*v + 7. Suppose -v = -x - 4*h + 14, 4*x = h - 17. Which is smaller: i or x?
i
Let a = -0.2 - -0.3. Let c = 13 + -13.2. Let f = a + c. Which is smaller: 1 or f?
f
Let x be (0 - 8/6)*3. Let h be x/(-6) - 28/6. Let z be (-3 - 1) + -2 + 4. Which is bigger: h or z?
z
Let v = 0.3 + -0.4. Let p = -11 + 10.9. Is p smaller than v?
False
Let n(r) = -3*r**3 - r**2 - r - 1. Let u be n(-1). Let z = -37 - -40. Which is greater: z or u?
z
Let l be (50/15)/((-4)/(-6)). Suppose 4*k + 32 = i, 4*i - 64 = l*k + 20. Suppose i = -2*z + 4. Which is smaller: -5 or z?
z
Let h be (-3)/((-3)/(-2)) - 10/(-7). Is -1 less than or equal to h?
True
Let x = -34/21 - -316/273. Are x and 0 unequal?
True
Let z(w) = w - 4. Let r be z(3). Suppose 2 = -4*k + 6. Which is greater: r or k?
k
Let w = -6 - -8. Let i = w + -1.9. Which is greater: 0.2 or i?
0.2
Suppose 3*o = 5*q - 11, 11 = q + q + o. Let s = q + -7. Is s smaller than 0.2?
True
Suppose -5*y - p - 2 = -3*y, -3*y + 7 = -p. Let g = 1 - 1. Let j be g - (3 - 1) - -2. Does y = j?
False
Let s = -2 + 1. Are s and 2/9 equal?
False
Let q be (2 - -2)/((-10)/(-15)). Let m be 0 - (-5)/(50/q). Which is greater: m or 0?
m
Suppose -a = -3*a - 4. Let g be (-22)/(-4) + a + -3. Does 0 = g?
False
Let n = -3 + 2. Which is smaller: -4 or n?
-4
Suppose -4*l + 4*w = 16, 4*l - 2*w + 21 = 3*w. Let v be (-2)/8 - (-18)/8. Which is smaller: v or l?
l
Let c be (-2)/(-4)*4/(-13). Let p = 1 + -2. Let s be (-2 - -4 - 0) + p. Which is greater: s or c?
s
Let f = -1 - -2. Let n = 72 - 40. Let q = -97/3 + n. Which is smaller: q or f?
q
Let b = -0.88 + 0.08. Let f = -7 + 6.5. Let p = f - b. Is -1 less than or equal to p?
True
Let o(z) = z**2 - 8*z - 3. Let f = -5 - 2. Let r be o(f). Let l be (-6)/9 - (-56)/r. Is l at least as big as -1?
True
Let k(s) = s**3 + 6*s**2 + 8*s + 7. Let z be k(-5). Let l be (-1 + 2)*-2*3. Let g = z - l. Is -3 < g?
True
Let h be -13 - (-3 - 0/3). Is -56/5 < h?
True
Let k be 0/2*(-1 - 0). Suppose 2*o = k, -4*v = -6*o + o + 4. Let r(q) = -q - 1. Let a be r(0). Is v at most as big as a?
True
Let u be (-187 - 4)/(1 - -1). Let w = u - -93. Let x(l) = -l**3 + l**2 + 1. Let c be x(2). Is w smaller than c?
False
Let s = 284140/149 - 1907. Let x = 483070496/37995 - 216137/17. Let n = s - x. Is n smaller than -1?
False
Suppose k + 3 = -2*i - i, 0 = -3*k. Let g be (-2)/(-4)*41/2. Let x = g - 10. Which is smaller: i or x?
i
Let s = -0.3 - -0.5. Let f = s + 0.3. Let r = f - 0.4. Which is bigger: r or 2?
2
Let t(w) = -w**2 - 5*w - 4. Let j be t(-4). Let z be 6/(-8) + 84/(-16). Let b = z + 6. Is b >= j?
True
Let o be -3*3/9 + 2. Which is smaller: 2 or o?
o
Let c be 16/12 + 15/(-11). Is -1 at least c?
False
Let k = -0.19 - -0.19. Is -5 less than k?
True
Let b = -4 - -8. Suppose -8 = v + 3*f, -b*v = -v + 5*f + 16. Is v greater than or equal to -3/2?
False
Let m(v) = 8*v + 1. Let w be m(-2). Let t be (-3)/(-2) + w/6. Do t and -1 have the same value?
True
Suppose -6*w = 20 - 110. Which is greater: w or 16?
16
Let d = 3/2 + -2. Which is smaller: d or 0.2?
d
Let v(f) = 5*f - 2. Let w be 6*-2*(-1)/6. Let t be v(w). Do 1 and t have the same value?
False
Let g be (3 + 146/(-54))*(-9)/(-156). Which is greater: g or 1?
1
Let n be -3 + 0 + (-1 - 0). Let f be (18/15)/(n/10). Let h(u) = u + 1. Let r be h(f). Which is smaller: r or -3/2?
r
Let t = -3.3 - -4. Let x = -0.3 + t. Which is greater: x or -1?
x
Let n(t) = t**3 - 4*t**2 - 6*t + 3. Let u be n(5). Which is smaller: u or -2/3?
u
Let w(d) = -d**3 + 16*d**2 + 37*d - 13. Let t be w(18). Suppose 0 = 2*k - 5*l - 43 + 6, -14 = -4*k - 2*l. Is t greater than or equal to k?
False
Let l be 4/(-14)*(-112)/64. Which is bigger: 5 or l?
5
Let p = 0 - -0.2. Let n = -18 - -17.8. Which is smaller: n or p?
n
Let s be 216/2*(-4)/8. Let z be 10/117 - 12/s. Which is smaller: z or 0?
0
Let r = -27221/3780 - -1/756. Let c = -32/5 - r. Is 0 greater than c?
False
Let m(o) = -o**3 + 9*o**2 - 8*o + 6. Let j be m(8). Let p(g) = -g**3 + 3*g**2 - g. Let r be p(2). Let a be (r/j)/(1/(-1)). Is 2/5 > a?
True
Suppose 4*s + 0 = -5*i - 11, i - 2*s - 9 = 0. Let l(o) = -o**2 - 4*o + 2. Let n be l(-4). Suppose i = n*p + 5. Which is smaller: p or 1?
p
Suppose -2*l - 16 - 2 = 0. Is -9 at least as big as l?
True
Let o be (6/18)/((-3)/6). Which is bigger: 0.1 or o?
0.1
Let q = -6 - -4. Let p = q - -1. Let w(s) = -s**3 - 3*s**2 - s - 4. Let z be w(-3). Is z != p?
False
Let y = -27 + 34. Let q = 11 - y. Let r(u) = -u**3 - 6*u**2 - 6*u - 1. Let w be r(-5). Is w bigger than q?
False
Let w(o) be the second derivative of o**5/20 + 7*o**4/12 + 7*o**3/6 + 7*o**2/2 - 2*o. Suppose -g = 7 - 1. Let m be w(g). Do 0 and m have the same value?
False
Let o = -2587/57 + 136/3. Is o less than -1?
False
Let j = 80 + -82. Do j and -42/17 have the same value?
False
Suppose -t - 12 = 4*y, -y + 5 = 5*t + 8. Which is bigger: 67 or t?
67
Let r be ((-6)/55)/(6/60). Which is greater: r or -2?
r
Suppose -16*i = -9*i + 266. Which is bigger: i or -36?
-36
Let a = 15.4 + -15. Let d = a - -2.6. Is d greater than or equal to 2/3?
True
Let o(h) = 5*h**2 - 9*h + 13. Let g(c) = 2*c**2 - 4*c + 6. Let z(r) = -7*g(r) + 3*o(r). Let a be z(-3). Which is smaller: a or 2/5?
2/5
Let v = 48 + -61. Is -13 at most as big as v?
True
Let r be ((-1)/(-2) - 0)*2. Let p = -2 + 5. Is p bigger than r?
True
Let k = -0.075 + 3.175. Let m = 3 - k. Are 0.2 and m unequal?
True
Let n = 1 - 0. Let m = -202/33 + 60/11. Which is smaller: m or n?
m
Let o be (0 + 1/5)*5. Which is smaller: -1/5 or o?
-1/5
Let w = 1195/11 - 110. Let y be (14/176*-14)/(-1). Let c = w + y. Is 1 smaller than c?
False
Let m be (-1)/(-4) - (-9)/(-4). Let i = -4 - m. Do -0.1 and i have different values?
True
Suppose -u + j = -6 + 2, -5*u - j + 2 = 0. Let t be (-8 - -5)*u/3. Is t less than -3/2?
False
Let x = 0.95 + 0.05. Let f = x + -0.6. Is f at most 1?
True
Let k = -4.68 + 0.78. Let o = k + 4. Which is bigger: 6 or o?
6
Let m = 9.14 - 0.14. Let x = m + -9.5. Let v = 0.4 + x. Is v > 1/7?
False
Let a = -5/13 + 107/143. Let j(w) = -3*w - 23. Let z be j(-8). Which is greater: a or z?
z
Let d = 15 + -12. Suppose 0*k - 1 = -4*k + d*i, 0 = 3*k + 2*i - 5. Which is bigger: -1/2 or k?
k
Let u = 29 - 40. Let k = u - -10. Is -3 bigger than k?
False
Suppose 2*v + 6 = -o, 6 + 0 = -4*o - 2*v. Does o = -1/13?
False
Let h = 15/17 - 11/51. Is h != 0?
True
Suppose -5*x + 5 + 5 = 0. Which is greater: -1/13 or x?
x
Let n = -9 + 6. Let i = n - -8. Is i less than or equal to 5?
True
Let n be (2 - 4 - 0) + 210/108. Is 1 less than or equal to n?
False
Let p(l) = -2 - 4*l**3 + l**3 + 4*l**2 + 2*l**3. Let m be p(4). Let a be 16/8 - (-1 + 5). Are a and m non-equal?
False
Let b be 2*1 - (