. Is -5 less than n?
False
Let f = 17 - 19. Let g be 23 - -3 - f/(-1). Let s be (g/(-18))/(26/(-9)). Does s = 1?
False
Let s be (2 + 6/(-5))/(6/(-15)). Let w be (24/(-2))/((-16)/6 - s). Is 18 > w?
False
Let v be (-19 + 15)/(-16)*(0 + 12). Let a = -881/4 - -6287/28. Which is smaller: v or a?
v
Let c be (-547)/(-895) + (72/30 - 3). Is 1 bigger than c?
True
Let r(n) = n + 0*n - 8*n + n**3 - 7*n**2 - 9 + 1. Let t be r(8). Suppose t = -y - y. Which is smaller: y or -3/7?
-3/7
Suppose -8*f + 6*f = -12. Let t = f - -6. Let p(g) = -2*g + 20. Let y be p(t). Is -4 not equal to y?
False
Let u be 2 + -7 + 6*1 - 1. Which is bigger: u or -249?
u
Suppose -3*r - 6 = 0, -3*s - 3 = 4*r + 2. Which is smaller: -56/9 or s?
-56/9
Suppose 7*y - 2*y = 25. Suppose 22*z - 20*z - 6 = 0. Suppose z*x + 36 - 11 = y*i, 0 = -2*i - 2*x - 6. Is i at most 7/4?
False
Let m be (4 - 4) + (-3)/(5382/4). Which is greater: m or 1?
1
Suppose 3*s + 2*r - 273 = 0, 455 = 2*s + 3*s - r. Suppose 9*l + 1 = s. Is l < 26/3?
False
Suppose -2*k = -k - i - 51, -3*i + 147 = 3*k. Which is smaller: 47 or k?
47
Let x = -414/7 - -398/7. Let h = -7632 - -7630. Which is smaller: h or x?
x
Suppose -1234 = -7*k - 471. Is k greater than or equal to 109?
True
Let h = -16.34 - -16.44. Which is bigger: h or -51/7?
h
Let h = 2 + -7/3. Is h < 0.159?
True
Let h be -1*-2*(-6)/12. Which is greater: h or 13/32?
13/32
Let w(y) = -y**2 - 5*y + 2. Let a be w(-5). Let n(u) = 5*u + 9. Let o be n(-1). Suppose -3 = -7*t + o. Which is bigger: t or a?
a
Let z(h) = -h + 8. Suppose 14 = 5*i - 11. Suppose 4*q = 31 + i. Let r be z(q). Are r and -1/2 unequal?
True
Let i = -178 + 178.568. Let g = 0.032 + i. Are 0.1 and g equal?
False
Suppose -3*x = -2*n + 23 + 52, n = x + 35. Which is bigger: 29 or n?
n
Suppose -1006*x + 1022*x + 3136 = 0. Which is smaller: x or -194?
x
Suppose 0 = 4*i - m - 332, -7*i = -4*i - m - 250. Suppose -3*g + 9*w = 4*w + 19, -2*w = 3*g - 16. Let n be g - (i/14 + -3). Which is bigger: n or 1?
1
Suppose k + 5*h = -26, -3*k - 2*h + 5*h - 6 = 0. Let n be 3/(-1) + k + -8. Suppose -5 = s + 13. Is s less than or equal to n?
True
Let g be 38/8 - 2/(-8). Let k(a) = -2*a**3 + 23*a**2 - 49*a - 4. Let p be k(3). Suppose -p*b - g - 39 = 0. Does b = -22?
True
Let b be -7*(-2 - -3) - -1. Let f be -5 + 5 - b/(-16). Let s = -14.7 - -15. Is s <= f?
False
Let b be 4/(-5)*(-7 + (-93)/(-14)). Which is greater: -0.0494 or b?
b
Let r = 1.21 + -0.11. Let q = 1.3 - r. Let y = 0.3 - q. Which is smaller: y or -4/7?
-4/7
Let x be (-7)/(35/(-2)) - (-805)/(-2075). Is -1 less than x?
True
Let d = -995 - -581. Which is smaller: d or -413?
d
Suppose -9*t + 12 - 498 = 0. Let b = t - -55. Are b and 3/22 unequal?
True
Let l = -166 - -166.1. Let k = 0.04 + 0.02. Let t = -0.54 - k. Which is smaller: t or l?
t
Let a = -363 - -376. Which is bigger: 0 or a?
a
Let h(a) be the second derivative of -a**3/6 - 15*a**2/2 - 7*a. Let g be h(-18). Which is bigger: -3 or g?
g
Let d(v) = -v**3 + 5*v**2 + 3*v + 3. Let q be d(4). Suppose -m - 5*s + 51 = 0, 57*s = 5*m + 58*s - 159. Does m = q?
True
Let l(y) = 10*y + 3. Let n be l(-3). Which is smaller: n or -1?
n
Let r = 17 - -11. Is 33 > r?
True
Suppose 2 = 4*s - 70. Let g(m) = -2*m + 27. Let l be g(s). Are -8 and l nonequal?
True
Suppose -2*m - 4*k + 0*k - 32 = 0, -2*k = 5*m + 64. Suppose -3*w = 3*n + 9, -1 = 5*n - 4*w - 4. Which is smaller: n or m?
m
Let q = 0.44 - 0.3. Let d = -0.058 + 0.218. Let b = d + q. Which is greater: -3/7 or b?
b
Let m(p) = -p**2 - 15*p - 15. Suppose o + 4*o + 2*f = -3, 17 = o - 4*f. Let a(u) = -14*u**2 + u - 1. Let t be a(o). Let v be m(t). Does v = 1/3?
False
Let f be (-4)/(-10) + (-208)/(-80). Suppose -4*b = 3*n - 7, -3*n + 4*n - f = -2*b. Which is greater: n or -1/10?
n
Let m be (1 + 2)/(16 + 1). Suppose -4*k + 3*k = -2. Suppose 4*x - 2*b - 16 = 2*b, 0 = 5*x - k*b - 11. Which is greater: x or m?
x
Let y be ((-2)/4)/(8/(-16)). Let x be (7 - 8)/(y*-1). Let c be ((2 - 1)*x)/8. Which is greater: 0 or c?
c
Let h be 14/(-14) - (0/(-1) - 2). Is h at least as big as 5/71?
True
Suppose t = 3*t - 2. Let o(z) = 71*z + 5. Let v be o(5). Let b be (-3)/5 + 176/v. Is t greater than b?
True
Let t = 6325/68 + -93. Which is bigger: t or 2/5?
2/5
Suppose -3*x - 5*f + 35 = -f, -3*x - 5*f + 31 = 0. Is 16 <= x?
True
Suppose -91*t - 253 = -114*t. Is 10 less than t?
True
Let h(a) = -6*a - 18. Let j be h(-5). Let n be 1 - (2/j)/(13/26). Do -0.13 and n have the same value?
False
Let d = -17 - -32. Suppose 7*r - d = 2*r. Suppose -r*i + 2 = -5*i. Which is smaller: i or -1/14?
i
Suppose 2*x + p = 6*p - 21, -p + 1 = 0. Suppose 8*q - 3*q = -5*c - 45, 2*q + 10 = -c. Is x equal to c?
True
Let f(p) be the first derivative of -p**3/3 - p**2/2 - p - 6. Let a be f(-1). Let h(o) = o - 4. Let k be h(3). Is a smaller than k?
False
Suppose 4*g - 105 = -g. Suppose 9 + g = z - 3*r, -r = -2*z + 45. Which is greater: z or 20?
z
Let b = 118 - 112. Do b and 0.5 have different values?
True
Suppose -i - 8 + 2 = 0. Let v(s) = s**3 + 5*s**2 - 3*s + 6. Let g be v(i). Let p be 14/g*(-12)/56. Do p and 2/27 have the same value?
False
Let m = 543.874 + -544. Which is smaller: 0.2 or m?
m
Let z = -293 + 278. Which is smaller: -0.24 or z?
z
Suppose -14 = m + 7. Let p be 8 + (1848/20)/(-11). Is m greater than p?
False
Suppose 0 = -9*v + 71 - 8. Let y(p) = -p**2 - 3*p - 4. Let w be y(-4). Let m = w + v. Which is smaller: -2 or m?
-2
Let q = 20.038 + -20. Let y = q + -0.268. Let n = -0.23 - y. Which is bigger: n or 2?
2
Let i = -293 - -4393/15. Let j = -1494 + 1489. Is j < i?
True
Let p be (-6)/4*1/8. Suppose 2*w - 2 = 2*d, 4*w = -2*d - 5 + 3. Is d < p?
True
Let q = -74 + -446. Which is greater: -518 or q?
-518
Let h = -0.15 + 0.25. Let x = 26315/7 - 3751. Let k = x + -624/77. Are k and h equal?
False
Let v = 4.3 + 26.7. Let u = -31.1 + v. Which is smaller: 3/64 or u?
u
Let l be (4/5)/((-7)/(-420)). Let n be l/27 - ((-14)/(-18) - 1). Is n at least as big as 4/5?
True
Let y(b) = -b**3 - 2*b**2 + 3*b + 5. Let v be y(-2). Let o be (v + 10/(-3))/(21/18). Which is bigger: -4 or o?
o
Let z be -6 + -5 - (-39285)/3570. Which is smaller: z or 2?
z
Let i(j) = 15*j - 14. Let f be i(1). Is f >= 2/1035?
True
Let d(n) = -n**3 - 6*n**2 - 3*n + 18. Let k be d(-5). Suppose -2*p = 2*w + k, 0*p = 4*p - 3*w - 19. Which is greater: p or 20/13?
20/13
Let v = -313143/41 + 7637. Is v at most as big as -2?
False
Let c = -0.06 + -65.94. Let n = c - -66. Which is smaller: -3 or n?
-3
Let d be (-1)/(1 - (-35)/(-30)). Let q = -6 + d. Which is greater: q or 4?
4
Suppose 1214 = -2*x - 2*v, -x - x + v = 1202. Which is smaller: -602 or x?
x
Let w = 28.041 + -0.041. Let v = w - 26. Is 4 not equal to v?
True
Suppose -u = 4*u - 15. Suppose 2*t = 5*p + 251, t - 163 = u*p + 6*t. Let v be 2/(-10) + p/(-30). Do v and 2 have the same value?
False
Let y be (-2)/(-11) - (-1044)/66. Suppose 117 = n - 10*n. Let c(b) = -b + 2. Let v be c(n). Is v at least y?
False
Let o = 12.6 - 51.6. Which is smaller: -4 or o?
o
Let y(k) = k - 8. Let m be y(6). Let w be m/9 - 86/(-144). Let v(p) = -p - 4. Let o be v(-4). Do w and o have the same value?
False
Let n = -1945 - -2036. Do n and 88 have different values?
True
Let w(p) = 2*p**2 + 17*p + 13. Let h be w(-4). Let f(t) = -5*t - 2. Let n be f(4). Which is bigger: n or h?
n
Let a(x) = -x**3 + 13*x**2 - 10*x + 11. Let k be a(12). Suppose -4*n = -n + h - 5, 5*h = 5*n - k. Let s = -2 + n. Which is smaller: s or 0?
0
Suppose -554 = 5*o - 2*w + 282, 2*o + w + 338 = 0. Which is greater: -167 or o?
-167
Let b = -1 + 1. Let i(g) = 2*g**2 - 10*g + 16. Let m be i(2). Suppose -s + m*s = b. Is -3/17 >= s?
False
Suppose 3*o + 4 = -c, o - 5*c = -0*o - 12. Let r(z) = z**2 - 4*z + 2. Let p be r(2). Let a = p - o. Is -1/11 greater than a?
False
Suppose b + 2*h - 4 = 0, -2*b + h - 17 = -15. Which is smaller: b or 3/793?
b
Let m = -50.4 + 50.1. Which is smaller: m or -44?
-44
Let p = 187.95 + -188. Is -10/7 bigger than p?
False
Let g = -470 - -396. Which is bigger: -3 or g?
-3
Let i = -393 + 2766/7. Suppose 41*r - 60 = 11*r. Which is greater: i or r?
i
Let u(t) = -10*t**3 - 5*t**2 - 7*t + 2. Let n be u(-2). Let i = n + -60. Do i and 12 have different values?
True
Let d = 1.48 - 0.51. Let c = 27 + -26. Let g = d - c. Which is smaller: g or -2/3?
-2/3
Let k 