3 + -6 - (-1739)/477). Is -1 at most l?
True
Let d be 3/(-12) - (-394)/8. Let c = 38761 - 38714. Which is smaller: c or d?
c
Suppose 39*i = 37*i - 5*l + 2871, 0 = -2*l - 10. Which is bigger: 1453 or i?
1453
Let z = -5 + -39. Let w = 47 + z. Let q be 1*w/(-18)*2. Which is smaller: -0.22 or q?
q
Let v(m) = m**2 - 6*m - 5. Let n be v(7). Suppose 3*t = n*t. Let i be (-22)/(-187) + (2944/(-5100))/4. Which is smaller: t or i?
i
Let j(y) = 2*y**3 + y**2 - 3*y + 2. Let m be j(-2). Let l be 3/6 - (-6)/m. Let p be (93/(-3) - l) + -1. Is -31 at most as big as p?
True
Let a be 20042/68530 + 6/(-21). Suppose -9*c - 9 = -18. Are a and c equal?
False
Let l = 1056 + 6724. Is 7780 smaller than l?
False
Suppose 10*n - 179 = 141. Suppose -6 = n*l - 742. Is 22 less than l?
True
Let o be (20/(-32))/5 - 93/24. Let k = 109 + 40. Let p = -154 + k. Which is greater: o or p?
o
Let t be -7 - (1 - -3 - (-20 + (-69015)/(-2235))). Do -0.2 and t have different values?
True
Let x(s) = -27*s**2 - 1781*s + 77. Let k be x(-66). Are 195 and k non-equal?
True
Let h = 194 + -110. Let g = 269 - 184. Is h equal to g?
False
Let t(l) = 2*l**2 - 15*l - 11. Let b = 94 + -85. Let j be t(b). Let a = j + -1. Which is greater: a or 16?
16
Let c = -3516 - -3515. Let o = 31/36 - 10/9. Does c = o?
False
Let l(v) = -v + 24. Let h be l(0). Let z(c) = -2*c**2 - 21*c - 12. Let f be z(-10). Let b be (-60)/9 - (-9 - f). Which is smaller: h or b?
b
Suppose 2*t + 7*w + 28 = 12*w, 0 = -4*t + 3*w - 28. Let p be ((-1)/(-2))/(2/t). Which is smaller: p or 1/110?
p
Suppose -2132 = 14*a - a. Do a and -1 have the same value?
False
Let z = -422 + 418.28. Let m = 4.22 + z. Which is smaller: 7 or m?
m
Let t(n) = 40*n**2 - 45 + 0*n**2 + 3*n - 78*n + 4*n**2 - n**3 - 4*n**2. Let q be t(38). Which is bigger: -62/9 or q?
-62/9
Suppose 0 = 5*p - 10*p + 15. Let g be (p - -1)*(-54)/84. Is -2 >= g?
True
Let z = -842 - -843. Are 1/3561 and z equal?
False
Let z be 3*((-6)/(-60) - (-21)/90)*1. Which is smaller: 1/2317 or z?
1/2317
Let l = 2472.55 - 2481. Is -1/4 <= l?
False
Let k(w) = w + 16. Suppose 0 = t + t - 182. Suppose -7*h - t - 35 = 0. Let d be k(h). Are -3 and d equal?
False
Suppose -1293*d + 1160 = -1297*d. Let v = -95 - d. Which is bigger: 196 or v?
196
Let o(f) = -615*f**3 - 15*f**2 + 11*f + 2. Let c be o(1). Is -4318/7 greater than or equal to c?
True
Let u(o) = 4*o**3 + 9*o**2 + 8*o + 34. Let m(v) = 9*v**3 + 18*v**2 + 15*v + 68. Let g(t) = -3*m(t) + 7*u(t). Let d be g(-6). Which is smaller: d or 77?
d
Let c(b) = b**2 - 5*b - 10. Let p be c(7). Let k be -8 + (0 - p) + 4. Let v be 14/136 + (-2)/k. Are v and 0 unequal?
True
Let q be (20 + -21)*((-12)/4 - 82). Is 7 > q?
False
Let w be ((-201)/186 + 1)*(-2 - 1038/(-520)). Which is greater: w or -1?
w
Let j be (-18150814)/(-2422) + (-1)/7. Which is smaller: 7493 or j?
7493
Let z = -357.485 - -357. Let p = 3.485 + z. Is p != -31?
True
Let j be (3 + -6)*(-3 - 140/(-48)). Let v = 0 + 0. Let q = v - 0. Is q smaller than j?
True
Let b be (-1)/4 - 1210/(-8). Suppose -12 = 2*x, 1359*s - 5*x = 1361*s - 270. Are s and b unequal?
True
Let b = 8 + 55. Let j(h) = 17*h - 5. Let x be j(4). Let m = b - x. Is 1 < m?
False
Let l = -31101/10 - -51173/5. Which is bigger: 7126 or l?
7126
Let i be 1396/(-8)*(-47)/(-94). Which is smaller: -86 or i?
i
Let l be 12/8*(-3 - -5). Suppose 2*w = d + 26, -5*w + l*d = d - 63. Suppose -r - 9 + 2 = s, 2*s + 3*r = -18. Which is smaller: w or s?
s
Let c be (-85904)/(-72996) - (-10)/(-395). Is 1 equal to c?
False
Let t = -215 - -220. Suppose -43 = -t*l - 48. Which is greater: l or -3/2?
l
Let v = 341.241 + -341. Let n = -0.441 + v. Is n less than -0.019?
True
Let h = 7538.24 + 142.76. Is 0 greater than h?
False
Let i = 14.284 + -14.2. Let b = i + -0.121. Let u = b + -0.063. Do u and 0.06 have the same value?
False
Suppose d + 3*f - 1 = -12, 2*f = 6. Let j = -7 - d. Suppose 5*m - 95 = -5*o, -3*o + 72 = 4*m - 0*o. Is m bigger than j?
True
Suppose -3*u - 568 = -5*u - 2*v, -v + 1148 = 4*u. Let a be ((-3)/u)/((-6)/(-11272)). Let c = a + 153/8. Are c and 2 non-equal?
True
Let w be (11 + -6 - (-2 + 8))*-418. Suppose g - i = -g + 208, i + w = 4*g. Is g > 107?
False
Let o(x) = -x**3 + x**2 + 2*x - 3. Suppose 0 = -3*p - p - 12. Let s be o(p). Suppose 3*r + z - 73 = 0, 7*r - 89 = 3*r - 3*z. Which is bigger: r or s?
s
Let y(c) = c**2 + 4*c + 2. Let v be y(0). Suppose v*t = -t - l - 191, t = -5*l - 59. Let n = t - -58. Is n greater than -7?
True
Let w(x) = x**2 - 95*x - 606. Let k be w(-6). Is -1/1093 equal to k?
False
Let n = -16 - -20. Suppose -5*u + 380 = -0*u + 5*p, p + 319 = n*u. Which is smaller: u or 77?
77
Let q(g) = g**2 - 17*g + 18. Let k be q(14). Let s = 4200 - 4226. Does s = k?
False
Let f(y) be the second derivative of -5*y**4/12 - 5*y**3/6 + 2*y**2 - 22*y. Let r be f(4). Let l = r + 94. Which is smaller: -2/5 or l?
l
Let g = 557 + -5587/10. Suppose -3 = -2*i - 3*z, -10*i + 6 = -7*i + 3*z. Suppose -b = 5 - i. Which is smaller: g or b?
b
Let z be (-3 - 52/(-16))*(-17)/((-1666)/112). Let g be (1 + -1 - -1) + -1. Suppose d + d + 16 = g. Is z greater than or equal to d?
True
Let m = -70838923/93 - -761677. Let c = m - -140/31. Which is greater: c or -26?
-26
Let u(w) = -w**3 + 13*w**2 + 31*w - 6. Let l be u(15). Let t(z) = -z**2 + 9*z - 19. Let r be t(l). Are r and -22 unequal?
True
Let a = -304 + 301.66. Let r = a + 51.34. Is r at least as big as 6?
True
Let o = -3.77 - -3.997. Let a = o - 0.127. Is 29 less than or equal to a?
False
Let g = 10123/2132 + 1/533. Let b = 41/8 - g. Suppose 0 = -3*c + 3. Is c < b?
False
Let i = -53733 + 54179. Suppose -2*p = 4, -p - 2223 = -5*g - 2*p. Is i less than g?
False
Suppose 0 = -b - a - 1, -a - 1 = -2*b - 6*a. Let u be (16/68)/b + (-2)/(-17). Is u at least 17/22?
False
Let g(h) = h**3 + 11*h**2 + 28*h + 119. Let i be g(-8). Is i at most 88?
True
Let i(y) = y**2 + 44*y + 173. Let m be i(-40). Suppose -m*n + 10 = -29. Let p be (3/5 - 1)*-5. Which is smaller: n or p?
p
Let j = -0.2 + 0.2. Let b = 2.221 - -0.159. Let k = -12.38 + b. Which is smaller: j or k?
k
Let x be -3 + 11/4 + (-500)/(-16). Let c be ((-60)/75)/4 + 141/5. Which is smaller: c or x?
c
Let t be -5094 + -40*(-36)/(-90). Do t and -1 have the same value?
False
Let g(l) = -l**2 - 12*l + 2. Let n be g(-12). Let z(u) = -u**3 + 4*u**2 - 8*u + 12. Let y be z(n). Which is greater: 46/13 or y?
y
Suppose 5*o - 2 + 19 = -z, 9 = -3*o. Let k be (z/(-4))/((-7)/(-98)). Suppose 0 = -2*r + 3*p + k, 0 = r + 3*r - 4*p - 12. Is r less than 2?
False
Suppose 13*x - 9*x - 6470 = -h, 3*x + 4*h = 4846. Is 1620 >= x?
True
Let n = 116951171/383070 + 10/38307. Let r = n - 305. Which is greater: -0.01 or r?
r
Suppose -2*z - 77 = -g, -129 = 2*z + 4*g - 37. Let o be z/(-12) - ((-3)/(-9))/1. Suppose o*q + 154 = -113. Is -89 bigger than q?
False
Let p = -159 + 149. Let f be (5 - (-162)/(-30))/((-4)/p). Is 4/49 < f?
False
Let m(f) = -f**2 + 16*f - 28. Let l = 39 - 40. Let b be -4*-14*l/(-4). Let x be m(b). Which is bigger: 1/17 or x?
1/17
Let u = -115/18 - 1/9. Suppose 20*m + 4 = 18*m. Let w be m/(-9) + 17/(-36). Which is smaller: w or u?
u
Let c(k) = 107 - 192*k - 65 - 56. Let r be c(-7). Let h be (-8)/14 + 340/r. Are 1 and h unequal?
True
Let k(l) = 33*l + 630. Let u be k(-20). Which is bigger: -40 or u?
u
Suppose 2*i - 4 = 4. Let h(o) = -o**3 - 18*o**2 + 62*o - 7. Let w be h(-21). Suppose -5*r - i + w = 0. Is r at most as big as 0.03?
False
Let u be -299 + 2/(-4)*(19 - 6 - 3). Is u < -24?
True
Let s be (-1 + 46)/((-18)/12). Let v be (87/27 - 3)/(2290/s). Which is bigger: v or 1?
1
Suppose 5*a = 2*r + 155, a + 128 = r + 156. Let j be 0 + -1 - (-11)/9. Are a and j equal?
False
Suppose 0 = -843*k + 743*k - 48900. Which is smaller: k or -499?
-499
Let h be (2 - 4)/(-2)*4. Suppose -o - 5*s = -10, -3*o = -7*o + h*s - 8. Which is smaller: o or -7/15?
-7/15
Let a = 41 - -111. Let o be a/78 + (1 - 3/1). Which is greater: o or -1?
o
Let r be 23 + 2 + -8 + 12. Suppose 5*l - 67 = -2*o, 4*l + r = 5*o + 109. Suppose -19*c = -l*c - 32. Is c >= 12?
False
Suppose -10 = -5*a + n, 0 = 3*a + 4*n + 8 + 9. Let z(v) be the second derivative of -v**4/12 - v**3 - 2*v**2 - 7*v. Let x be z(-5). Is a < x?
False
Let a = -550 - -10454/19. Let s be (-5 + 2 + (2 - 2))/(-3). Is s at most a?
False
Let c be (-2*1 