 + 8*x = 6*x. Let b = -6 - -49/8. Which is smaller: x or b?
x
Let k = 0 + -0.1. Let h = 0.03 + 0.02. Let x = h + -2.05. Which is bigger: x or k?
k
Let r = -0.8 + -0.2. Which is smaller: 2/5 or r?
r
Suppose 45 = 5*c - 55. Suppose -a - 3*a + c = 0. Suppose -a*d + 3*j = 0, 4*d - d = 4*j - 11. Is d at least as big as 3/2?
True
Let b = 0.24 + -0.54. Let a be -1 + 1 + 4/(-6). Is b at least as big as a?
True
Suppose -4*j = -2 - 2. Let k be ((-7)/28)/((-34)/(-16)). Which is greater: k or j?
j
Let j be 2/204*(-2)/(-1). Let c = -51710189/714 - -144847/2. Let w = j + c. Is w greater than or equal to 0?
True
Let w = 65 + -18. Is 47 smaller than w?
False
Let a = -36/7 + 583/112. Which is greater: a or 0?
a
Let t(w) = 6*w - 1. Suppose 2*d = 5*b - 23, 5*b - 13 = -3*d + 15. Let a be t(d). Suppose 0*x = a*x. Is 0 equal to x?
True
Let k = 201 - 1009/5. Suppose 5*n = -4*j + 16, -2*n - 18 = -2*j - 7*n. Is k != j?
True
Suppose -25 = -b - 0*b. Let i = -76/3 + b. Which is smaller: -6 or i?
-6
Suppose 0*q - 4 = -2*q, 0 = o + 4*q - 12. Suppose -3*r - o = -4*w - 7*r, 0 = 2*w - 4*r + 4. Are 1 and w non-equal?
True
Let v(x) = -x + 10. Let s be v(8). Suppose 0 = -s*y + 8 - 2. Suppose -5*c - y = -8. Is c > 1/3?
True
Let i = 14 - 8. Let h = 0.062 + -0.062. Which is smaller: i or h?
h
Suppose -6*s = -s - 15. Suppose -4*r + s*j + 13 = 0, -1 + 2 = -2*r - j. Is 2 bigger than r?
True
Suppose -4*l - 8 = 32. Is -10 less than or equal to l?
True
Let a = 12539 + -63192/5. Let p = 99 + a. Is 0 smaller than p?
False
Let k = 72.6 + -73. Which is greater: -1/3 or k?
-1/3
Let p = -15.9 + 16. Let y = -0.2 - -0.2. Is y bigger than p?
False
Let h = 48 + -67. Which is bigger: h or -18?
-18
Let v = -0.1 + -4.9. Let x = v - -5.4. Let l = x + -0.4. Do 3 and l have the same value?
False
Let r = -123/17 - -10561/1462. Let h = 179/602 + r. Let x = -1.5 + 1.5. Is h < x?
False
Suppose -5*o = 2*y - 28 - 4, o = -y + 10. Suppose 0 = -3*j - p + 14, -4*p - 6 = 5*j - 20. Is j > y?
False
Let w(n) = n - 1. Let g be w(0). Let o be (4 + -5)*1/(-3)*1. Which is smaller: g or o?
g
Let p(n) = 217*n**3 + 2*n**2 - n. Let i be p(1). Let u = i + -5884/27. Is 0 at least as big as u?
False
Let w = -3 - -5. Are -14 and w unequal?
True
Let y(f) = -f**2 - f + 1. Let b(o) = -9*o**2 - 2*o + 3. Let n(a) = -b(a) + 2*y(a). Let l be n(1). Which is bigger: l or 8?
8
Suppose 3*q - 15 = -2*q. Let k = 7 - q. Let t be k/10 - 8/(-5). Which is smaller: t or 1?
1
Let w be -2 - 0 - (-115)/60. Let q = -26 - -25. Is q < w?
True
Let r(v) = 6*v - 3*v + v + 2. Let s be r(2). Let n be 4/s + 44/(-10). Which is smaller: -2 or n?
n
Suppose 5*u + 14 = 4. Is 1/5 greater than u?
True
Let w = -19 + 20. Is w at least as big as -0.2?
True
Let o(v) = 4*v + 11. Let f be o(-3). Is f bigger than -3?
True
Let l be ((-12)/(-15))/(4/10). Let i be (-254)/(-42) - l/6. Let z = -38/7 + i. Which is bigger: -2 or z?
z
Let j be (-16)/6 + 1 + 0. Let p be 6/(-15) + (-9)/15. Which is bigger: p or j?
p
Let a(d) = 2*d + 4. Let b be 2 + -4 + 2/(-2). Let f be a(b). Let w be 0*((-5)/(-2) + f). Which is bigger: 1/2 or w?
1/2
Let a be (-2)/(-6) - (-2649)/(-63). Let m = a + 42. Does m = -1?
False
Suppose -5*g + g - 9 = 3*w, 2*w - 17 = 5*g. Suppose 0*k + 4*r + 6 = k, k = 5*r + 7. Suppose k*b = b - w. Which is bigger: b or 1/4?
1/4
Let t be ((-9)/(-6))/((-381)/(-8)). Let n = -2356/383 + 2581838/437769. Let h = n + t. Which is bigger: -0.1 or h?
-0.1
Let z = -775/2856 - -13/56. Are -1 and z nonequal?
True
Let t = 16.9 - 18. Let x = t - -9.1. Let f = x + -7. Are 1 and f equal?
True
Suppose -2*h - 4 + 0 = 0. Suppose 16*n + 4 = 20*n. Is n equal to h?
False
Let i be (-12)/(-10)*(-40)/3. Which is smaller: i or -15?
i
Suppose p = z + 1, 0*p + p + 15 = -3*z. Which is bigger: p or -2?
-2
Let g(n) = -n**2 + 7*n + 2. Let m be g(8). Let x = -23/4 - m. Let f = -0.6 + 0.3. Which is bigger: f or x?
x
Let l be (-3*1 + 1)/11. Let z = 29 + -28. Is z <= l?
False
Let g = 1/41 + -44/123. Suppose -3*o = -6*o. Suppose -2*r - 3*r = o. Which is smaller: r or g?
g
Let w = 30.3 - 22.42. Let f = w - -0.12. Is -1/2 greater than f?
False
Suppose 5*p = -g - 10, g - 40 = 5*g - 2*p. Is g at most -12?
False
Let k be (-3 - -1) + -1 + 3. Suppose k*w = 2*w. Let b = -55 + 56. Which is smaller: w or b?
w
Let m be 2/7 + 176/(-77). Which is smaller: -3 or m?
-3
Let t = -20 - -39/2. Let n = 4.7 - 0.7. Let v = -4.1 + n. Is v greater than t?
True
Let c(n) = -5*n. Let y be c(-1). Suppose h = y*h. Which is greater: h or 1?
1
Let r = 2 - -13. Suppose 3*y + r = -2*y. Is y smaller than -8/3?
True
Suppose 5*j = 10*j - 90. Is j smaller than 19?
True
Suppose q + 2 + 0 = -2*p, 3 = -p. Let r = q + 7. Suppose -6*j + r*j = 20. Is j at least as big as 5?
False
Let k = -3.3 - -0.6. Which is bigger: k or 1?
1
Let s = 640 - 48001/75. Which is greater: 0 or s?
0
Suppose 3*q = 3 - 0. Let m be (-3 + 2)*q/1. Which is smaller: m or 5?
m
Let v = -153 - -1381/9. Which is greater: 6 or v?
6
Let q = -3 + 6. Suppose -9 = 3*b - 3*h, -12 - 1 = -b - q*h. Is b equal to -3?
False
Let q be (-22)/(-7) - 2/14. Suppose 5*i = 2*b + 6, 0*b + q*i = -3*b - 30. Which is smaller: b or -6?
b
Suppose 0 = q - 0 - 3. Let m(x) = -1 + q - x**2 + 0*x - 2*x. Let p be m(-3). Which is smaller: p or -2?
-2
Let u = -0.26 - 1.44. Let b = u - -2. Let z = -0.7 - b. Is z greater than 3/5?
False
Suppose h = -4*h + 10. Suppose 3*r - 6 = -c, -h*r - 1 + 5 = 2*c. Is r != 2?
False
Suppose 0 = -f - 2*a - 4, 0 = -0*f - 4*f - a - 2. Suppose 5*p + 14 = 74. Let z be 27/p - (2 + 0). Which is smaller: f or z?
f
Let a = -42 - -284/7. Is a less than or equal to 0?
True
Let g = 6 - 8. Let o = -1.6 - -0.6. Let u = o - g. Which is bigger: 0 or u?
u
Let p = 22 - -10. Is p greater than or equal to 32?
True
Let a(u) = u**2 + 4*u + 6. Let h be a(-6). Let x be (-14)/(-12) + (-9)/h. Which is smaller: 2 or x?
x
Let o = -6.74 - -0.84. Let b = -6 - o. Is -0.1 <= b?
True
Suppose -3*a + 5 = -4. Suppose 5*h = a*p - 13, -4*h = 4*p + h + 6. Is p greater than or equal to -2/13?
True
Let h = -15 - -23. Which is smaller: 7 or h?
7
Let m = -4 + -2. Let j = -0.08 + 4.08. Let r = j + m. Is -1/3 bigger than r?
True
Let a = -0.05 + 0.09. Let k = -0.02 - a. Let i = 0.24 - k. Is i <= -2?
False
Let f be (-1)/((-4)/(48*1)). Let m be (4/f)/(3/18). Are m and 12/5 equal?
False
Let r be (-41022)/105 - 1 - -2. Let o = r + 2165/7. Let t = -80 - o. Which is bigger: t or -0.1?
t
Let d(i) = -i**2 + 11*i - 6. Let c be d(16). Is c >= -86?
True
Let n = 26 - 133/5. Let t = 1 + -1. Is n smaller than t?
True
Suppose -5*m + 2 = -z - 0, 0 = -5*m - 4*z - 8. Suppose -6*s + 3*s = -3. Suppose 5*x - 5 = -d, -4*d - 5*x - s = -6. Is m at least as big as d?
True
Suppose -3 - 7 = 5*i. Is 4 less than i?
False
Let c = -18 + 19. Is c < -1?
False
Let c(w) = w**2 + 3*w - 5. Suppose 5*b + 18 = n, 0*n - 6 = 4*b - 5*n. Let h be c(b). Let i = 3 + -3. Is h smaller than i?
True
Let i = 11.166 + 0.034. Let o = 0.11 - -10.89. Let t = o - i. Is 0.5 greater than or equal to t?
True
Let t = -68 + 205/3. Let i = 2.8 - 0.5. Let h = -2 + i. Do t and h have the same value?
False
Let m = -15 + 23. Suppose 2*y + 4 + 4 = 0, -7 = a + 3*y. Let w = m - a. Which is smaller: -0.2 or w?
-0.2
Suppose -2*c = 2*j + 12, 3*j - 30 = 4*c + j. Let z = 2 + c. Is -5 > z?
False
Let w = -44 + 44.2. Which is bigger: -15 or w?
w
Suppose -2*z - 4*i - 28 = -4*z, i - 8 = -z. Let o = z - 6. Suppose -3*c = 2*m - o*c, -8 = 4*c. Is m >= -1/5?
False
Let r be (-2 - 0)*(156/(-8) + 1). Is r <= 37?
True
Suppose p + p + 86 = 2*z, 4*p + 34 = z. Let o = z + -136/3. Is 0 less than o?
True
Let b be 0/(-1*(0 + -2)). Let m(x) = -x + 2. Let f be m(b). Is f at least as big as 1/2?
True
Let v(u) be the second derivative of u**4/12 - u**3/3 - 9*u**2/2 + 8*u. Let f be v(4). Are f and -1/8 equal?
False
Suppose -i + 4 = 0, 4*a = 4*i + 80 + 92. Suppose 3*c + a = -22. Is c < -24?
False
Let g be 6/(15/11 - 1). Let y(z) = -z**3 + 6*z**2 - 2*z - 4. Let q be y(6). Let v = g + q. Do 0 and v have the same value?
False
Suppose 2*o + 13 = -y, o - 4*o - 21 = 3*y. Let q be 10/o - (3 - 5). Is -1 at most as big as q?
True
Suppose -3 - 9 = 2*w. Suppose -f = -5*f + 40. Let l = w + f. Which is greater: l or 3?
l
Let l = 5 + -6. Is l < -1/14?
True
Suppose -5*q = 6*z - 2*z - 11, -4*z = 3*q - 5. Which is bigger: 2/19 or z?
2/19