 0 - 1 - (2 - 5). Let t be v/(-1)*3/(-24). Which is smaller: t or -0.2?
-0.2
Let c(p) = 5*p**2 + 2*p + 1. Let k be c(-1). Let d = 0 + 0. Suppose d*x - k*x = -8. Is 3 not equal to x?
True
Let y = -29 + 59. Suppose 0 = 2*x - 7*x - y. Is -4 smaller than x?
False
Let n(l) = l**2 - 12*l - 8. Let y be n(12). Let g(b) = b**3 + 8*b**2 + 1. Let k be g(y). Is k at least -1/6?
True
Let l = -2.88 + 0.08. Let v = l + 2.4. Which is smaller: v or -1/2?
-1/2
Suppose -12 = -4*o - 4. Are 2 and o non-equal?
False
Let s be (-250)/8 + 2/(-8). Let v = -31 - s. Is 0 less than or equal to v?
True
Let y = 269 + -270. Let j = 0.1 + -1.1. Let n = 0 + j. Does y = n?
True
Let k = -19.9 - 3.1. Which is bigger: 0 or k?
0
Let l = 1.2 + -1.4. Is l less than 1.5?
True
Let d = -6/217 - -2777/14105. Let m = -305/1378 + -1/106. Let q = m - d. Is 1 at least q?
True
Let r(k) = k - 5. Let u be (-2)/(4/1)*-8. Let b be r(u). Let m be 1/((-3)/(-9)) - 5. Which is smaller: b or m?
m
Suppose 5*d + r = -10, -3*r - 12 = 3. Let w be (1/(-7))/(5/(-25)). Is d less than w?
True
Suppose -5*n = -10, -14 + 0 = -2*r - 5*n. Let t(m) = m - 5. Let s be t(3). Let b be (-2)/s*(3 - 0). Is r > b?
False
Suppose 70 = 10*m - 10. Which is smaller: m or 12?
m
Suppose -4*u + 2*u = 34. Is u bigger than -63/4?
False
Let r be (-2 - -1)/(1/(-3)). Suppose -4*b = -b - 6. Suppose r*w - 7 - b = 0. Is w at most 4?
True
Let s = 0 - 1. Let n(r) = r**3 + 3*r**2 + r + 4. Let x be n(-3). Let d be x*s + (-3 - -2). Is -4 smaller than d?
True
Let j be (((-22)/12)/(-11))/(1/2). Which is bigger: -1.9 or j?
j
Let y = 5 + -8. Let o = y + 3. Let n = 0 - o. Which is bigger: n or 1/3?
1/3
Let z = 11 + -16. Let a = z - -1. Which is smaller: -2 or a?
a
Let c = -17 - -11. Let l(g) = -g**2 - 5*g - 4. Let u(r) = -4*r**2 - 19*r - 15. Let h(v) = 9*l(v) - 2*u(v). Let z be h(c). Is 0 greater than z?
False
Let v(k) = -k**3 - k**2 + 4*k + 4. Let w be v(-3). Let x be (w/16)/((-4)/(-16)). Suppose 0 = -3*a - 3*c, 3*a - 14 = 3*c - 2. Which is smaller: x or a?
a
Let l = 0.3 - 1.3. Let b = l - -0.3. Let d = 302 - 303. Which is smaller: b or d?
d
Suppose 5*f - 40 = -a, -f = -4 - 0. Suppose -3*p = -a - 1. Which is greater: p or -1?
p
Suppose 16*u - 18*u - 18 = 0. Let g = -21 - -14. Do g and u have the same value?
False
Let a = 50 + -301/6. Are -8 and a nonequal?
True
Suppose -2*y + 4*y = 3*j - 3, -5*y = 2*j - 2. Is j at least as big as -0.06?
True
Let u(x) = x - 1. Let r be u(-3). Let g be (-6)/(3/(-1)) - 8. Let l be (-3)/g + 2/r. Which is bigger: l or -2/3?
l
Let f(m) = m**2 - m. Let t be f(4). Suppose -9*s - 6 = -t*s. Is 2 >= s?
True
Let n be (-3)/6 + 17/34. Which is smaller: 1/74 or n?
n
Let t be 9/(-626)*(-3688)/6. Let m = -702101/11268 + t. Let w = m - -213/4. Which is smaller: 0 or w?
w
Let n = 35/3 + -12. Are n and -1/3 non-equal?
False
Suppose 5*f - 1 = 4*f. Let j be (f - 6/4) + 1. Suppose 2*t = 2*y, 0*y + t - 8 = -3*y. Which is smaller: j or y?
j
Let o = -4084/19 - -215. Which is smaller: 1 or o?
o
Let q(s) = -1 - 2*s**2 - 2 - 4*s + s**2. Let j be q(-4). Which is smaller: j or 0?
j
Suppose -2 = -b - 0*b. Let h = 15 - 14. Which is smaller: b or h?
h
Suppose -35 = 3*l + 2*l - y, -2*l + 2*y = 22. Is l greater than -5?
False
Let u = 10 + 2. Let p = -11.94 + u. Is p at most 0.1?
True
Let b = 0.3 + -1.3. Let o = -39 - -60. Let i = o + -21.3. Which is smaller: b or i?
b
Let v = 267 + -230. Is 2 smaller than v?
True
Let o be -3*((-26)/(-6) - 3). Let c = o - -10. Suppose -3*h = 2*q - h - c, 5*q - 4*h + 12 = 0. Is 2/11 not equal to q?
True
Let f be ((-8)/2)/(-3 + 1). Suppose 0*n + f*n = 0. Suppose n = -4*m - m. Which is bigger: m or -2?
m
Let z = 107041/5 - 21210. Let l = -197 + z. Are 1 and l equal?
False
Let h = 0 - 0. Let n be (h + -1)/(1/3). Let z be (-1)/7*(n - 1). Which is bigger: z or 1?
1
Let x = 2/35 - -171/70. Which is smaller: 0.1 or x?
0.1
Suppose 3*q = -5*f - 26 - 2, -2*q - 2*f - 12 = 0. Which is smaller: q or -2/191?
q
Let o = -0.9 - -1. Suppose 0 = -4*m + 3*c + 17, 2*c - 5*c - 19 = -5*m. Let q be -2 - (2/5 - m). Do o and q have the same value?
False
Let h = -6/25 + 26/25. Suppose -6*v + 9*v - 6 = 0. Is v > h?
True
Let n = 1.2 + -0.2. Let h = n - 0. Let k(y) = y - 2. Let r be k(2). Are h and r nonequal?
True
Let a be (4/(-6))/((-5)/(-30)). Which is greater: -1 or a?
-1
Let s be (18/63)/((-1)/(-14)). Suppose -2*v + s*l = -22, l = -2*v + 3*v - 11. Is 11 > v?
False
Let b = -47 - -51. Let v = 6 + -4. Suppose 2*s - v = 4. Which is bigger: s or b?
b
Let a be (4 - 1)*8 + 1. Is 25 greater than a?
False
Let a = -344 + 346.07. Let j = -0.07 + a. Let b = j + -2.4. Which is greater: 1 or b?
1
Let u(i) be the first derivative of i**2/2 + 10*i - 2. Let x be u(-5). Suppose 0*n + 2*n - x*q + 25 = 0, 4*n = 5*q - 25. Which is smaller: -1/11 or n?
-1/11
Let u(l) be the first derivative of -4*l**3/3 + l**2/2 + 4. Let i be u(1). Is i less than or equal to -3?
True
Let t = 9.2 - 0.2. Let w = -10 + t. Are w and -0.1 equal?
False
Let v(p) = 2*p**2 + 8*p + 9. Let f be v(-4). Which is greater: f or 7?
f
Suppose 0 = -5*h + 2 + 3. Is 2/25 bigger than h?
False
Let d = 49/52 + -9/13. Suppose -5*o = -3*o. Which is smaller: d or o?
o
Let u(j) = -2*j**2 - 2*j - 1. Let z be u(-1). Let k be 119/35 - (-6)/(-2). Is k less than z?
False
Let m be (-3)/(1*(-1 - -2)). Let b be (-2)/m - (-1)/3. Let r be b/(-4) + (-45)/(-84). Which is bigger: r or 2?
2
Let v = -16 - -12. Let c(s) = -s**3 - 6*s**2 + 7*s - 5. Let d be c(-7). Which is smaller: d or v?
d
Suppose 5*o - 2*i = 6, -3*i - 3 - 1 = -5*o. Suppose -d - 5*k = -26, o*k = -5*d + 15 - 0. Is 2/17 bigger than d?
False
Let r be 0/10 - (24 + 1). Let g be (2/(-5))/((-20)/r). Let q = -3 + 3.4. Which is smaller: g or q?
g
Let q(d) = -d - 8. Let z be q(-9). Let j be 0/(3/z - 1). Suppose j = -2*r + 7*r. Which is bigger: 2 or r?
2
Let c = 33 - 31. Is c smaller than 3?
True
Let a(r) = -r**2 - 15*r - 7. Let z be a(-14). Is z < 7?
False
Let o = -14 - -25. Let j be -2 + o*3/15. Which is greater: -0.1 or j?
j
Suppose -8*r + 3*r = 2*l - 9, 0 = -r - 2*l + 5. Is 6 <= r?
False
Let g = 0 + 2. Let r = g - 1. Let c = r - 0.9. Is c smaller than -0.4?
False
Suppose 0 = 4*p - 3*p. Let l be ((-3)/6)/1*-1. Is p >= l?
False
Let i(a) = -a**2 + 5*a + 1. Let p = -8 - -18. Let m be 12/3*p/8. Let q be i(m). Is q >= -2/7?
True
Let s be 30/(-6) - (-789)/159. Which is bigger: s or -1?
s
Let n(g) = -g**3 - 7*g**2 - 7*g - 3. Let a be n(-6). Let h be ((-1)/a)/((-5)/(-75)). Which is greater: -11/2 or h?
h
Let o = 51.56 - 52. Which is bigger: o or -1?
o
Suppose 0*q + 3*q = 24. Let z = 4 - q. Let v be (3 + z)/(4/(-6)). Do 1 and v have the same value?
False
Suppose 12 = -5*x + 2*x. Let b be 21/(-11)*x/(-12). Let m = b - -24/55. Which is bigger: 1 or m?
1
Suppose -7*a + 5*w = -3*a - 15, -5*a + 23 = -2*w. Is 3 < a?
True
Let y(x) = -x + 3. Let d be y(0). Which is smaller: d or 4?
d
Let r = -31 + 34. Is r at least 2?
True
Suppose -2*v = 2 + 2. Let y be (-1)/((-4)/v - 1). Let c = 158 - 158. Which is smaller: y or c?
y
Let o(z) = 0 + 2*z - 2*z - z - 5. Let v be o(-9). Is 3 smaller than v?
True
Suppose -12*u - 2 = -13*u. Let b be (0 + -1)*(-3)/6. Are b and u equal?
False
Suppose 3*f - 246 + 72 = 0. Let c = f - 34. Let b be c/(-15) + 1 + 1. Which is greater: b or 2?
2
Suppose 0 = -w + 4*p + 10, -3*p - 2 = -2*p. Suppose -5*n = 25 - 5. Let g be (-3)/(n/((-16)/(-6))). Is w <= g?
True
Let q = 8 + -11. Let c be (q - 2) + 1 + 2. Let n be (4/c)/(-2)*1. Which is smaller: n or -1/4?
-1/4
Let u = 760669/10 + -75938. Let j be 3 + -3 + 0 - -129. Let r = u - j. Is 0 <= r?
False
Suppose -m - 5*i = -i - 4, m + i - 1 = 0. Let v(s) = s**3 + 4*s**2 - s - 2. Let x be v(-4). Is x smaller than m?
False
Let g = -200887/11 + 18275. Let a = g - 1772/143. Is -0.1 less than or equal to a?
True
Let t(c) = -c**2 + 6*c + 2. Let o(s) = s**3 - 7*s**2 + s - 1. Let y be o(7). Let b be t(y). Let u = -6 + b. Which is smaller: u or -2?
u
Let g = -59 - -129. Let o be 74/g + (0 - 1). Are o and 0 equal?
False
Let g be 415/25 - (-4)/10. Suppose -g + 2 = u - 5*w, 27 = 3*u + 3*w. Suppose 0*k + 2*k - d = -3, 13 = -4*k - u*d. Is -3 at most k?
True
Suppose f = -0 + 3. Is 6 smaller than f?
False
Let h(q) = -q**3 + 4*q**2 + 4. Let g be h(4). Which is bigger: g or -1?
g
Let i = -0.1 + 0.3. Let l = -0.15 - -1.75. Let z = l - 