t i = 42 + -48. Let g(t) = 8*t + 18. Let z be g(i). Let o = -119/4 - z. Which is bigger: 0.03 or o?
o
Suppose v + 4*p = 20, -4*v - 2*p + 10 = -v. Is v equal to 260?
False
Suppose 0 = -2*j + 5*z + 316, 2*j - 4*z - 209 = 105. Suppose -j*i = -144*i - 927. Is -1 smaller than i?
True
Let c(z) = -16*z - 158. Let q be c(-10). Suppose 15 = 4*x - 3*b, 10*b = -q*x + 12*b + 10. Which is smaller: x or -16/39?
-16/39
Let v = 3739.3934 + -3739. Which is smaller: 0 or v?
0
Suppose 0 = 2*p + 1 + 1. Let l = p - 1. Let b be 5/(70/(-112)) + 10. Is l at least as big as b?
False
Let q be 133/56 - 12/32. Let h(v) = -11*v**3 + v**2 + 4*v - 4. Let t be h(q). Which is smaller: t or -77?
t
Let w(p) = 5*p - 3. Let s be w(3). Suppose -4958*n - 1742 = -5092*n. Are n and s equal?
False
Let z(u) = -u - 14. Let i = -34 - -21. Let y be z(i). Let p be 2/(-4)*-16 + (-13)/(247/148). Which is smaller: y or p?
y
Let c(p) = p**2 + 23*p + 129. Let d be c(-6). Suppose -3*g + 5*k + 305 = 0, -26*g - 95 = -d*g + 3*k. Which is smaller: g or 111?
g
Let w = 628 - 673. Let y be 30/w + 172/(-3). Which is smaller: -56 or y?
y
Let h = 36774 - 36774. Let d = -14 + 3. Which is bigger: h or d?
h
Let a = -1383478/21 + 65854. Is -27 less than or equal to a?
True
Let k = -81 - -140. Let f = -45 + k. Let c = f - 30. Is c smaller than -15?
True
Suppose -2*b + 598 = 42*q - 44*q, b - 309 = 3*q. Is 308 less than or equal to b?
False
Let q = -0.8384 + -2.5616. Is 0.73 greater than q?
True
Let c = -0.27 - -0.17. Let a = c - -0.2. Let k = -216 - -231. Is a smaller than k?
True
Let x(w) = w**3 + 13*w**2 + 12*w + 9. Let k be x(-12). Let h = -9 + k. Let m = 12854/407 - 348/11. Which is bigger: h or m?
h
Let b be (3/(-4))/(-14 + 815/40). Let x = 9/221 + b. Is x > 1?
False
Let f = -3 - 6. Let p(s) = -s - 20. Let h be p(f). Suppose -2*l = 6*m - 8*m + 36, -2*l - 31 = -m. Is l at least as big as h?
False
Let s(q) = 5*q**3 - q**2 + 4*q + 3. Suppose -283 = -9*o - 292. Let d be s(o). Which is bigger: d or -4?
-4
Let n = -1768 - -1675. Does n = -94?
False
Let b = 45681/209 - 2769/11. Which is bigger: -32 or b?
-32
Let x = 23 + -12. Let y(i) = i**2 - 3*i - 87. Let c be y(x). Is c greater than -1/168?
True
Suppose -110 = z + z. Let v = -55 - z. Suppose -2*q = -2*l - 16, -4*q = -v*l - l - 14. Which is smaller: l or -2?
l
Let g be (18/333 + (-13256)/231546)/((-3)/9). Is g > 0?
True
Let x = -283893/28 - -10139. Are x and -248 non-equal?
True
Let l(y) = 5*y**2 - 77*y + 14. Let v be l(15). Let o = -7 - 5. Let s be 1 + -2 + v/o. Which is smaller: s or 0?
0
Let i = -6.422 + 6.599. Which is smaller: i or 2/5?
i
Let a = 2986 + -2986. Which is smaller: -2/829 or a?
-2/829
Suppose 0 = -5*j + 23*q - 18*q - 235, 0 = -3*j + q - 143. Which is smaller: -669/14 or j?
j
Let o(t) = 2*t**2 - 25*t + 31. Let a be o(15). Suppose 106 + a = 4*h. Let l = h - 31. Is 2 at most l?
True
Let m = -64 + 66. Suppose 0 = 2*v - 4*v - w + 2, -5*w + 10 = m*v. Suppose -5*i + 2*y = 46, v*i + 2*y = -i - 14. Which is smaller: i or 0.2?
i
Let q be 4 - (0 - 45) - 0. Let i be (72*-1)/((-21)/14). Which is bigger: q or i?
q
Suppose 0 = 5*l - 2*g - 675, l - 2*g + 73 = 208. Is l smaller than 3138/23?
True
Let j(o) = o**2 + 12*o - 1. Let t(f) = 15*f**3 + 2*f**2 + 3*f + 1. Let s be t(-1). Let n be j(s). Which is smaller: n or 1/4?
1/4
Suppose -876 = -44*g + 46*g + 544. Which is smaller: g or -725?
-725
Let n = 173.8 - 174. Let r = 72.03 + -73. Let u = 1 + r. Is u <= n?
False
Suppose 0 = 9*w + 1821 + 303. Let y be (-9)/(-3)*940/(-12). Which is smaller: w or y?
w
Suppose -14733 = 23*f + 9565 + 17838. Which is greater: f or -0.3?
-0.3
Let l be (-7)/((-14)/8)*1. Let p be 8/(6/15*(1 + l)). Let g be ((-15)/9 - p/(-6))*4. Is g less than -4?
False
Let p be (1/6)/(16 + 693/(-42)). Is p >= -25.6?
True
Let h = 170/451 + -8/41. Let q(x) = x**3 + 10*x**2 + x - 12. Let a be q(-6). Let s be ((-2)/9 - 350/a)*4. Which is smaller: h or s?
s
Let u(x) = 4*x**3 + 41*x**2 - 36*x - 32. Let w be u(-11). Is w at least as big as 2/4753?
True
Suppose 0 = -n - n - 20. Let w be -13*((-16 - -16)/(-24) - 1/(-1)). Does n = w?
False
Let k = 0.97 - 11.91. Let y = 0.06 - k. Let j = 230/9 + -463/18. Which is bigger: j or y?
y
Let w = -180 - -185. Suppose -w*l - 24 = -4*l. Suppose 2*h - 3*h - 26 = 0. Do h and l have the same value?
False
Suppose 1189 = 3*s + u, s - 2*s - u + 393 = 0. Let b be -301*4/s - (-2 + -1). Which is bigger: 0 or b?
0
Let g = 809 + -2. Let y = g - 870. Which is bigger: -60 or y?
-60
Let q = 310 + -304. Let m be q*3/((-24)/(-428)). Which is greater: 320 or m?
m
Suppose 0 = -4*c - 2*f + 196, f - 60 = -56. Let l be (-1)/2 + (-190)/(-4). Let d = l - c. Is d equal to 2/103?
False
Suppose -j - 21 = 4*s - 0*s, -120 = 4*j + 4*s. Let v = -38 - j. Let u be (-2)/v - (-835)/(-25). Is -32 smaller than u?
False
Let k = -362/161 + 55/23. Which is smaller: -454 or k?
-454
Let c be 8590/6 + (-92)/(-69). Let m = c - 104607/73. Which is smaller: 2 or m?
m
Let z be (2 + -1)*(-3 + (-13)/((-78)/18)). Is -2/4895 bigger than z?
False
Suppose 51 + 3 = -6*u. Let h(w) = -3*w - 20. Let r be h(u). Is 6 less than r?
True
Let j = 10416 + -20397/2. Suppose -3*a = 4*w + 630, a = -w - 47 - 163. Let h = a + j. Which is bigger: h or 8?
8
Let v be 1 + 2 + (2 - -1). Suppose 135 = -n + v*n. Suppose 0*d - 5*d = -2*m - 69, -n = -d - 4*m. Is 14 > d?
False
Suppose 37 = -4*h + 61. Let m be (-33)/(-77) - h/(-7). Let s = -4 - -6. Which is smaller: m or s?
m
Let h(z) = 0*z + z - 193 + 191. Let n be h(1). Is n bigger than -10/33?
False
Let m be ((-2)/(-2 + 0))/1. Let a = -3/4978 + 2250071/24890. Let y = -8111/90 + a. Which is smaller: m or y?
y
Suppose 0 = -5*a + 15*a - 10. Let k = -3 - -6. Suppose 0 = -0*g + 2*g + 4*b - 4, k*g = -2*b - 2. Which is bigger: g or a?
a
Let c(x) = -18*x**2 + 258*x - 31. Let z be c(15). Is z > 10?
False
Let g = 0.04335 + 0.01665. Which is smaller: g or 299/7?
g
Let r = -539 + 542. Let k be 2/(-3) + ((-3354)/18 - r). Which is bigger: 1 or k?
1
Let n(y) be the second derivative of -5*y**3/2 + 33*y**2 + 2*y + 16. Let v be n(4). Which is smaller: -0.5 or v?
-0.5
Let i be 0/((-13)/78*6). Suppose 4 = -3*n + y, 0 = 3*y + 2 + 13. Let f be (i - -2)*(n - (-8 + 4)). Which is smaller: 8/7 or f?
8/7
Let g = 5.174 + -110.494. Let s = g + -0.68. Let o = s - -105.9. Is -3 at least o?
False
Let y = 26000/3 + -8609. Which is bigger: 1 or y?
y
Let i = -71 - -542. Let z be (-944)/228*(-3 - i/(-156)). Let t = 1/39 - z. Which is greater: t or 7?
7
Let s = -25.16 + -4.44. Which is greater: -2/7 or s?
-2/7
Suppose 280 = -37*q + 1686. Is 34 <= q?
True
Let t be 4/(-14) - 12/7. Suppose -3*h - 4*u + 49 = 0, -8*u + 3*u + 50 = 3*h. Suppose 0 = 3*o - g + 9, -h = -2*o + 7*o + 5*g. Which is bigger: t or o?
t
Let u be 2/112 + 4 + -4. Let o = -3446 + 3445. Is o greater than u?
False
Suppose -12*b + 20*b = -416. Let z = -22 + b. Let t = z + 103. Is 30 at most as big as t?
False
Let v(o) = -o**2 + 29*o - 100. Suppose -8 = 3*j - 4*s, -j + s = -3*j + 13. Let f be v(j). Which is greater: 1 or f?
1
Suppose 0 = -13*k + 4 + 152. Suppose 40 = 8*f - k*f. Which is greater: -8 or f?
-8
Let o be (-40)/140 - 177/(-7). Let n(u) = u**2 + 5*u + 19. Let q = -27 - -21. Let w be n(q). Is w < o?
False
Suppose 5*y = -3*s + 2 + 74, 2*s - 4*y = 80. Let d be 15/10*(-2)/(-3) + 1. Let h(a) = a + 30. Let l be h(d). Is s greater than l?
False
Let f(u) = u**2 - 6*u - 1. Let n be f(5). Let j be 3/3 + (-7 + 3 - n). Let o be j/2*((-60)/(-18) + -4). Is -2/241 < o?
False
Let f be (18/(-24))/((-25)/480). Let o be -3 + (-1)/(((-28)/8)/(-7)). Let h(x) = 2*x**2 + x - 30. Let a be h(o). Is f at least as big as a?
False
Suppose 2*p + 2*p = 0. Suppose -2*r + 5*r + 70 = 5*s, -2*s - 27 = r. Let t be (0 - 3)/(-15)*r/(-4). Which is smaller: t or p?
p
Let w = -2401 - -2402. Suppose -5*x - 5*a = 0, 0 = -2*x + 6*x + a - 9. Suppose -y + 5*d = -22, -x = -2*d + w. Which is greater: y or 33?
33
Let z = -8167.9 + 8208.967. Let j = -0.067 + z. Let c = j - 41. Which is smaller: -1/15 or c?
-1/15
Let y be -8 + 91/((-56)/(-8)) - -5260. Which is greater: y or 5266?
5266
Let u = 4957/162 - 61/2. Let n be ((-105)/25 - -4)*(-38 - -38). Which is smaller: n or u?
n
Let r = 150 - 143. Let h be (1/(-6))/((28/(-8))/r). Let f = 0.38 - 0.05. Is h at most as big as f?
False
Let o = 19267 + -133484/7. 