.4 + r. Let y = -1.5 - k. Is y at most as big as 0?
True
Suppose d - 17 = 5*b, 14 = -3*b + d + 3. Which is smaller: -14 or b?
-14
Suppose 0 = 3*j - 3*o - 45, -4*o = j - 1 + 6. Suppose -2*g + g = -2*q + j, 4*q = -5*g + 1. Suppose 6 = -i - 4*m, -3*m - q = i + 2. Is -5 >= i?
True
Let x = -7 + 115. Let j be ((-6)/8)/(x/160). Let s = 29/18 + j. Is s at most 1?
True
Let j = -107 - -106. Is j at most as big as 25?
True
Let l be (-824)/1260 + (-2)/(-5). Let q = l + 10/21. Is -1/6 > q?
False
Let s = 3 + -3.2. Let o = -9 + 9.06. Let y = 0.04 + o. Is y > s?
True
Suppose 5*g - i + 3 - 5 = 0, -2*g + 17 = 5*i. Suppose -2*o + g = -1. Which is smaller: o or 0?
0
Suppose 0 = 5*k - 5*g + 50, 3*g - 5 = 10. Is -5 equal to k?
True
Let v = 0.1 + 0. Let w be 7/(-2) + (3 - 0). Let r = -5/14 - w. Is r >= v?
True
Let q = 12 - 12. Which is greater: 1/8 or q?
1/8
Let v be 2/(-6) - 20/12. Let m = 0 - v. Suppose 4 = -s + m. Which is greater: -3 or s?
s
Let k(q) = -q + 4. Let d be (13 - 1)*1/2. Let g be k(d). Suppose 0 = -0*m - m - 3. Is g at most m?
False
Let m be (-7)/21 + (-1)/(-3). Let q be 50/12*-4 - 0. Let w = q + 17. Is w <= m?
False
Let o(y) be the first derivative of -y**6/360 - y**5/30 + y**4/6 - y**3 - 1. Let g(a) be the third derivative of o(a). Let q be g(-5). Is -2 at least q?
False
Let b = 16.01 + -0.01. Let d = b + -15.8. Which is greater: d or 1/4?
1/4
Let u(b) = -b + 6. Let x be u(6). Let t = -6091/13192 - -94/97. Let j = -15/17 + t. Is j <= x?
True
Suppose n - 13 = -2. Let k be n/(-6)*-1 + -2. Suppose 3*w + t + 7 = 0, 7*w + 2*t = 2*w - 13. Which is greater: k or w?
k
Let p = -1.3 - -1.2. Let o = -4/25 - -37/75. Which is smaller: o or p?
p
Let d(h) = 5*h + 2. Let f(b) = 3*b + 1. Let l(u) = 6*d(u) - 11*f(u). Let v be l(-1). Let n(k) = k + 15. Let a be n(-11). Are v and a nonequal?
False
Let k be ((-2)/(-68))/((-3)/(-12)). Is k at most -3/4?
False
Let w(c) = c**2 + 9*c + 6. Let m be w(-8). Let u = 1 + m. Is u at most 2/25?
True
Suppose -3*w - 5*w = 8. Let x(f) = 7*f + f**2 + 0 - 2*f - 5. Let l be x(-6). Which is smaller: l or w?
w
Suppose -o - 2 = -40. Let h = 113/3 - o. Which is smaller: 0 or h?
h
Suppose 0 = -2*s, x - s - 3*s = 7. Let l be ((-2)/(-6))/(1/3). Which is greater: l or x?
x
Suppose -h + 4*r = h + 12, 4*h + 12 = 5*r. Which is greater: h or 1/2?
h
Let u be -4 - -1 - -1 - -19. Is 17 at least as big as u?
True
Let i = -19965/46 + 434. Which is greater: i or 0?
0
Let j be 1*(0/3 + 1). Which is greater: j or -2/5?
j
Suppose 3*d - 164 = h, -4*d - 5*h + 219 + 25 = 0. Do d and -0.1 have different values?
True
Suppose -12 = 2*p + 2*p. Let f(s) = -s**2 + 2*s - 2. Let q be f(2). Which is smaller: p or q?
p
Suppose 3*v = 3, v - 22 = 2*d + 9. Let s be (-3)/d + (-16)/20. Which is smaller: 1 or s?
s
Let t be (-1)/2 + (-5)/(-20). Which is greater: t or -2/17?
-2/17
Suppose 4*u - 70 = -2*b, 5*b - u - 17 - 158 = 0. Does 35 = b?
True
Suppose 7*d = 5*d - 22. Is -3 at least d?
True
Let d = 0 + 0.1. Let q = -7.1 - -7.07. Is q less than d?
True
Let f(j) = -2*j + 1. Let l(y) = -y**2 + 4*y + 4. Let s be l(4). Let v be f(s). Let u be 0/((v - -1)/3). Which is bigger: u or -2?
u
Let w = -2 + 1. Let v = -0.5 + -3.5. Which is bigger: v or w?
w
Let i be 72/54 - (-50)/(-6). Let m = 0.5 + -0.3. Which is smaller: m or i?
i
Let d(m) = -4 - m**2 - m + 2*m**2 + 1. Let g(v) = v**2 + 6*v + 5. Let b be g(-5). Let w be d(b). Which is bigger: -2 or w?
-2
Let k(w) = -w + 2. Let n be k(-3). Suppose 3*u + 0*u - n*d + 22 = 0, -19 = u - 4*d. Which is bigger: -2/9 or u?
u
Let p be ((-2)/(-4))/(3/(-36)). Let a(f) = -2*f - 8. Let b be a(p). Let g = b - 5. Is g > -3?
True
Suppose 3*r + 2*j - 9 = 0, r - j = -0*j - 2. Let z be r/(-12) - 5/30. Let x = 0 + 0. Is x greater than z?
True
Suppose -45 = 5*x - 5. Let g = x - -6. Let n be g/(-9) + 8/(-36). Are n and 0 equal?
True
Let y = 121/8 + -15. Are 2/11 and y non-equal?
True
Suppose -2 = 5*w + 8. Let k be 1/w*(0 + 2). Which is smaller: 2/17 or k?
k
Let v(z) = -z**2 - 8*z - 9. Let m be v(-6). Let q be 4 - (2*-1 - 0). Suppose l + q = 3*w, -5*w - l = m*l + 7. Are w and 0 non-equal?
True
Let c = -0.05 + 2.05. Is c at most as big as -2/7?
False
Suppose -5*k - 5*l = -5, -3*k + 5*l + 0*l = 5. Is k not equal to -8/41?
True
Let l be -1 + 4 + (-4 - -1). Which is bigger: 9 or l?
9
Suppose -5*i - 2*w - 3*w = 30, 5*i = 2*w - 9. Is i less than 0?
True
Suppose 9 = -d + 4*d. Suppose -5*v = -5*f - 15, 5*f + d*v - 5*v + 3 = 0. Let r be (-1 - -2)*(f - 1). Which is greater: r or -2/13?
r
Let j = 0.12 - 0.03. Let k = j + -0.14. Which is bigger: k or -0.1?
k
Suppose -y + 4 = 1. Suppose 2*b = 6*b - 12, -4*t - 3*b = -13. Is y >= t?
True
Let c be (-6)/(-88)*(-96)/(-6). Is 2 at most as big as c?
False
Let b be 1/(12/(-184)) + 3/9. Is -17 at most b?
True
Let a = -7 + 10. Let m be (2 - 1)*(-2 + a). Is 0.1 equal to m?
False
Let x be 1/(-7)*(-10 + 9). Is 1 at least x?
True
Let r = -77.974 - -78. Is r <= 1?
True
Let x be -1 - (17/(-4) - -1). Let i be (1/(-4))/(2/(-24)). Which is greater: i or x?
i
Let p = -71/39 + 23/13. Let f = p - 11/39. Suppose 2*k - 5 = -3. Is f smaller than k?
True
Let k = -52 - -52.4. Which is bigger: k or -2/3?
k
Let b be 3 + (-2 - (1 - 2)). Suppose -5*j - b*h + 2 = 0, j + 2*h - 4 + 2 = 0. Let i be (-1)/(0 + 1 + j). Which is bigger: i or -2/7?
-2/7
Suppose -8 = 4*b, 0*b - 4 = -4*t + 2*b. Are 3/16 and t equal?
False
Let m be 2 + -2 + 9/(-3). Let y(k) = k**3 + 2*k**2 - k - 1. Let q be y(m). Which is bigger: q or -8?
q
Let k = 37 - 37. Which is bigger: -2/19 or k?
k
Let j be 6/(-10)*5/(-15). Let r be 4/(-63) - (-8)/28. Is j < r?
True
Suppose 3*r + 4 = 4*d - 6, 2 = -d + 3*r. Suppose -6*w = 2*a - 4*w - 28, -d*a = -3*w - 42. Let z be 1*a/9*3. Are z and 4 nonequal?
False
Suppose 0 = -4*k - 3*b - 1, 2*k + 3*b + 0 = 1. Which is smaller: -2 or k?
-2
Let d = -98/3 - -39. Which is smaller: d or 7?
d
Let g be (90/35)/((-3)/21). Which is greater: g or -52/3?
-52/3
Let k(q) = q**2 - 3*q + 3. Suppose -3*a - 2*a = -10. Let d be k(a). Let c = -8/15 + 2/15. Which is smaller: d or c?
c
Suppose -4*j - 1 = 3. Let o be 38/4*52/(-3). Let l = -166 - o. Is l greater than j?
False
Suppose 2*t = 6*t + 24. Let a be -1*(t/(-3) + -1). Which is smaller: 3 or a?
a
Suppose -w + 9 = -4*w. Which is smaller: w or 1?
w
Let m be (2/(-15))/((-1)/5). Which is smaller: 1 or m?
m
Let b(m) = m + 5. Let u be 340/(-14) - 16/(-56). Let k = u + 15. Let a be b(k). Are a and 1 nonequal?
True
Let k be (-2)/(-3) + 98/(-39). Let b = 238/143 + k. Are -3 and b nonequal?
True
Let x be (2/(-6))/(12/(-72)). Let g = x + -1. Suppose -1 = -5*n - 6. Which is bigger: g or n?
g
Suppose 3*h + 6 = f, 0 = 4*f - 0*f + h + 15. Let c be (2/(-2))/(2/4). Let m = c - f. Which is smaller: m or -1?
-1
Let k = -0.24 - -0.34. Do 2/3 and k have the same value?
False
Let f(r) = 2*r**3 - 2*r**2 - 5. Let o be f(2). Is o at most as big as -3/2?
False
Let u = 28.6 + -29. Let b = 0.33 - 0.3. Let l = b - 2.03. Which is greater: l or u?
u
Let x(l) = -l - 2. Let t be x(-4). Let j be (2/(-2))/(t/(-8)). Suppose 5*y = j*y. Which is bigger: y or -1?
y
Let i(w) = -w**2 + 6*w + 3. Let x be i(6). Suppose x*o + 2 = -1. Let f be -3 + 3*o/1. Which is smaller: f or -7?
-7
Let k = -7 + 11. Let z be 1*k/(-2)*3. Let c be -2 + 9*(-4)/z. Which is smaller: 3 or c?
3
Let w = 64 + -56. Which is smaller: w or -3?
-3
Let h be -3 + (-2)/(-1) - (-15)/6. Suppose 1 = n - 1. Which is greater: n or h?
n
Let a = 21 - 23. Is a at most as big as -2?
True
Let u be (-1)/3 - 10/15. Is u >= 1/38?
False
Let v(n) = n**3 + 4*n**2 - 19*n + 14. Let s be v(-7). Is -2/35 less than s?
True
Suppose -4*w - 3*n = 99, -2*n - 11 = -1. Are -22 and w nonequal?
True
Let m = 0.3 + 1.75. Let b = -0.15 - -0.2. Let w = b - m. Is -1/3 < w?
False
Let z = -408472/9 - -45241. Let t = -86 + -59. Let h = z - t. Which is greater: -1 or h?
h
Let v(a) = -a**3 + 16*a**2 + 17*a - 3. Let u be v(17). Let m be ((-8)/(-10))/((-2)/10). Let t = u - m. Is t less than or equal to -1?
False
Let b = 0.5 + -0.9. Let x = -0.3 - b. Which is greater: -1 or x?
x
Let i = 5 + 3. Let d be i/(-80)*(0 + 6). Are d and -1 nonequal?
True
Suppose 5*y = 7 + 3. Suppose -p + 3 = -y. Suppose h + p = 4*c, h + 0 = 3*c - 5. Which is smaller: -2/9 or c?
-2/9
Let h(b) = -5 + 7*b + 4 + b**3 - 5*b. Let p be h(1). Are p and 5 nonequal?
