= 28 + -35. Let c be 554/(-1988) - 2/m. Let j = -309/3550 + c. Is -1 less than or equal to j?
True
Let u = 53.882 - -0.118. Let x = 54.8 - u. Is -1/5 at least x?
False
Suppose 5*h + 31 = -4*o, 0*o + 23 = -h - 5*o. Let q(z) be the first derivative of -z**3/3 - 7*z**2/2 + 5*z - 9. Let u be q(-8). Is h less than or equal to u?
True
Let w(q) = -q + 1. Let c be w(-4). Suppose -5*h + 20 = -5*o, 2*h = -0*h + c*o + 23. Which is bigger: h or 2/33?
2/33
Suppose 0*m + 2 = -m, -18 = -4*z - m. Let x(v) = v**2 + 5*v - 1. Let p be x(-6). Suppose z = -p*i - 3*k, -3 = -3*i - i - k. Which is smaller: 4 or i?
i
Suppose 0 = -8*v - 164 + 156. Is 7/149 < v?
False
Let a be 15*(4 - 28/12). Suppose -t = 4*t - a. Suppose 0 = -3*i - 2*m - t, -4*i - 3 = 4*m - 5*m. Which is smaller: i or -6?
-6
Let d(a) = a**2 + 2*a + 3. Let m be d(-2). Let p be ((-45)/250)/(m/(-4)). Which is smaller: p or 0?
0
Suppose -2*h = -r + 1, -2*r = 4 + 2. Let v = h + 28. Which is smaller: v or 27?
v
Let p(s) = 120*s - 10. Let r be p(4). Let j be -6*5/r*1. Is -1 at most as big as j?
True
Let b = -23/36 - 55/9. Let t = b - -13/2. Which is greater: t or -0.8?
t
Suppose -196 = -19*a + 18*a - 2*h, a - 3*h - 211 = 0. Which is smaller: 198 or a?
198
Let m = 9 - 4. Suppose -4*n + 4*k + 1 = 3*k, -5*k = -5*n + m. Which is smaller: n or 2/13?
n
Suppose 3*u + 21 = -9. Let z be (12/u - 0) + 1. Which is smaller: z or 0?
z
Let u = -30 + 30.2. Let y = -218 + 210. Is y at least u?
False
Suppose -j + 3 = -2*j + 3*p, 5*p - 13 = -j. Suppose -4*l + 277 = -t + 68, j*t = -15. Is l at least 51?
True
Let w(p) = p**2 - 28*p + 59. Let h be w(24). Are h and 4 unequal?
True
Let m be (-3 - (-6 + 2)) + -1. Let c be 1*(-4 + 3 + 0). Let w = c - 0. Which is smaller: m or w?
w
Let d = -5.7 + 55.7. Let t = 56 - d. Are 0 and t equal?
False
Let p = 24 + 1. Let n be 1*(-3 + 4) + p. Let t = 26 - n. Which is smaller: -4/5 or t?
-4/5
Let d = -129 + 401/3. Which is greater: d or -0.4?
d
Let v = 132482/115 - 1152. Let z = 2136967746/1495 + -1429410. Let n = v - z. Which is bigger: -1 or n?
n
Let s(p) = -p**3 - 2*p**2 + 13*p + 1. Let y(f) = f - 1. Let i(v) = s(v) - 4*y(v). Let u be i(-4). Which is bigger: 4/45 or u?
u
Suppose -d + 3*n + 101 = 0, 0*n - 101 = -d - n. Are 104 and d non-equal?
True
Let j(f) = f**3 - 10*f**2 - 23*f - 11. Let m be j(12). Are m and -20 nonequal?
True
Let m = -339 - -346. Is 19 smaller than m?
False
Let w(h) = -13*h + 558. Let s be w(43). Suppose 0 = x + 2 + 1. Is s at least x?
True
Let m = -22 + 16. Let s(p) = -11*p - 12. Let x(o) = -5*o - 6. Let t(i) = m*s(i) + 13*x(i). Let a be t(5). Which is bigger: a or 3/7?
3/7
Let u = -7.14 + 7.59. Does u = 0.02?
False
Suppose 5*x + 112 = -2233. Which is bigger: x or -470?
x
Suppose 16 + 182 = -9*g. Is g at most as big as -23?
False
Let n be (-5 - -3) + (-22)/(-4). Let t = n + -2. Is 1 > t?
False
Suppose 3*p = -2*l - 2, -2*l + 0 = -5*p + 2. Let q be p/((1 + 1)/1). Let d be 12/9*(-4)/16. Is d bigger than q?
False
Let h = 167 - 166.83. Is h != -1.7?
True
Let l = -2 + 2. Suppose -4 = -3*p + 2*p. Suppose 0 = p*j - l + 16. Is j at most -4?
True
Let l = 23.7 + -11.1. Let z = 1.6 - l. Is z >= -1/2?
False
Let v = -6 + 7. Suppose -2*l + 3 + 3 = 0. Suppose -4 = -p - l. Do p and v have the same value?
True
Suppose 8 = 5*g + 2*x - 8, 5*x - 15 = 0. Let f be -57*(-2)/35 + g/(-5). Is 4 greater than or equal to f?
True
Let b(l) = 3*l + 98. Let u be b(-17). Let m be 99/2 - (2 + -1). Let a = u - m. Which is bigger: 0.1 or a?
0.1
Let d be (86/(-8))/(34/136). Is -42 >= d?
True
Let q be 9/(144/1288) + 8/(-2). Which is smaller: 77 or q?
q
Suppose 0 = 4*q + 3*z - 105, -2*q - 4*z = -15 - 25. Suppose -q*w = -27*w - 66. Let i be ((-3)/w)/(12/(-16)). Is 1/5 != i?
True
Let i = 1/439 + 1309/3512. Which is greater: i or 10?
10
Let g = -3.94 - 0.06. Let y = 0.14 + -0.04. Let p = y - 0.1. Which is smaller: g or p?
g
Let g(p) = -2*p + 24. Let a be g(0). Let r = 28 - a. Let b be (1/2)/(1/(-4)). Is r <= b?
False
Let t = 0.01 + 0.51. Is -2 >= t?
False
Let b = 371 + -372. Which is smaller: b or 5/53?
b
Let z = 45.6 + -3.6. Let i = -41.3 + z. Is -2 smaller than i?
True
Let x(z) = -4*z**2 - 4*z - 6. Let a be x(-6). Let m be a/268 - 7/(-14). Is 1 != m?
True
Let f = -12 + 11. Let p be f/(4 + -1)*-39. Let g = 3 - 1. Which is smaller: g or p?
g
Suppose 0 = -4*a + 5*h - 68, 5*h = a + 18 - 1. Which is smaller: a or -95/6?
a
Let w = -21925912/496265 - -2/45115. Which is smaller: w or -45?
-45
Let g = -68.983 - 0.017. Let o = g - -68.7. Which is smaller: o or -0.09?
o
Let o = 819 + -882. Which is bigger: -0.3 or o?
-0.3
Let f be ((-1)/2)/((-1)/(-4)). Which is greater: f or 1/50?
1/50
Suppose 4*g = 5*y - 312, -234 = 3*g - y - y. Is g smaller than -80?
False
Let w = -274 + 277. Is 5 < w?
False
Let r(p) = -p**2 - 11*p - 26. Let c be r(-7). Suppose 3*o = -c*o. Which is smaller: o or 1/38?
o
Let n be ((-28)/(-5))/(36/135). Is 64/3 greater than n?
True
Let i be -12 - (12 + -2)/(-5). Is -2/5 greater than i?
True
Let t be 46*1*(65/(-10) + 6). Is t <= -24?
False
Suppose k - 14 = -5*z, -5*z = -4*k - 2*z - 36. Let s be (-4)/k + 316/(-6). Let u be (13/s)/((-2)/8). Which is bigger: 1/10 or u?
u
Let y be (-114)/1007*2/20. Which is greater: y or -1?
y
Let t = 3.85 + -4.05. Which is smaller: 4.27 or t?
t
Suppose 0*t + 47 = 4*l - 5*t, 5*t - 115 = -5*l. Suppose 0 = -5*z + u + 81, z - 2*z + 21 = -5*u. Which is smaller: l or z?
z
Let m be 238 + ((-2)/18 - (-1540)/252). Is m greater than 734/3?
False
Let m be 2 + 13 - 7 - 10. Do m and -392 have different values?
True
Suppose -4 = -z - 2. Let m be z/2*((-12)/(-16))/3. Which is smaller: 1/112 or m?
1/112
Suppose -4*v = -3*v - 10. Let t be (3 + 190/(-70))*35. Is t less than or equal to v?
True
Let i be -3*(-6)/(5 + -11). Which is bigger: i or -37/10?
i
Let w = -1879/3 - -627. Let c = 3 + -13. Which is smaller: w or c?
c
Let l = -175 + 171. Is -37 != l?
True
Let z = -20 - -22. Suppose -3*x = -3*k - 47 - 34, 0 = 5*x + z*k - 114. Let c = x - 8. Which is greater: c or 15?
c
Suppose j - d = -5 - 12, -5*j - 2*d = 71. Suppose 5*y - 6 + 1 = 0, -14 = t + y. Let z = t - j. Is z smaller than 1?
True
Let b = -241.4 + 88.4. Which is bigger: -0.2 or b?
-0.2
Let j = -20 - -23. Suppose -5*r = m + m + j, 2 = -2*r. Which is smaller: m or -1/41?
-1/41
Let b = 395 - 21727/55. Let z(t) = t - 2. Let m be z(1). Is m greater than b?
False
Let q(r) = 2*r + 19. Let b be q(11). Which is bigger: 39 or b?
b
Suppose -2 = q - 91. Let b = 90 - q. Is -2/103 bigger than b?
False
Let n be (2/(-17) - 2) + 2. Let j(b) = b**3 - 9*b**2 - 4*b - 10. Let g be j(8). Let r = g + 107. Which is greater: r or n?
r
Suppose 0 = 3*n - 5*j - 13, 3*j = 3*n + j - 7. Suppose -z = -n + 12. Are z and -13 non-equal?
True
Suppose 0 = -13*y + 6*y + 462. Let j = 63 - y. Let d = -0.3 + 0.1. Is d bigger than j?
True
Suppose 4*q + 4*w + w - 5 = 0, 2 = q + 2*w. Let y = -20 + 61/3. Let s = q + y. Is 11 bigger than s?
True
Let y be 4/(-14) - (-444)/84. Suppose -c + 4*c - 7 = -y*z, 0 = -3*z + 4*c - 19. Which is smaller: z or -1/3?
z
Let n = -0.37 - 0.19. Let l = n - -0.66. Let u = 1.8 + -1.71. Is u at least l?
False
Suppose 5*j - 5 = 0, -j - 32 = 5*h - 3*j. Suppose 17 - 87 = 10*f. Is f at least h?
False
Let d = -23 + 372. Is 349 > d?
False
Let i(q) = -2*q**2 + 9*q + 30. Let z be i(12). Let x = z + 905/6. Is x less than 1?
True
Let f = 0.2 - 0.06. Let a = -13.76 - f. Let z = 13 + a. Is z at least as big as 2/7?
False
Let m = -43 + -10. Which is greater: -2 or m?
-2
Let c(i) be the second derivative of i**4/12 - 5*i**3/3 - 3*i**2/2 - 6*i. Let l be c(9). Let h = l + 8. Which is greater: -17/4 or h?
h
Let f = 0.57 - 0.77. Let g = 15 + -13.9. Let m = g - f. Which is smaller: m or -1?
-1
Let w(t) = t - 485. Let p be w(-55). Is p at most -540?
True
Let b = -36 - -17. Let t = b + 27. Suppose 4*a - t*s + 4*s + 4 = 0, -2 = 2*a + 2*s. Is a at least -1/20?
False
Suppose 5*a - 126 = -2*a. Let h be (6/4)/(a/(-96)). Is h greater than or equal to -12?
True
Let q be (-345)/42 - 6/(-28). Suppose -u - 3*u - 36 = 0. Which is greater: q or u?
q
Let r = -20 - -6. Let s = r - -14. Let c = -12/5 + 26/15. Do c and s have the same value?
False
Let g = 5.6 - -5.4. Let c = g - 11. Let d be 56/66 - (-2)/(-3). Which is smaller: d or c?
c
Let j = 134 + -129. Let f be (-4 + j)*(-1 - -2)