)/d - (-8)/36. Which is greater: 2/5 or w?
w
Suppose -5*t + 4 - 24 = 0. Let l be (-2)/8*t/9. Let x = 1.1 - 0.1. Is l less than x?
True
Let p be ((-2)/(-15))/(21/35). Which is smaller: p or -1/4?
-1/4
Let j(z) = -z**3 + 5*z**2 + 6*z - 4. Let s be j(6). Which is bigger: -19/6 or s?
-19/6
Let k = -6/97 + 321/485. Suppose -5*m + 5 + 5 = 0, -3*m = -5*f + 4. Which is greater: f or k?
f
Suppose -7*x - 12 = -13*x. Does x = -0.047?
False
Let r be 5319/(-22)*2/3. Let b = -161 - r. Which is bigger: -0.2 or b?
b
Let s = 18 + -13. Let c be 6/15*s/2. Is 1 at most as big as c?
True
Let p = 0.99 - -14.01. Let r = -0.1 + -0.9. Is p not equal to r?
True
Let t(j) = -j**2 - 6*j + 3. Let k be t(-12). Is k less than -69?
False
Suppose s = 5*s. Let v = 6 - 4. Suppose -n = -v*n + 1. Which is smaller: s or n?
s
Suppose -33*k = -30*k - 15. Let t = 6 - 1. Suppose 12 = 3*w + 3*a, w = t*w - 2*a - 4. Which is smaller: w or k?
w
Let g = -121/6 - -20. Let x(a) = a**2 + 8*a + 7. Suppose 28 = 4*s - 8*s. Let n be x(s). Which is smaller: n or g?
g
Let s = -8 + 11. Let a = s - 3. Is 2 >= a?
True
Let w = -10 + 28. Let a be 1/(-2*(-3)/w). Let j be 4/a*9/(-6). Is -2 smaller than j?
False
Let o(y) = -y**2 - 8*y + 5. Suppose -h - 8 = w, -3*h - h - 5*w - 31 = 0. Let t be o(h). Let k = -5 - t. Which is smaller: k or 1/4?
k
Let w be (-3)/(-6)*(-6)/1. Let s = w + 4. Let c(z) = -z**3 + 5*z**2 - z + 5. Let f be c(5). Is f bigger than s?
False
Let d(m) = -m**3 - 4*m**2 + 3*m. Let v be d(-4). Which is bigger: v or -11?
-11
Let f = -10 + 17. Let o = f - 8. Which is bigger: o or 8?
8
Suppose 636 = 17*j - 571. Is 72 < j?
False
Suppose -1 + 4 = q. Let z = 18 + -11. Suppose -5*s = -2*a - 0*s - z, 3*s - 21 = -3*a. Is q > a?
False
Suppose -5*h = -x, 10*x + 2*h = 5*x. Let f be (156/65)/(22/5). Are x and f unequal?
True
Suppose 0 = -3*r - 1 - 20. Let x = r - -7. Let h be (-6)/(-21) + 1/21. Is h > x?
True
Let f be (5/(-3))/((-1)/3). Let w be ((-1)/f)/(60/25). Which is bigger: w or 1?
1
Let g be (4/262)/(2 + -1). Which is smaller: 1/2 or g?
g
Let r = -31.98 - -33. Let v = r - 0.02. Are 3/4 and v nonequal?
True
Let y(p) = -p**3 - p**2 + p + 6. Let f be 4/20 + 2/(-10). Let j be y(f). Which is bigger: 7 or j?
7
Let w(i) be the second derivative of -i**4/12 + i**3 + 3*i**2 + 3*i. Let b be w(7). Let p be (-7)/(-5) - (7 + -6). Which is bigger: p or b?
p
Suppose 4*a = 5*n - 10*n + 16, 3*a + 5*n - 17 = 0. Let k = 1 + a. Is k >= 2?
False
Let q be (0 - (-6)/(-8))*88/297. Let j(i) = i**3 + 4*i**2 + i + 5. Let z be j(-4). Let n be (0 + 1)/(z + -2). Is q at most n?
False
Let t = 0.483 - -0.017. Which is smaller: t or -2?
-2
Let k = -0.8 - -0.8. Is k > 2?
False
Let i = -8 - -6. Let l = -0.6 - -1.68. Let o = -0.08 + l. Which is greater: i or o?
o
Suppose -g + 20 = 3*g - 5*f, -4*f = -g + 5. Suppose -5 - 5 = -5*x. Is x at least g?
False
Let j = -4 - 4. Let m = j - -12. Which is smaller: -1 or m?
-1
Let z be ((-2)/6)/(20/3828). Let v = -64 - z. Suppose 5*g + 4 + 2 = -3*b, -5*b - 10 = -g. Which is greater: v or g?
g
Suppose 0*t = -t - 3. Let g be -2 - (1 - (0 - -8)). Suppose -j = -5*q - 5*j - 15, 4*q = -g*j - 12. Is t equal to q?
True
Let c = 28 + -16. Let z = c - 7. Let y(t) = t + 14. Let j be y(-10). Which is smaller: j or z?
j
Let h(z) = 4*z - 6. Let n be h(2). Is 24/13 at most n?
True
Let w be 1083/(-1748) - 1/4. Which is smaller: w or 1?
w
Let k(z) = 10*z - 400. Let l be k(40). Let w be (0 - 172/(-105))/(-2). Let i = -2/105 - w. Is i at most l?
False
Let d = -0.483 + 0.583. Let b = 0.3 + -0.4. Which is greater: b or d?
d
Suppose 2*q - 5 = 7*q. Which is greater: 1/15 or q?
1/15
Suppose 3*g - p + 6 = 0, -2*g - 2*p - 3*p + 13 = 0. Is g <= -5?
False
Let j = 3 + -3.1. Let c(v) = -17*v**2 - 2*v - 1. Let m be c(-1). Let y be m/(-18)*(-6)/(-8). Which is greater: j or y?
y
Suppose m - 3 - 3 = -z, -2*m - 3*z + 13 = 0. Let q = m - 2. Is 1 at least q?
False
Let k be (20/(-125))/(2/(-5)). Which is greater: k or 6/7?
6/7
Let y be ((-1)/2)/((-1)/2). Let w be ((-6)/(-15))/((-51)/15). Which is smaller: w or y?
w
Let l = 10 - 7. Let b = 6 - l. Is 0 bigger than b?
False
Let k be (-2 + 2)*(4 - 3). Which is smaller: k or -1?
-1
Suppose -2*f + 8 = -3*i + 6*i, 4*f = 16. Suppose -768 = -i*g + 4*g. Let s = g - -963/5. Do -1/3 and s have the same value?
False
Let r = 3 + -2.9. Suppose 4*z + 29 = -5*g, -z + 19 = -3*g - 5*z. Let o be 27/g + 2 - -3. Which is greater: r or o?
r
Suppose 3*c + 4 = c. Suppose 5*i - 5 = -3*g + i, 2*g - 8 = -5*i. Which is bigger: g or c?
g
Let l be -4 + 20 + 4 + -4. Which is greater: 17 or l?
17
Suppose -5*t + 45 = -5*k, 2*t - 2*k = -3*t + 45. Suppose -g + 3*o = -4*g - t, 2*o + 10 = -4*g. Does g = 0?
False
Let o(x) = -18*x**3 - 1. Let j be o(-1). Is 2 equal to j?
False
Suppose n - 1 - 4 = 0. Suppose a - 6 = h, 5*a - 3*h - 5 = 17. Let w = a - n. Which is smaller: -2 or w?
w
Let n be (-2*3)/(-3) - 0. Is n > 1?
True
Let y be ((-2)/(-12))/(1/4). Let t(b) = -b**2 + 6*b + 7. Let s be t(7). Which is smaller: y or s?
s
Let x be (-13)/(-4) - (-1)/(-4). Let r(b) = 6*b + 2. Let z be r(1). Let o be -22*(-2)/z + -2. Which is bigger: o or x?
o
Suppose -12*f - 16 = -8*f, 0 = 3*i + 3*f + 15. Let a be 0 - -2*(-1)/7. Do i and a have the same value?
False
Let a be 1 - (-88)/6 - 1. Let h = a + -16. Is -1 greater than or equal to h?
True
Let n be (-18)/(-63) + 4/35. Let c = -1 - -3. Suppose u - 1 = -c. Which is smaller: u or n?
u
Let r be 222/(-24)*8/10. Let h = r + 39/5. Is h at most as big as 0?
False
Let i be (-25)/(-35) - 10/(-35). Which is smaller: i or 3/29?
3/29
Let x(p) = p**2 - 3*p - 1. Let v be x(4). Let h = -11 + v. Suppose 4*i + 2*a + 2*a = -28, 5*a - 10 = 0. Is h at most i?
False
Let n = -6 - -3. Let i(m) = m**3 + 4*m**2 + 3*m. Let t be i(n). Suppose 0 = -k - 1. Which is bigger: k or t?
t
Let s(m) = 0 - m + 3*m**2 - 6*m**2 + 2*m**2 + 2. Suppose 9*o = 4*o - 10. Let i be s(o). Is -2 at least i?
False
Let b = -5 - -9. Let p be 4/(-6)*(-9)/b. Is p equal to -0.1?
False
Let v(h) = -h - 2. Let z be v(-6). Suppose a = z*a - 9. Let i = -4 + a. Is -3/4 greater than i?
True
Let u = 1.5 - -2.4. Let c = -4.9 + 0.9. Let b = u + c. Which is smaller: 2/15 or b?
b
Let r = -46.7 + 52. Which is smaller: -0.1 or r?
-0.1
Let l be (-3)/19*(-28)/6. Is l at most as big as 0?
False
Let j = -22 - -30. Is 8 bigger than j?
False
Let r(a) = a + a**3 + 1 - 13*a**2 + 10*a**2 + 0*a. Let v be r(2). Which is greater: -2 or v?
v
Suppose -2*w - 2*d + 8 = 0, w + w = 3*d - 7. Let i be 1/2 + w/2. Which is smaller: i or -3/11?
-3/11
Suppose -27 = -3*d + 5*v - 8*v, -3*v = -2*d + 13. Which is smaller: d or 10?
d
Let f = 207 - 214. Which is greater: -8 or f?
f
Let l = -68.5 + 69. Which is smaller: l or -0.04?
-0.04
Let u = 197/45 - -2/9. Which is bigger: u or 4?
u
Let p = 39 + -21. Let y be p/(-12)*4/(-3). Is y bigger than 1?
True
Let y be -4 + (-45)/(-7) + -3. Let a = 0 - 0. Suppose 0 = 3*v + 3 - a. Is y != v?
True
Let p = -5 + 7. Let z be (-4)/p + (-1 - -2). Let u(w) = w**2 - 3*w - 4. Let g be u(3). Which is smaller: z or g?
g
Let o be 8*9/(-6) + 4. Is o greater than -8?
False
Let b be 1 + 1 + (-555)/18. Let x = b - -29. Is x at most 0?
False
Let a = -81 - -43. Let f be 136/365 + a/95. Which is bigger: f or 0?
0
Suppose 4*m + 30 = 14*m. Which is bigger: -4 or m?
m
Suppose t = -3*k + 2, -3*t = -k - 4*t. Let a be (-2 - -5 - -1)/58. Is a < k?
True
Let f be (-2)/(-5) + 32/20. Let d = 11 + -8. Is d at least f?
True
Let x = -2.8 - -0.8. Which is greater: 1 or x?
1
Let k = 25101/4 + -6228. Let y = -47 + k. Is y at most 1/5?
False
Let y(g) = g**2 + 7*g - 3. Let d be y(-8). Suppose d*v = 4*u - 12, -2*u - 4*v - 34 + 14 = 0. Which is bigger: -10 or u?
u
Let h = 7.5 - 3. Let y = h - -0.5. Let v = -6 + y. Which is smaller: -0.1 or v?
v
Let g be (3*(-186)/(-54))/((-3)/9). Is g >= -33?
True
Let f = -35 - -35.5. Which is smaller: f or 4?
f
Let d = 81/5 + -163/15. Is d >= 6?
False
Let k = -0.3 + 0.2. Let r = 0.2 + k. Let z = 977/5 + -196. Which is bigger: z or r?
r
Let w(b) = b**3 - 5*b**2 - 8*b - 3. Let d be w(6). Let k be d/(-2)*(-24)/30. Do k and -2/3 have different values?
True
Let b = 15 - 17. Let p be (-6)/6 - (b + -1). Do p and 2 have the same value?
True
Let p = -14 + 15. Let x = -7918/45 + 506/15. Let b = 142 + x. Is p != b?
True
Suppose -4*g = 4, 2*g = -4*s + g - 1. S