 = -10*c. Is -2/99 smaller than c?
True
Let g(p) = p**3 + 8*p**2 + 4*p - 2. Suppose 4*o = -5*n + 2*o - 25, 3*n + 3*o = -6. Let a be g(n). Let v = a + -11. Are v and 9 equal?
False
Suppose 3*u + 2*j - 455 = 0, 2*j + j = -u + 154. Is 151 less than u?
False
Let s = -1870 + 1871. Which is smaller: s or 1/182?
1/182
Let l(b) = 8*b - 100. Let n be l(13). Which is greater: 5 or n?
5
Let y = -0.6 + 0.6. Suppose -15*o = -14*o + 4*d + 57, 3*d = o + 64. Is y < o?
False
Suppose 41*d - 126*d + 170 = 0. Which is bigger: d or 3/208?
d
Suppose 9*g = 5*g + 2*o - 46, 31 = -4*g + 5*o. Is g less than -8?
True
Let c = 22 - 20. Let n(l) = 2*l**2 - 3*l - 2. Let s be n(c). Suppose s = -0*g + 2*g. Which is bigger: g or -2/13?
g
Let a be 6 + (-32)/(-20) + 3. Which is bigger: 11 or a?
11
Suppose -2*u + 6*u = 8. Suppose 0*f - 5*f = 5*g - 15, 5*g - 12 = -u*f. Let z(c) = c**3 + 3*c**2 + 3*c + 2. Let k be z(-2). Is k > g?
False
Let w = -22 + 46. Let j = 5.32 - 5.22. Which is greater: j or w?
w
Let p = -8.061 - -0.061. Let x = p + 40. Which is bigger: x or 0?
x
Let u = 148292/13307 + -2/1901. Let d = -169 - -181. Does u = d?
False
Let f = -102 + 95. Let h be f/((-462)/12) + (-108)/(-11). Is -1/4 >= h?
False
Let n = -1 + 3. Let m(k) = k**3 - k**2 - 2*k + 2. Let h be m(n). Let j = 2 + 2. Is j at least h?
True
Let j = -718/2219 + 12/317. Which is smaller: -394 or j?
-394
Let x = 7582.91 + -7583. Let g = 1/58 - 123/406. Is g not equal to x?
True
Let n be 5/10*((-6)/15)/((-10)/(-25)). Let w = -2 + 0. Are w and n equal?
False
Let r be (130 + -134)/(10/(0 + -1)). Is r less than or equal to 0.07?
False
Let s = -520 + 486. Which is bigger: s or 0.2?
0.2
Let o(u) = u**3 + 9*u**2 + 2. Let k be o(-9). Suppose 2*f = -v + 2, 3*v + 5*f = 7*f + 30. Is k smaller than v?
True
Let k = 351 + -74. Is k less than or equal to -1?
False
Let l = 2483 + -2611. Are l and 2 unequal?
True
Let r = 21 - 19. Suppose 5*t = -2*s - 1, -r*s + 8 = -4*t - 0. Which is smaller: t or 3/37?
t
Let f(r) = 104*r - 490. Let x be f(7). Are 241 and x non-equal?
True
Let k = -9476/2255 + 1/451. Let q = k + 19/5. Which is smaller: q or 0.6?
q
Let f(l) = -l**3 - 9*l**2 + 9*l - 6. Let d be f(-10). Is d not equal to 2?
True
Let x be 2*1/((-8)/20). Let i be ((-8)/(-20))/(1/x). Which is smaller: i or 0.2?
i
Let z = 0.2 - 0.2. Let h = 11.96 + -11.96. Is z >= h?
True
Suppose h - 5*h + 124 = 0. Which is bigger: h or 28?
h
Let p = -2621 - -2356. Which is smaller: 0.3 or p?
p
Suppose 18 = a - 4*n, -2*n + n + 3 = -4*a. Let m be 6/123 - (-2 - a). Which is smaller: -0.2 or m?
-0.2
Let u = -368 + 395. Let x(p) = 25*p + 1. Let k be x(1). Which is bigger: u or k?
u
Let x = -109 - 95. Let j = -27/193 - 432409/2123. Let q = j - x. Which is bigger: -0.3 or q?
q
Let b = 1645 - 1645. Which is smaller: b or -0.284?
-0.284
Let j = -1/119 - -171/119. Let x be -8 + (-3)/(-2)*(-260)/(-39). Which is smaller: j or x?
j
Let x(c) = -2*c + 12. Let a be x(3). Let p be (2*(4 - 3))/(a/(-21)). Let i(m) = m**3 - 3*m**2 - 4*m - 5. Let l be i(4). Is l less than p?
False
Let u be ((-1 - 2)/(-18))/((-5)/10). Which is bigger: -75 or u?
u
Let h be 170/84 - 0 - (-7 + 9). Let c = -14 + 9. Let i = 5 + c. Are h and i nonequal?
True
Suppose -8*y + 76 = 84. Is -17/9 at most y?
True
Let n = 13 + -3. Let v be (n/25)/((-2)/(-20)). Suppose 0 = -v*m + 1 - 5. Is -2 greater than or equal to m?
False
Let f(k) = 2*k + 33. Let n be f(-10). Suppose -9*b + 8 = -n*b. Is -5/2 less than or equal to b?
True
Let j = 51.17 - -0.83. Let h be 16/(-40) + -2 + (-3 - -5). Is h less than j?
True
Suppose -7 = -6*n + 47. Suppose 0 = 8*b - 7 - n. Let a be -2 + b + (-30)/(-27). Is 2 less than or equal to a?
False
Let w(g) = 4*g**2 - 1. Let t be w(-1). Suppose 4*p = -3*d - 0*d + 7, -9 = -3*d - 3*p. Suppose -t*j - 7 + 80 = -d*r, 0 = -r - j - 13. Which is greater: r or -13?
-13
Let t(l) be the second derivative of l**5/20 - l**4/2 + l**3/2 - 4*l**2 - 9*l. Let z be t(6). Is z less than or equal to 10?
True
Let m be (-5 + 3)*4/(-8). Let l be 3/m - (-1026)/(-336). Which is greater: 1 or l?
1
Suppose -18*j = -5*j + 234. Which is smaller: -19 or j?
-19
Let n be (-14)/4 + 3/(-6). Let w(d) = d + 6. Let o be w(5). Let f = o - 12. Is n greater than f?
False
Let p(f) be the first derivative of -f**3/3 - 6*f**2 - 29*f + 19. Let c be p(-8). Is 5 less than or equal to c?
False
Let j = -2 - -2.13. Let p = 1.53 - j. Let f = p + -1.5. Which is smaller: f or 2/27?
f
Let x = -30391/131 - -232. Let v = x - -637/2358. Let z = 17/18 - v. Which is bigger: z or 0.2?
z
Let r = 836 + -7525/9. Is r at least -0.43?
True
Let w = 0.25 + 0.05. Which is smaller: w or -2/345?
-2/345
Let b = -0.7 - 0.1. Let i = 1.2 - b. Which is smaller: -1/6 or i?
-1/6
Let n be (-1)/((-765)/54) + 0. Which is smaller: n or 0?
0
Let v = 739 + -746. Let g be 0 + 2*7/(-2). Is g > v?
False
Let b = 2608/5 - 523. Is b smaller than -0.1?
True
Let h(k) = -6*k**2 - 5*k + 9. Let c(w) = 7*w**2 + 5*w - 8. Let z(q) = 5*c(q) + 6*h(q). Let m be z(-7). Is -1/19 != m?
True
Let g(n) = 5*n + 81. Let k be g(-12). Suppose 0 = 2*c + u - 42, u + 2*u + 64 = 4*c. Is c at most as big as k?
True
Let v be (-326)/(-72) - 24/(-108). Let b(y) = -2*y**3 + y**2 + 2*y + 6. Let r be b(0). Which is smaller: v or r?
v
Let u = -10435 + 4111387/394. Is u less than 1?
True
Suppose 3*b + 5*s = -8, -5*s + 3 = b + 9. Suppose 3*v + 2 = 7*v + 2*n, -4*v = 4*n. Let z = v - 0. Is b equal to z?
False
Let w(o) = -o**2 - 12*o + 2. Let c be w(-11). Let y = -4 - 0. Let l = y + c. Do 9 and l have the same value?
True
Let k be ((-91)/(-78))/(-33*(-4)/(-45)). Are k and 0 non-equal?
True
Let l be -18 + 9 - (-6 + 3 - -8). Let a(g) = g**3 - 7*g**2 - 3*g + 9. Let d be a(7). Which is smaller: d or l?
l
Let z = -0.31 - -28.31. Let l = z - 27.8. Is -2 < l?
True
Let w = -19.74 + -0.26. Let z = -23 - w. Are -4 and z equal?
False
Let x(z) = -39*z - 2. Let j be x(1). Let y = -60 - j. Which is bigger: -18 or y?
-18
Suppose 80*d = 4*d + 228. Which is bigger: d or -9/11?
d
Let i be (-1)/(-5) + 10674/180. Which is greater: 61 or i?
61
Let u = -29 - -29.22. Let r = -1.28 - u. Is -1 <= r?
False
Suppose 0 = 5*q + 20 + 20. Let w(n) = -n**3 - 9*n**2 - 10*n - 12. Let c be w(q). Let p be 26/c + 4/(-8). Is p != 4?
True
Let r(d) = -8*d - 31. Let l be r(-9). Let i = l - 44. Which is smaller: i or 1?
i
Suppose -4*a - 12 = -16*a. Which is smaller: -1/973 or a?
-1/973
Suppose 2*f + 326 = -3*b + b, 2*f + 166 = -b. Let v be -2 - (b/28 + 4). Let u be ((-18)/81)/((-1)/(-3)). Which is smaller: u or v?
u
Let q(w) = -2*w**2 + 12*w - 18. Let t be q(3). Let r be ((-4)/102)/((-1)/(-6)). Is t less than r?
False
Let y = 120 - 121. Is -6/95 not equal to y?
True
Suppose 5*y = -2*u + 13, 30*u + 14 = 34*u - 2*y. Is 7/2 > u?
False
Suppose -57 + 45 = -2*j. Suppose 2*f + j*f = 3*f. Are f and -1/11 equal?
False
Let d be (1 - -2)/(147/14) + -34. Which is bigger: d or -33?
-33
Let h(a) = -a**3 + 11*a**2 - 19*a + 22. Let n be h(7). Which is smaller: 84 or n?
84
Let c = 48.1 + -43. Let r = c + -0.1. Let q = -4.8 + r. Which is greater: -0.5 or q?
q
Let c = 22251/2 - 11385. Is -261 bigger than c?
False
Suppose -293 = -3*c + 3*r + 16, 509 = 5*c + r. Is 100 <= c?
True
Let i be -3*1/1*-1. Suppose 0 = 2*k + i*d - 17, -k - 2*d - 2*d + 21 = 0. Let h = 0.8486 - 1.2486. Which is bigger: h or k?
k
Let k = 0.039 + -5.039. Let r = 2.1 + -10.1. Which is greater: k or r?
k
Suppose -15*a = -26*a + 99. Suppose -c + 0*c + 3 = u, 3*u = -4*c + 10. Which is smaller: c or a?
c
Let m = -0.9 - 4.1. Which is bigger: 13 or m?
13
Let c(v) = 22*v**2 + 10 - 21*v**2 - 13*v - 2*v. Let q be c(14). Let a = 5 + q. Which is smaller: 3/14 or a?
3/14
Suppose 2*i - 10 = -3*i. Suppose -i = 3*h - 8. Suppose 2*r = -4*m + 30, -4*m + h = 3*r - 33. Which is smaller: r or -1/4?
-1/4
Let v be (-44)/((-4)/(-6) - (-36)/27). Suppose 0 = -3*q + 1 - 4. Is q less than or equal to v?
False
Let h(b) = -b**2 + b. Let a = 46 + -45. Let g be h(a). Is g at least as big as -3?
True
Suppose 3*s + 1 + 11 = 0. Let j be 4288/(-384) + 1*7. Which is bigger: s or j?
s
Let c(i) = i**3 - i**2 - i - 1. Let r be c(-1). Let w = 4480 - 6332. Let p = -24088/13 - w. Is p != r?
True
Let m(q) = -q**3 - 39*q**2 - 137*q + 105. Let z be m(-35). Which is smaller: z or 25?
z
Let l(y) = y**2 + 8*y + 1. Let n be l(-8). Let h = -3 + 