e 8 = 3*m - 1. Which is smaller: a or m?
a
Suppose 5*b - b = 0. Let v = 16 + -10. Let l = v + -8. Which is greater: b or l?
b
Suppose z - 120 = 6*z. Let o be -2 + 1/((-14)/z). Let i = 0.1 + 0.9. Is i equal to o?
False
Suppose -3 + 11 = 2*l. Which is smaller: -6 or l?
-6
Let d = -0.1 + 0. Let o = -1.6 - 0.4. Which is greater: d or o?
d
Let n = 0.285 + -0.285. Let b = 160/1001 + 2/91. Which is bigger: b or n?
b
Let g be 50/8 + (-3)/((-12)/(-1)). Is 6 at most as big as g?
True
Let y = 12 + -12.1. Do 1 and y have different values?
True
Suppose 9 = 2*r + 11. Is -3/34 smaller than r?
False
Suppose -4*h = -2*h. Let k be 114/(-6) - (2 + h). Let p be (108/k)/(-3) - 2. Is -1 >= p?
False
Suppose -2*m - 3*y = 2*m + 3, 0 = 3*m - 4*y - 29. Suppose -m*q = -2*q. Let b = -7 + 7. Is b > q?
False
Let z = 36 - 34. Which is smaller: 0.32 or z?
0.32
Let i = -33.088 + 0.088. Which is bigger: -1 or i?
-1
Let d = -31 + 18. Is -13 greater than d?
False
Let c be (-38)/21 + 150/90. Which is smaller: 0.5 or c?
c
Let d be 2 - ((-21)/2 + 0). Let z = 179/14 - d. Let p = 4 + -1. Which is bigger: z or p?
p
Let m be 2/(-18) - 4/18. Is 1 >= m?
True
Let s = -144 + 1011/7. Let t = 3 - 2. Does s = t?
False
Let r = 757/9 - 84. Which is bigger: -1/2 or r?
r
Suppose 3*a + 5 = -2*y, -3*a + 3*y + 5 = -5*a. Suppose -l = -2*l - b + 3, 2*l + 19 = 3*b. Which is greater: l or a?
a
Let u = -3.9 - -4.9. Is u bigger than -13?
True
Let o be 3 - (1 + 3/(-3)). Let h(f) = f**2 + 3*f - 2. Let n be (-28)/6 + 2/3. Let p be h(n). Is o at least p?
True
Suppose 0 = -2*g - 6 - 8. Do -29/5 and g have different values?
True
Let t(v) = -v - 3. Let h be t(-2). Is -1 bigger than h?
False
Suppose x - t = -0*t, -3*x + 2*t - 1 = 0. Let u = -8 + 8. Which is greater: u or x?
u
Let y be 2*(3 - 5/4). Which is greater: y or 5?
5
Let t(r) = r**3 + 4*r**2 - 6*r + 4. Let a be t(-5). Let w be (3/a)/((-2)/12). Let p be -14*(1/w - -1). Which is greater: p or -6?
-6
Let b be (-12)/(-15)*(-15)/(-6). Suppose g = j - 5*j + 16, -2*g = -2*j - 2. Which is smaller: j or b?
b
Let k = 3 + -5. Let g be (2 - k - 2)/(-2). Let m(p) = p**2 + 6*p - 1. Let r be m(-6). Is g greater than r?
False
Let r = 6.85 - 0.85. Do r and 2/5 have the same value?
False
Let r = -6773/4 + 1706. Which is smaller: r or 13?
r
Let k = -304 + 329.9. Let z = 26 - k. Which is bigger: z or 18?
18
Let a = 43 + -130/3. Let d = 0.14 - 0.04. Is a smaller than d?
True
Let k(g) = g**3 + 33*g**2 + 3*g + 90. Let w be k(-33). Let s be 87/(-9) + 4/6. Are s and w non-equal?
False
Let w = -8 + 10. Suppose -w*n = 3 - 17. Which is greater: 6 or n?
n
Suppose -5*n + 5 = -0. Let y(g) = g**3 + 4*g**2 + 3*g + 2. Let b be y(-3). Let j be 0/((-9)/(-3)) + b. Which is greater: j or n?
j
Let x = 3 - 0. Is 4 greater than or equal to x?
True
Let x = 10 + -6. Let i = -1130 + 77968/69. Let q = 73/138 + i. Which is greater: x or q?
x
Suppose 3*u + 3*c = 0, 5*u + 2*c + 14 - 2 = 0. Let l be (-5)/10 - (-2)/u. Which is smaller: l or -11?
-11
Let b be -5 - (-2)/(-6)*0. Let d be (b - -3) + (-1 - -1). Let z be ((-2)/(-3))/(d/(-15)). Which is greater: 4 or z?
z
Let u(t) = t**2 - 5*t + 5. Let l be u(5). Let z(v) = v - 4. Let n be z(l). Let j be -6 + 2 - (-2 - n). Is -3 greater than j?
False
Let g be (-4)/(-6) + 2/(-6). Suppose -3*i + 7 - 10 = 0. Which is smaller: i or g?
i
Let c be (2/20)/(4/(-10)). Suppose 0 = q - 2*h + 8, 0*q - 3*h + 12 = -4*q. Which is bigger: c or q?
q
Let n be (14/(-35))/((-1)/15). Suppose -3*z + 6 = -n*z. Is -1 less than z?
False
Let j = -55.86 - -56. Which is smaller: -1/3 or j?
-1/3
Let v be 2/6 + (-1)/3. Let m be (-5)/20 - 39/(-252). Is v >= m?
True
Let a(h) = -3 - h + 2*h + 0*h. Let f be a(2). Let b = -45/2 - -91/4. Is f at most as big as b?
True
Let f(r) = r**3 - 2*r. Let g be f(0). Which is smaller: -1/11 or g?
-1/11
Let p = 32 + -40. Is -7 at most as big as p?
False
Let n be 32/130 - (-4)/(-10). Suppose 2*c - 10 = 2*j, 0*c + 8 = 2*c. Is n equal to j?
False
Let s = 17/39 - -3/13. Which is smaller: 9/8 or s?
s
Let r = 3 - -2. Let f be 3/(-12)*-4 - -4. Let c = r - f. Do c and 2/7 have different values?
True
Let r = 7211/91 - 798/13. Let h = -18 + r. Let x be 1/2*(0 - 0). Is x < h?
False
Let i = -1 + 2. Let b = -0.26 - -3.26. Which is bigger: i or b?
b
Let u = 94 - 64. Does u = 30?
True
Let g = -1 + 2. Let n be g + 1/(-2)*2. Which is smaller: n or -1?
-1
Let l = -5 + 5. Is -1/45 >= l?
False
Let b be (-3)/5*-1*(-10)/(-2). Let l = 10 - 6. Which is bigger: b or l?
l
Let q = 7 + -3. Let w = 11/15 + -2/5. Is q < w?
False
Suppose 4*x = -8 + 4. Let v = 3 - 6. Let z = -5 + v. Are z and x unequal?
True
Suppose 0 = -2*p + m - 76, 5*m = m - 16. Let j be (16/p)/(9/5). Which is bigger: 2 or j?
2
Let n = 7 + -6.9. Let g = -4 + 2. Are g and n nonequal?
True
Let h = 786/7 - 112. Let y be (0/3)/(0 + -1). Which is smaller: h or y?
y
Let n(w) = 7*w**2 - 1. Let h be n(1). Let d(g) = -g + 5. Let k be d(h). Let l be ((-15)/(-18))/(-1)*k. Is 1 > l?
True
Let p be (-1)/(-3) - 778/(-24). Let r be (99/(-6))/((-3)/(-6)). Let s = p + r. Is 1 equal to s?
False
Suppose 5*r + 0*r = 3*o + 10, -o + 4*r - 8 = 0. Let v be (o - 2) + (-4 - -1). Suppose i = 2*h + 5, 2*h - 13*i = -9*i + 10. Is h at most v?
True
Suppose -4*r + 2 = -2. Let l = 553 + -23777/43. Is r <= l?
False
Suppose -y + 1 = -1. Let h be y/(-2) - (0 - 0). Let l = -1 - h. Which is bigger: l or 4/5?
4/5
Let s(h) = -h**2 - 11*h - 13. Let i be s(-10). Let l be (-3)/(-1 + 0/i). Let o = -8 + l. Which is greater: -2 or o?
-2
Let a(u) = u**3 - 3*u**2 - 2*u + 4. Let d be a(3). Let l be d/(3 - 5)*-1. Do 3/5 and l have the same value?
False
Let z = 61 + -1038/17. Which is smaller: -1 or z?
-1
Suppose -29 = -9*a + 4*a + 3*r, -a + 3*r = -13. Let l = 5 - a. Is 0.1 at least l?
False
Suppose -38 = 3*f - f. Let r = 7 + f. Let m = 71/6 + r. Which is greater: 1 or m?
1
Let g(t) be the second derivative of -t**5/20 - 5*t**4/12 - t**3/6 - 3*t**2 - 3*t. Let l be g(-5). Let z be l + 0 - (-15)/3. Are z and 4 non-equal?
False
Let q = 83/170 - 1/2. Let x = q - -92/595. Which is bigger: 0 or x?
x
Let p be 2 + 4 + (-176)/30. Which is smaller: -1 or p?
-1
Let q = -97/30 + 17/6. Let s be ((-6)/(-7))/(3/21). Let i be ((-3)/8)/(s/(-4)). Is i < q?
False
Let h be (9/12 - 0)/(36/(-32)). Is h greater than or equal to 12?
False
Let t = -73 - -72.8. Which is greater: 3 or t?
3
Suppose 180 = o + 4*o. Let z be (0 - 2) + 64/o. Is z greater than 2/5?
False
Let k be (-3)/(9/(-15)) - 2. Suppose g - 16 = -k*g. Let x be 161/98 + (-2)/g. Which is bigger: 2 or x?
2
Suppose -2*h + 5*t + 29 = 0, 2*h + 2*h - 28 = 4*t. Let x = -15 + 25. Let m be 21/(-35) + 6/x. Does m = h?
False
Let u = -413/6 - -69. Which is smaller: u or -1?
-1
Let j = 95 - 1614/17. Which is smaller: j or 0?
0
Let k = -32 + 32. Is -1/17 at most k?
True
Let o = -15.03 + 15. Which is greater: -1/4 or o?
o
Suppose -4 = 3*k + w, -2*w - 2*w - 6 = 2*k. Which is bigger: k or -13/9?
k
Let j(y) = -3*y**2 + 1 + 0*y**2 + y**2 - y**3 + 0*y**2. Let w be j(-1). Is -1/5 less than or equal to w?
True
Suppose -3*t = -3, -2*s + 2*t + 5 = -5. Is 4 greater than or equal to s?
False
Suppose 5*z - 35 = 5*f, 5*f + 4 = -3*z + 1. Suppose -z*g - 24 = -72. Let q = -18 + g. Is -5 less than or equal to q?
False
Let f be 36/(-432) + 2*(-1)/(-6). Are 11.3 and f non-equal?
True
Suppose o + 5*m - 2 = -21, -5*o = -m + 17. Is o at most -6?
False
Let w = -0.8 - -0.9. Let n = w + -0.08. Let k = n + -0.12. Which is smaller: 5 or k?
k
Let w be 839/15 - 6/(-15). Let z = -57 + w. Is z <= -2?
False
Let x = 33.94 + 0.06. Which is smaller: x or 0.1?
0.1
Let b(t) = 3 + t - t + 0*t + t. Let h be b(-3). Are -6/13 and h unequal?
True
Suppose 0 = -3*j - 3*q + 9, -4*q - 8 + 2 = j. Let t = 3 - j. Let k be -2 + 2*t/(-6). Is -1 at most as big as k?
True
Let d(m) = 5*m**3 + m**2 + 3*m - 3. Let r be d(1). Are 6 and r nonequal?
False
Let t = -38 - -51. Is t greater than 10?
True
Suppose i - 3 = -2. Is 0 greater than i?
False
Suppose -u + 16 = 2*g + 2, -5*u - 3*g + 42 = 0. Suppose 2*r - 5*r = -u. Is 2 < r?
False
Let a = -1.7 - -2. Let v = 0.2 + a. Is 1 != v?
True
Let g = 64/5 - 438/35. Suppose -i - 16 = 5*l, -l = -2*i + 1 - 0. Is i < g?
True
Suppose 0*w - 4*w = -12. Let j(o) = 5*o**2 + 1. Let s be j(1). Let i be (-4)/(-6)*s/4. Is i less than w?
True
Let d = 20 + -21. Is d >= -7/4?
T