Suppose 0 = 2*b - 7*b - 5. Is o > b?
True
Let z be -3 + (-8)/(-1 + 0). Let p(s) = s**3 - 4*s**2 - 3*s + 1. Let f be p(z). Is 10 at most as big as f?
True
Let n be (-2 + 32/5)*15. Let s be (6/(-4))/(n/(-8)). Does s = 1?
False
Let o be (-8)/(-12) - (-93)/(-774). Let i = -2/43 + o. Which is smaller: i or -1?
-1
Let y be 0*((-2)/(-4))/((-9)/18). Let o be (2/20)/(-1) + 0. Does y = o?
False
Let u be (-2 - -1)/(9/369). Is u bigger than -40?
False
Let c = -5 - -4. Suppose j - 4 = -5*b, 4*j - 2*b - 3*b = 16. Let u = j + c. Is u greater than or equal to 1?
True
Let b be 3 - (-45)/36*(-20)/7. Which is smaller: b or 0?
b
Suppose 29 + 36 = 13*k. Do 10 and k have different values?
True
Suppose 3*w - 2 = -4*a + 2, 0 = 2*w - a + 1. Which is smaller: 1 or w?
w
Let c = 4/417 - -686/15429. Let r = c - 47/185. Is -0.1 < r?
False
Let d = -0.21 + 4.01. Is d less than or equal to 0?
False
Suppose -3*r + 25 + 29 = 0. Let c be 86/r + 6/27. Which is greater: 2/3 or c?
c
Suppose -5 = -4*c - 9. Let w be 0/(-2) - (-1 - 0). Let i be (-2 + -1)*(0 + w). Which is bigger: i or c?
c
Let i = -5/6 + 1/2. Let d = -18 - -16. Are d and i equal?
False
Let i(l) = -l**2 - 2*l - 4. Let j be i(0). Which is smaller: -34/7 or j?
-34/7
Suppose -3*t + 0*t - 6 = 0. Let h be 6/(-9)*(-3)/t. Let w be h - 2/(42/(-33)). Which is smaller: w or 1?
w
Let r be 13/26 + ((-22)/(-4) - 1). Which is smaller: -1 or r?
-1
Suppose 3*x - 2*x = 0. Let o be -2 - (-4)/(60/27). Is o at least as big as x?
False
Let a = -6 - -4. Let v = 62 - 64. Is v greater than a?
False
Let u = -8 - -12. Let a = 36/95 + 2/95. Which is greater: a or u?
u
Let i(b) = b + 12. Let g be i(-6). Let a(y) = -y + 5. Let l be a(g). Is -1/8 less than l?
False
Let h(s) = -s**2 + 3*s - 2. Let v be h(1). Is 10/7 less than v?
False
Suppose 3*r + r - 12 = 0. Let w be ((-4)/r)/((-2)/(-3)). Which is bigger: w or -2/5?
-2/5
Let y = 28 - 27. Which is smaller: y or 1.5?
y
Let u = -142523/1890 - -149/270. Let y = -75 - u. Is y bigger than 1?
False
Let l = 0.7 - -2.3. Let a = 11 - 14.2. Let u = l + a. Does -2 = u?
False
Let w(d) = d**3 + 7*d**2 - 2*d - 7. Let y be w(-7). Let h = -8 + y. Which is bigger: -1/4 or h?
-1/4
Let t(k) = k. Let h(d) = -6*d - 5. Let w(x) = h(x) + 5*t(x). Let p be w(-4). Let q = -1042/9 + 116. Is p equal to q?
False
Let q be 6 - (-2)/(-69) - 6. Which is bigger: q or -2?
q
Let i = 39 - 19. Let q = i + -20. Which is bigger: 1/3 or q?
1/3
Let w = 2/79 + -184/1027. Suppose 4*s - 1 + 5 = 0. Which is greater: s or w?
w
Let t be (-2)/7 - (-52)/(-14). Let l(m) = -m**2 - 4*m + 1. Let c be l(t). Let z(h) = -h**2 + 5*h. Let n be z(5). Is n less than c?
True
Suppose -3*y + g + 26 = 0, -g = -4*g - 15. Which is smaller: y or 5?
5
Suppose -2*g + 0 + 6 = 0. Suppose -r + g*u - 9 = 2*r, 0 = -r + 5*u - 23. Suppose -5*v = 4*b - 10, 3*b + 3 = 2*v - 1. Is r bigger than v?
False
Let w be 1/(-2) + (-3)/(-2). Suppose 2*n + w - 3 = 0. Let k = -2 - -5. Which is bigger: k or n?
k
Let g = 6.7 + -7.2. Is 5 > g?
True
Suppose 5*l + 3*g = -18, 15 = -4*l - 6*g + 3*g. Let m(t) = -t + 3. Let c be m(6). Is c equal to l?
True
Let w be (1 - -12)/((-4 - 1) + 4). Is -13 != w?
False
Suppose 4*u - 50 = 3*a, 4*a + 54 = u - 2*u. Let q be (-30)/(-7) - (-4)/a. Suppose q*o - 8*r = -3*r - 5, o - 4 = -4*r. Is o greater than 0?
False
Suppose -2*i + i + 6 = -2*q, 4*q + 4 = 4*i. Let w(x) = -x**2 - 5*x - 1. Let k be w(q). Is 0 greater than k?
True
Suppose -2*z - 5*j + j + 52 = 0, 4*z = 4*j + 116. Suppose 0 = -5*i - 2*d - z, 5*d + 10 = -10. Is i bigger than 0?
False
Let r = 0.7 - -0.3. Is -0.01 bigger than r?
False
Let x be (1/6)/((-5)/10). Let q be (1/3)/(2/(-2)). Is q <= x?
True
Let g be -1 - (2/(-10) + -1). Let v = 3 + -3. Is v less than g?
True
Let f be (0 - 2)/(-11 + 2). Do 0 and f have different values?
True
Let y(h) = -h**3 - 6*h**2 - 6*h - 2. Let k be y(-5). Suppose 0 = k*g + 2*g. Let b be 24/32*(-2)/(-3). Which is smaller: g or b?
g
Suppose 0*i + 2*i - 4 = 0. Is 6/7 smaller than i?
True
Let x = -4 + 14. Let p be (2/(-9))/(x/15). Is 0 greater than or equal to p?
True
Let d(t) = -t**2 + t + 6. Let n be d(-2). Is -2/5 less than or equal to n?
True
Let m = -2.95 + 3. Let k = 0.05 - m. Is 1 > k?
True
Let t(a) = 2*a**2 - 2*a + 1. Let q be t(1). Let s be (0/2)/1 + -1. Is s less than q?
True
Let h = 23/2 + -49/4. Which is smaller: h or 0.2?
h
Suppose -h - 4*l + 2 = 11, -3*h + 2*l = 13. Is -7 at most as big as h?
True
Let m be -5 - (4/5 - 6). Suppose -2*z + 4*q - 8 = 0, -5*z - q = -z - 20. Suppose -z - 1 = -5*j. Which is smaller: m or j?
m
Let l be (-308)/(-294) - (-2)/7. Let a = -0.13 + -0.07. Is a smaller than l?
True
Suppose h = 4*h + 15, -3*z + 2*h + 10 = 0. Suppose 10 = -2*n, -7*b = -3*b - 3*n - 27. Suppose b*c + 0 = 3. Which is smaller: z or c?
z
Suppose 0 = n + 4*n. Let t be (4/2)/(n - -1). Is t less than 3?
True
Let j be 5 + -3 + 422/(-266). Let q = -3/19 - j. Which is smaller: q or -2?
-2
Suppose 2*r + 20 = 5*r + 2*z, 2*r + 3*z - 15 = 0. Suppose 10 = 3*j - w, -3*j + 2*w + 5 + r = 0. Let s = -6 + j. Is s bigger than -4?
True
Suppose 4*r + 27 = 35. Suppose q = -2*l + 2, -4*q - r = -2*l - q. Which is bigger: 2/3 or l?
l
Let f = 5.22 - 0.42. Let h = f + 0.2. Is h greater than 0?
True
Let d(p) = 2*p**3 - 2*p**3 + p**3 - 6*p**2. Let l be d(6). Let m(v) = -v - 4. Let x be m(l). Is -4 <= x?
True
Let u = -0.61 + 6.81. Let n = 1.8 + u. Let p = n - 8.3. Which is bigger: 1/2 or p?
1/2
Let c = -4 + 4.04. Let l = 0.16 + c. Let g = l - -2.8. Which is bigger: -2/9 or g?
g
Let r = 2/661 + -2015/10576. Is r != 0?
True
Let t = -14.9 - -15. Let b = 0.3 - t. Let x = 0.1 - 0.2. Which is smaller: x or b?
x
Let t be (-170)/380 + (-2)/(-4). Which is smaller: t or 0?
0
Let g be (0 + (0 - 1))*-15. Is 15 smaller than g?
False
Suppose -3*u = -2*u. Suppose -2*f + 15 = 3*j, 2*j + 2*j - 3*f - 3 = u. Let i(q) = 2*q - 2. Let o be i(2). Which is smaller: j or o?
o
Let h = -1085 - -1090.03. Let a = h - -1.07. Let b = a - 6. Which is smaller: 0 or b?
0
Suppose 0 = -3*v + 8 + 4. Suppose -6*u + v*u - 4 = 0. Which is greater: u or -5/3?
-5/3
Let g = -12.3 + 11. Let p = 2 + -3. Let j = p - g. Which is greater: -1/3 or j?
j
Let o = -13 - -9. Let l(a) = -2*a + 2. Let i be l(3). Let j = -7 - i. Is j greater than or equal to o?
True
Let o = -3 + 6. Let h(w) = w**3 - 4*w**2 + 4*w - 4. Let p be h(o). Let f = 2/13 - -3/65. Which is bigger: p or f?
f
Suppose 2*t = -2*t + 12. Suppose -3*g = 5*r - 21, t*r + g = -3*g + 17. Let a(u) = u**3 - 8*u**2 + 6*u + 9. Let n be a(7). Is n > r?
False
Let t = -33288/89 - -374. Which is greater: 1 or t?
1
Let y = -424 + 4672/11. Let x(v) = -v**2 + 4*v + 34. Let p be x(8). Is y greater than p?
False
Suppose 13 = 2*n - 5*v + 32, 0 = -5*n + v - 36. Let k be (n/2)/(2/(-4)). Let h = -8 + k. Is h bigger than -3?
True
Let s(v) = -v**2 + 2*v + 5. Let j be s(4). Suppose 11*p + 6 = 9*p. Is p > j?
False
Suppose -t - 11 = -3*g, -5*g - t + 5 = -0*g. Suppose 0 = -0*m + 2*m. Which is bigger: m or g?
g
Suppose 22 + 13 = 5*g. Suppose 0 = 5*p - 2*t - 43, -2*p - 4*t + 31 = p. Do p and g have the same value?
False
Suppose -2*a - c = -7, -2*a - 4 = -5*a + 5*c. Suppose a*b - 7*y + 6 = -4*y, 2*b - y + 1 = 0. Which is smaller: -1/13 or b?
-1/13
Suppose -2*j + 4*j - 2*r - 10 = 0, -5*r + 17 = 2*j. Let w be (1 - -1) + 4 - 4/8. Which is smaller: j or w?
w
Let d be 1 + 102/(-3 + 5). Suppose -d = 4*m - 3*f, 4 = 2*f - 4. Which is smaller: m or -9?
m
Let g = 2887/39 + -74. Let l(j) = 15*j - 74. Let s be l(5). Are g and s non-equal?
True
Let c = 17 - 18. Is 0 bigger than c?
True
Let v be (-52946)/61 + -2 + 1. Let m = -869 - v. Is 1 <= m?
False
Let a = 11627/25 - 465. Is a at least as big as 1?
False
Let i be (-2)/(0/2 + -2). Do i and 1/10 have the same value?
False
Let v = 139 + -139. Let y = 0.42 - 0.02. Which is greater: y or v?
y
Let f(c) = -8*c**2 + 6*c + 9. Let n(r) = r**3 - r. Let i(h) = f(h) + n(h). Let l be i(7). Which is greater: -4 or l?
-4
Suppose -1 + 0 = -3*m - 4*j, 3*j - 12 = 0. Let u = m + 7. Suppose -1 - 1 = -4*h + u*r, 0 = -h - 2*r + 3. Which is smaller: h or -2/5?
-2/5
Let p(s) be the second derivative of s + 0*s**2 + 0 - 1/6*s**3 - 1/12*s**4. Let f be p(0). Which is bigger: -1 or f?
f
Suppose 2*n + 31 = q, 5 = -2*n + 5*q - 6. Is -18 bigger than n?
False
Let y = 1.2 + -1. Let d be (3 + 4 + (-260)/36)