t u = x - 812/15. Which is bigger: -2 or u?
u
Let p = -41 + 66. Suppose 0 = 2*s + 2*s + 5*w + p, -20 = 4*w. Does 1 = s?
False
Let g(v) = v + 1. Let n be g(1). Let s(l) = -20*l - 2. Let c be s(-1). Let k be (c/(-12))/((-15)/8). Which is bigger: k or n?
n
Let d = -2371/8 - -296. Which is bigger: d or -1/4?
-1/4
Let b = -7 + 8. Suppose 4*z = -1 - 3. Which is greater: b or z?
b
Let v(d) be the second derivative of -d**5/20 - 7*d**4/12 - 2*d**3/3 + 4*d**2 - 4*d. Let h be (-4 - 0 - 0) + -2. Let b be v(h). Which is smaller: b or -3?
b
Suppose -k = -4*k. Suppose -3*d + d + 2 = 4*z, -5*z + 5*d + 10 = k. Let l(b) = -b**3 + 7*b**2 + 8*b. Let g be l(8). Is z != g?
True
Let r be 1*(-2 - (-5274)/33). Let n = -158 + r. Let y = 0 - -1. Which is bigger: n or y?
y
Let i = -21 - -22.9. Let k = 0.1 + i. Is k less than or equal to -1?
False
Suppose -2*h - 14 + 4 = 0, 2*k + 13 = 3*h. Let n = 38/3 + k. Is 0 greater than or equal to n?
True
Let v = -0.2 - 0.8. Let u be 0/1 + (7 - 5). Is u less than v?
False
Let s = -94 + 93. Is s < 44?
True
Let c(n) = 6*n**3 - 3. Let s(j) = -5*j**3 - j**2 + j + 4. Let v(a) = 3*c(a) + 2*s(a). Let f be v(1). Is f bigger than 7?
False
Let w = 168/445 - -2/89. Which is bigger: -1 or w?
w
Let r = 6 + -5.9. Let p = -0.04 + 0.14. Is r less than p?
False
Let r(f) = f**3 - 8*f**2 - f + 11. Let q(x) = x**2 + 9*x - 14. Let m be q(-11). Let v be r(m). Which is smaller: 2 or v?
2
Let h(z) = 2*z + 3. Let o = -16 + 11. Let b be h(o). Suppose 18*t + 112 = 4*t. Is t <= b?
True
Let o = 2 - 3. Let a = 4.6 - 2.6. Which is smaller: a or o?
o
Let x = -5.08 - 0.92. Let z = 16 + -18.1. Let y = z - -2. Which is bigger: x or y?
y
Let d be (-53)/(-18) + 4 + -7. Which is bigger: d or -1?
d
Let d = -4.244 + -0.056. Let x = d + 4. Let h = -0.4 - x. Is -1 < h?
True
Let g = 0.3 + -0.5. Let j = -3 + 2.7. Let o = g - j. Is -0.3 greater than or equal to o?
False
Suppose w = -7*w - 200. Does w = -25?
True
Let w = 1 - 5. Which is greater: w or 0?
0
Let l(k) = k**3 - 6*k**2 - 6*k - 2. Let p(x) = -4*x - 1. Let c be p(-2). Let o be l(c). Suppose 0*y - 7 = y - 3*t, -o*y - 11 = -3*t. Is y at least as big as -1?
True
Let o be 1 + -2 + 1 + 0. Let r(y) = 2*y - 11. Let s be r(8). Suppose j + 2*i = 7*i - 4, 4*i = -s*j + 9. Which is smaller: j or o?
o
Let c = -2.9 + 3. Is 9 at most c?
False
Let x = -20 + 36. Is x >= 16?
True
Suppose 5*u = 4*y - 23, 4 = 3*y + 4*u + 10. Let n = 4 - 1. Which is smaller: n or y?
y
Suppose 3*o - 7*o - 12 = 0. Let y be o/(-3) - (-7)/(-5). Which is smaller: y or 2/9?
y
Suppose -20 = 5*z + 5*f, -4*z = -4*f + 2*f + 22. Which is bigger: -2 or z?
-2
Let i = -13/76 + 1005/988. Which is smaller: i or 0?
0
Let o be (-522)/(-7) + (90/14 - 6). Is o at most 77?
True
Let q = -8 + 3. Does -5 = q?
True
Let q = -6 + 4. Let t be q - (32/7)/(-2). Let h = 4.85 + -1.85. Which is smaller: h or t?
t
Let c be 9/18 + 10/(-4). Let z = -0.42 + -2.68. Let d = z + 3. Is c < d?
True
Let u = 66.4 - 66. Which is bigger: -0.1 or u?
u
Let h(z) = z**2 - 10*z + 9. Let s be h(9). Suppose s = 4*y + 6 + 6. Let p = -5/2 + 29/10. Which is smaller: p or y?
y
Let h be (-39)/((-129)/12 + 4). Does 7 = h?
False
Let u = 1.89 - 4.93. Let f = u - -0.04. Is f < -0.1?
True
Let z be ((-4)/6*1)/(6/(-396)). Which is greater: 45 or z?
45
Suppose 2*m - 2*p = 2, -5*m + p = -2*m + 7. Let u be ((-6)/4)/((-3)/22). Let q(a) = -a + 6. Let s be q(u). Is m smaller than s?
False
Let a be 9/(-54) + 7/6. Let p = 3.1 - -0.1. Let i = -3 + p. Is a < i?
False
Let c = 15 - 13. Is 0.19 greater than or equal to c?
False
Let s be (-2)/(-11) - (-1 + 1). Let h be (-18 + -4)*(-2)/(-4). Let a = h + 10. Which is bigger: a or s?
s
Suppose 0*b = c - b - 7, 3*b + 15 = 0. Which is greater: c or 26?
26
Let l(g) = -g**3 - 9*g**2 - 10*g - 1. Let m be l(-5). Which is bigger: m or -50?
-50
Let u = -0.031 - -0.421. Let l = u + -0.19. Which is smaller: l or 2?
l
Suppose 0 = -3*n - 2*n + 4*k - 22, -2*k + 2 = 2*n. Let b be (-5)/(-1 + n + 2). Suppose 5*o + b*r + 0*r = 30, 20 = 5*o - 5*r. Do 6 and o have different values?
True
Suppose -n - 5*p - 1 = 0, -p = -2*n - 4 - 9. Let g be n/14 + (-2)/(-21). Which is smaller: 5 or g?
g
Let x = 187/4 - 95/2. Which is greater: x or 1/5?
1/5
Suppose 3*q - 120 = q. Suppose -9*f + q = -13*f. Which is smaller: f or -14?
f
Suppose -4*v = 2 - 18. Suppose -2*y + 2*q = y - 38, v*y - 51 = 3*q. Is 13 greater than y?
True
Let k = 76 + -75. Which is bigger: k or 4/13?
k
Suppose -23*t + 12 = -19*t. Which is greater: t or 2?
t
Let r(s) = s + 5 - 3*s + s. Let f be (-1 - -4)*21/9. Let w be r(f). Does -1/2 = w?
False
Let m be (-67194)/6*1/(-11). Let r = 1019 - m. Which is smaller: 1 or r?
r
Let j = 12 + -22. Let o = j + 3. Is o at least as big as -6?
False
Let c = 2 + -2. Which is greater: c or 0.4?
0.4
Let h = 6 - 9. Let z(n) = -n**3 - 2*n**2 - n. Let g be z(-1). Let t be -1*(g/(-2))/h. Which is smaller: t or -2/9?
-2/9
Let p = 45 - 768/17. Is p at least 1?
False
Suppose 3*f + k + 8 = -f, -3*f - 6 = -k. Suppose 0 = -3*r + 5*v - v - 11, -5*r + 4*v = 5. Which is smaller: f or r?
f
Let s = -0.23 - 0.87. Let f = 7.1 + s. Let w = 6 - f. Is -2 at least w?
False
Let c(m) = m**2 - 4*m - 11. Let t be c(6). Do t and 1/5 have different values?
True
Let p(v) = -v**2 + 9*v + 6. Suppose -z + 36 = 3*z. Let k be p(z). Do 1 and k have the same value?
False
Let f(l) = -l**3 - 6*l**2 - 6*l + 2. Let k be f(-5). Suppose -w + 2*n = -3, 5*w + 3*n = 2*n - k. Let o(v) = v**3 + 6*v**2 - v - 6. Let q be o(-6). Is q <= w?
False
Let s = 0.352 + 0.018. Let n = s - -0.13. Which is smaller: -0.3 or n?
-0.3
Suppose 10*c = 5*c, -4*u - 12 = 3*c. Let z = u + 1. Let l = -1 + z. Is -2 smaller than l?
False
Let h = 86 + -89.35. Let n = 0.75 - h. Let j = 4 - n. Do -0.2 and j have the same value?
False
Let y = -3 - 11. Let x be 12/42 + 4/y. Suppose x = 2*j + j - 6. Is 1 at least j?
False
Suppose 5*s + 13 = 3*r + 30, 2*s - 4*r = 18. Let g = s - 1. Let y(c) = -c + 2. Let i be y(g). Is 1 greater than i?
False
Suppose -23 = 4*z - 6*h + 3*h, 13 = z + 3*h. Let w be (7/z)/((-1)/2). Is 8 > w?
True
Let g be (3/2)/((-3)/16). Let m be 2/g*(-5 - -3). Which is smaller: 2 or m?
m
Suppose -4*q + k + 27 = 0, -q + 2*k + 0*k + 5 = 0. Let v = 7 - q. Which is bigger: 2/13 or v?
2/13
Let r be 1/5*-11 - -2. Suppose -3 = -2*h + h - o, 9 = -3*o. Suppose -h*l + l = 5. Which is bigger: r or l?
r
Let w = 5 + -5. Suppose -v - v = w. Is v greater than or equal to 0?
True
Let s be -1 - (2 - 50)/4. Is s < 9?
False
Let d = 2314/7 - 330. Let c(g) = 16*g + 82. Let j be c(-5). Is j bigger than d?
True
Suppose -r + 0 = 3*q - 6, -4*r - 27 = -5*q. Let c = 1 - r. Let l be 5/2 - 2/c. Is l less than or equal to 2?
True
Suppose -18 = -2*m - 4*t, 20 = 2*m + t + 4*t. Suppose m = -3*z - 4. Suppose -5*i + 2*o + o = 24, -18 = 4*i - 2*o. Is z at least as big as i?
True
Let m be (-137)/15 - -4 - 4/(-30). Is -15/4 smaller than m?
False
Let h be (16/(-84)*-6)/2. Suppose 3*r + 2*r + 35 = 0. Let n(d) = d**2 + 6*d - 6. Let j be n(r). Which is smaller: j or h?
h
Let h = -9 + 9. Which is smaller: 13 or h?
h
Suppose l - 5*o - 2 = 0, -3*o - 1 = 2. Which is bigger: -7 or l?
l
Let c = -8 + 4. Let g be (-5)/(50/c)*-5. Let b be (-6)/15 - g/5. Are -0.1 and b unequal?
True
Let v(r) = -r**3 + 8*r**2 - 7*r + 1. Let y = -2 + 7. Suppose -b + y = -2. Let q be v(b). Is q <= 1/3?
False
Suppose 3*q - 16 = 4*l, 2*q - 21 = 5*l - 2*q. Let x = 0.1 - 0.2. Is x < l?
False
Let k(v) = 2*v + 13. Let s be k(-7). Suppose x = -3*l - 23, 5*l - x = 3*l - 17. Let i be l/(-9)*(-2)/(-8). Are i and s unequal?
True
Let b be (-3 + 1)*2/4. Let g(y) = 10*y - 1. Let x be g(6). Let t = x + -412/7. Which is greater: t or b?
t
Let d = 17/42 + -1/14. Suppose -10 - 15 = -5*g. Suppose -3*m + g*w + 12 = 0, 4*m = 2*w - 3*w - 7. Which is greater: d or m?
d
Let f = 0.11 + -6.11. Let u(m) = m**2 - 5*m + 1. Let a be u(5). Which is bigger: f or a?
a
Suppose -5*o = -213 - 7. Is 44 smaller than o?
False
Let s(h) = 2*h + 6. Let g be s(-4). Let u(f) be the third derivative of f**5/60 - 7*f**4/24 - f**3/2 + f**2. Let r be u(7). Is g less than r?
False
Let v(z) = z + 6. Let j(i) = -i - 6. Let r(g) = 6*j(g) + 5*v(g). Let o be r(-6). Suppose 5*d - 4*d = o. Is d equal to -0.1?
False
Suppose -4*c + 11 = -2*z + 53, z = -4*c - 3. Is z greater than or equal to 16?
False
Let q