3 != o?
True
Let j = 91 + -88. Is j smaller than 0?
False
Let a = 20 - 79/4. Let d(g) = -g - 6. Let n be d(-7). Is n != a?
True
Let d = 3 - -1. Suppose y = d*m + 12, -y + 36 = 2*y - 4*m. Let w be (2 - y/5)*1. Which is greater: w or -2?
w
Let p be 0 + 1*(-2)/6. Let v = p + 19/21. Is 2 greater than v?
True
Let a(y) = -y - 5. Let i(v) = -v**2 - 5*v + 9. Let m be i(-7). Let g be a(m). Which is smaller: g or -0.1?
-0.1
Let p be (-10)/(-30) - (-4)/6. Suppose 0*v - v + 2 = 0. Is p at least v?
False
Let a = 166/5 + -33. Is a > 5/3?
False
Let c = 2 - 4. Let t be 2 - (0 - (1 + 0)). Suppose -6*d + 7*d + 16 = -t*i, -i + 4 = -2*d. Which is greater: c or i?
c
Let z = 4 - 3. Let b = -15 - -21. Let r be 3/(-9)*b/10. Is z at most r?
False
Suppose -3*v - 2*v + 25 = 0. Let c be (-2 + v)*(-2)/(-16). Which is smaller: -1 or c?
-1
Let q be (0 - 3)*(-5)/(-15). Are -1 and q non-equal?
False
Let x be (24/(-14))/(4/(-28)). Suppose -z - 5 = 2*b - 1, -3*z = 5*b + x. Which is bigger: -1/6 or b?
b
Let a be (-1)/(-72)*(-8)/(-4). Is a >= -1?
True
Let z = -32 + 158/5. Suppose 2 = -k, 2*k + 4 = 4*w - 2*w. Suppose -2*p - d + 4 = -w*d, -4 = 4*p - d. Which is greater: p or z?
p
Let r(p) = -p**3 + 2*p**2 + 4*p. Suppose 9 = 2*t + 3. Let v be r(t). Suppose 3 = v*u - 0*u. Which is greater: u or -1/3?
u
Let r be (-5)/(-40)*(-2)/32. Which is smaller: -1 or r?
-1
Let l = 0.1 + 1.9. Suppose -3*y + y + 10 = -4*q, 0 = 3*y - 9. Which is smaller: l or q?
q
Let z = -56 - -45. Is z at least -1?
False
Let h be -2*1/8 + 10/8. Which is smaller: 4/31 or h?
4/31
Suppose -4 = -2*b - 2. Let l be (b/(-1) - 2)/1. Let w = -8 - l. Is w < -3?
True
Let a(m) = -m**3 + 4*m**2 + 6*m - 2. Let d be a(5). Suppose -14 = -3*x + 7*x + r, -d*x - 2*r = 13. Which is smaller: x or -4?
-4
Let w = 0.69 - -18.31. Which is smaller: 0 or w?
0
Suppose 0 = 5*f - 2 - 3. Let d(c) = c**2 - 2*c + 1. Let q be d(f). Let x be (q - 3)*(-12)/18. Is 1 less than x?
True
Let z = 0.05 - 3.05. Let b = z - -5. Is 2/5 < b?
True
Suppose -2*m = 2*m. Let b = 2 - m. Which is bigger: b or 1?
b
Let n be 10/(-14) - (-4)/(-14). Let t = n - 0. Let z(w) = w**3 - 5*w**2 - 5*w - 8. Let v be z(6). Is t <= v?
False
Let n be ((-77)/18)/((-1)/21). Let o = n - 90. Is 1 >= o?
True
Suppose -5*d = -2*z + 7, -3*z - 4*d + 23 = d. Let a = z - 4. Let y(o) = o**3 - 4*o**2 + o - 2. Let j be y(4). Is a >= j?
True
Let k(y) = y - 7. Let h = -6 + 11. Let a be k(h). Is a less than -2?
False
Let q(x) = -2*x + 7. Let z be q(7). Let j = 8 + z. Let i be (-1)/1*-1 + 1. Which is greater: i or j?
i
Let f(l) = l - 1. Let q be f(0). Are 0.25 and q equal?
False
Let q be 3*(6/(-9))/(2/3). Which is greater: 0.3 or q?
0.3
Let w = 10 + -18. Let a = w - -14. Are 1/2 and a unequal?
True
Suppose 3*z - 119 = 3*h + 118, -3*z + 237 = 3*h. Is 79 greater than z?
False
Let m = 4 - 4.2. Let l = 0 - 0.5. Let i = 0.6 + l. Which is bigger: i or m?
i
Let c(y) = -y**2 + 8*y + 2. Let s be c(8). Suppose 4 = -2*f + s. Let u = f - 0. Is u greater than or equal to -2?
True
Suppose -3 = -2*x + x. Let h(a) = a**2 - 1. Let r be h(x). Which is bigger: 6 or r?
r
Let z = 17 + -9. Let d be 12/(-10)*(-20)/z. Is d equal to 4?
False
Suppose -8 = 5*o - o. Let f be o/(-3)*(-3)/(-24). Suppose 2*w = 2*c - 0 - 6, -3*c = w + 3. Is c at most as big as f?
True
Let f(o) = -o**3 + 6*o**2 + o + 4. Let l be f(6). Let j = 7 - l. Which is smaller: 0.2 or j?
j
Suppose -7 = -2*l - 3*z, 5*l - 7*z + 20 = -2*z. Let x be 0 + (-3 - 39*l). Let o = x - 107/3. Are o and 1 unequal?
True
Let z = -0.061 + -20.939. Suppose 7*o - 5 = 2*o. Which is greater: z or o?
o
Let d be (-723)/(-12) - (-1)/(-4). Let k = 4674 - 18457/4. Let u = k - d. Is u greater than -1?
True
Let f = 195 - 1753/9. Suppose -3*q - q - 24 = 0. Let c(b) = b + 7. Let g be c(q). Is g bigger than f?
True
Let g(l) = 2*l**2 - 5*l + 4. Let x be g(9). Suppose d + 152 = -3*p, -5*p - 5*d - x - 139 = 0. Let v be ((-15)/p)/((-1)/(-2)). Which is greater: v or 1?
1
Let x = 6 + -4. Let j = -1 + x. Let a be -2 + (3 - (1 + 0)). Which is smaller: j or a?
a
Let p(h) = -h**2 - 9*h - 5. Let f be p(-7). Let c(i) = -i**3 + 8*i**2 + 10*i - 10. Let g be c(f). Which is smaller: 2/11 or g?
g
Let w = 62 - 105. Is -44 at least as big as w?
False
Let m be 20/12*1/(-5). Let v be 4/(-23)*1/(-2). Is m bigger than v?
False
Suppose 35 = -p + 13. Which is smaller: p or -21?
p
Let s = -2 - -1. Let g = s + 3. Suppose g = -2*f - 0. Is f less than or equal to 1?
True
Let q = 0.6 - 0.2. Is -4 at most q?
True
Let h(t) = -2*t**3 + 8*t**2 + 8*t + 7. Let a be h(5). Is a less than or equal to -5?
False
Let c = 109 - 103. Which is bigger: 4 or c?
c
Let z be (3/(-7))/((-12)/(-42))*2. Is -6 at most z?
True
Suppose -3*k = -2*r - 10, 4*k - 5 = -3*r + 4*r. Which is smaller: -2/5 or k?
-2/5
Let w be -5 + -1 + 6/3. Let i be w/(-10) - (-24)/(-10). Is -2 bigger than i?
False
Let j = -104/11835 - 448328/698265. Let k = j + 3/59. Which is greater: k or -2/3?
k
Let s = 6 + -7. Let g be -3 + (-9)/(3/s). Suppose -5*v = 5*k + 10, 3*v - 3*k - 11 - 1 = 0. Which is bigger: v or g?
v
Let h be 136/14 + (-24)/(-84). Is h bigger than 13?
False
Suppose r = 3*r - 78. Suppose -4*c + 3*c = 3*g - 23, -2*c + r = 5*g. Suppose -3*u = -g + 4. Is u greater than -2/3?
True
Suppose 4*n + 156 = 2*n + l, -2*n - 2*l - 162 = 0. Let d = n + 475/6. Let b = 9 - 8. Is b > d?
True
Let k(q) = 3*q**2 + 2*q + 0*q**2 - 4*q**2 + 4 + 2*q. Let z be k(4). Let t = z - 3. Is t at most as big as 1/11?
False
Suppose -b = -2*x - 10, 3*x = 3*b + 2 - 26. Let n = -18 - -12. Let d be (2/b)/((-2)/n). Is 1 at least d?
True
Let w = -12 - -12. Let k(y) = -13*y - 8. Let x(u) = 7*u + 4. Let f(a) = 6*k(a) + 11*x(a). Let p be f(-5). Which is greater: w or p?
p
Let n = -2.05 - -2.1. Does -0.1 = n?
False
Let y = 0.15 + 1.35. Let x = y + -1.7. Let a = 3 + -3.1. Which is smaller: a or x?
x
Suppose 0 = 3*s - 5*s + 6. Let b be (-3)/(-9) + (-1)/s. Which is smaller: b or 3?
b
Let f = 0.5 + 0.1. Let s = f - 0.7. Is s equal to -18?
False
Let q = -0.46 - 0.04. Which is greater: q or 3?
3
Let f = 4 - 5. Let w = 1 + f. Let l = w + 1. Is 0.4 != l?
True
Let f = 253/4 + -64. Let i(m) = -2*m**2 - 2*m - 1. Let g(t) = t + 5. Let s be g(-6). Let c be i(s). Which is smaller: f or c?
c
Let i(z) be the second derivative of z**4/12 + 2*z**3/3 + 2*z. Let m be i(-4). Does m = -1?
False
Let r(t) = -t - 1. Let l be r(-1). Is l at least as big as -4/37?
True
Let b = -481 - -469. Suppose -3*t - 3 - 30 = 0. Which is bigger: t or b?
t
Let p(i) = 12*i + 36. Let u be p(-4). Is -2 at least as big as u?
True
Let g be 2*(-9)/6 - -3. Let z be (-3)/(g + 11/(-6)). Are z and 3 nonequal?
True
Suppose -2*x = -b - 0*b + 3, 0 = -2*b - 5*x - 21. Let v be ((-21)/9 - b) + 0. Is 2 > v?
True
Let m(g) = -g**2 + 5*g + 8. Let d be m(6). Suppose 5*o - 3 = 2, -d = -3*f - 2*o. Which is bigger: 1 or f?
1
Let n be (-9)/3 - 182/(-54). Let x = -1/27 + n. Which is greater: -2/9 or x?
x
Suppose 4*p + 4 - 8 = 0. Is -1/5 < p?
True
Let g(s) = -s + 6. Let j be g(6). Let r be ((-18)/(-15))/(187/(-10)). Let w = 2/17 - r. Is w >= j?
True
Let v(s) = s**3 + 8*s**2 - s + 7. Let h be v(-8). Suppose 12 = 3*z, w - 6*z + h = -2*z. Are w and -2 non-equal?
True
Let s(t) = t + 14. Let f be s(-10). Suppose -3 + f = -k. Let r be -1 - ((-2)/(-5) + -1). Which is greater: k or r?
r
Let n be (-2)/9 + 14/(-99). Let p = -28 + 29. Is n bigger than p?
False
Let x = -160 + 3041/19. Which is bigger: x or 1?
1
Let h = 0.08 - -0.22. Let m = -0.3 + 0.5. Let d = h - m. Is d not equal to 0.3?
True
Let w = 17 - 10. Let l = -0.067 + 0.167. Which is greater: l or w?
w
Let h(u) = 8*u. Let m be h(2). Let s be (16/(-24))/(m/(-18)). Which is smaller: s or 1?
s
Let t(n) be the first derivative of 2*n + 1/3*n**3 - 1 + n**2. Let u be t(-2). Does u = 2?
True
Let t be (-4)/16 - (-9)/4. Suppose 8 = -t*a - 6*z + 4*z, 5*a + 50 = 5*z. Is a > -5?
False
Let h = 3/5 + -2/5. Which is bigger: -2 or h?
h
Suppose 0 = -2*r - 6 + 48. Let n be 8/(-12) - r/9. Is n >= -3?
True
Let n = 2603/195 + -76/39. Let h = -409/35 + n. Is h equal to -2/7?
True
Suppose -3*w - 144 = -3*g, 3*g + 5*w = 6*g - 152. Is 45 <= g?
False
Let w be (-4)/(-6) + (-2)/3. Is w greater than -4/7?
True
Let p be 2/(-4)*0/(-2). Suppose 2*z - 6 = p, -2*m - 4*z + 22 = -0*z. Suppose -t = -m*t. Which is smaller: t or -1/8?
-1/8
Suppose -2*