e d(-8). Let y be 4/(-3)*l/8. Which is greater: y or 0?
y
Let s(x) = 4*x**3 - 2*x + 1. Let l be s(1). Let u be (-3)/2*(-40)/12. Suppose -2*m = u*z - 18, -8 = -m - m. Do l and z have different values?
True
Let s be 0/12 - 2/(-6). Let q be (-2)/6 + 6/27. Let w = s + q. Is -1 < w?
True
Let d be (-6)/(-1 + (-1)/(-2)). Which is greater: 14 or d?
14
Suppose 2*s + 3*s = -5. Let t = 4 - 2. Let h be (t - 9/15) + -1. Which is bigger: s or h?
h
Suppose 2*x + 12 = 4*k, -7*k = 5*x - 2*k - 15. Let s be (-1 - (x + 0))*1. Let w be (-272)/765 + -3*2/(-27). Which is greater: s or w?
w
Let b be ((-2)/(-12))/((-4)/8). Which is smaller: -6 or b?
-6
Let l(d) = -2*d**3 + 13*d**2 - 7*d + 8. Let m be l(6). Suppose 0 = i + j - 3, -4 = -j - 3*j. Is i equal to m?
True
Suppose 7*h = 4*o + 3*h - 20, 0 = -2*h. Suppose o*k - 4*i = i - 35, 5*k + 3*i = 5. Is k <= -7/5?
True
Let t = -1 - -3. Let s be (-10)/(-12)*2 + 0. Which is smaller: t or s?
s
Let l be (1 + -1)/(1 + -2). Let n = 3 - 3. Let y = l + n. Which is bigger: y or -1?
y
Suppose -2*y - 2*y = 48. Let s = 24 - 35. Which is smaller: s or y?
y
Let b = 4 + -3. Is b bigger than 2/33?
True
Let b(j) = -7*j - 4 + 2 + 4 + 0 - 4*j**2. Let n(k) = -5*k**2 - 8*k + 2. Let d(h) = -4*b(h) + 3*n(h). Let p be d(-4). Is p <= -1/2?
True
Suppose -o - 6 = -4*o - 2*i, -3*o = 4*i - 6. Suppose 4 = o*d - 6. Suppose -4 = h - d. Which is smaller: h or 1/3?
1/3
Suppose 30 = 2*h + h. Is h less than or equal to 9?
False
Let d(c) = -c**3 - 13*c**2 - 14*c - 22. Let h be d(-12). Is 5 greater than or equal to h?
True
Let u be (-6)/(-12)*(0 + 0). Suppose u = n - 4*n. Is n > 0?
False
Let j be (6/(-3))/2 - 0. Which is bigger: j or 3/47?
3/47
Let f = -682/5 + 136. Suppose 0 = 4*a - 8 - 8. Suppose -4*o + 3*o + 5*n + 19 = 0, -a = n. Is f bigger than o?
True
Let q(d) = 9*d + 1. Let i be q(-1). Let l be (-22)/(-5) - i/(-20). Let y be 6/l*(-4)/(-6). Which is bigger: y or 2/13?
y
Let n be 1/(-3 - (-1 - 1)). Let t be (-1)/(2 - 19/9). Are t and n unequal?
True
Let r be -1 + 14 - (-8)/2. Are 17 and r nonequal?
False
Let p be (-3)/(-3*(-3)/(-24)). Suppose -5*g - p = 7. Let x = g - -3. Which is smaller: x or 0.2?
x
Let r = -157 + 109. Which is greater: 1 or r?
1
Suppose -1 = 3*d + 11. Let s = 4 + d. Which is greater: s or -6/5?
s
Let r = -2 - -2. Let l be (24/36)/(14/6). Which is greater: l or r?
l
Suppose -21 = -i + 3*l, -2*i + 2*l + 15 + 11 = 0. Suppose 0*h = 3*h - i. Suppose 0 = h*m + 3*q + 6, q + 4 - 2 = -3*m. Does m = 1?
False
Let h(u) = 3*u. Let f be h(3). Let x = f - 28/3. Are x and -3/2 non-equal?
True
Suppose k - 11 = -4*j, -8*j - 2*k + 10 = -6*j. Suppose v = 2*y - 0*y + 4, y - 2*v + j = 0. Let q be -4 - ((3 - 2) + y). Is -3/2 greater than or equal to q?
True
Suppose -3*a = -a + 70. Let l be ((-20)/a)/(3/7). Suppose 2*b + 3 = 5*b. Is b > l?
False
Let p be 2/(4/((-8)/(-6))). Let b = -4/3 + p. Let w(y) = -y**2 - y. Let a be w(-2). Which is smaller: a or b?
a
Let b = 12.4 + -13. Is 2/5 >= b?
True
Let i = -0.2 + 1.2. Let h(r) = -29*r**2 - 7*r - 5. Let c be h(-4). Let k be 4/(-14) - 224/c. Which is smaller: i or k?
k
Suppose 4*u - 2 = -6. Suppose 0 = p - 0*p + 1, -3*t + 4*p + 1 = 0. Is u less than t?
False
Let i(o) = -o**2. Let c(m) = -5*m**2 - 10*m - 5. Let r(a) = c(a) - 4*i(a). Let x be r(-8). Suppose -3 + x = 4*h. Is 5/6 < h?
True
Suppose s = 2*h - 73, -4*s + 24 - 141 = -3*h. Let g be 7/h + (-6)/130. Let t = 1 - 2. Which is bigger: t or g?
g
Let q = -0.6 - 3.4. Let i = -2 + q. Let b = 1 + i. Is b bigger than -1?
False
Let f = -0.1 + 0.1. Let t = f + 0.2. Let y = 41 - 41.1. Which is bigger: y or t?
t
Let h(f) = f**2 - 4*f + 5. Let q be h(3). Suppose -37 + 5 = -4*k + q*w, 2*k - 28 = 4*w. Do k and 6 have the same value?
True
Let g = 5999/3 - 2049. Let h = 50 + g. Is 5 greater than h?
True
Let f(n) be the third derivative of -n**5/60 - n**4/12 - n**3/6 - 2*n**2. Let a be f(-2). Let g = 5 + a. Is 2 smaller than g?
True
Let l = 15 - 23. Suppose -5 = 2*k + 13. Is k at most as big as l?
True
Suppose v + 4*f = 0, -f + 0*f - 4 = 0. Is v <= 19?
True
Suppose 0*g + 4*g = 4. Let v(p) = -p - 17. Let t be v(-7). Let r be 5/t*1/4. Is g not equal to r?
True
Suppose 5*c - 67 = p, -4*p - 63 = -5*c + 235. Let f be (0 + -1)/((-7)/p). Let k(m) = m + 13. Let n be k(f). Do n and 4 have the same value?
False
Let f = 1.4 + 0.6. Suppose z = -3 + 2. Let a be (z*2/7)/1. Which is smaller: a or f?
a
Suppose 0 = -p + 3*h - 7, 3 = 3*p + 2*p + 4*h. Let i be (5 + p)*3/(-16). Is i at least -1?
True
Let w(r) = -r**3 + 4*r**2 + 4*r + 5. Let z be w(5). Suppose p - c + 12 = 2*c, z = 3*p - 5*c + 20. Which is bigger: 3/5 or p?
3/5
Let z = 29 + -29. Which is smaller: 3/4 or z?
z
Suppose -11 + 2 = -3*p, 0 = 4*f + 3*p - 17. Suppose -z - 1 = f*k, z + 6 - 26 = 5*k. Is z at least as big as 6?
False
Let l = 14 - 9. Suppose 4*u = -u - l. Is -1/32 less than or equal to u?
False
Let r = -183/5 - -37. Let a = -9 + 10. Let i = 0 - a. Which is smaller: i or r?
i
Let b = 5 - 0. Let q = 132 - 134. Do q and b have the same value?
False
Let x(u) = -5*u - 30. Let l be x(-6). Is -0.24 less than or equal to l?
True
Let h = 5.4 + -5. Let d = 13 - 12.7. Let r = h - d. Does -0.2 = r?
False
Let n = -14 + 6. Let c = n + 16. Which is smaller: c or 0.1?
0.1
Suppose 2*b - 5 = 6*b - f, -9 = 3*f. Let p be (1/36)/((-6)/45). Let s = -11/24 + p. Which is smaller: b or s?
b
Let l = 0.08 + -0.68. Let t = l + 0.7. Do 1 and t have the same value?
False
Let h be ((-33)/(-22))/((-21)/(-44)). Which is bigger: h or 2?
h
Let j(w) = w**3 + 8*w**2 + 7*w + 4. Let t = 2 - 9. Let p be j(t). Which is greater: 5 or p?
5
Let m be 9/((-27)/6) + 10. Which is smaller: m or 6?
6
Let u = -16 - -20. Let c be (2 + -4)*u/(-10). Is c >= 0?
True
Let w = -60 - -61. Is w smaller than -1?
False
Suppose -2*t - 1 = -t. Let n be (-3)/6 + (-1)/2. Is t bigger than n?
False
Let g(l) = 4*l + 4. Let s(j) = j + 1. Let y(z) = g(z) - 3*s(z). Let w be y(-1). Is w not equal to -4?
True
Let s = -1 - 2. Let y = -6 - s. Let i = -511/4 - -128. Which is greater: i or y?
i
Let j be 1/((-4)/(-18) + (-308)/(-72)). Let a(o) = o**3 + 6*o**2 + 5*o - 6. Let g be a(-5). Which is smaller: j or g?
g
Suppose 3*w = 2*w - 2*t - 19, -2*w - t = 47. Let o be (-4)/w*(-5)/2. Which is bigger: -1 or o?
o
Suppose 0 = -5*g + 4*g + 6. Suppose 2*w = g*w - 20. Which is smaller: 6 or w?
w
Let n(k) = -k**3 + 3*k**2 + k - 2. Let o be n(3). Let p be 2 + (-3 - -1 - -3). Let q be (p/(-30))/((-1)/(-4)). Which is greater: o or q?
o
Let h = 607/3 - 210. Is -7 less than or equal to h?
False
Suppose 20 - 268 = -4*d. Is 61 smaller than d?
True
Let z(b) = b**2 - 3*b + 1. Let r be z(2). Is -3/5 less than r?
False
Let o = 6.45 + -7. Which is greater: -1/4 or o?
-1/4
Let i = 1020 + -675. Suppose 2*m = -3*f - i, -m - m = -3*f + 375. Let g be (-21)/m + 1/(-4). Is 1 bigger than g?
True
Let h be ((-1)/3)/((-11)/(-33)). Which is smaller: 0.04 or h?
h
Let p(v) = -v**2 - 2*v. Let w be p(-2). Suppose w = -3*j - 4 - 11. Which is smaller: -1 or j?
j
Let d(z) = -z**2 + 8*z + 3. Let y be d(8). Let h(x) = x - 6. Let p be h(y). Which is smaller: p or -8?
-8
Let a = 2.984 - -0.016. Which is smaller: -2/9 or a?
-2/9
Let j(r) = -r - r + 3*r - 9 - 2*r. Let q be j(-7). Is 1 bigger than q?
True
Let p(t) = t + 4. Let d be p(0). Suppose 11*z - 18 = 2*z. Which is greater: z or d?
d
Let f be -2*(-3)/(-6) - 1. Let y be (f - -1)/((-3)/6). Which is smaller: 3 or y?
y
Let o be (2 - 1)*3 - -1. Suppose z + o = -z. Let k be (z/3)/(2/3). Is k bigger than -2?
True
Let l be 3/(-5) + 3/((-45)/6). Let f(b) = -b + 1. Let n be f(5). Is l at most n?
False
Let s = 4 - 3. Let w = s + -2. Let y = w - -0.8. Is y at most 1?
True
Let g = 3 + -5. Let c = 3 + g. Is -1/2 <= c?
True
Let k = 0 - 1. Let b(t) = t - 4. Let f(v) = v - 4. Let i(s) = 2*b(s) - 3*f(s). Let z be i(4). Which is smaller: k or z?
k
Let p = -5 - -8. Is p < 3?
False
Let m = 1.8 - 1.8. Which is smaller: m or -0.03?
-0.03
Suppose -1 + 9 = 4*q - 2*z, 11 = 5*q - 2*z. Let d be q/(-9) - (-143)/60. Let k = d - 9/5. Is k at most -1?
False
Let u = 31.6 + -31. Which is smaller: u or -0.07?
-0.07
Let v be 2*-2*(-2)/(-8). Let y = 49/209 - 1/19. Which is bigger: v or y?
y
Let k(y) = 9*y**2 + 8*y + 11. Suppose -3*a + 15 = 2*a. Let v(i) = -4*i**2 - 4*i - 5. Let p(j) = a*k(j) + 7*v(j). Let q be p(-3). Is -2/35 <=