 q or -5/14?
-5/14
Suppose -103 = r - 5*l, -1811*r + 4*l = -1816*r - 283. Which is bigger: r or -51?
-51
Let w(d) = 3*d**3 + 4*d**2 - 4*d - 5. Let s be w(-1). Let v be 4/18 - 4888/(-36). Let m be (-1)/(-2) - 36/v. Is s greater than m?
False
Suppose 5*b + 2*z - 55 = 0, 7*b - 3*z = 3*b + 67. Suppose 12 = -o + b*o. Is o greater than -21?
True
Let x be -1*(-15)/(-170)*(-16)/(-564). Is 1/3 greater than or equal to x?
True
Let p = -2.7 + -5.4. Let i = 8 + p. Suppose 841 = 109*k - 80*k. Are i and k equal?
False
Let b be -2 + (8 - 3) + -1 + -4. Let x be 134/(b + (-52)/(-8)). Which is smaller: 30 or x?
x
Let q(y) be the second derivative of -13*y**3/6 + 7*y**2 - 154*y. Let z be q(1). Is z smaller than 2/91?
False
Let f = 2899 + -3605. Is 2 equal to f?
False
Let a be (-8)/(-36) + (-4693364)/(-1179). Let r = a + -3981. Which is smaller: r or 1?
r
Let h(o) = 7*o**2 + 24*o - 2. Let m(d) = -8*d**2 - 26*d + 4. Let f(s) = 5*h(s) + 4*m(s). Let a be f(-5). Let b be ((-32)/(-29) - 1)/2. Which is greater: b or a?
a
Suppose 0 = 5*m + 3*x + 29, -1 = -x + 1. Let f(w) = -12*w + 11. Let q be f(m). Let z(g) = 2*g**2 + 10*g + 66. Let b be z(-7). Which is smaller: b or q?
b
Let j be ((-14)/7890)/((-553)/474). Which is smaller: -2 or j?
-2
Let i(c) = -6*c - 17. Let h be i(-3). Let b be (h*(-960)/(-28))/(3/21). Suppose -1536 = -12*o - b. Is 109 at least as big as o?
True
Suppose 27*w + 237694 = -59468. Which is greater: -11007 or w?
w
Suppose 2*j - f - 4 = 0, 5*j + 3*f + 7 = 6. Which is bigger: 1/7218 or j?
j
Let z = -8285.864 + 8286. Is z at most -18?
False
Let x = -108 - -11. Let l = x + 96.9. Are l and -2/121 equal?
False
Let v = 1/36 + -113/180. Let u = 260 + -246. Let b(t) = t - 16. Let n be b(u). Which is smaller: n or v?
n
Let n(y) = 4*y**2 - 15*y - 8. Let t be n(9). Let c = t + -170. Is c <= 72/7?
False
Suppose 6*p - 15*v = -17*v - 44, -5*v - 55 = 4*p. Which is smaller: p or -95?
-95
Let r(g) = 65*g**2 + 2*g - 66*g**2 + 2 + 3 - 2. Let d be r(3). Suppose -15 = 5*f, 5*s + 5*f - 13 - 12 = d. Is 7 at most as big as s?
True
Let q be -9 + ((-33)/22)/(27/(-180)). Which is greater: q or -10/111?
q
Suppose -2*w + 179 = 29. Let u(r) = -r**3 + 2*r**2 - 6*r - 40. Let s be u(-3). Suppose w = -s*t + 28*t. Is 14 less than t?
True
Let k = -50 - -67. Suppose 0 = 6*h - k*h - 11. Let f = -596 - -23841/40. Are h and f equal?
False
Suppose -9*b + 6*i + 293 = -8*b, 4*i = -3*b + 703. Suppose 2*p + 484 = 2*j, 0 = -j + 4*j + 4*p - 740. Which is smaller: j or b?
j
Suppose -19*j = -0*j - 22230. Suppose j = -103*h + 98*h. Is -2/9 at most as big as h?
False
Suppose 68 + 25 - 7 = -43*r. Which is greater: r or -839?
r
Let x = -1/327 + 335/2616. Is -2/139 at least x?
False
Let a = -0.28 + -11.72. Let n = -0.034 - -0.09. Let q = n + 1.944. Which is smaller: q or a?
a
Suppose 4*v - 5*y + y - 24 = 0, y + 4 = 0. Let b be (v/3)/((-4)/6). Let f be (b/12)/(225/120). Is f less than -1?
False
Let l(h) = h**2 + 2*h - 1. Let o be l(-2). Let x be 10 + (3 - 4/1). Let p be 18/27 - 60/x. Does p = o?
False
Let a = -407 + 403. Let k be 0 + a + (-24)/(-4) + -1. Is -1/62 less than or equal to k?
True
Suppose 5*j = 5*b + 580, 0*b - 5*j - 86 = b. Let v = b - -110. Are v and 1/4 non-equal?
True
Let f = 44/9 + -14/3. Suppose -5*r + 8*r - 12 = 0. Suppose -5*u + 5*g + 49 - 9 = 0, r*g = -4. Which is smaller: u or f?
f
Let p(y) = 11*y**3 - 23*y**2 - y - 3. Let f be p(3). Which is smaller: f or 88?
f
Let p = 24397 + -23816. Is 592 > p?
True
Let g = 18 - -0.4. Let m = -18.6 + g. Is m at most as big as -0.09?
True
Let d(p) = 3*p + 10. Let u be d(-8). Let m be (-21)/((-11)/(-2) + -4). Let k = m - u. Which is smaller: k or 2/123?
k
Suppose -6 = -2*d - 42. Let v = -18 - d. Let a = -2/1363 + 6829/9541. Which is greater: v or a?
a
Let c(y) = 2*y + 31. Let u be c(-11). Suppose -4*r = -u*r - 2*x, -3*r = -3*x - 21. Suppose r*n - 36 = -5*a, n = 3*a + a - 34. Which is smaller: a or 0.02?
0.02
Let i be (-501 - -505) + -4 + 0. Which is smaller: i or 1/67871?
i
Let y = 252 + -252. Let b be (y - 5 - -4)*46. Which is greater: b or -44?
-44
Let d be 5/(-45) + 1112/(-36). Let l = d + 33. Let a be (-66)/13 - (l + -6). Which is smaller: a or -1?
a
Let t(k) = -11*k - 260. Let z be t(-24). Suppose -3 = -h + u, 5*h - 11 = z*u - 0*u. Let d = 71/4 + -8599/484. Is d not equal to h?
True
Let d(l) = -2*l + 34. Let t be 7 - (-8)/(0 + 4). Let k be t/(45/(-10)) + 10. Let q be d(k). Which is bigger: q or 17?
q
Let o(k) = -12*k**3 - 7*k**2 + k + 3. Let c be o(-2). Let s be (-180)/c - (-4)/((-16)/(-12)). Which is bigger: s or 1?
1
Let q = 1595.8 - 1596. Which is smaller: -745 or q?
-745
Let v(h) = 2*h - 24. Let k = 88 - 76. Let z be v(k). Suppose z = -25*d + 17*d - 24. Which is smaller: -2 or d?
d
Suppose 4*r = -2*u + 6*u - 932, -942 = -4*u + 2*r. Let x = -320 + u. Is 0 equal to x?
False
Suppose 4 - 7 = -3*s. Suppose 2*f - s - 141 = 0. Suppose 5*r + 8 = -12, 3*k - 4*r = -f. Which is bigger: -31 or k?
k
Suppose -28*h + 8*h + 20 = 0. Let b be (h - 10) + 7 + (-166)/(-2). Let o = -39 + 119. Is o > b?
False
Let h be (21/(-3) - 1) + 10408/60. Is 164 greater than or equal to h?
False
Suppose 0 = -r - 2, 0*g - 5*g + 4*r = 22. Let a be g/(-4)*1422/27. Let p = 0.46 - 0.56. Is a less than or equal to p?
False
Let o be 87/(-203)*(-665)/15. Is -5 != o?
True
Suppose 0 = -7*h + 3*h + 352. Suppose -11*k = h - 583. Let l be (-6)/(-8)*(-48)/k. Which is smaller: 0 or l?
l
Let x be (4 + -16)*(-32 - 1). Let d be (-48633)/x + (-2)/8 + 3. Let v = d + 120. Which is smaller: v or 0.1?
v
Let b = -36.5 - -29. Let o = 8 + b. Is -0.5 at most as big as o?
True
Let k be (32/((-1024)/24))/(2/48). Let d = -68 + 42. Which is smaller: k or d?
d
Let q = 129 + -127. Suppose -3*v = -q*f - 4, -v = 6*f - 2*f - 20. Suppose 6 = 3*n - n. Is f equal to n?
False
Let m = -12326 - -20060. Are 7733 and m unequal?
True
Let x(t) = t**2 - 8*t + 13. Let a be x(2). Let z be a/3 - -3*(-33)/(-27). Suppose z*j = 3*j - j. Is j at least as big as -1/44?
True
Let j = 47.84 + 0.16. Let g = -15 - j. Let k = -62.9 - g. Which is smaller: -26 or k?
-26
Let j(n) = -2*n**2 - 167*n + 1074. Let c be j(-90). Which is greater: c or -97?
c
Let d = -21372 + 21371.9645. Is 0.3 > d?
True
Let g = -1/4295 + 30067/8590. Is 927 smaller than g?
False
Let h = -0.08652 + -0.71348. Which is smaller: -0.179 or h?
h
Suppose 170609 = -83*o + 28660 - 465279. Which is smaller: -7315 or o?
o
Let h be (7/(-581)*(-1)/(-3))/((-2684)/(-2928)). Is -1 >= h?
False
Suppose -46*n + 59*n = -1417. Which is smaller: n or -112?
-112
Let n be (-3)/9*(-1365 + 0 + 3). Suppose -5*c = 124 - n. Let z be 9/c*(22/(-12) + 2). Is 0 < z?
True
Let f = -4.533 + -335.467. Is f < -12?
True
Let o be 12/(-2) + 0/8. Let k be ((-52)/o + -4)*-3. Let l be (5/3)/(41/(-369)). Which is bigger: l or k?
k
Let l = 1487733/79 + -18832. Is l at least 0?
True
Let v(w) = w**3 + w**2 - 11*w. Let o be v(4). Suppose 5*k + 4*l = -0*l + o, k - l = 0. Let t be k*(-3 - 1)*5/(-4). Which is smaller: 18 or t?
18
Let t = -546 + 889. Suppose 0 = 2*a - 9*a + t. Suppose -2*g - a = 5*o, 3*o = -4*g - 45 + 10. Which is smaller: o or -15/2?
o
Suppose -100 - 33 = k - 5*q, k + 105 = -2*q. Let p = k + 138. Which is smaller: p or 27?
p
Let t = -4883/17115 - 1/2445. Is t greater than 4/1083?
False
Let p = 2101 - 2186. Let g = 11 + -94. Which is smaller: g or p?
p
Suppose -4*l + 3*i = 15 + 16, -4*l - 3*i = 1. Let q be 15/10*l/6. Let d = -282 - -298. Which is smaller: q or d?
q
Let s = -1.78 - -0.18. Let a(y) = y + 22. Let u be a(-4). Suppose 2*x + 4*b - 7 + 21 = 0, u = -2*x - 5*b. Which is smaller: x or s?
s
Suppose 13*x + 788 = 9*x. Let m be 34/85 - (x/(-655) + 0). Let q = m - 1189/4061. Which is bigger: -1 or q?
q
Let q be 868/(-4) + 7 + 0. Let j = 1888/9 + q. Suppose 4*w + 7 = -3*m, 3*m - 7*m - 6 = 2*w. Which is greater: m or j?
j
Suppose 0 = -61*m + 62*m - 2*w - 347, -3*w + 362 = m. Which is bigger: 351 or m?
m
Let t be 160/(-30)*3/(-2). Suppose v + 47 + 44 = 2*k, 3*k - 131 = -4*v. Suppose 7*i + k = 12*i. Which is smaller: i or t?
t
Let j(o) = -42*o - 2. Let w be j(-1). Let c = 22 - w. Let i = 44.7 - 44.6. Is i at least as big as c?
True
Let d be (-1)/((-254)/102)*(-672)/(-112). Which is bigger: 3 or d?
3
Let r(u) = 106*u**3 - 15*u**2 + 49*u - 35. Let h be r(1). Is h bigger than 97?
True
Let j(q) = -q 