1/4. Does j = h?
False
Let t be 82/(-4)*(-24 + (-5 - -31)). Which is smaller: -36 or t?
t
Let l be (-2 + 7/2)*(-120)/(-18). Let b be l/(-6) - (-380)/57. Is 5 not equal to b?
False
Let m(f) = -3*f**2 - 4*f. Let o be m(-3). Let s = 43 + 7. Suppose -59 = 7*d - 2*d + 2*q, s = -5*d - 5*q. Which is smaller: d or o?
o
Suppose -130 = f + 4*f. Let d be ((-4)/10)/(2124/(-300) - -7). Suppose -3*u - u + d*t - 104 = 0, -u - 5*t - 26 = 0. Is u > f?
False
Suppose 1 = -c - 1. Let y be 28/(-21)*(c + (-2)/(-4)). Let f be y/(-3) - 12/(-18). Which is smaller: -66 or f?
-66
Suppose -3*h = 4*l + 13858, -2*l + h + 1956 = 8890. Which is smaller: l or -3465?
l
Suppose w = -35 + 41. Suppose -2*v - w + 12 = 0. Let j be v - 3*2/(-12). Do j and 5 have the same value?
False
Suppose 32*m = -2*d + 34*m + 52, -d = -3*m - 38. Is d greater than -56?
True
Let k be ((-5)/(-25))/((-4)/10). Let f = -0.5362 + -0.0238. Let r = 0.584 + f. Which is greater: k or r?
r
Let n be (-24)/(18 + 6) - (-1 + 7*2). Is n > -163?
True
Let t = 6015 + -6016. Which is bigger: -3/2704 or t?
-3/2704
Let b(q) = -q**3 + 22*q**2 - 91*q - 100. Let x be b(16). Which is smaller: 143 or x?
x
Let m = 9 + 53. Suppose -5*w = 237 - m. Do w and -35 have the same value?
True
Let s = 10503316 - 5976115. Let z = s + -873703475/193. Let i = z - 240. Is 0 > i?
True
Let b(r) = -5*r**3 + r**2 - 19*r + 61. Let q be b(5). Let c = -6990/11 - q. Does c = -2?
False
Suppose 0 = -0*v + v + 20. Let w(m) = -5*m - 244. Let j be w(-49). Let p be (8 + -13 + -77)/(j + 3). Which is bigger: v or p?
v
Let p be -5 + 2 - (-1 - (-3)/(-1)). Let t = -5074068 - -3734515287/736. Let r = 65/32 - t. Is p at most as big as r?
False
Let u = 0.0508 + -0.112. Let n = u - -1.0612. Is n less than or equal to 4/23?
False
Let d be -2*((-5 - -8) + (-14)/4). Which is smaller: d or 795?
d
Suppose -2*r - 9 = -r - 5*b, -4*b = -4. Let n be r/(-10) - (-156)/(-15). Let c be (39/12 - 2)*(-24)/3. Is c less than or equal to n?
True
Let u(k) = k**2 - 86*k + 1118. Let o be u(16). Suppose 4*s + 24 = -z + 3, 2*s = -4*z - 28. Is o less than or equal to z?
False
Suppose -w - 15 = 4*a - 4, -4*w - a - 119 = 0. Let n = 33 + w. Suppose 6*d + n*d + 40 = 0. Which is bigger: -11/3 or d?
-11/3
Let d = 10953 + -11006. Which is smaller: d or -576/11?
d
Let c be 1/((-7)/14)*2. Let k = -93 - -99. Let n(w) = -2*w**2 + 12*w + 8. Let x be n(k). Does x = c?
False
Suppose -2*g + 220 = -5*h, 19*h - 18*h + 2*g + 32 = 0. Is h > -289/7?
False
Suppose x + 20 = 5*x. Suppose 2*p - 58 = -3*n, 2*n - x*p - 4 = 3. Suppose -n + 64 = -12*q. Is q at least -17/6?
False
Let o = -382 - -382.16. Is 1/14 <= o?
True
Let t(j) = -2*j**2 - 10*j - 20. Let x be t(-5). Let k be ((-4)/18)/(1*3/261). Which is bigger: k or x?
k
Let y = -1398 + 1393. Do 7/4 and y have different values?
True
Let o(s) = -798*s + 716. Let i be o(20). Is i less than -15245?
False
Let l = 13158 + -66669/5. Is l greater than or equal to -175?
False
Let i = -9.387 - -9.405. Is i less than -52/7?
False
Let q(x) = -x**2 + x + 1. Let s(a) = -2*a**3 - 2*a**2 + 2*a + 2. Let o be s(-1). Let v be q(o). Is -1 less than v?
True
Let w(v) = v + 4. Let k be w(0). Suppose k*s - 10 - 6 = 0. Suppose -s*o + 108 = 28. Do 22 and o have different values?
True
Suppose 0*p - 2*p - 4*u + 10 = 0, 2*p - 5*u + 35 = 0. Is -194 smaller than p?
True
Let y = 7 - 25. Let u be (-3)/9*1608/32. Which is smaller: u or y?
y
Let a = -14553 - -22610. Do a and 8057 have the same value?
True
Let z(l) = l**3 - l**2 - 25*l + 115. Let b be z(6). Is 78 >= b?
False
Suppose -4*p + 5*p = 5*o - 505, 0 = -2*p - 2*o - 1022. Let l be 7/(490/p) + (-4)/(-14). Let i be 51/9 - (-11 - l). Are 1 and i non-equal?
True
Let l(g) = -3*g - 3. Let p be l(4). Let h(k) = -k**2 + 5*k + 78. Let s be h(-6). Suppose -174 = s*o + 30. Which is smaller: p or o?
o
Let f be (-2106)/8 + 20/(-80). Which is greater: -264 or f?
f
Let h be 2/23 + (-114440)/12604 + (43 - 34). Which is greater: -27/8 or h?
h
Let z be (-1820)/14*(-5)/(-2). Let s = 325 + z. Are s and -7/39 equal?
False
Let k(a) = 11*a**2 + a - 2 - 12*a**2 + 15. Let i be k(-3). Is i < 1/94?
False
Let p be ((-87)/9)/(3/3). Let h = p - -206/21. Which is smaller: h or -1?
-1
Let z(o) = -4*o**2 - 283*o + 947. Let u be z(-73). Does u = 1?
False
Suppose -z = -2*t + 6 + 7, t = 5*z + 83. Suppose 2*q = -19 - 21. Which is smaller: q or z?
q
Suppose 0 = 354*t - 355*t. Let r = -3527 + 208087/59. Which is smaller: t or r?
r
Suppose 0 = 2*z + 5*z - 49. Suppose -q + z*q = -102. Let y be (-16 - q)/(0 - -1)*-1. Is -17/12 at most y?
True
Let a be (4 - 70/15)*3. Let d = 12 - 8. Let m be a*(42/d + -1). Is -17 at most as big as m?
False
Let r = -58 + 32. Suppose 1061*o = 490*o - 15988. Is o greater than r?
False
Let b(n) = -3*n**3 - 11*n**2 + 6*n + 16. Let q be b(-4). Let f be (-12)/q*(-32)/48. Let r = 71/13 - 11/2. Is f at most as big as r?
False
Let y = 42 + -40. Suppose -v - 4*g = -5*v + 328, -4*g + 152 = y*v. Suppose 79*h = 75*h + v. Is h bigger than 18?
True
Let k be 6/(-120942)*(12 - (-24)/(-8)). Is k < 1?
True
Let k(t) be the second derivative of -t**5/20 - t**4/3 - 5*t**2/2 - 2*t. Let d = -90 + 86. Let g be k(d). Are -5 and g equal?
True
Suppose 5 = 3*z - 2*g, 0*z = 2*z - 2*g. Suppose 2*p - 2*n = -0*p, 9 = z*p + 4*n. Let y = 3044/459 - 114/17. Is p equal to y?
False
Let t = 0.08634 + 0.03024. Which is smaller: 1 or t?
t
Let b be -2*2/8*-2. Let t be -21*(6/(-81))/b. Suppose 0 = 2*x + 4*v - 2, x - 7 = 8*v - 4*v. Which is smaller: t or x?
t
Suppose 0 = -8*b - 3 - 21. Let j be (b/34)/((-189)/36 + 6). Which is smaller: j or 2?
j
Let v(q) = q**2 + 2*q + 46. Let k be v(5). Suppose 22*x - k = -5*x. Does x = 64/17?
False
Let v = 20243891/1285 + -15754. Which is greater: v or 0?
v
Let c(a) = -18*a**2 + 6 + 5*a**2 + 12*a**2 - a**3 + 3*a. Let p be c(-3). Suppose 0 = -2*m + 39 - p. Is 25/2 bigger than m?
True
Let a be (-5)/7 - -1 - (20184/(-2072) - -10). Suppose 4*x + 0*x = 4. Which is smaller: a or x?
a
Let a be (2/3)/(4/6). Let l be a/(-2) + (-108)/(-504). Which is smaller: -53 or l?
-53
Suppose -4*h + 0*h + 5*m - 505 = 0, h = 4*m - 118. Let q = 187 + h. Do q and 56 have different values?
True
Let i = -3114.224 + 9.224. Is 0.1 at most as big as i?
False
Suppose -w + 7 - 11 = 0. Let c be w/(-7) - (-264)/(-21). Let u be 2/c + 154/(-12). Which is smaller: -15 or u?
-15
Let a be 163*(-2)/58 - (-2 - 2). Is -2 less than a?
True
Let t = -8577 + 8392. Is t greater than or equal to -2/11?
False
Let r(n) = 10*n - 2. Let i = -159 - -159. Let o be r(i). Is -0.05 greater than or equal to o?
True
Let s(j) = 4*j - 19. Let y be s(11). Suppose y = -5*l, 2*l = 5*f - 27 + 37. Which is greater: f or -16?
f
Let f = 1257/8 + -5562233/35400. Is 1 greater than or equal to f?
True
Let b(u) = -11*u**3 - 11*u**2 - 7*u - 5. Let s be b(-3). Suppose -2*t + 56 + s = 0. Which is smaller: t or 134?
134
Let p = 3159/11 + -287. Let y = -701.9906 + 702. Let u = 0.0906 + y. Is u less than p?
True
Suppose -3*c - 3 = -0. Let l(q) = -13*q + 38. Let w be l(4). Let j be 20/w*301/344. Are j and c non-equal?
True
Let f = 48.74 + 2.16. Let s = -49.9 + f. Which is smaller: s or 9/2?
s
Suppose 3*b = -4*m - 104, -12*b + m + 66 = -14*b. Let k be (-1)/3 + (-712)/24. Is b greater than or equal to k?
False
Let k be 0 + (74 + -1)*1. Let h(y) = -235*y + 30622. Let p be h(130). Which is greater: p or k?
k
Let l be 1/(((-15)/(-3))/5). Let t = 38 - 35. Suppose 4*u + t = -l. Is -9/11 <= u?
False
Let z = 1.72 + -1.92. Let q = 158/5 - 657/20. Is q less than z?
True
Let t = -17 - -17. Suppose t = -2*g + q - 72, -2*g + 5*q - 88 = -24. Is -40 equal to g?
False
Suppose -3*t - 4 = -7*t. Suppose 13*v - 82*v = -32*v - 74. Suppose -t = -3*i - 0*l - 2*l, -2*l = -v*i + 14. Which is smaller: 0.6 or i?
0.6
Let r(v) = 10*v + 51. Let n(g) = -17*g - 100. Let o(x) = 4*n(x) + 7*r(x). Let h be o(21). Which is greater: 3/338 or h?
3/338
Let f = -34.1 - -77.1. Let h = -43.1 + f. Is 9 at most h?
False
Let g = -177949017/2057 + 86509. Are g and -3 equal?
False
Let k be 75723/(-5418) - 8/(-7). Is -12 less than or equal to k?
False
Let i(o) = 5*o**3 - 44*o**2 + 10*o - 15. Let a be i(9). Which is smaller: a or 164?
a
Suppose -y + 121 = -2*d - 132, y - 5*d - 244 = 0. Is 2 greater than or equal to y?
False
Let q(g) = g**3 + 7*g**2 + 23*g - 18. Let o be q(-11)