0. Let l be -3 - (46/(-10) + 1). Is f smaller than l?
True
Suppose 0*t = t + 9. Let s(x) = -x**3 + 3*x**2 - 3*x + 1. Let i be s(3). Is i at least as big as t?
True
Let g = 1 - 2. Let p = -3 - 1. Let v = p + 3.8. Is g >= v?
False
Let n = -50727/13 - -54118/13. Let b = 266 - 5. Let l = n - b. Which is bigger: l or -1?
l
Let k = 76 + -74. Is k at most as big as 6?
True
Suppose 0*j = -j + 1, 3*z + 1 = j. Let k = 5/2 - 2. Is z equal to k?
False
Let s = 5 - 6. Let i be 83/(-5) + (-6)/15. Let u = i + 186/11. Which is greater: s or u?
u
Let d = 4 + 0. Let h = d + -4.5. Let k = h - -0.6. Is -1/2 >= k?
False
Let m(z) = 7*z - 49. Let a be m(7). Is 4/35 at most as big as a?
False
Suppose -4*v + 12 = -0*v. Let h = v - 8. Do -5 and h have the same value?
True
Let n(h) = -h - 1. Let p be n(-7). Let q be 0 + -2 + 2/p. Which is smaller: -3 or q?
-3
Let v(s) = 2*s**3 + s**2. Suppose -t - 2*l + 0 = 5, -3*l = -4*t + 13. Let u be v(t). Suppose 5*h = 6 + 4. Which is bigger: h or u?
u
Suppose -4*o + 4 = -0*o. Let a(f) = 3*f - 1 + 2*f**2 + 4*f - 3*f - f**3. Let m be a(3). Is o smaller than m?
True
Let v = 148 - 1032/7. Which is smaller: v or 0?
0
Let g = 41 + -41. Does g = 1/47?
False
Let i = -68 - -67. Which is smaller: 26 or i?
i
Let r(x) = -x**3 - 3*x**2 - 2*x - 4. Let m be r(-3). Suppose 3*s + 5*b - 3 = 0, 0 = -3*s - b + 1 + 2. Let v be (-3)/12 - (s + -2). Which is greater: m or v?
m
Let f = 11 + 1. Let a = f - 11. Which is smaller: 0.5 or a?
0.5
Let v(q) = -q**3 + q - 10. Let b be v(0). Is b equal to -11?
False
Let o = 192/5 + -77/2. Suppose 5*w = 5*t - 0 - 5, t = 5. Suppose 0 = -4*u - 0*u + w. Which is bigger: u or o?
u
Let n be (-2)/((-10)/(-45)) - (0 - 1). Which is smaller: -4 or n?
n
Let j = 8 + -4. Let o(w) be the third derivative of w**5/60 - 5*w**4/24 + w**3 + 2*w**2. Let v be o(j). Which is greater: -0.1 or v?
v
Suppose 5*g + 4*l = 16, -12 = -4*g - 4*l + l. Let t(i) = -i - 11. Let n be t(-12). Is g less than n?
True
Suppose 0*y - 4*y = 5*n - 32, 2*y + n - 10 = 0. Is y less than or equal to 3?
True
Let s(g) = g**2 + 4. Let x be s(0). Suppose x - 9 = -d. Let r = 9 - 5. Which is smaller: d or r?
r
Let w = 123 - 87. Suppose 0 = -7*s - w + 1. Is -7/2 not equal to s?
True
Suppose -3*c - 17 = 5*l, -2*c + 5*l + 19 = -3*c. Which is smaller: 0 or c?
0
Let r be 4/6 + (-40)/(-12). Let f be (-2)/(-8)*(r - 0). Suppose f + 2 = -3*y. Is 0 at least as big as y?
True
Suppose 8 - 2 = 3*v. Is 1 greater than or equal to v?
False
Let b be (24/9 - 2) + (-358)/546. Which is smaller: -1 or b?
-1
Suppose 16 = 4*t + 4*x, -4*t - x - 14 = -3*x. Suppose -s = -4*h - 0*s - 5, 3 = 3*h - 3*s. Let c = h + 2. Which is smaller: t or c?
t
Let z be ((-14)/(-21))/((-4)/102). Let c(o) = -o**3 + 2*o**2 - 4*o + 4. Let g be c(3). Is g less than z?
False
Let a = 11 + -5. Suppose -7 = -5*z + 2*v, -2 = a*z - 3*z + 5*v. Which is bigger: z or -2/3?
z
Let v = 1355/2964 - -1/228. Are v and -1 equal?
False
Suppose -9 = 3*v + 3*f, -4*f = 7*v - 2*v + 10. Is v bigger than 3?
False
Let k = -3/1396 + 42587/4188. Which is greater: k or 9?
k
Let f = 1.1 + -1.2. Does 2/11 = f?
False
Let i be 20/(-2)*(-3 - -5). Does -20 = i?
True
Let w(x) be the third derivative of -1/24*x**4 + 2/3*x**3 + 2*x**2 + 0*x + 0. Let u be w(7). Is u less than -4?
False
Let i = 1.8 - 7.8. Let a = i - -8. Is a greater than or equal to 1/3?
True
Suppose 4*a + 12 = -5*r, -r + 5 - 2 = -a. Which is greater: 2 or r?
2
Let i = -0.04 + -3.96. Let t = 2 + i. Suppose 4*m + 12 = -4*q, -8 = 3*m + 5*q + 7. Which is bigger: t or m?
m
Let h be (-8)/42*(-12)/(-2). Suppose 2*d - 8 = -2. Suppose d + 5 = -4*w. Is h >= w?
True
Let n = 115.03 - 115. Which is bigger: 2 or n?
2
Suppose 2*i = -4*g + 402, -4*g + 5*i + 367 = -0*i. Which is smaller: g or 99?
g
Let r(t) = -t**3 + 5*t**2 - 4. Let h be r(4). Let j(p) = p**2 + 12*p + 11. Let g be j(-10). Let f be (g/h)/(-1*3). Is -2 at most as big as f?
True
Let x(k) = -8*k**2 + 5*k - 4. Let j be x(4). Let d = j - -557/5. Which is bigger: d or 0?
0
Let h be ((-3)/(-12))/(15/(-8)). Suppose 0 = 3*c + 2*y + 2*y + 19, 4*c + 3*y = -16. Which is greater: c or h?
h
Let g(c) = -c**2 - 6*c - 5. Suppose 5*v = y - 3 - 2, 15 = 3*y. Suppose v*w - w + 22 = -4*p, 0 = p - 5*w + 15. Let b be g(p). Is -1/3 greater than or equal to b?
False
Let c(a) = -6*a + 7. Let z be c(3). Do -35/3 and z have the same value?
False
Let h = -43.1 - -39. Let x = 5 + h. Let q = x - -0.1. Is q at least as big as -0.1?
True
Let a be -3 - 1/(1/2). Suppose -2 = 4*t + 2. Let w = t - 3. Which is greater: w or a?
w
Let a(r) = r**2 - 13*r + 39. Let x be a(9). Let h = -163 - -500/3. Is h at most as big as x?
False
Let r be (-4)/(-14) + 480/35. Let k be 3/2*7/r. Is k greater than -0.1?
True
Let b = 25 + -10. Let j be 3/b - (-26)/20. Suppose -5*z + 27 = 22. Is z != j?
True
Suppose -5*u - 31 = -2*d, -4*d + u = -d - 14. Suppose d = -3*y - 12. Which is smaller: -6 or y?
-6
Suppose 0 = 5*l + 6 + 19. Suppose -3*w - 2*d - 7 = -0*w, -4*w - 5*d = 0. Is w less than or equal to l?
True
Suppose 0 = 4*l + 5*b + 25, -5*l - 20 = 6*b - 2*b. Let d be -1 - ((1 - l) + 0). Is d > -5/6?
False
Let b = -35 + 10. Let u = b + 15. Let h = 9 - 18. Which is smaller: h or u?
u
Let q = 30 - 33. Which is greater: -1 or q?
-1
Let z = -30.9 - -31. Which is bigger: 11 or z?
11
Let w be (-18)/22 - 2/11. Let u be (w/(-2))/((-11)/2). Which is greater: 1 or u?
1
Let w = -150 + 150.97. Let h = w - -0.03. Are 1 and h nonequal?
False
Suppose 3*c = l + 2, -2*c = -2*l + 5*l + 6. Suppose 0 = -3*s + 8*s - w - 4, c = 3*s - 5*w + 2. Let i be 40/19 - (-26)/(-13). Which is greater: i or s?
s
Let y = 32.2 - 33. Is y at least as big as -1?
True
Let n be (21*2/(-15))/(-4). Is n > 1?
False
Let j = -9 + -1. Let p be 18/j - 4/20. Is -2 greater than or equal to p?
True
Let u be (1/(-10))/((-1)/2). Let p = 1 - 2. Which is smaller: u or p?
p
Let d be (-2 - (2 + -3))*1/3. Is d less than or equal to 8?
True
Let x be ((-4)/(-6))/(1/(-3)). Let t(v) = -4*v**3 + 1 - v**3 + v**3 - v**2 - v + 5*v**3. Let o be t(1). Which is greater: o or x?
o
Suppose -12 = -3*g - o + 1, 2*g - 4*o - 4 = 0. Is g greater than or equal to 4?
True
Let p(m) = 2*m - 1. Let b be p(2). Is 10 >= b?
True
Let d be 4/14 + (-138)/(-252). Let r = 3/2 - d. Let l(i) = i**3 + i**2 - i + 1. Let a be l(0). Which is smaller: r or a?
r
Let n = -83/44 - -18/11. Is n less than 2?
True
Let d = 4 - 1. Which is bigger: d or 2?
d
Let f = -1899 + 13269/7. Is f < -4?
False
Let f(i) = -6*i + i**3 - 6 - 2*i**2 - 4*i**2 - 1. Let r be f(7). Let t be 12/27 + (-2)/(-9). Which is greater: t or r?
t
Let r be ((-4)/(-585))/(144/(-20) + 6). Are 0 and r nonequal?
True
Let z(q) = 3*q - 6. Let y be z(4). Suppose 4*b - 3*u = -4, -3*b - y = 2*b - 4*u. Suppose 0*d - b*d - 2*c = 4, -2*c = 4. Is d <= 2/3?
True
Suppose 12 = 4*q + 3*n - 2*n, q + n - 3 = 0. Is 1 less than q?
True
Let a(f) = -3*f - 4. Let o be (-7 - 1) + (-12)/(-4). Let j be a(o). Which is smaller: j or 10?
10
Let n = -0.8 + -4.2. Let o = n + 4.8. Is o bigger than -0.1?
False
Suppose 6 = 3*b - 6. Suppose -b*w - 4 = 4. Let n be -3 - w - (0 + -2). Is 2 < n?
False
Suppose -4*s = -0*s + 4*n, 5*s - 2*n = 14. Let i be (1 + s)/(9/12). Let o be (-1)/i - 12/16. Is -1 at most o?
True
Suppose -3*r = -r. Is 0 at least r?
True
Let r(i) = -i**2 + 6*i - 1. Let c be r(5). Let a = -3 + c. Let v be 2/4*2/(-3). Does v = a?
False
Let y = 1.05 - 1.1. Let z = y - -0.05. Is z <= 2?
True
Let l = -80 - -77. Which is greater: l or 0?
0
Let v = 11 + -17. Let g be (-10)/v + (-6)/9. Let p be ((-9)/12)/(g/(-4)). Is p at most 3?
True
Let j be (-3)/6*(10 + -2). Suppose -3*d = -r - 4*r - 13, d + 19 = -3*r. Is d != j?
False
Let d be ((-8)/(-30))/((-4)/(-10)). Suppose -2*z + 10 - 4 = 0. Suppose 8 = n - z*o, 8 = 5*n - 2*o - 6. Which is greater: n or d?
n
Let x be (1 - -31)/(-4) + 0. Is -7 less than x?
False
Let w = 38 + -13. Let y be 10/w + 24/(-50). Is y less than or equal to 0?
True
Let b be 3*(-1)/(-2)*2. Let k be (-1 + 1 + -1)*-3. Let h be (-4)/k*(-3)/1. Which is smaller: h or b?
b
Suppose 2 = -c - 0. Let p(x) = -x**2 - x - 2. Let w be p(0). Is w at most as big as c?
True
Let j = -126/13 - -2407/247. Is 1 >= j?
True
Let w be 2 - 9/((-63)/20). Is w <= 0.1?
False
Let d be 1*(3 + 0)/3. Let k be (d + 0)*(3 + -4). Which is greater: -2/3 or k?
-2/3
Let m = 3 + -2