o(l) = -l + 7. Let v be o(6). Which is greater: 2/19 or v?
v
Let f be 39/(-40) + (-3 - (-54)/15). Let n = -5 - -3. Which is greater: f or n?
f
Let d be 3/((-2)/(8/20)). Let j = 7.82 - 7.9. Is j greater than d?
True
Let u = -0.17 + 0.27. Let g = -0.17 - -0.53. Let c = g - 0.4. Which is bigger: c or u?
u
Suppose -4*f + 26 = -p, 4*f + p - 28 = -f. Suppose 2*w = f - 8. Let j = -56/5 + 11. Which is smaller: j or w?
w
Suppose -3*o - 5*o = 24. Let t(w) = w**2 + 6*w + 7. Let y be t(o). Which is smaller: y or -3?
-3
Let x be 11 + (-1 - 4) - 101. Is x equal to -99?
False
Let n be (-51)/(-4) + (-7)/(-28). Suppose 5*r = -3*v + n + 7, 4*v + r = 4. Let b be v + -1 + 6/4. Are b and 2/11 equal?
False
Let i = 6.7 + -6.623. Let w = 0.177 - i. Is -2.7 greater than w?
False
Let u be ((-308)/55)/((-1)/5). Suppose a - u = -a. Is 14 > a?
False
Let a(m) = -3*m - 41. Let f be a(-14). Which is smaller: 1/10 or f?
1/10
Suppose 0 = 24*i - 13*i - 17*i. Which is smaller: i or 9/19?
i
Let b(u) = -9*u - 76. Let q be b(-6). Which is smaller: -31 or q?
-31
Let f = -2 - -6. Suppose -20 = 5*d + m + 29, -3*d + 2*m = 32. Let k be f - 1 - d/(-2). Is -3 equal to k?
False
Let w(g) = -g**2 + 9*g - 7. Let h be w(7). Suppose 0 = h*x - 11*x. Suppose 0 = 2*u - x*u + 16. Does -6 = u?
False
Let l = -4 + 15. Let t = l + 4. Is t at least as big as -2?
True
Let d = -6 - -2. Let g = -3 - d. Let h = 2498/13 + -192. Which is bigger: g or h?
g
Let s(l) = -l**3 + 42*l**2 + 45*l + 16. Let n be s(43). Is n equal to 102?
True
Let i be 70 + -74 - (1 + -2). Which is smaller: -356 or i?
-356
Let i = -364.83 + 365. Is -2/21 less than or equal to i?
True
Suppose 153 = 5*g + 4*g. Let k = 30 - g. Which is bigger: 14 or k?
14
Let i(j) = j**3 - 2*j**2 - 3*j + 1. Let a = -93 - -96. Let f be i(a). Is 0 <= f?
True
Suppose -62 + 66 = 4*y, -522 = -4*v + 2*y. Which is bigger: 133 or v?
133
Let p = -587/12 - -381/4. Let h = 46 - p. Is -1 > h?
False
Suppose 2*x + 5*t + 10 = -0*x, -x - 4*t = 8. Let o = 25 - 15. Let i be 2 - (1 - (-12)/o). Which is smaller: x or i?
i
Suppose 2*c = -514 + 270. Is -121 at most as big as c?
False
Let y(f) = f**2 + 9*f + 1. Let k be y(-10). Suppose -k*u = -3*u. Is u != 5/14?
True
Let f = 652023 - 59333307/91. Let s = -90/13 + f. Suppose 3*n = 11 - 2. Which is smaller: n or s?
s
Let j(r) = 2*r**2 + 7*r - 10. Let p be j(-7). Suppose -5*l = -206 - p. Which is smaller: 48 or l?
48
Let m(d) = 8*d - 54. Let y be (11/(-3) + -3)/(4/(-6)). Let w be m(y). Do -1/3 and w have the same value?
False
Let o(n) = 3*n - 83. Let l be o(31). Which is smaller: 12 or l?
l
Let p(a) = 4*a + 5. Let n(v) = -v - 1. Let w(k) = -6*n(k) - p(k). Let i be w(1). Suppose -3*o + 24 = i*u, -2*u - 4 = 2*u - 5*o. Is 2 <= u?
True
Let a be 11/(55/(-244))*15/(-6). Which is bigger: a or -3?
a
Suppose 0 = 2*b - 5*q - 15, 9*q + 12 = -2*b + 5*q. Which is greater: b or -8/83?
b
Suppose -3*m + 38 - 1 = -j, -4*m + 44 = 4*j. Let h be ((-16)/m)/((-4)/3). Let o = 5 - 7. Which is smaller: o or h?
o
Let v = -35 - -35. Let i be 37/(-3 + v + 4). Is 36 bigger than i?
False
Let k be (((-54)/(-21))/1)/(18/(-168)). Which is smaller: -13 or k?
k
Suppose c - 10*y = -9*y - 2, 5*c - 2 = y. Which is smaller: -2/249 or c?
-2/249
Let w be (-4)/(-14) + -134*(-12)/56. Suppose -4 + 21 = -m - 5*o, 3*m = 5*o + w. Let a(k) = -k**3 - 6*k**2 - 4*k + 7. Let c be a(-5). Are m and c nonequal?
True
Suppose 9*i + 210 - 201 = 0. Is -2/811 equal to i?
False
Let i be 50/13 + (-68)/(-442). Which is bigger: i or 5?
5
Let b be (966/(-160))/(-3) - (-2 + 4). Let r = b - 17/80. Is -15 less than r?
True
Let b = -0.202 + 0.402. Let f(n) = -n**3 - 2*n**2 + 2*n + 3. Let r be f(-2). Which is greater: b or r?
b
Suppose 4*k + 1 = 5. Suppose -2*q = -q + k. Are -12 and q unequal?
True
Let c(l) = 5 - 5*l - 3 + l**2 - 1. Let s be ((-32)/10)/(396/(-495)). Let o be c(s). Are -2 and o unequal?
True
Let d be 11/(954/(-198) - (-2)/(-11)). Suppose -v + 3 = -4*v. Is v > d?
True
Suppose 0 = 3*y - 5*x + 437, 300 = -4*y + 2*y - x. Is -149 at most as big as y?
True
Let p = -0.32 + 2.57. Let v = p - 1.25. Which is smaller: v or 1/3?
1/3
Suppose 7*v + 23 = 9. Let w be v/(-10) - (-342)/(-210). Do w and -2 have different values?
True
Let d be (-292)/(-60) - 6/(-45). Suppose -z = z + 3*j + 2, -d*j = 4*z. Suppose -z*a + 7 = x - 4, 3 = -3*x + 3*a. Are x and -3/17 equal?
False
Let h(i) = 20*i - 2 - 36*i + 38*i. Let v be h(-1). Is -23 less than or equal to v?
False
Suppose 2 - 7 = -q. Let k(t) = -t**2 + 9. Let f be k(3). Suppose 0 = 3*s + 6, -4*p + q*s - 2*s + 6 = f. Which is bigger: p or 4/7?
4/7
Let z = 0.25 - 10.25. Let x = z - -10. Which is bigger: -1/4 or x?
x
Let j = 8 + -10. Let w be j + 5 - 5 - -3. Let q = -574/255 + 32/15. Is q greater than or equal to w?
False
Let t = -1 - 4. Let u = t + 5.03. Let p = -0.07 - u. Are -1 and p unequal?
True
Let g = 20 - 125. Let i be (1/(-3))/(31/9771). Let r = i - g. Is r != -1/4?
True
Let t = -60 - -56.9. Let f = 2.1 + t. Which is bigger: 15 or f?
15
Let r = 5419/4 + -1294. Which is greater: r or 62?
62
Suppose 0 = j - 1, 0*a + 19 = a + 5*j. Suppose -5*s - 2*p = -30 - 4, -5*p - a = -4*s. Let x be (s/(-2))/(-6) + -2. Are -1 and x nonequal?
True
Let u be (-3)/(-6)*(-8)/18*-3. Is -4.16 >= u?
False
Let x = 36 + -55. Let h = 20 + x. Let a(f) = -6*f**2 + 1. Let p be a(1). Do p and h have the same value?
False
Let h = 9 - 16. Let f = 44 + -42.1. Let q = -2 + f. Is h > q?
False
Let k = 66392 + -463254/7. Which is smaller: k or 212?
212
Suppose 5*j + 24 = -3*k - 24, -3*k = -5*j + 18. Let a = k + 41. Let d be ((-2)/(-4))/(40/a). Which is bigger: 1 or d?
1
Let g = -2161 + 2117. Is g < 2/39?
True
Let v(b) be the second derivative of 3*b**5/20 + b**3/3 - 5*b. Let w be v(-2). Let u be (w/14)/((-12)/(-2)). Is -2 at least as big as u?
False
Let b be (-4)/(-10) + (-494)/(-65). Suppose 0 = b*w - 4*w - 136. Which is smaller: w or 33?
33
Let c = 44 + -45. Let d(q) = 8*q + 3. Let v be d(c). Let j be (2/(-2))/1 + -5. Is v at least j?
True
Let g be -10*((-5)/(-38))/5. Let j be (-3 + 6/(-4))/(207/(-46)). Which is bigger: j or g?
j
Let n = 0.16 + 24.84. Let z = 27 - n. Do -1 and z have different values?
True
Let q = 116272/25 - 4650. Let b = q - 751/825. Do 1 and b have the same value?
False
Suppose -4*w - 87 = -3*s - w, 3*w + 27 = s. Let o = -25 + s. Is 0 at most as big as o?
True
Let j = -20 + 4. Let c be ((-2)/(j/(-20)))/(-1). Suppose 9 = -b + 4*p, -b - 2*b = -3*p. Is b > c?
True
Suppose 4*o - 9*o - o = 0. Which is bigger: o or 17?
17
Let x be 6 - (-106)/(-75)*5. Is x less than or equal to -2?
False
Let k be -4 + 1 - -1 - -24. Suppose h - 3*h - 3*v = -k, -8 = -2*v. Suppose -4*q = w - h*w, 12 = -2*q + 5*w. Is q <= 5?
True
Suppose -4*f = -x - 8, 3*f + f = 2*x + 4. Let h be 200/105*-1*(f - 0). Is -5 < h?
False
Let i = -23533/9 - -2618. Let d = i + -136/45. Is d bigger than 1?
False
Let b = -275 - -276.5. Which is bigger: b or -1/4?
b
Let v(s) = -16*s - 6. Let a be v(-4). Let f = a + -43. Which is bigger: 14 or f?
f
Let l = -6096.803 - -6136.6. Let i = -19.844 + l. Let k = 0.047 + i. Is k not equal to -1?
True
Suppose 0*i = 18*i - 18. Are i and 17/7 nonequal?
True
Let c be 9/1 + 88752/(-9840). Is c > 2/3?
False
Let i = 1665.741 - 1666. Does i = 0?
False
Let q be (9 + -1)*5 - 1*4. Is q at least as big as -0.1?
True
Let j be 2/1 + (-3 - -10). Suppose -2*z + 5*g - 17 = z, 5*z - j = -g. Which is smaller: z or 19?
z
Let q = 6 + -9. Let d(l) be the third derivative of -l**5/60 - 5*l**4/12 - 23*l**3/6 - 6*l**2. Let k be d(-6). Is k greater than or equal to q?
True
Let v(m) = -m - 2. Let x be v(-4). Which is smaller: 24 or x?
x
Let d be (6 - 2 - 3)*3. Let m = 159 - 941/6. Which is smaller: d or m?
m
Suppose -2*a + 19 = -17. Let p = a - 13. Suppose 0 = -p*h + h. Is 2 at least as big as h?
True
Let v = -25 + 25.315. Let x = v + 0.085. Is x smaller than 2/21?
False
Suppose -3 = -25*b + 22. Which is smaller: -3/505 or b?
-3/505
Let l = -1485 - -13450/9. Is 9 greater than l?
False
Let j = 292 - 291.88. Suppose 3*o = -0*o, 4*c - 4*o = 32. Let w be (c/(-14))/((-6)/3). Is j bigger than w?
False
Let r be 170/75 + -3 - -1. Which is bigger: r or 6?
6
Suppose 4*z + 169 + 45 = 5*n, -4*z = n - 62. Which is greater: 50 or n?
50
Let p = 310 + -317.5. Let a = -0.2 + 0.7. Let g = a + p. Is g != 0.1?
True
Let i