 Let i = -52 - n. Let f be (-1)/(4/(-14)) + -2. Is i greater than or equal to f?
True
Let l be -12 + 13 + (-147)/2. Suppose 5*a + 2*s + 2*s = 370, -a + 3*s = -74. Let v = a + l. Which is greater: -0.2 or v?
v
Let b be 1*6 + (0 - 1). Suppose 5*n + 14 = 3*p, b*p - 4*p - 6 = 3*n. Let h be (12/(-18))/(n/(-3)). Which is smaller: 4 or h?
h
Let s = -0.16 + -1.34. Let p = s - -1.44. Let n = -0.36 - p. Is -2 not equal to n?
True
Let o = 51803/2750 + -73/250. Which is bigger: 19 or o?
19
Let q = -0.011 - 0.065. Let r = -0.024 + q. Let m = 8 - 11. Is r greater than m?
True
Let v = -907 + 906.9. Is v less than 0.01?
True
Let b be (94/14 - 10/(-35)) + -13. Let g = 14 - 30. Let q be (-1)/(-4) - (-68)/g. Do q and b have different values?
True
Let x(s) be the third derivative of s**4/8 - s**3/3 + 4*s**2. Let i be x(-2). Let m = -7 + 0. Is m not equal to i?
True
Let z = 22532/325 + -920/13. Is 0 greater than or equal to z?
True
Let z = -48 + 242/5. Let c = -335324/25 + 13413. Which is smaller: c or z?
c
Let t = -63 + 71. Suppose t*m - 6 = 2. Which is smaller: m or 18/11?
m
Let c be (-18)/(-30) - 2774/(-10). Suppose -3*z - c + 860 = -2*u, 2*u = -6. Let x be z/(-104) - 4/26. Which is smaller: -6/7 or x?
x
Let j = -3.58 - -3.28. Which is smaller: j or -1?
-1
Let a(i) = -i**3 + 9*i**2 + 4*i - 21. Let h be a(9). Let v be (-30)/(-76)*(-1)/h*-3. Is 0 greater than v?
False
Let j = -2.8 - -3. Let x = -85 + 79.8. Let l = x - -6.2. Is j at most l?
True
Let o = -1.3 + 7.3. Let y = o + -6.8. Let s = 0.7 + y. Is -0.06 greater than or equal to s?
True
Let l(m) = -4*m - 1. Let g be l(-1). Suppose -g*o + 0*p - p + 19 = 0, p - 1 = 0. Is o at least 6?
True
Let q = 31/2 - 5235/338. Is q != 1?
True
Let l = 29/6540 - -7436/156415. Let m = -22/123 - -20/123. Let j = m + l. Which is bigger: 0 or j?
j
Suppose -d - 405 = -5*y, 0 = 3*y - 7 + 4. Which is bigger: -399 or d?
-399
Let s be (0 - -1)/(7/70). Let m = -9 + s. Which is smaller: 1/2 or m?
1/2
Let r(a) = -7*a - 174. Let t be r(-25). Is t greater than or equal to 20/93?
True
Let s(u) = -u**2 + 9*u. Let y be s(0). Suppose c - 2*f + 2 = -f, 2*c + 3*f - 21 = y. Does c = 7/3?
False
Let l(f) = -2*f + 3. Let a(g) = -g + 1. Let r(j) = -10*a(j) + 6*l(j). Let h be r(11). Let c = h + 7. Is -8 at most as big as c?
True
Let v = 6 + 30. Suppose -18*l = -22*l + v. Let m(j) = j**2 - 2*j + 2. Let k be m(4). Are k and l non-equal?
True
Let y = 17 + -27. Suppose 7*s - 2*s + 2*g = -65, s + 5*g = -36. Let d = s - y. Which is smaller: 1/8 or d?
d
Let r be 1/(1515/(-636)) + 22/55. Is 1 less than or equal to r?
False
Let l = 1511 - 1497. Is l not equal to -89/3?
True
Let v be 22/11 + -1 + 90. Suppose 0 = -v*k + 96*k - 35. Is 25/4 less than k?
True
Let c = 2329/48 + -1/48. Let g = c + -1453/30. Let a(z) = z**3 + 2*z**2 + z + 1. Let i be a(-2). Is i less than g?
True
Suppose p + 18 = -2*b - 23, 5*p + b + 169 = 0. Is 10 at least as big as p?
True
Suppose 480 = -2*o - 3*o + 2*x, -4*o - x - 384 = 0. Let q = 99 + o. Which is smaller: q or -1/9?
-1/9
Suppose z + a - 36 = 2*z, 0 = -z - 2*a - 54. Let c be (0/2)/1 - 43. Is z <= c?
False
Let s = -22 + 54. Let r = s - 34. Is r <= -4/5?
True
Let f(m) = m**3 + 14*m**2 - 19*m + 34. Let s be f(-16). Is -174 <= s?
True
Suppose 206 = -5*v + 4*a, -2*a = -3*v - 6*a - 98. Which is smaller: v or -352/9?
-352/9
Let t = 13.55 - 13.29. Which is smaller: 3 or t?
t
Let u = -0.211 - 16.789. Let b = -16.67 - 0.33. Let c = u - b. Is c greater than or equal to 1/4?
False
Let x(f) = -12*f**2 - 60*f + 1. Let j be x(-5). Which is greater: -1/798 or j?
j
Suppose -14*h = -23 + 65. Is h smaller than 32?
True
Let k be ((-951)/(-12))/((-172)/32 + 5). Is k >= -211?
False
Let l = -185 + 184.7. Is -0.34 < l?
True
Let x be 237002*2/(-284 + 0). Let i = x - -1669. Suppose 2*f = -2*p - 2, -3*p + p + 4*f - 2 = 0. Is p < i?
True
Let z(t) = t**3 + 7*t**2 + 7*t + 23. Let b be z(-6). Suppose 0 = b*o - 3*o + 42. Is -1 greater than o?
True
Let k(y) = -22*y**2 + 111*y - 2. Let b be k(5). Let s = 59 - 59.27. Is s >= b?
False
Let x be ((-1)/4)/((-65)/(-20) - 3). Which is greater: x or -3/100?
-3/100
Suppose -2*h + 0*h = 0. Let q be 1 + -2 + 2 + h. Let b = 677/1096 - -1/137. Is b greater than q?
False
Let a = 12 + -6. Suppose -43*p - 2*z - 22 = -47*p, -4*p + 21 = -3*z. Are a and p unequal?
False
Let s be (1/(-2)*0)/(-3). Let z = 1 - s. Suppose 0 = -x - 5, 4*r + 5*x - 5 = -26. Are z and r non-equal?
False
Suppose 6*j + 9 = 45. Suppose 72 = j*d - 2*d. Which is smaller: d or 58/3?
d
Let m be (-552)/92 + (4 - 20). Let l(w) = -3*w**2 + w + 3. Let c be l(3). Which is greater: c or m?
c
Let m be 10*(4 - 3) + -26. Let x(t) = 2*t - 1. Let n be x(-6). Which is greater: n or m?
n
Let h be (-8)/(-20) - (-52)/(-5). Let r = h + 29/3. Which is smaller: r or 0.06?
r
Let j = -7 + 7.5. Let c = -0.5 + j. Let v be (-26)/(-13)*(-1)/(-6). Which is smaller: c or v?
c
Let w be (-15340)/(-5109) - (0 - -3). Which is smaller: w or -0.1?
-0.1
Let h = -83797 + 4273814/51. Let c = -1/17 - h. Is -2 > c?
True
Let h(r) = -r**3 - 8*r**2 + 2*r + 14. Let l be h(-8). Let q be l - 21/(-9)*1. Is q > 2/3?
False
Let s = -45 + 30. Let m = s - -15. Let h = 50/3 + -16. Are h and m nonequal?
True
Let d be (-6)/21*(-8)/(-52). Let a = d - 1966/819. Is -1 less than a?
False
Let v = 11.99 - 12. Let k be -5 + 205/20 + (-1)/4. Is v less than or equal to k?
True
Suppose -r = -2 + 3. Let v be (-5 - r)*(-9)/(-4). Let k be v/(-5) - (-7)/35. Which is smaller: -7 or k?
-7
Let d = -4 - 3. Let f = -127 - -56. Let n = f + 65. Is n at least d?
True
Let k = -156 + 1090/7. Suppose 2*n + 24 = -4*b, -4*b + 4*n - 4 = b. Let g(m) = m**2 + 4*m + 1. Let x be g(b). Which is bigger: k or x?
x
Let b be 59 - 53 - 34/5. Is 1/25 > b?
True
Let o = 438 - 421. Which is bigger: o or 11?
o
Let x(z) = z**3 - 2*z + 5. Let k be x(0). Suppose d + 18 = -k*d. Let v be d*3/((-9)/(-8)). Is v <= -7?
True
Let r be (12 + (-400)/32)*2/(-8). Let f = -3 + 4. Is f equal to r?
False
Let j be 7 - (-4)/((-4)/1). Suppose -j*v = -4*v - 8. Suppose 5*b = 15, 7*l - 4*l - b = 15. Which is greater: l or v?
l
Let w = -424 - -414. Let y be 89/(-8) - (-1)/8. Is w at least as big as y?
True
Let n = 0.81 + -0.9. Let o = n - -15.09. Let r = o - 14.6. Which is bigger: -1 or r?
r
Suppose 0 = -2*z - 4*x - 2, -4*x = 2*z - 3*z - 1. Let h be 600/1035 + -2 + 16/12. Is z bigger than h?
False
Let m = 0.0449 - -2.0251. Let z = 0.27 - 0.2. Let k = m - z. Which is greater: 3 or k?
3
Let g be (1/(-5))/(((-55)/25)/11). Is g >= -1/9?
True
Suppose 0 = y - 6*y + 4*i - 8, 4 = -5*y + 2*i. Let s = 121571/78 + -3117/2. Which is smaller: s or y?
y
Let a be -3 - (-1 - (-40)/(-4)). Suppose -2*b = g - 0*g - 11, -2*b = -3*g + 9. Is g equal to a?
False
Let d = -54 + 53. Does d = 21/65?
False
Let q = 43.4 + 11.6. Is -0.04 at least as big as q?
False
Let m = -0.7 + -2.3. Let b = -0.13 + -0.17. Let z = b + 0.3. Is z > m?
True
Suppose -190 = -8*c + 13*c. Let g = c - -53. Does 14 = g?
False
Let u = -38213794 - -526280371369/13772. Let v = 2/313 - u. Is 0 bigger than v?
True
Let u = -1 + -3. Let r be (-1)/u + 390/200. Suppose -h = -4*t + 15, -3*h = 5*t - 4 - 19. Which is smaller: h or r?
h
Let c = -137 - -137. Suppose 4*r - 5*q + 5 + 8 = 0, 3*r + 4*q - 29 = c. Which is smaller: -14 or r?
-14
Let b = -19/14 + 3/28. Let m = -1.6 - -1.6. Are m and b equal?
False
Let g = 875 + -884. Let z = 0.31 - 0.01. Is g smaller than z?
True
Suppose 3*z + 15 = 8*z, -8 = -5*r + 4*z. Suppose -b + r*c - 9 = 0, -3 - 1 = -4*c. Let t = 1 + b. Is t >= -6?
True
Suppose 22*x - 48 = 18*x. Suppose -11*k - 10 = x. Let j be (1 + 26/4)/(-3). Which is greater: j or k?
k
Let b = 47.9 - 48. Is -243 < b?
True
Let l(r) = -3*r + 11. Let p be l(3). Suppose -5 = -3*a + p*v, 0 = -5*a - v + 38 - 8. Is a at most as big as 31/5?
True
Let g be (-7)/(-7 + 14) - 1/(-1). Suppose -2*c + y - 12 = 0, 2*c + 7*y + 12 = 2*y. Which is smaller: c or g?
c
Let c(g) = -g + 4. Let p be c(4). Suppose p = -2*n, n - 2*n = t. Do -3 and t have the same value?
False
Let d be ((2 - 1) + -1)/(46 + -44). Is -1/278 less than or equal to d?
True
Let z = -42473/13 + 3269. Which is bigger: z or 1?
z
Let d = -236.9 - -198. Let n = 38 + d. Are n and 0.1 equal?
False
Let g = 47 + -375/8. Let o = 0 - -2. Is o > g?
True
Let t = 159 - 108. Is -5 >= t?
False
Let i be (-5)/(