et q be j(z). Let o be q/(-20) - 2/8. Is o greater than -2/43?
True
Let w be (-885)/6*(-1024)/(-40). Let y = -41586/11 - w. Are y and -4 nonequal?
True
Suppose 37*t = 104*t + 536. Suppose 2*z - 24 = -z. Let p = -6 + z. Which is smaller: p or t?
t
Let m(h) = h**2 - 10*h - 63. Let i be m(23). Suppose i = -4*b + 32. Suppose -4*o - 175 = 5*c, -2*c - 85 = 2*o + c. Is b equal to o?
False
Let k = -2 - 0.3. Let y = 74 + 382. Let i = y + -454. Is k less than i?
True
Suppose 0 = -16*k + 20*k - 64. Suppose -5*o = -4*r - 30, -2*r - 5*o - k = -8*o. Let q be (-4779)/(-25245) - (-1)/r. Which is smaller: q or 0?
q
Let s = -7 + 11. Suppose x - 25 = 3*z + 2, 3*z = s*x - 117. Let b = -7 + 37. Is b at most x?
True
Suppose 17*r = 411 + 6117. Is 380 equal to r?
False
Let q(l) = l**3 - l**2 - 240*l - 1. Let i be q(16). Are i and -14314 unequal?
True
Let z(f) = f**3 + 13*f**2 - 6*f + 108. Let n be z(-14). Let p be (n/(-25))/((-8)/(-20)). Which is bigger: p or -154?
p
Suppose -1209 - 389 - 208 = 42*p. Are -355/8 and p nonequal?
True
Suppose 7*q + 4*f - 1720 = 2*q, 3*q + 5*f = 1045. Let g be 116/q + -1 - (-4)/(-10). Let n = g + 125/102. Which is bigger: n or -1?
n
Let p = 103 - 99. Suppose -n - p*g = -6, 2*n + g = 2*g - 33. Let s be (-22)/n - 2 - (-1393)/49. Which is bigger: s or 26?
s
Let s = 30 + 5. Let k = -1688 + 1722. Is s > k?
True
Let g = -24341/3 - -122293/15. Is 39 smaller than g?
True
Let x = -40447/37 + 1093. Suppose y = 3*t - 7, 2*y - y = -4*t. Which is smaller: x or t?
x
Suppose 134*r - 503673 = -1231838 - 805063. Is -11442 at least as big as r?
True
Let v = 389/1430 - -4/143. Suppose 0 = -10*f - 62 + 2. Let a be (1 - f/(-4))/(35/70). Is v != a?
True
Let n be -1 + 190/(-57)*(-384)/10. Let p be n/2 + -6 - -4. Is 61 smaller than p?
True
Let k be (-4491)/44550*-5 - (35/10 + -3). Which is smaller: k or 0.5?
k
Let b(c) = 46*c - 554. Let w be b(20). Is 366 <= w?
True
Let p be (1 - (1 - 1))/(-1). Suppose -18 = -m + 2*l + 5, 5*l + 5 = 0. Suppose -4*n + 17 = 3*s - m, 5*n - 1 = 4*s. Which is smaller: p or s?
p
Let l be (-15138)/(-2088) - ((0 - -1) + 6). Is l < -0.0525?
False
Let v = 7344 - 102751/14. Let a = 205132 - 205128. Is a at most as big as v?
True
Let l be (326 - 62)/44 + (-366)/58. Let h = 5 + -5. Are h and l unequal?
True
Let u be 131/((-1236)/432 - 2/(-18)). Which is smaller: -47 or u?
u
Let b = -1815 + 1814.86. Which is bigger: b or -23?
b
Let i(n) be the third derivative of -n**5/60 - 2*n**4/3 + 43*n**3/3 - 5*n**2 + 3. Let j be i(-21). Is j bigger than -119/6?
True
Suppose 0 = -5*s - j - 4*j + 35, j - 13 = -3*s. Let n(w) = s + 16*w - 1 - 15*w. Let v be n(-4). Is v >= -12/17?
False
Let u(c) = -2*c**2 - 5*c + 3*c**2 + 7 + 0. Suppose j + 3*j = 12. Let s be u(j). Is -8 greater than or equal to s?
False
Let i = -91306.9353 + 91302. Let b = i - 0.0647. Do b and -5 have the same value?
True
Let l = 36 + -36. Let o = -28374/41 - -692. Is l smaller than o?
False
Suppose -2*o = 5*y + 23, -18*y + 22*y + 19 = -o. Let b = -19 + -5. Are y and b nonequal?
True
Let o = -249/524 + -1214985/3668. Let j = o + 332. Which is greater: -36 or j?
j
Suppose 0 = 5*f - 283 - 34 - 118. Which is smaller: f or 438/5?
f
Let h = -8/19 - -132/133. Suppose -149*r = -163*r. Which is smaller: h or r?
r
Let l = -2834.7 + 2789.4. Which is greater: 0.1 or l?
0.1
Let t = 11291 - 11291.08. Which is smaller: 302 or t?
t
Let d(n) = 12*n - 4. Let k be d(2). Let x(a) = 12*a**2 + 7*a**2 + 3 - k*a**2. Let l be x(4). Are l and -13 unequal?
False
Let a(z) = -231*z - 159. Let j be a(11). Which is greater: -2699 or j?
-2699
Let a = -6745 + 4606. Is a < -2141?
False
Let w be (-371)/140 - 1/(-4). Let p = 44 - 43. Which is bigger: w or p?
p
Suppose -v = 2*d + 486 - 1877, -7039 = -5*v + 4*d. Which is bigger: 1402 or v?
v
Let x(f) = -2*f - 35. Let b be x(-17). Let r be ((-6614)/(-6))/(b/(12/(-11))). Let s = r + -1204. Which is smaller: s or -2?
-2
Let v(m) = 2*m**2 - 6*m + 5. Let o be v(1). Let f = 18/865 + -31634/1187645. Let y = -4786/350115 - f. Is o <= y?
False
Let k = -18227 + 18228. Which is greater: k or -3224?
k
Let w = -9 - -5. Let c = 0.38 + -1.034. Let o = c + 0.554. Which is smaller: o or w?
w
Let s(r) = -12*r + 74. Let f be s(7). Suppose 55*z - 30 = 50*z. Is z >= f?
True
Suppose -5*b + 4*k - 15 = 2*k, 30 = -5*b + 5*k. Let j = -221 - -157. Do b and j have different values?
True
Suppose 6*n - 3 = 11*n + d, 3*n + 5*d + 15 = 0. Which is greater: n or -1/7013?
n
Let v = -643/1379 + 120/197. Which is smaller: v or -3.6?
-3.6
Let c be 262/(-420) + 2*(-5)/(-15). Let g be 2/(-4) + (-44)/(-35). Let f = c - g. Which is smaller: f or 0?
f
Let y = 103.1379 + -0.2379. Let x = 103 - y. Let s(w) = -w**3 + 5*w**2 - 6*w + 6. Let f be s(4). Are f and x nonequal?
True
Let o be 2/(-6)*(-39)/(-18)*6. Suppose -3*j + 16 = -x, -j = j - 10. Let s be -5 + (4 + -4)/x. Which is greater: o or s?
o
Suppose -3*m = -2*x + 1086, -m - x - 134 - 228 = 0. Let d = m + 142. Is -221 at most d?
True
Let u be -6 + (-2 - -5) + (-104430)/10. Is u greater than -10447?
True
Let y(d) = 21*d + 3. Let l = -427 + 422. Let p be y(l). Is -101 <= p?
False
Let d be (744/(-148) + 3)/((-6)/(-4)). Which is smaller: -1 or d?
d
Let u be (582/9)/(-2*40/48 + 2). Is u > 194?
False
Suppose 1227 + 337 = -17*o. Let q = o - -93. Which is smaller: q or 8?
q
Let f = 1714 - 2895. Is -1181 < f?
False
Suppose -8*t + 6*t + 4608 = -14*t. Are -381 and t equal?
False
Let y = 3165 + -41109/13. Suppose 0 = 5*a + 2*h + 40, 4*h - 3*h - 25 = 2*a. Let q be a/2*4/(-10). Which is smaller: q or y?
q
Let i = 4/10933 + 100892/76531. Is 0 greater than or equal to i?
False
Suppose -3*a + 53 = -2*u + 54, 4*u + 4*a = -8. Which is smaller: 5/229 or u?
u
Let m(x) = -61 + 3*x + 31 + 11 + x**2. Let l be m(-7). Let j = l - 9. Is j bigger than -3/8?
True
Let c be 0 - (-1 - (-25)/28). Let b(r) = 8944*r + 116271. Let y be b(-13). Which is smaller: c or y?
y
Let o = 185 + -66. Let m = -118.9 + o. Which is greater: m or -95?
m
Let b(n) = 2*n**2 + 4*n + 4. Let w be b(-3). Let h be 30/(-24)*w/4. Let r be ((-4 - 2)*-1)/(-2). Is r at least h?
True
Let o = 55 + -49. Suppose 0 = o*t + 15 - 39. Suppose 4*s = 3*n + 12, -2*n - 4 = -t*s + 8. Do 4 and s have different values?
True
Let l = -476 + 739. Let r = 282 - l. Is -0.5 less than or equal to r?
True
Let h be ((-2)/(-5))/(18/(-90)). Let b = h - -14. Suppose -b = 9*w - 3*w. Is w smaller than -6/5?
True
Let j(c) be the second derivative of -c**4/12 - 10*c**3/3 - 3*c**2/2 + 6*c. Let u be j(-18). Let y = -32 + u. Which is greater: y or 2?
2
Let w = 21001 + -21001. Is w greater than 130/93?
False
Let v = 147149 - 147145. Let b be (4/(-54))/((-2)/132). Which is smaller: v or b?
v
Let w(b) = -b**2 - 30*b + 76. Let n be w(-35). Let k be 3/n*(0 + 4/4). Which is smaller: 0 or k?
k
Suppose 0 = -l - 3*l - 276. Let s be (l + -1)*7/63. Let o = 2793 + -2801. Which is smaller: o or s?
o
Let d = 38 - 35. Suppose -4*p + p = s - 19, p - 2*s = -d. Suppose -h - 4*y = 3*h + 8, -p*y + 11 = -2*h. Which is smaller: -11/4 or h?
h
Suppose 0 = -115*l + 101*l - 3220. Do -236 and l have the same value?
False
Suppose -26*s - 348 - 432 = 0. Let y be (18/(-8))/(3/(-16)). Let u be 21/(-6) - s/y. Do u and -5/6 have the same value?
False
Suppose -3*x - 24 = -2*h - 7, 0 = -4*h - 2*x + 10. Suppose -64 = -33*k + 2. Suppose 0 = -k*o - 23 + 31. Are h and o unequal?
False
Let m = 4126 + -4127. Which is bigger: 668/7 or m?
668/7
Suppose 0 = -i - 5*o - 45, 2*o + 42 = -0*i - i. Let f = -42 - i. Let z be f/4 - 38*3/(-180). Which is smaller: z or 1?
z
Let t be (-3478)/(-14) - 0 - (-4 + 6). Let z = -270 - -23. Let s = z + t. Which is bigger: s or -0.07?
-0.07
Let j(z) = 4*z - 15. Let h be (-4)/(-18) - (-704)/72. Let a be j(h). Suppose -11*m = -85*m + 35 + 1815. Is m at most a?
True
Let l = -3317 + 5307. Which is smaller: 1991 or l?
l
Let h(m) = 16*m - 20. Let g be h(6). Let r = g - 75. Suppose 3*o = z + r, -3*o = 4*z - 2*z - 7. Is o at least 1/52?
True
Let g = -510 - -508. Let r be (-2170)/(-1575) + g/(-9). Suppose 0 = 3*a + 1 - 10. Which is smaller: r or a?
r
Let k be (-8)/((-2)/(5 + -57)). Let b be (1 + (-15)/6)/(12/k). Let w be 182/(-58) - (5 - b)/7. Which is smaller: 1 or w?
w
Let l = -106.8 - 127.24. Let d = 0.04 + l. Which is smaller: d or 0?
d
Let a = -1717 + 1920. Let i(b) = -18*b - 1