-503/4. Let i = 7 + -7. Suppose i = -5*w + 2*w + 3. Is y less than w?
True
Let u(k) = -2*k**2 + 11*k + 4. Let t be u(6). Suppose 0 = r + 3, -3*v - 6*r - 15 = -r. Let h be (v - -2) + 0 + -4. Is h less than t?
False
Let w(q) = -q**2 + 9. Let n be w(0). Let a be (-12)/n - (-4)/6. Is 0 less than a?
False
Let b(f) = -f**3 - 7*f**2 + 8*f - 1. Let a be b(-8). Let v be 50/(-20)*(-2)/a. Which is smaller: -6 or v?
-6
Let f = 389/431 - 3637967/9913. Let n = f + 366. Is n at most 1?
True
Let w(y) = -4*y**2 + y - 1. Let u be w(7). Let z be ((-12)/(-25))/((-2)/u). Let o = z - 45. Which is bigger: o or 0?
o
Suppose -3*g = -4*a - 216, -135 + 17 = 2*a - 4*g. Which is smaller: a or -53?
-53
Let o(q) = 2*q - 42. Let h be o(21). Which is smaller: 2/103 or h?
h
Suppose 7 = 4*a - 73. Let u = 15 + 0. Suppose 0 = 5*m - 0 - u, 4*m = -4*i + a. Which is bigger: i or 1?
i
Let a be 4 + 1/((-2)/(-4)). Let g = a + -3. Suppose -g*q + 9 = 3*n, -12 + 0 = -3*n. Is -1 equal to q?
True
Let k be -1 + 2 + -1 + 2. Suppose k*o = 0, -o + 0 = -r - 1. Let q = -0.6 - 0.4. Is q not equal to r?
False
Suppose -2*g = 2*g. Let y(m) = -27*m + 5. Let x be y(-4). Let v = x + -1581/14. Is v < g?
False
Let f = -63 - -85. Which is smaller: 17 or f?
17
Let m = -1486/77 - -228/11. Which is smaller: m or 2?
m
Let w be 2/11 + (-80)/(-44). Is -2 less than or equal to w?
True
Let d = -0.29 - -0.09. Which is greater: d or -4?
d
Let y = 32 + -31.95. Which is greater: 4 or y?
4
Let r(f) = -f**2 + 1. Let c be r(0). Let l be 1 + c + -1 + -1. Let o = -76/5 + 15. Is l less than or equal to o?
False
Let c = -0.482 - -0.582. Let h = 0.14 - 0.03. Which is greater: h or c?
h
Let v be (8/(-6))/((-170)/15). Are 1 and v equal?
False
Let q = 6.8 + -6.85. Which is smaller: 3/5 or q?
q
Let c = 0.47 + -0.36. Is -0.1 less than c?
True
Let r(l) = 4*l**2. Let b be r(-1). Let c = 9 + -6. Let j be c/(-9) - b/6. Is -1/6 at least j?
True
Let d(y) = -y**3 + 11*y**2 + 11*y + 10. Let g be d(12). Let h be 6/(-3)*g/4. Which is bigger: h or 2/9?
h
Let i be (8 - 2)*6/(-9). Let x be (-7)/35*(-70)/(-4). Is x at least as big as i?
True
Let i(o) = o**2 - o - 2. Let x be i(-1). Is x less than 3?
True
Let s = -15828/41 + 386. Is -1 greater than or equal to s?
False
Let a = -0.26 + -2.84. Let w = 11 + -8. Let m = w + a. Are m and 2/5 nonequal?
True
Let w = 907/4752 + -1/297. Is -1 < w?
True
Let z = -3 - -3. Let r be (z - 1)*(-4)/(-14). Is r greater than or equal to 1/17?
False
Let i be (-27)/6*(-2)/3. Suppose -6 = 2*j - 5*k, -4*k = i*j - 20 + 6. Is j smaller than 1?
False
Let g = -0.12 + 0.18. Let l = g - 0.16. Is l at most 0.01?
True
Let p = -3.4 + 0.5. Let q = -3 - p. Which is greater: -1 or q?
q
Let s = -92 - -48. Which is bigger: 1 or s?
1
Let o = 1.4 - 0.5. Let b = o - 2.9. Let x = b + 2.2. Is x less than 2?
True
Let z be ((-12)/(-21))/(4/14). Suppose -3*w + w = 0. Is z > w?
True
Let k = 72/155 + -2/31. Let p = -6 - -4. Let s be p/5*(-5)/7. Which is smaller: k or s?
s
Suppose 0 = 3*i - 7 + 4. Which is smaller: 4/35 or i?
4/35
Suppose -10 = -5*t - 3*w, -10 = -5*t + 2*w + w. Suppose -5*x + 7 = -2*q, 4*q - x + 0*x + 5 = 0. Let h = q + t. Is h at most -2/9?
False
Let s = 9 - 8. Suppose -r - 11 = -2*k, 3*r + 4*k - s = 2*r. Which is smaller: -5 or r?
r
Let h = 1 - 5. Let i = 4.1 + h. Let m be 3 + -3 + (-2)/(-7). Which is greater: m or i?
m
Let j = 229 - 229. Let s be 2/(-3) + (-15)/(-9). Which is smaller: j or s?
j
Let w be ((-1)/(-2))/((-1)/8). Let a = w - -9. Let d be (8/(-20))/((-8)/a). Is 2/3 bigger than d?
True
Let v = -42 - -27. Is -15 != v?
False
Suppose 2*p + 2*k = 3*k + 2, p = 3*k + 11. Let d be (-60)/(-6)*(-4)/10. Let m = -5 - d. Are m and p equal?
True
Suppose -5*m = 13 - 33. Suppose 1 = -m*g - 3*r + 4, -2*g = -2*r + 2. Is 2/3 != g?
True
Let u = -3.7 + 1.7. Is u != -4?
True
Let o = 3.6 + -1.4. Let v = o - 0.2. Which is smaller: 1/3 or v?
1/3
Suppose 5 = 8*l - 3. Is -16 at most as big as l?
True
Suppose 4*y = 12, -y + 21 = -3*p + 2*y. Let w = -6 - p. Is -2 greater than or equal to w?
True
Suppose 4*h = x + 4*x + 21, 4*h - 2*x = 30. Which is bigger: 25/3 or h?
h
Suppose -103 = -5*v + 12. Which is greater: -1 or v?
v
Suppose 0 = -3*b + 2*m + 10, -5*b = m - 6 - 2. Let i(u) = u**2 - 3*u. Let t be i(b). Is t smaller than -2?
False
Let w be 609/(-36) - (-4)/6. Is w equal to -1?
False
Let t be 17/(-30) - 2/(-3). Let m be ((-119)/28)/(2/8). Let r = m - -17. Is r greater than t?
False
Let v = 1 - 5. Let q be 6/v*8/(-12). Is 1 at most q?
True
Let z = 212047/350 + -7937/14. Let g = z - 39. Which is bigger: 1 or g?
1
Suppose -4*r = 4*y - 20, 23 = -3*r + 5*y + 6. Is 2/23 > r?
False
Let b(m) be the first derivative of -3*m + 1/2*m**2 + 2. Let t be b(3). Which is smaller: t or -2/5?
-2/5
Let p be ((7 + -1)/(-108))/(2/(-4)). Which is smaller: 1 or p?
p
Let a(g) = -4*g**3 + g**2 + 2*g + 1. Let z be a(-1). Let q = 2 - z. Are -2 and q equal?
True
Let w = -0.7 - -4.7. Let b = w - 3.5. Which is smaller: b or 0.1?
0.1
Let a be 572/(-130)*((-2)/2)/(-1). Is a less than -4?
True
Suppose -3*d - 10 - 8 = -3*q, -d = 3*q - 14. Suppose 15 = -q*m, 12 - 3 = -3*r - 3*m. Which is bigger: r or 1?
1
Suppose c + 3*o - 5 = 0, -c - 6 = -5*c - 5*o. Is c bigger than 1/72?
False
Let x be (-18)/(-8)*32/12. Let q = 4 - x. Suppose -5*s = 5*n - 15, 4*n = -3*s + 7*s + 20. Which is smaller: q or s?
q
Suppose 0 = 5*u - 2*f + 3*f - 3, -4*f = 5*u + 3. Which is smaller: 11/9 or u?
u
Let v = -1083 + 431033/398. Is v greater than or equal to 0?
False
Let h(z) = z**2 + z - 3. Suppose n + 3 = -0. Let w be h(n). Which is bigger: -2 or w?
w
Suppose 0*j = 3*j - 12. Suppose 3*x - j = -1. Is 3 equal to x?
False
Suppose -4*v + v - 3 = 0. Let x be v - 6 - (3 + -2). Is 1 <= x?
False
Let l = 4.1 - -0.9. Let k = -7 + l. Is 0 < k?
False
Let u be (-3)/(-12)*1126/(-4). Let r = u + 70. Which is smaller: 0.1 or r?
r
Suppose 39 = -2*s + 5*s - 3*u, -5*s - 3*u = -33. Let r be (-3)/2*(-8)/s. Is 0.1 >= r?
False
Let a(q) = -q + 8. Let d = -19 + 27. Let x be a(d). Is x equal to -4?
False
Let p(m) = m**2 + 15*m - 31. Let q be p(-17). Which is bigger: 20/11 or q?
q
Let m = 20 + -19.92. Which is bigger: m or 2?
2
Let s be 32/24 - (2 - 32/60). Suppose -4*j + 2*w = -5*j - 5, -3*j = 5*w + 13. Let y be 0*j/(-2) + -1. Which is bigger: s or y?
s
Suppose -5*y = -36 + 31. Are 8/17 and y non-equal?
True
Let w(g) = 399*g. Let i be w(1). Let l = 2002/5 - i. Is 2 equal to l?
False
Let u = 0.01 - 0.09. Let z = u - -0.07. Which is greater: -2/9 or z?
z
Let h = -1.908 - -0.008. Which is greater: -1/3 or h?
-1/3
Suppose -5*t = 5*b + 65, -5*t = b + 53 + 24. Let h = -17 - t. Are h and -1 equal?
True
Let l = -1 - 0. Let y(b) be the second derivative of -b**4/6 - b**3/6 - 4*b. Let h be y(-1). Is h less than l?
False
Let n be -1 + 27/156*2. Let s = -3712/39 + 286/3. Let g = n + s. Do 0 and g have the same value?
False
Suppose -4*c + 2 = -5*q - 0, -8 = -4*c + 2*q. Which is smaller: 1 or c?
1
Let d = -8 + 12. Let u(b) = b**3 - 5*b**2 + 4*b + 5. Let o be u(d). Let k be ((-2)/4)/(o/(-10)). Which is greater: k or 1/5?
k
Let t = 7.3 - 10. Let m = t - -3. Let n = m + 0.7. Which is bigger: n or 0.1?
n
Let k = 10.3 + -9.3. Let w = 0.2 - 0.3. Let g = -1.1 - w. Which is greater: k or g?
k
Let v(j) = -3*j - 8. Let x be v(-8). Which is bigger: x or 15?
x
Suppose u + 4*u - 30 = 0. Let p be ((-6)/(-15))/(u/(-10)). Is -1 at most as big as p?
True
Suppose 0 = -0*x + 2*x - 18. Suppose 4*l = 49 - x. Which is greater: 11 or l?
11
Let q(t) = -5*t + 5. Let m(y) = 4*y - 5. Let v(x) = -6*m(x) - 5*q(x). Let w be v(-8). Let n be 1/2*(w - -1). Which is smaller: n or -2?
-2
Let j be -4 + ((-420)/54 - (-4)/(-18)). Is j smaller than -9?
True
Let f(y) = -y**2 - y - 1. Let t be f(-1). Let o be (-1)/(0 - t) - -4. Suppose 3*a + a + 20 = -o*w, 0 = 3*w - 5*a - 25. Which is greater: 1 or w?
1
Suppose 2*i - 7*i + 23 = 2*q, -4*i - 4 = -4*q. Let f(v) = v**2 + 6*v. Let u be f(-6). Suppose 2*w - 14 = -4*b, u*w - 5*w + 17 = q*b. Are w and 2 non-equal?
True
Let p(x) = x - 9. Let u be p(4). Is u equal to -1?
False
Let g be 6 + 1 + -1 + -3. Suppose g*d - 4*y = -30, d + 0*d = 4*y - 18. Let r be 8/d - (1 - 2). Is r equal to -3/2?
False
Let h = 2 - 2. Let a be (-3)/(-2)*(-16)/12. Let u be ((-1)/(-14))/(a/8). Which is bigger: h or u?
h
Suppose d + d + 10 = 0. Are d and -5 noneq