/4. Let g be 1 + (z/d - -1). Which is greater: 0 or g?
g
Let f be (-217)/98 + (-1)/(-2). Let z = 31/14 + f. Let d = 0.3 - 1.3. Which is smaller: d or z?
d
Let p be -8 + 7 - 3/(9/(-5)). Which is smaller: p or 27?
p
Let h(w) = -w**2 + 6*w + 16. Let l be h(8). Is -14/17 at least l?
False
Let l = -44002/5 + 8694. Let s = -106 - l. Suppose -5*w + 5*r - 3*r = -13, r + 6 = 2*w. Which is bigger: w or s?
w
Let w(y) = -y**3 - 3*y**2 - 3*y - 1. Let m be w(-2). Let t = 659/7 - 94. Which is bigger: t or m?
m
Let d be (-20)/15*3/10*1. Let u = -4.2 - 0.8. Is d less than u?
False
Let x = 0.23 + 5.17. Let d = 0.4 - x. Which is smaller: 0 or d?
d
Let r be (-1)/2*(-1)/(-5). Let d be (-1 - -1)/((-1)/1). Which is greater: d or r?
d
Let b = -32 + 159/5. Let a = 3 - 4. Which is smaller: b or a?
a
Suppose -5*k + 77 - 7 = 0. Suppose -3*u = 2*u + 3*b - k, 3*u = -5*b + 18. Is -15 greater than u?
False
Let x = 14 - 23. Let y = x + 7. Which is bigger: -1 or y?
-1
Let a(r) = -r - 1. Let d be a(-5). Suppose -4*z + k = -0*z + 12, 2*z + 2*k = d. Is z bigger than -2?
False
Let g be -2 + (-2 - 2 - -20)/9. Is g bigger than 2?
False
Let f(v) = v**3 + 8*v**2 - 10*v - 5. Let n be f(-9). Suppose 0 = -4*x - n*u - 0*u + 20, -7 = -3*x + 5*u. Let k = 3 - x. Is k less than or equal to 0?
True
Let d be 2 - 0 - (-24)/(-14). Is d greater than 9?
False
Let t = -2.5 - -0.5. Let d = -2 - t. Let c = 0 + d. Which is bigger: 2/9 or c?
2/9
Suppose 0 = 3*r - 2*n, -4*n = -3*r - 2*r - 2. Suppose -r*p + 0 = 2. Is p smaller than -3/7?
True
Let l(u) = u**3 + 14*u**2 + 12*u - 15. Let r be l(-13). Which is smaller: r or -8/11?
r
Let b(k) = -k**3 + 12*k**2 - 12*k + 10. Let a be 8 - 5/(10/(-6)). Let z be b(a). Let w = z + -5. Are -5 and w equal?
False
Let q be (-26)/(-2) - (5 - 4). Suppose 2*s + 5*n = 7 + 11, 4*s - q = 2*n. Which is smaller: 3 or s?
3
Let y = 3.01 + -0.01. Let x = 0.096 - -27.704. Let c = x + -28. Which is smaller: y or c?
c
Let m = -138 + 688/5. Let x be 1/(-1) - (1 - 2). Which is bigger: x or m?
x
Let h = -1/48 + 101/240. Let s = -36 - -35. Are h and s unequal?
True
Suppose 7*n = 3*n + 16. Let z = 11 - 6. Which is smaller: z or n?
n
Let b be 35/(-100) + 2/(-8). Suppose 0 = -0*n - 3*n. Let j be n*(-1*2 - -3). Which is bigger: j or b?
j
Let o(c) = c**3 + 7*c**2 - c - 6. Let g be o(-7). Suppose -3 = u - g. Let d = -10 + 7. Which is greater: u or d?
u
Let h = -5 + 7. Suppose 4*p - 4*z = -13 + 5, p - h*z - 1 = 0. Let r = 5 + p. Is 4/7 at least r?
True
Let p be 3 + 34*(-3)/(-6). Let w = p - 29. Which is greater: w or 0?
0
Suppose 0 = 2*w - 6*w. Suppose w*k = 3*k. Is 0 != k?
False
Suppose -2*p + 5 = 2*a - 1, a = 3*p - 5. Suppose -3 - 4 = -2*d - c, -p*c = -d + 11. Is 5 >= d?
True
Let l = -13 + 16. Let k be (-87)/207 - (-1)/l. Does k = 1?
False
Let a be ((-1)/(-81))/((-224)/11604). Let g = a - -13/56. Let q = -2/27 - g. Which is smaller: 0.2 or q?
0.2
Let g = -83 - -95. Is g at least as big as 6?
True
Let a = -9.9 + 10. Which is smaller: 11 or a?
a
Let r = 0.045 + 8.955. Do 2/23 and r have the same value?
False
Let t(k) = 3*k - 2. Let o be t(-2). Are -6 and o unequal?
True
Let o(r) = r**3 - 5*r**2 + 7*r. Let i be o(3). Does i = 9?
False
Let w = -0.8 - 0.2. Suppose -d = -0*d + 5. Let o = d - -6. Is o >= w?
True
Let t = 25 - 24. Which is smaller: 3/7 or t?
3/7
Let x(k) = -k**3 + 6*k**2 - 5*k - 3. Let t be x(5). Suppose -4*w - 40 = 4*w. Is t at most as big as w?
False
Let i = -7 - -10. Let w = i + -2. Let a = w + 0. Which is smaller: a or 3?
a
Let x = 0 - -1. Is x equal to 2?
False
Let i(t) = -2*t**2 + 3*t + 3. Let a be i(-2). Let g = a + 16. Which is smaller: g or 4?
4
Let d = 65 - 65.27. Let y = -0.07 - d. Is 0 greater than or equal to y?
False
Let i be (-40)/(-48) - 2/(-12). Let p be 2 + -2 - i/(-3). Does p = 1?
False
Let l = 61 + -62. Which is bigger: 1 or l?
1
Let r = 4/167 + -315/6179. Is r at most as big as 0?
True
Suppose -10 = -5*p + 10. Let o be (8/5)/(p/10). Suppose -o*v + 1 = -3*x - 2, 0 = 2*v - 5*x + 9. Is v at most as big as 4?
True
Let m(a) = -11*a + 15. Let h be m(6). Are h and -51 non-equal?
False
Let w(x) = x**3 + 6*x**2 - 2*x - 8. Let p be w(-6). Let t be 7/p + 5/20. Is t <= 3/2?
False
Let x = 0 + -3. Let j = x + 2. Which is smaller: 1 or j?
j
Suppose -2*u - 2 = 4. Let n be 0 + 1 + (u - -2). Which is greater: n or -2/13?
n
Suppose -n = -2*u, -5 = -4*n + 3. Are u and 1/25 nonequal?
True
Let w = 0 - 0. Let c(z) = -6*z + 1. Let x be c(1). Let b be -1 + (2 - x/(-8)). Which is bigger: b or w?
b
Suppose -5*f = -12*f - 70. Which is smaller: -8 or f?
f
Suppose -4*l = -5*r - 51, 4*l = 3*r - 0*r + 45. Let t = -4 + l. Suppose j + 3*j = 28. Are t and j equal?
False
Let l be (4 + (-16)/4)*(-2)/6. Is -12/17 less than l?
True
Suppose 4*b = 2*r - 20, b - 8 = -3*r + 1. Which is greater: b or -5/2?
-5/2
Suppose 0 = -5*i - 2*w + 6, 3*w - 5 = -2*i + 4. Which is smaller: i or 13?
i
Let t = -5 - -5. Let d be -5*(5/4 + -1). Which is bigger: d or t?
t
Suppose 3 = -4*v + v. Let z be (-32)/48*6/(-10). Is v at least z?
False
Let p be 1 + 2110/(-3828)*2. Let v = -1/87 - p. Which is smaller: -1 or v?
-1
Let d = -3 - -5. Suppose 0 = -r - d*r. Suppose r = -4*n + n - 24. Is n <= -8?
True
Suppose -12 = -2*h - 4*c, -7 - 11 = -3*h - 5*c. Let w = 6 - h. Let o = -1 - w. Which is greater: o or -3?
o
Suppose -2*j + 3 = -3*j. Let w be (4/10)/(6/(-330)). Let o be (w/(-10) + -3)*5. Does j = o?
False
Let c = -3 + -1. Let h = 14 + c. Suppose d + 2*s + 4 = 0, d - 4*s - h = -2. Which is smaller: -2/9 or d?
-2/9
Let z(a) = -a**2 + a - 6. Let t be z(2). Is 0 at least t?
True
Let d be 0 - (-4 - (-3 - 2)). Which is smaller: d or -2/109?
d
Suppose 4*z = -7 + 15. Are z and -3 unequal?
True
Let m = -46 - -137/3. Let l = 0 + 0.1. Which is greater: l or m?
l
Let f be 70 + 1*(-2)/(-1). Let n = f + -32. Suppose 5*x = 2*l + 35, -x - 5*l - n = -4*x. Is 6 smaller than x?
False
Let l(g) = -g**2 + 4*g + 2. Let n be l(5). Let m be (-1)/n*15/3. Which is smaller: 2 or m?
m
Suppose 0 = 6*o - 9*o + 5*x - 5, 2*o - 2*x = -2. Is -3/13 greater than o?
False
Let d = -0.105 - -6.215. Let s = -0.11 + d. Let p = 6.1 - s. Which is bigger: -1/8 or p?
p
Let f = -34 + 52. Suppose -3*u - f + 6 = 0. Which is greater: -3 or u?
-3
Let l be (-4)/10 - (-14)/36. Let d = -23629/111870 - -2/18645. Let r = l - d. Is r greater than or equal to 2/5?
False
Let n = 263/3 - 87. Suppose f - 4*m = 3*f + 6, 3*m = -9. Suppose -x + 1 = f*z, 5*z - 2*z + 2 = 2*x. Which is smaller: n or x?
n
Suppose 6*a - 64 = 2*a. Suppose 5*x = 4*j - 0*x + a, 0 = -3*j + 3*x - 9. Is j greater than or equal to -1/4?
True
Let q = 38 + -30. Which is bigger: q or -0.2?
q
Let n = 2 - 2. Let w(l) = l**2 + 5*l + 1. Let i be w(-5). Let t = i - n. Which is smaller: -0.1 or t?
-0.1
Suppose -2*s + 15 = -5*h - 50, -4*s - h + 163 = 0. Let p be ((-6)/(-15))/(2/s). Suppose g = -g + p, 0 = -y + 5*g - 20. Are 0 and y unequal?
False
Let r = -12 + 23. Suppose 0 = 4*y + 3*c - 15, -5*c = -4*y - r - 14. Are -2/9 and y unequal?
True
Let n = 8 - 3. Let m(c) be the second derivative of -c**3/2 - 3*c**2/2 - c. Let o be m(-3). Is n != o?
True
Suppose 0*d - 108 = 6*d. Is -17 smaller than d?
False
Let p be ((-5)/(-15))/(2/48). Is p > 8?
False
Let y = 1.8 - 2. Suppose -2*u - 3*n + 11 = -4*u, 5*u + 40 = 5*n. Let l be (-2)/u - (-38)/(-78). Which is smaller: y or l?
l
Suppose 5*i = 2*u + 41, 3*u = 8 - 2. Let m = i - 19/2. Let b(z) = z**2 - 4*z - 2. Let j be b(4). Are m and j equal?
False
Suppose 3*y = y. Let p be 1*3/(-66)*2. Is p equal to y?
False
Let c(t) = -t**3 + 14*t**2 - 2*t + 16. Let i be c(14). Which is smaller: i or -11?
i
Let x be (-2)/(-3) + 12/9. Let b be (-2)/x + (-1)/(-2). Let u = -3 + 2. Which is greater: b or u?
b
Let q be 1*6*(-10)/(-150). Which is smaller: -3/5 or q?
-3/5
Let f(a) = -3*a + 9. Let c be f(9). Is c at most as big as -18?
True
Let c(f) = -f**3 + 5*f**2 + 7*f - 1. Let s be c(6). Suppose 6 = -3*v + 4*r, 0 = -3*v - s*r + 4*r - 6. Is -3 > v?
False
Let o(z) = 4*z**2 + 4*z + 4. Let j be o(-3). Is 0 greater than j?
False
Let c = 28 - 19. Let q = c - 8. Let n = -2 + q. Does n = 0.1?
False
Let i = -957/4 - -237. Which is smaller: -3 or i?
-3
Let a(u) = u**2 + 5*u + 2. Let g be a(-6). Let r be 5/(5/(-2)) + g. Is 4 != r?
True
Let w = -6 - -6. Let r = 0.1 - w. Let d = r - 0.3. Are d and -2/5 unequal?
True
S