 o = -4 + 2. Which is bigger: b or o?
b
Suppose 5*a + 2*j = -21, -6 = -0*a - 3*a + 5*j. Suppose -8 = -4*t + 12. Let z be ((-1)/a)/(t/15). Is 2 less than or equal to z?
False
Let t = 280 + -3082/11. Let a(u) = -u**3 - 5*u**2 - 10*u - 50. Let s be a(-5). Is s at least as big as t?
True
Let s(c) = c**3 - 13*c**2 + 12*c + 3. Let f be s(12). Let v = 0 - -5. Let m(u) = u**3 - 6*u**2 + 5*u + 3. Let d be m(v). Is f bigger than d?
False
Let z = 0.12 - 0.32. Which is smaller: z or -2/5?
-2/5
Let u = -2.3 + 1.8. Let o = 0.5 + u. Are 0.1 and o unequal?
True
Let z be ((-1)/(-2)*-1)/((-10)/540). Which is smaller: z or 26?
26
Let a(o) = 3*o + 6. Let g be a(-2). Which is greater: 1/17 or g?
1/17
Suppose 0 = -4*u + 19 + 1. Let l be -3 - (-5 + (u - 2)). Let z = 47/33 + -12/11. Which is greater: l or z?
z
Let m = 3.798 - -237.252. Let s = m - 247. Let n = -6 - s. Are -1 and n equal?
False
Let m be 1/(-3*(-3)/9). Let k = 17/4 + -13/3. Which is smaller: k or m?
k
Let x(u) = -7*u - 1. Let k be x(-1). Let y = 19 + -14. Suppose 2 = y*r + q, k*r = 2*r - q + 1. Which is bigger: r or -0.9?
r
Let f = -1.3 - -6.3. Let r = f - 3. Let n = 1.9 - r. Which is smaller: -1 or n?
-1
Let b(z) = 2*z**2 - 3*z. Let c be b(2). Let x = c + 0. Suppose 10 = 4*n + 3*f - 6*f, 3*n = 2*f + 7. Which is greater: n or x?
x
Let v(y) = -4*y**3 - y - 1. Let r be v(-1). Suppose 13 = -2*i + 3*t, -3*i - 7 = -r*t + 2*t. Is 3/7 > i?
False
Let s = -2 - 4. Let g be (-8 - (-6 + 4))*-1. Let l = g + s. Is -3 at most as big as l?
True
Let k(r) = -3*r**2 + 2*r - 3. Let a be k(2). Are -13 and a nonequal?
True
Let p be 1*3/9 + (-10)/(-15). Which is smaller: p or 3/25?
3/25
Let o be (-6)/1 - (1 + -2). Let d be 6/(-2)*(-20)/(-15). Is d >= o?
True
Let w be 1 + (-2 - -1) + 63. Let r be 4/(-6) + w/135. Is r not equal to 0.2?
True
Suppose 0 = -60*f + 62*f + 32. Which is smaller: f or -3?
f
Let y(a) = 2*a**3 - 3*a**2 + 3*a - 2. Let j be y(2). Let n(h) = -h + 7. Let o be n(j). Let f be (36/(-21) + (-4)/14)/4. Is f not equal to o?
True
Let q(s) be the second derivative of s**4/12 - 7*s**3/6 + 3*s**2 - 5*s. Let o be q(7). Is 7 at least as big as o?
True
Let p(m) be the second derivative of -m**5/60 + m**4/6 + m**3 - m**2 - m. Let r(v) be the first derivative of p(v). Let b be r(5). Which is greater: b or 4?
4
Let s be 72/81*(-1 - (-3)/4). Which is smaller: s or 0?
s
Let m = -47/129 + 30/43. Let g = 0 + -1. Which is smaller: m or g?
g
Suppose -2*g = 2, -4*i + i = 4*g + 1. Is i < 11?
True
Let g = -94 + 95. Which is greater: -0.04 or g?
g
Let j be (20/(-8) + 3)*4. Suppose j = 3*q - q. Which is bigger: 2 or q?
2
Let b = 4 - 7. Suppose 0 = 7*f - 3*f + 8. Let k = b - f. Which is greater: 1/6 or k?
1/6
Let y = 2.7 - 3. Let t = 0.5 + y. Which is greater: 0 or t?
t
Let x be (3/(-9))/(5/15). Is -1/57 at most x?
False
Let s = 8 + -4. Suppose 6*b - 4*b = -4*y + 2, 0 = -3*y + s*b - 4. Let m be y + 2 - (0 - -3). Which is smaller: m or 0?
m
Let a = 0.9 + -1.7. Let p = a + 0.5. Which is smaller: 1 or p?
p
Let r be -1 - ((-160)/(-4) + 1). Is -42 less than or equal to r?
True
Let r = 14686/615 + -580/41. Let l be (-494)/(-60) + (-8)/(-48). Let s = r - l. Is s greater than 1?
True
Let g(m) = -m**3 - 16*m**2 + 16*m - 16. Let s be g(-17). Is s at most 1?
True
Let d = 7 + -11. Is -5 at most as big as d?
True
Let s(q) = q**2 - 8*q - 8. Let v be s(9). Let o = 477/209 - 33/19. Is o smaller than v?
True
Suppose -l - 7 = -3*y + 11, y = -4*l - 7. Is y at least as big as 5?
True
Suppose -4*d = -647 - 1033. Let x = d - 4617/11. Which is smaller: -1 or x?
-1
Suppose -35 = -c - 2*h - 3*h, -4*h = -5*c + 59. Which is bigger: 2 or c?
c
Let m = 126 + -154. Which is greater: m or -2/3?
-2/3
Let d(r) = -r + 15. Let k be d(4). Are 10 and k nonequal?
True
Let p = -150 - -152. Is 46 equal to p?
False
Suppose -28 = -2*t - 10. Is t at most 9?
True
Suppose -144 = -63*j + 67*j. Which is smaller: 0 or j?
j
Let n = -525/104 + 64/13. Let u = 0 + 1. Is u at least n?
True
Let f = 1 + -1. Let s(v) = v**2 + v. Let j be s(2). Let b = j + -5. Which is smaller: b or f?
f
Let b = 0.1 - -0.1. Let t = 0.3 - b. Let r = 0 + t. Which is greater: r or 0?
r
Let i = 0.903 + -0.023. Which is smaller: i or -1?
-1
Let h = -183 + 173. Let c = 21 - 30. Which is greater: h or c?
c
Let o = 4 - 2. Suppose -u + 6*u + 39 = -4*z, o*z - 12 = 2*u. Which is greater: u or -6?
-6
Let f be 58/5 + 2/5. Let v be 0 + (-21)/f + 2. Which is smaller: 1 or v?
v
Let w be (-2 + 0)/1 + 0. Let s(h) be the second derivative of -h**4/12 - 7*h**3/6 - 3*h**2/2 - 2*h. Let v be s(-7). Are w and v equal?
False
Let v = -0.2 - -0.4. Let q = 0.6 - v. Let s = 11 - 10.9. Which is smaller: s or q?
s
Let q = 62 - 97. Which is smaller: q or -34?
q
Suppose 57 = 5*s - c + 4*c, c + 25 = 2*s. Which is greater: 0 or s?
s
Let r = -35 - -22. Let n = r - -13.36. Let m = 0.06 - n. Is m < 1?
True
Let r(b) = b**3 + 2*b**2 - 2*b - 3. Let p be r(-2). Which is bigger: 7/3 or p?
7/3
Let y = -1.4 + 1.3. Which is bigger: 2/11 or y?
2/11
Suppose 3*r = 2*z - 2, -z + 2*r = -5*z - 12. Let p be 25/10 + z/1. Which is smaller: p or -0.2?
-0.2
Let g(y) = -y + 11. Let j = 16 - 5. Let l be g(j). Which is smaller: l or -2/13?
-2/13
Let u = -0.3 + 0.5. Let g be -2 - (9 + -7 - 13/3). Which is bigger: u or g?
g
Let w be (4/(-516))/((-5 + 2)/27). Which is smaller: -1 or w?
-1
Let v be -1*(-4 - -3)*0. Which is smaller: v or -2/5?
-2/5
Let s = -0.1 + 0.1. Let h = 4.8 + -0.8. Are s and h nonequal?
True
Suppose 0 = i + l + 3, -4*i - 1 = 2*l + 3. Is -0.4 less than or equal to i?
True
Let v = 3 - 9. Let d = v - -5.8. Is d <= -2?
False
Let i be ((-10)/(-15))/((-4)/6). Are 1/3 and i nonequal?
True
Suppose -5*f = -5*o - 10, 4*f + 0 = 8. Which is greater: 4/83 or o?
4/83
Let a(t) = 4*t**2 + 7*t + 6. Let y(p) = -p**2 - p - 1. Let w(h) = -a(h) - 5*y(h). Let r be w(3). Let c be (r/(-2) - -2)*-1. Which is bigger: 1 or c?
1
Suppose 0*d = 2*d - 1536. Let m be (d/(-99))/(-4) + -2. Which is smaller: m or 1?
m
Let i = 24.4 + -24. Which is smaller: i or -2?
-2
Suppose w - 5 = -0*w. Suppose -2*u - w - 3 = -4*k, -13 = -3*k + 5*u. Which is bigger: k or -2/17?
k
Suppose -3 - 7 = -2*g. Which is smaller: 4 or g?
4
Suppose 0 = 5*p + 16 + 14. Let w be (15/25)/(p/(-4)). Which is smaller: 1/2 or w?
w
Let h = 45 + -404/9. Is -2 >= h?
False
Suppose 2*t - 3 + 5 = 0. Let l = -1505/13 - -116. Is t less than l?
True
Let b be 2 + 0 - (-16 - 6). Which is smaller: b or 25?
b
Let l = -11.8 - 0.2. Let g = -8 - l. Is g < 1?
False
Let t = 3.2 - 3. Let i be 1/(-3)*(-5)/((-120)/8). Are t and i equal?
False
Let j be (16/(-20))/(2/55). Let v = -22 - j. Which is greater: v or -20?
v
Let h be ((-109)/(-177))/((-2)/2). Let p = h - 3/59. Is p equal to -2?
False
Let m = -139/2 + 69. Let u be 2/((0 - -1) + 0). Let z be (-5 + u + 2)/1. Which is smaller: m or z?
z
Let d = -0.185 - -0.385. Let k = -3 - -2.9. Is k bigger than d?
False
Let m = 24 - 24. Is m > -0.23?
True
Let c(r) = r**2 - 2*r + 1. Let x be c(0). Which is bigger: -1/12 or x?
x
Let w(c) = -c**2 + 13*c - 20. Let o be w(11). Is o greater than 4?
False
Let a = 6 - 9. Let n = -4 - -2. Is n smaller than a?
False
Let a be ((-5)/4 - -4) + -1. Which is smaller: a or 2?
a
Let h = -1628/3 - -27613/51. Which is smaller: -1 or h?
h
Let r(a) be the first derivative of a**3/3 - 3*a**2/2 - 4*a + 3. Let u be r(4). Which is bigger: 4/3 or u?
4/3
Let c = 2 - -1. Let l = -1 + c. Suppose -j = j - w + l, 4*w = -4*j - 4. Is -1 at most j?
True
Let c = -7 + 11. Suppose -2*d + c = -38. Suppose 0 = 5*y + 4*h - d, 5*y - 2*h + 1 = -2. Is 2 >= y?
True
Let d be (6/7)/(-1 - -5). Which is bigger: d or -1?
d
Let l be (-518)/(-7) + 1/(-1). Let t = 217/3 - l. Which is smaller: 2/3 or t?
t
Let s = -111 - -1227/11. Suppose 4*x = x + 6. Which is bigger: s or x?
x
Suppose -z + 0*z = 4. Let h be 18/z*28/21. Is h at least -6?
True
Let b = 146 + -115. Which is smaller: 32 or b?
b
Let a = -149/8 - -1115/56. Does 2 = a?
False
Let b be ((-3)/(-8))/(126/(-12)). Let y = b + 2/7. Which is smaller: -2/5 or y?
-2/5
Let s = 6 - 4. Suppose -s*v - 2 = -0*v. Are v and -1 equal?
True
Let d = 21 + -22. Is 3 != d?
True
Let g(z) = 5*z**3 - 2*z + 1. Let t be g(1). Suppose -2*s + l = 3, -3*s + 0 = -2*l + t. Is s less than -3?
False
Let l = -0.24 + 0.03. Is l < 0?
True
Let k = 10 + -1. Let i = 8.9 - k. I