 n and w equal?
False
Let v be -5*(-1)/3 - 2. Let d = -6.3 - -6.198. Let q = -19.102 - d. Which is bigger: q or v?
v
Let w = -630.9 - -631. Is -281 at least as big as w?
False
Let t be (10 - (3 + 7)) + (-4)/(-14). Is -0.3 at most as big as t?
True
Let i = -2 - 6. Let f be (-14)/i + -1 - 87/180. Which is smaller: -0.1 or f?
-0.1
Let q be 8/20 + 108/30. Suppose 0 = -5*b + q*b + 5*i + 1, i = 0. Is b at least -34?
True
Suppose 4*m = 2*m + 3*o - 21, 0 = -4*m + 3*o - 51. Which is smaller: m or -168/11?
-168/11
Let p be ((-5)/(-2))/((-6)/(-12)). Suppose -x - g + p*g = 5, -5*g = 5*x + 50. Let v = 15 + x. Is 5 at least v?
False
Let n = 0.4014 + -0.4014. Suppose 2*f - 5*f = 3*d - 42, 38 = d - 5*f. Which is smaller: n or d?
n
Let g = -1470 - -1481. Is 13/7 at least as big as g?
False
Let o be 1/(8/32) - 40. Which is bigger: 1 or o?
1
Let t be (0 + 9)*7/21. Suppose -t*q + 8*q = 10. Suppose 0 = q*v + 3*v + 20. Which is smaller: -3 or v?
v
Let p = -109 + 69. Let i = p - -48. Is i >= 9?
False
Let f(n) be the first derivative of n**3/3 + 4*n**2 + 4*n - 1. Let o be f(-8). Suppose a + 1 = o*p, -2*a = -3*p - 3*a - 1. Which is smaller: p or 2/75?
p
Let n = -1047 - -809. Which is smaller: n or -242?
-242
Let r = -4 - 12. Let c be 2 - (104/(-6) - -3). Let b = r + c. Which is bigger: b or 1/2?
1/2
Let a = -191/13 + 2374/143. Which is greater: a or 5?
5
Let x = -28 + 28.06. Let g(q) = q**3 + 10*q**2 - 2. Let p be g(-10). Which is bigger: p or x?
x
Let s be (-2)/7*(-238)/272. Which is smaller: s or 1/43?
1/43
Let y = -41 + -13. Let o = -59 - y. Is o greater than or equal to -7?
True
Let f = -330 + 21. Which is smaller: 0.2 or f?
f
Let u = 13 + -10. Let c be 57*(u - (-40)/(-12)). Which is bigger: 0.1 or c?
0.1
Let s(f) = -5*f - 21. Suppose 3*t + g - 2 = 0, -g - 3 + 5 = 0. Suppose t = -3*u - 8 - 10. Let w be s(u). Is w bigger than 7?
True
Let s be (-21)/(-14) + (24/2)/(-2). Do s and -4 have different values?
True
Let s = -19/21 - -11/7. Which is smaller: s or -0.11?
-0.11
Let x = -0.1666 - 14.7734. Let w = x + -0.06. Are 1/4 and w nonequal?
True
Suppose -6 = 10*x - 76. Suppose k - 6*k = 0. Which is smaller: k or x?
k
Let k = 144 + -1012/7. Let u(t) = -13*t + 19. Let c be u(12). Let h = 136 + c. Which is smaller: h or k?
h
Suppose -45 = -5*r + 2*r. Let i(n) = 2*n + 0 - r + 1. Let k be i(7). Is k greater than or equal to 6/11?
False
Let b be 57/(49/14 - 2). Which is smaller: b or 36?
36
Let x = 4789300276/4978389 - -28/46527. Let p = x - 962. Is 1 at most p?
False
Let c be (2/(-588))/(-1*(-6)/(-1021368)). Let y = -579 + c. Is -1 > y?
False
Suppose -7*a + 16 = -3*a. Suppose 5*m - 3*k = 23, m - a = -m - 4*k. Suppose -d = -2*h + 7, 0*h = h + d + m. Is h at least 2/47?
True
Let z(y) = -3*y - 4. Suppose -a + 0*a + 2 = 0. Let x = a + -7. Let h be z(x). Which is bigger: 12 or h?
12
Suppose 0 = 2*l + 11 - 169. Let v = 60 - l. Which is bigger: -21 or v?
v
Let c(u) be the third derivative of 7*u**5/60 + u**4/12 - u**3/3 - u**2. Suppose 0 = -14*k - 13 + 27. Let l be c(k). Which is greater: 4 or l?
l
Suppose -564133 = -d - 0*d + 3*r, 3 = -3*r. Let i = 245960785/436 - d. Let t = i - -1/109. Is -3 <= t?
True
Let k be (-4)/(-18) + (-88)/72. Let p be -3 - -6 - (-616)/(-183). Let x = -2/61 - p. Which is smaller: k or x?
k
Let w(b) be the second derivative of -b**5/20 - 11*b**4/6 + 23*b**3/6 + b**2/2 + 3*b. Let k be w(-23). Is k >= 1/7?
True
Suppose -2*s = -5*u - 3*s + 8, 3*s = 3*u - 12. Suppose 3*f + 1 = -u. Let g = 21584/33 - 654. Which is smaller: g or f?
f
Suppose -4*b - 15 + 40 = -v, 4*v + 4 = 0. Are b and 36 non-equal?
True
Let w = 25 - 9. Let o(m) = 3 - 25*m + 8*m + w*m. Let f be o(4). Which is smaller: 2/11 or f?
f
Let z be ((-1)/(-2*1))/(2/(-40)). Which is greater: -11 or z?
z
Let u = 9 + 1. Suppose u*i = 5*i + 35. Which is greater: 8 or i?
8
Suppose -7*i - 39 = 31. Let a be ((-42)/i)/(-3) + 0 + -3. Which is smaller: a or -3?
a
Suppose 5*t = -3*o + 2*o - 12, -3*t = -2*o + 15. Is o at least as big as -14?
True
Let r = 1.01 - 6.01. Let i = r - -3. Which is smaller: i or 6/5?
i
Let m be ((-4 - 0) + 4)/1. Suppose -u + m = -3*i + 2, -3*i + 10 = -5*u. Let d be -3 - -2 - (1 - -1). Which is bigger: u or d?
u
Let u = -104 - -62. Let f be (-6)/u - 2/8. Is -1 greater than or equal to f?
False
Let a = 4.182 - 75.302. Let g = a - -70. Let y = -0.12 - g. Which is smaller: -6 or y?
-6
Suppose 4*k + k = 10. Suppose -k*x + 226 - 206 = 0. Which is greater: 13 or x?
13
Suppose 4*t - 920 = -3*z + 162, t - 264 = -4*z. Let b be t/1148 + (-4)/14. Is b less than 1?
True
Let l be (18/(-12))/(3/(-36)). Let m = l - 14. Are 4 and m nonequal?
False
Let o = -73 - -71. Let j be o/(-4) + (-3)/2 + 1. Do 0 and j have different values?
False
Let l = -122 + 124. Suppose 0 = -r + 3, 4*r + 0*r + 46 = l*f. Are -0.1 and f non-equal?
True
Let z = 0.78 + -0.88. Does z = 103?
False
Let l be ((-4)/8)/(11/(-22)). Which is greater: l or -2/13?
l
Suppose -12 = -2*p - 6. Suppose -p*g - 53 = 4*k - 2*k, -3*k - 3*g - 81 = 0. Is k greater than -28?
False
Suppose 5*z - 3*o + 15 = -8*o, 5*z + 15 = 5*o. Let i = -224 + 248. Let n be i/(-4)*z/(-9). Is -1 < n?
False
Let h = 77.6 + -114. Let y = h + 29.56. Let b = y - 0.16. Is b >= -1?
False
Let c(r) = 7*r + 22. Let o be c(-5). Let v be -9 + (-1)/(-2)*(-21 - o). Suppose 0 = 4*y - 13 + 61. Which is smaller: v or y?
v
Let x be 554/12 - (-3)/(-6). Let p = -45 + x. Let s(w) = -w**2 - 2*w - 1. Let t be s(-1). Is t at most as big as p?
True
Suppose 2*s = 4*y + 8 + 14, 4*y + 11 = s. Suppose -s*d = -8*d + 24. Let m be (4 + d - 0)/9. Which is bigger: m or 1?
1
Let i = -291.1 + 291. Which is smaller: -36.1 or i?
-36.1
Let y(h) = -h + 10. Let r be y(14). Let g be 15/12 - (-1)/r. Let p = 143/6 - 24. Is g <= p?
False
Let s = 2/243 + -164/243. Which is smaller: s or -2/85?
s
Let l = 16.2 - 18. Let c = l + 2. Let q = 0.2 - c. Which is greater: -4 or q?
q
Let w = -46 - -36. Let h be (8/w)/(((-1)/5)/1). Let f be (-40)/(-22) + 12/66. Which is bigger: h or f?
h
Let b = 0.1301 + 4.8699. Which is smaller: b or -0.08?
-0.08
Suppose 42 = 4*t - 58. Let x(v) = 3*v**2 - 2. Let r be x(3). Let h = r - t. Which is smaller: -6/11 or h?
-6/11
Let f = 9.7 - -0.3. Let g = f - 11. Are -11 and g equal?
False
Let g = 14/3 + -5. Let i = -7 - -10. Let x = -1 + i. Is x greater than or equal to g?
True
Let m be (-1)/3 + (-70)/24. Let k = -3 - m. Let r = 1.12 - 0.12. Is k greater than or equal to r?
False
Let j(o) = -69*o**3 + 2*o**2 + 3*o. Let v be j(-2). Suppose -161 = l - 5*g, 4*l + g - 3*g + v = 0. Let a be (-2)/(-4) + 60/l. Which is greater: 1 or a?
1
Let m = -1338/13 - -103. Suppose -61*g + 4*t = -65*g, -t = -1. Is g at least as big as m?
False
Suppose 5*z - 404 + 134 = 0. Let u = z - 36. Let q = 8 - u. Which is bigger: q or -8?
-8
Let h be (4 + -1)*(-2 - -3). Let l be h + -1 + 10 - 3. Let o be -11 + l - (-4 + -1). Is o smaller than 1?
False
Let v = -44 + 80. Suppose -38 = -l - v. Let u = -459/65 + 123/13. Is u smaller than l?
False
Let l = 8.04 - 8. Let r = l - -0.01. Let j = r + -1.05. Which is smaller: -3/5 or j?
j
Let g be (-4)/214*(-4 + 30/12). Which is smaller: 1 or g?
g
Let a = -422 - -14349/34. Let w(k) = k**3 + 13*k**2 - 13*k + 5. Let g be w(-14). Let m be -4 - -1 - (g - -7). Do a and m have different values?
True
Let d = 177126858/65 + -2725083. Let r = -762/13 - d. Let p = 51338 + -51342. Which is bigger: p or r?
p
Let t = -428 - -427.9. Is t bigger than -0.018?
False
Suppose 4*q + 10 = 2. Suppose 0 = -0*b - b + 5*m - 3, 0 = -5*b + 3*m - 15. Are b and q unequal?
True
Suppose 0 = t + 2*d - 10 - 18, 5*t = 4*d + 168. Which is smaller: t or 17?
17
Suppose -10*r + 30 = -5*r. Let s be 20/r*(-18)/4 - 2. Is s less than -17?
False
Let u = -7 + 6.7. Let o = 1.7 - u. Suppose 0 = 9*r - 200 + 173. Which is bigger: o or r?
r
Let s be 343/49 + 32/(-5). Is s at most 2/9?
False
Let x(v) = -4*v + 113*v**3 - 114*v**3 - 10*v**2 + 3*v - 8. Let w be x(-10). Suppose 3*a + 9 = -3*g, -10 + 37 = -w*a + 5*g. Is a < -6?
False
Suppose -4*o + o = -5*z - 18, 0 = o - 1. Suppose 6*q - 4*q + h - 6 = 0, -2*q - 10 = 5*h. Let f = z + q. Is 2 greater than or equal to f?
True
Let j = -86067895/41 + 2100233. Let x = j - 1016. Which is greater: -2 or x?
x
Let l = 75.318 - -0.782. Let u = l + -85. Let a = 9 + u. Which is greater: a or 3?
3
Let h = 