*m**2 + 3 - 8 + 10*m**3 - 8*m + 2*m**2 - 9*m**3. Let v be x(4). Which is smaller: -6 or v?
-6
Let r = 198.21 - 212. Let p = 0.21 - r. Which is bigger: p or 2?
p
Let r(b) be the third derivative of b**5/60 - b**4/6 + b**3/2 - b**2. Let z be 2 + (9 + -3 - 4 - 0). Let a be r(z). Are 5 and a unequal?
True
Let s = 37 + -31. Let c(v) = v**2 - 14*v + 45. Let b be c(s). Which is bigger: -21 or b?
b
Let z be (-2 + 14)*1/(-2). Let t = 82 + -77. Suppose 3*j = w - 22, -3*j + t*j = 3*w - 17. Which is smaller: z or j?
j
Let d = -642001/240 + 2675. Let v = 43/1200 - d. Do v and 1 have different values?
True
Suppose 4*k - 132 = 3*w, -3*w + 7*w - 124 = -3*k. Let t = 51 - k. Let i = 38 + -22. Does i = t?
False
Let p be 120 + 9 - (2 + 2). Let w = p - 136. Which is bigger: -59/5 or w?
w
Let s = 20341/26 + -782. Let d = -2/13 - s. Suppose -4*o = -0*o - 2*l - 8, -2*o = 3*l + 12. Is d at most as big as o?
True
Let j = 18.34 + -18.381. Is j at least -0.05?
True
Suppose -4*u - 14 = 3*c - 7, 3*c + 8 = -5*u. Which is smaller: c or 126?
c
Let c(d) = 2*d - 16. Let v be c(9). Suppose -2*h - s = 11, v*h - s + 1 = -0*s. Do -3 and h have the same value?
True
Let s = -89 + 89.06. Which is bigger: -36 or s?
s
Let s be ((-9)/(-27))/(1/3). Let m be 2/(-2)*1*s. Let l(z) = -z**2 + 8*z - 7. Let x be l(7). Are x and m non-equal?
True
Let f(o) = -o + 1. Let b(d) = -9*d - 50. Let c(m) = -b(m) + 5*f(m). Let j be c(-23). Are -37 and j unequal?
False
Let u = -2948/13 + 3098/13. Is 13 < u?
False
Let c = 388 + -390. Which is smaller: c or -10?
-10
Let g = -718 - -751. Are 32 and g equal?
False
Let s be (1/98)/(24/(-2016)*-24). Let m = 0 - -1/3. Is m <= s?
False
Let g(b) = -10*b + 91. Let w be g(23). Which is greater: -0.1 or w?
-0.1
Let a(g) = g**2 + 4*g - 6. Let t be -1*1 - (2 + 2). Let q be a(t). Let x be 15/(q - 4)*-1. Is x >= 3?
True
Suppose -15 = -5*h + 5, -2*b = -5*h + 24. Let x(n) = -n**3 - 6*n**2 - n + 6. Let u be x(-6). Suppose -4*f + f = u. Which is smaller: f or b?
f
Let y be 1 + ((-1)/4 - (-1835)/3180). Let q = -1/159 - y. Which is bigger: q or -4?
q
Let c(o) = o**2 - 5*o - 3. Let x be c(6). Suppose -2*d = 5*z - 15, 3*d - 2*d - 2 = 3*z. Suppose -4*f = -z - x. Is 2/7 less than f?
True
Let y be 2 - 0 - (-17 - -1) - 0. Let h be 8/(-10)*135/y. Which is greater: -7 or h?
h
Suppose -5*i + 1292 = -n, 3*i - 9*n - 770 = -11*n. Are 257 and i non-equal?
True
Let b(p) = p**3 + p**2 - 2*p - 4. Let o be b(-2). Let g be (3 + -2)*-2 - o. Let a(h) = -h**3 + 2*h**2 - h + 1. Let l be a(g). Is 1 at most as big as l?
False
Let q be (-35)/525*(0 - (-441)/(-6)). Is q less than 4?
False
Let v = 22 + -22. Suppose v = 6*s - 13*s. Which is smaller: s or 3/7?
s
Suppose 0 = -2*g + 3*z + 94, -z + 188 = 11*g - 7*g. Is 47 not equal to g?
False
Suppose 6*t - 4*t = 24. Let y = t - 14. Let j be 4 + y + (-24)/4. Is -2 less than or equal to j?
False
Let x = -3185 + 2413. Is -772 greater than x?
False
Let u = 5 + 3. Let b be 1/(-15)*(16 - (21 + -11)). Is u at most b?
False
Let g = 0.039 - -0.061. Is g greater than -0.181?
True
Let a be (-8)/(-32) + (-175)/860. Are a and -2 nonequal?
True
Suppose -3 + 27 = 2*w - 2*o, -w + 18 = -4*o. Let i be (3/6*-4)/w. Let b = 0.7 + -0.8. Which is smaller: i or b?
i
Let j(h) = h**2 - 14*h. Let s be j(14). Suppose s = -2*i - 9 + 7. Let x be ((-4)/6 - 0) + 0. Is x at most i?
False
Let g be 39/(-364)*-76 - 10. Is -2 less than g?
True
Suppose 2*g + 2*g = -g. Suppose 2*q + 0*q - 4*t = 2, -5*t + 20 = 2*q. Suppose -2*r + 5*r + 5 = -2*p, -5*r - q = 0. Is g smaller than p?
False
Let r = 0.0743 - 0.0443. Does r = -10.7?
False
Let q = 11281/10 - 1128. Suppose 5*o + 27 = 4*l, 4 = 4*l + 3*o + 1. Is l < q?
False
Let f(b) = -4*b + 793. Let x be f(6). Is 768 greater than x?
False
Let k = -282 + 534. Is -1 < k?
True
Let l = 1247/1004 - -2/251. Which is smaller: l or 2?
l
Let n be -2 - (7 + 1090/(-102) - -2). Is n less than or equal to 1?
True
Suppose -5*s - 6*a - 705 = -a, -5*s + 3*a - 705 = 0. Let o = s - -149. Is o <= 8?
True
Suppose 34*y - 35*y = 0. Suppose -6*h - 48 = -y*h. Is h equal to -7?
False
Suppose 0 = -4*g + 3*f + 51, -3*f - 67 = -5*g - 4. Suppose 2*c - 5*c = -g. Suppose 0 = -4*p - 4*x + 72, 2*p - 54 = -p - c*x. Is 17 equal to p?
False
Let p = -1.6 + 1.36. Let j = -0.34 - p. Is j <= -0.6?
False
Let m(h) = -h**3 - 6*h**2 - h. Let k be m(-6). Suppose f = 3*j - 2, 3*f + 4*j = f + k. Let c = 3 - 2. Is c != f?
False
Let g = -145/2 - -71. Which is greater: g or -17?
g
Suppose -3*u - 16 + 22 = 0. Suppose 8 - u = -3*k, 0 = 3*z - 2*k - 7. Let a be 4/(-18)*1/2. Which is smaller: z or a?
a
Let g(n) = 7*n + 2. Let z(a) = a. Let b(m) = -g(m) + 6*z(m). Let w be b(-5). Suppose w*p - 2*p = 0. Which is smaller: -4/3 or p?
-4/3
Let y(h) = 25*h**2 - 31*h + 23. Let w be y(-4). Is 547 greater than w?
False
Let b = 121 - 65. Suppose -51*r + 5 = -b*r. Which is bigger: 7 or r?
7
Suppose -15 = o + 3*i - 0, 0 = 4*o + i + 16. Let c be (-1)/o + (-5)/15. Is c at least as big as -1/98?
True
Suppose -7 = 2*d - 5*l - 2, 1 = 3*d + l. Which is bigger: 4/45 or d?
4/45
Suppose 0 = d + 3*a - 21, 2*a = 5*d - a - 69. Let b be (3/d - -1)/(4/90). Is b at least 27?
True
Let h(m) = -m**3 - 10*m**2 - 11*m - 4. Let z be h(-9). Suppose 2*v + w + 11 = -z, 5*v - 3*w + 35 = 0. Let i be (10/16)/((-5)/v). Do i and 1 have the same value?
False
Let h = 52 - 51. Let j(g) = g - 6. Let p be j(9). Let c be 0*p/6*2. Which is bigger: c or h?
h
Suppose 4*i + 516 = -2*m + 134, -5*m - 955 = -2*i. Does -192 = m?
False
Suppose -2*k + 0*k = 0. Let v = -427/13338 + 2/351. Is v > k?
False
Let o = -144909 - -576761/4. Let f = o - -713. Is -0.2 less than f?
False
Let o be (1 - -3)*1/3. Let t(m) = -m - 1. Let x be t(-2). Which is smaller: x or o?
x
Let d = -25 - -21. Do d and -0.33 have the same value?
False
Let a(q) = 5*q**2 + q. Let c(n) = -n**2 + 5*n + 2. Let z be c(5). Let h be z - (2 - (-1)/1). Let x be a(h). Which is smaller: x or -1?
-1
Suppose 16*o - 11*o = 25. Let h be (2 - 1) + (-50)/(-12). Is o smaller than h?
True
Let r be (-26)/(-82) - 1/3. Suppose 3*y = -3*y - 22*y. Is y not equal to r?
True
Let q be 118/54 - (2 + (-1 - -1)). Let v = q + -53/189. Which is greater: v or -1?
v
Let q = -75 - 19. Let m = q - -114. Is m at most as big as 20?
True
Let l be 4*((-3)/8 + 1). Let r = 151 + -148. Which is bigger: r or l?
r
Let r = -4/331 - -1747/117174. Which is bigger: r or 0?
r
Let b be 3 - 748/(-16) - 2/(-8). Let n = b + -50. Which is smaller: 16 or n?
n
Let t(h) = 2*h - 1. Let u be t(-2). Suppose 0 = 2*f + 10 + 16. Let l = f + 9. Which is smaller: u or l?
u
Let h be (-22)/(-4) + 3/(-2). Suppose -9*w - 5 = -h*w. Are -2/3 and w equal?
False
Let t be 8/(((-1)/1)/(-43)). Let n be -7 + 10 + t/(-114). Is -1 != n?
True
Suppose 9*y + 385 = 70. Let n = 106/3 + y. Does -1.05 = n?
False
Suppose -3*g = l + 18, -l - l - 5*g = 31. Is 1 >= l?
True
Let w = 207 - 208. Are w and -3/89 equal?
False
Let f be (80/(-84) - -1)*36/(-24). Let p = 24 - 22. Is p < f?
False
Let q be 4 + 0 + (-1654)/10. Let x = q + 161. Do x and 5/8 have the same value?
False
Suppose 0 = 4*q - 2*z + 23 + 19, 3*q - 5*z + 49 = 0. Is q less than -9?
False
Let a be 2/(-12)*-3*30. Let z = a - 22. Let j = z - -15/2. Are j and -1 nonequal?
True
Let a = 13 + -8. Let f = -104 - -103.99. Let m = f - 0.29. Which is smaller: a or m?
m
Suppose -66 = 4*h - 5*g, -5*h + 0*g = -2*g + 74. Let z(m) = m**2 - 8*m - 7. Let w be z(7). Let f be ((-9)/(-3))/(3/w). Do f and h have the same value?
True
Let j = -98 - -98.3. Suppose f - 7*a + 20 = -2*a, -5*f + 5*a - 40 = 0. Let r be f/(-2) - (-1)/(-2). Which is greater: r or j?
r
Let d = 0 - -1. Let x be -3 + 238/40 + (-9)/3*1. Which is smaller: x or d?
x
Let c be (-9)/(-7) - (-6)/(-21). Let x be 60/630 + (-179)/1659. Which is bigger: c or x?
c
Let p be 1 + 2/(-14) - 2. Suppose -12*h - 14*h = 3*h. Which is smaller: p or h?
p
Let m(d) = -d - 6. Let h be m(-5). Suppose -54*b + 59*b - 20 = 0. Let o be (-1 - b/(-4))*1. Which is smaller: h or o?
h
Let i(c) = -c**3 + 2*c**2 + 4*c + 1. Let d be i(3). Let l(t) = -3*t + 13. Let s be l(d). Let o = 23/6 - 403/102. Which is smaller: o or s?
o
Let u = 36 + -181/5. Let b = -652 - -651.98. Are u and b non-equal?
True
Let o be 20/(-8) + (-7)/14. Suppose c - 4*c = -2*h - 21, -4*h = -2*c + 54. Let v be 49/h + 12/(-30). Do o and v have 