n u?
False
Let h be 0 - (-2 - 67215/99). Let m = h - 681. Which is smaller: -1 or m?
-1
Let z = -5.12 - -5. Let y = 139 + -136.12. Let i = z - y. Which is greater: -0.1 or i?
-0.1
Let r(d) = -19*d**2 - 2*d - 3. Let z be r(2). Which is bigger: z or -82?
-82
Let k be 2/(-4) - 5/(-2). Suppose -2*f + 5*l = 4, -k*f + 4*l - 4 = -2. Suppose -p - 2*p = -3*q + 3, -3*q = 2*p - f. Which is smaller: p or 2/17?
p
Let o be 4 - 3*7/3. Let n be o*(-4)/(-126)*-6. Which is bigger: n or 3?
3
Let d(m) = -3*m. Let j(p) = 3*p - 1. Let k(x) = -6*d(x) - 5*j(x). Let s be k(-2). Which is bigger: 0 or s?
0
Let i = -1.83 - -1.69. Let b = 1.86 - i. Which is bigger: b or 46?
46
Suppose -8 = -2*a, -5 = 3*v + 4*a - 9*a. Let b(c) = 9*c + 3. Let z(j) = 17*j + 6. Let n(y) = 11*b(y) - 6*z(y). Let g be n(-3). Is g at most v?
False
Let r = 613/18 - 199/6. Is r less than 0?
False
Let d be (684/(-133))/(6/(-28)). Let r = 0.143 + -0.043. Which is greater: d or r?
d
Let w = 960 + -944. Let d = 1/82 + -179/1230. Which is bigger: d or w?
w
Let q = -0.9941 - 0.0059. Which is smaller: q or -103?
-103
Let q be (-6)/(-27) - (-120640)/(-180). Is q less than -668?
True
Suppose 23*k + 6 = 21*k. Let q(v) = -v**3 - v**2 + 4*v + 2. Let l be q(k). Which is smaller: 4 or l?
4
Suppose 2*a - 7*a + 2*z - 333 = 0, 0 = -a + 2*z - 73. Is a greater than -464/7?
True
Let p(c) = -c**3 - 3*c**2 + 6*c. Let s be 47/(-9) - 4/(-18). Let u be p(s). Let q be (-11)/u - (-9)/12. Is q at most 1?
True
Let a be (7/10)/((-17)/85). Which is greater: a or 3?
3
Let l = 0.8 - 2.2. Let u = l - -1. Let v = 1.6 - u. Are v and 1 unequal?
True
Suppose 0 = 2*k + 11*k + 13. Which is greater: k or -1/10?
-1/10
Suppose -61*k + 21 = -68*k. Is k at least as big as 0.3?
False
Let b(f) = f. Let o be 4 + (-9)/((-18)/(-4)). Let m be b(o). Suppose l - z = -2*l - 6, -2*l - m*z = -4. Is 2/21 bigger than l?
True
Let z be (0 + (-1)/(-2))/(0 - 2). Let w(i) = -i + 8. Let p be w(8). Is z greater than or equal to p?
False
Let j(w) = -w**2 - 35*w + 467. Let r be j(-45). Suppose -5*q + 17 = -3. Let c be (-24)/(((-30)/q)/5). Is c at least as big as r?
False
Let h = 377 + -289. Is h <= 90?
True
Let i be 15*(-2 + 28/12). Suppose 2*w = -i*b - 42, -5*w - 2*b + b - 128 = 0. Let g = 25 + w. Do g and -1 have different values?
False
Let v = -0.046 - 0.004. Let h = v + 0.25. Which is greater: -8 or h?
h
Let w = -13 + 18. Suppose -4*g = 2*m + 36, -4*g = -w*m - 0*g - 104. Is -20 smaller than m?
False
Let c = -8 + 8. Let z be 389/71*(-5)/(-425). Let w = z + -2/355. Which is greater: c or w?
w
Suppose -5*v = 3 - 8, x = -3*v + 6. Let t = 8 + -6. Let d be t/x + 14/(-210). Are 1/5 and d equal?
False
Let d(h) = h**2 + 16*h + 6. Let j be d(-18). Let k = 50 - j. Which is smaller: k or -3?
-3
Let v be 1/(6/40) + 0. Suppose 0 = -y - 2*z + 2, -5*y + 2*z - 28 = -74. Which is smaller: y or v?
v
Let f be 18/(-12)*(-4)/3. Suppose f*p + 44 = -3*r, 4*p = r + 2*r - 88. Is p > -20?
False
Let z = 485 - 349. Which is smaller: z or 135?
135
Let s be ((-6)/(-21))/(2/(-4)). Suppose -h = 2*i + 3 + 3, -2*h + 2*i = 0. Which is greater: s or h?
s
Let r be (12/2 + -8)*(0 + 1). Which is greater: r or 0?
0
Let k be (4/(-10))/(5/(-48475)). Let a = -1081960/279 + k. Which is smaller: -1 or a?
-1
Let p(s) = -s**3 + 20*s**2 + 20*s + 26. Let q be p(21). Suppose -5*j = 2*u + 5, 2*u + 2*j = -1 + q. Suppose y = -u*y. Which is bigger: 2/75 or y?
2/75
Suppose -1 = r - 4. Let x be -9*(0 - (r - 2)). Let d be 18*(3 + (-33)/x). Is d equal to -11?
False
Suppose h - 3 = 2*h. Let q = -530/189 - -14/27. Which is bigger: q or h?
q
Let q = -25 - -9. Let b = 19.4 + q. Let f = b - -0.6. Is -1 smaller than f?
True
Let y be 41989/(-146937) + (-8)/(-28). Let m = -20823065/146937 + y. Let d = -142 - m. Which is smaller: -3 or d?
-3
Let n(g) = -24*g - 28. Let t be n(-3). Is 37 < t?
True
Let l = -20 + 19. Let t be 1/4 - (-66)/24. Let z be l + 1 + t + -2. Is 1 less than z?
False
Let j be (1 + 2)*38/(-18). Let x = 73/12 + j. Let n = 11.96 - -0.04. Is n smaller than x?
False
Let l be (-6)/8 - ((-495)/20 + 3). Let w be (36/8 - 3)*4/l. Do 10 and w have the same value?
False
Let k(r) = -r**3 + 22*r - 9. Let n be k(-5). Let d = -19 + 4. Let h = d + n. Which is bigger: h or -8?
-8
Let n(x) = x**3 + x**2 + 49. Let t be n(0). Let r = 497 + -447. Is t < r?
True
Let t be 51/21 + 39/(-91). Which is bigger: 10/11 or t?
t
Suppose -5*v = -83 - 87. Let i = -7700 - -7733. Which is smaller: i or v?
i
Let w = -6.55 - -0.05. Let l = w - -35.5. Is 0.1 less than or equal to l?
True
Suppose -28*h = -26*h - 2. Are -1/5 and h nonequal?
True
Let q be (-20)/8*4/(-5). Let u be (q - (-16)/(-10))*15. Let g be (-3)/(-18) + (-123)/(-18). Does g = u?
False
Let p be (-2 + (-3)/6)*(-1 + -1). Let b be (-85)/17*(-3)/p. Is b smaller than 30/7?
True
Let q(n) = 5*n - 40. Let p be q(8). Let o be (p - 0)*(2 - 1). Is 10/13 at most as big as o?
False
Let v = 3524 - 88028/25. Is 2 greater than v?
False
Let y be 8*(110 + -5 + -2). Which is smaller: y or 823?
823
Let m = -75 + 111. Let z = m - 35.8. Do -8 and z have the same value?
False
Let k = 106 + -1061. Is k smaller than -954?
True
Let x = 19 + -18. Let h = x - -6. Let g be -7 + h + -2 + 0. Which is greater: -1 or g?
-1
Suppose 6 = 3*p + 5*w, 3*p + 2*p = 4*w + 47. Which is greater: 13 or p?
13
Let r = 1035 - 194579/188. Which is smaller: r or -1?
-1
Let v = -38.71 + 34.9. Let d = 0.09 - v. Let z = d - 4.5. Which is smaller: 1 or z?
z
Let m(o) = 12*o**2 - 6*o - 40. Let z be m(-5). Which is bigger: 289 or z?
z
Suppose 2*j - 52 = -48. Suppose -211 = -4*b - 5*d, b + d = j + 51. Does 53 = b?
False
Let f be (-3)/(-6*(-4)/(-64)). Suppose 2 - f = q. Let v be -5 + 2*3/q. Is -7 <= v?
True
Suppose -5*i + 4*t + 6 = -5, -10 = -2*i - 4*t. Suppose -4*h - 19 = -5*f, 0*f - i*h = -4*f + 15. Let z = -5810 + 5809. Is z bigger than f?
False
Let p = -113 - -116. Which is smaller: 7 or p?
p
Let d be 0/(4 - (-1 - -6)). Which is smaller: 1/1968 or d?
d
Let l(j) = 19*j - 40. Let p be l(19). Do 320 and p have the same value?
False
Suppose y + 7 = -5*f, 3*y + 7 = f - y. Let g be f - (-2)/(2 - 0). Let a(o) = -2*o**2 + 309*o + 309. Let b be a(-1). Is b less than g?
True
Let w = -0.1529 - 0.2171. Which is smaller: w or -2?
-2
Let n be ((-3)/1)/(84/(-32) - -3). Let a be (n/520)/((-6)/45). Do a and 0.2 have the same value?
False
Let x(f) = -f**2 - 9*f + 1. Let b be x(-9). Is -7/73 less than b?
True
Let c(i) = i**3 + 7*i**2 + 2*i + 8. Let m be c(-7). Let b(k) = 4*k + 39. Let w be b(-10). Are m and w nonequal?
True
Let o = -298 - -299.77. Let t = -1.9 + o. Let l = t - -0.27. Which is smaller: l or 2/7?
l
Suppose -3*r = 5*c + 2*r, -3*r = -4*c + 21. Let n = 14 + -1. Suppose c*q = n + 2. Which is greater: q or 2?
q
Let l = 10 - 9.2. Let u = 2.7 + -3.4. Let m = l + u. Is m > -1?
True
Let h be ((-18)/3)/((-4 - -1) + 2). Let d = h + -11. Let k = 0.1 - 0.2. Which is smaller: k or d?
d
Let v = 2.2 + -2. Let x = 0 - -12.8. Let i = x - 17.8. Are i and v unequal?
True
Let r(q) = -6*q**2 + 1. Let x be r(-1). Which is smaller: -29/5 or x?
-29/5
Let v = 1.1 + -8.1. Let t = v + 2. Let q = -1.8727 - 0.1273. Which is bigger: t or q?
q
Suppose -x + 2*x = -3*f - 11, 4*x = 5*f + 41. Suppose -x*d - 59 = 1. Let b = 19 + d. Is 5 != b?
True
Let b = -93 + 19. Is -74 less than or equal to b?
True
Suppose s + 67 = -5*g + 3*g, 3*s - 195 = 5*g. Let m be 8/(-201)*g/(-48). Is m at most 0?
True
Let d(l) be the third derivative of l**5/30 + 5*l**4/12 + 4*l**3/3 + 25*l**2. Let r be d(-4). Which is smaller: 1/16 or r?
r
Let f = -1091 + 1117.92. Let a = 27 - f. Is a equal to 2?
False
Let h = 10/129 - 2243/645. Suppose -15*s - 7*s = 66. Let z be -8 - -11 - (-15)/s. Is h bigger than z?
False
Suppose 0 = h + 3*h - 4. Let x be -4 + (7/h - 3). Is -10/11 at most as big as x?
True
Let i = 90 - 169/2. Let n(v) = -v**2 - 6*v + 6. Let m be n(-6). Which is bigger: m or i?
m
Suppose 46 = 2*h - 4*s, 0 = 4*h - 2*s + 26 - 124. Which is greater: 51/2 or h?
51/2
Let w = 39 - 248. Let y = 2297/11 + w. Which is bigger: -1 or y?
y
Let m be (-1427)/(-4970) - (3 + (-57)/21). Which is bigger: m or 1?
1
Let w(d) = 9*d + 234. Let f be w(-23). Which is bigger: f or 25?
f
Let r(n) = n**3 + 19*n**2 + 30*n - 68. Let s be r(-17). Is s smaller than 5/78?
True
Let j(x) = -x**3 + 5*x**2 - 8. Suppose 6*d + 10