 Let s = c + -272. Is f equal to s?
False
Let x be (-1)/(2*(-4)/32). Suppose -2*p + x + 6 = 0. Let z = -48 - -55. Which is smaller: p or z?
p
Let v = 99 + -88. Suppose -4*r = -5*a + 13, -2*r - r - v = -4*a. Let i(p) = -17*p + 19. Let f be i(a). Is f at least -65?
False
Suppose -28*a + 20 = -32*a, -3*p - 1226 = -5*a. Is p >= -414?
False
Let l(f) = 2*f**2 + 199*f + 758. Let n be l(-93). Which is smaller: n or 0.04?
n
Let y be (-1 + 7/(-14))*(-8)/102. Which is smaller: 165 or y?
y
Suppose -51*c + 31*c = -21*c. Let q be (12/45)/((-489)/153 + 3). Do c and q have different values?
True
Suppose -597 - 103 = -5*k. Let l be (-6)/(-14) - (-5260)/k. Let x = -97 + 134. Are x and l non-equal?
True
Let s = 57039 + -2110710/37. Is -6 equal to s?
False
Suppose 3*p + 4*a - 52 = 0, 3*a + a = -p + 20. Let c be 5/(-2)*(-6 - 0). Suppose p*r + 3 = c*r. Which is greater: -5 or r?
r
Let f(c) = c**2 - c - 23. Let g be f(0). Let k(x) = -x**3 - x**2 + 11*x + 8. Let m be k(-4). Suppose -w - 4 = 2*t, 10*w = m*w - t - 2. Which is smaller: w or g?
g
Let u(z) = -z + 8. Let w be u(6). Suppose -5*j = -w*j. Let m = -1949 - -13646/7. Is m at least as big as j?
True
Let l(m) = m**2 + 3*m + 2. Let c be l(-3). Suppose 677*p + 312 + 365 = 0. Which is greater: p or c?
c
Let g be 16/(-4) - 0/(-4). Let z be ((-6)/(-2) - 3)*(-2)/g. Let h = 239/2345 + -2/35. Are z and h unequal?
True
Suppose -10 = -n + 3*h, 19*n - 23*n + 3*h + 13 = 0. Which is greater: 10/821 or n?
n
Suppose -27*v = -23*v + 832. Let r be 4/1 + 352/v. Let d be 4 + (-5)/(10/4). Which is greater: r or d?
r
Let f = -5853 + 5731. Let p = 22.3 + -146.3. Let g = p - f. Is -2/3 greater than g?
True
Let x = -5934 + 5936. Is 15 at most as big as x?
False
Let x be (-1 - (-4 + 2)) + -10. Let i(o) = -2*o - 17. Let s be i(x). Let r = -657.4 + 657. Is s not equal to r?
True
Suppose -7 = 151*c - 150*c, 4*k - 2*c = 10. Is k >= -18/1943?
False
Let z(q) = 14*q**2 - 95*q + 646. Let v be z(7). Is v greater than 667?
False
Let x(f) = -14*f**2 - f. Let l be x(1). Let b(w) = w + 14. Let g be b(l). Let s be 12/(-16) + (-2)/(-4). Is g bigger than s?
False
Let k = -277.23 + 277.2787. Which is smaller: -3 or k?
-3
Let t = 0.39 + -0.49. Let r = -218.392 + 0.392. Let v = r - -207.9. Is t > v?
True
Let r be ((-9495)/6312)/((-27)/36) + -2. Is r at least -1?
True
Suppose 0 = -13*n - 52 + 13. Let c be (n - 0)/(-3) + -2 - -3. Let p be (-1)/c*1*(-14)/49. Is p > 2/3?
False
Let f = -29/84 - -2/21. Let c be (2*3/(-6))/(223 + -225) - (-694)/(-1372). Is f greater than c?
False
Let m = 3.98 - 4.1. Let t = -619 + 625. Is m bigger than t?
False
Suppose -8*p = -10*p + 20. Suppose p*o = -o + 55. Let b(s) = s**3 - 6*s**2 + 7*s - 11. Let j be b(o). Which is greater: j or 4/21?
4/21
Let k be 80385791/(-8941334)*2/(111896/338557). Let q = 12/20481893 + k. Let n = q - -435/8. Is -2/5 not equal to n?
True
Let s be (-40)/(-120) + 40/6 + -3. Is -23/2 > s?
False
Let x = -216/455 + 3/65. Let k be (2 - (-17)/(-9)) + 219/(-513). Which is smaller: x or k?
x
Let d = 53 + -37. Let h be d/(-3) - 3 - -9. Which is smaller: -459 or h?
-459
Let o be ((-4)/10)/(141/(-3196)). Which is smaller: 8 or o?
8
Let h = 3.88 - -0.24. Let z = 0.72 - h. Let x = z + 3.3. Is x > -5?
True
Let j be (252/162 + (-74)/36)*(1 + -1631). Is j not equal to 4072/5?
True
Let x = 2/37871 - 398592279/75742. Which is smaller: x or -5264?
-5264
Suppose 3*a - 5*a - 130 = -4*l, 5*l - 185 = -2*a. Suppose 9*q + l = -316. Which is greater: q or -41?
q
Let q = -73166806483/76571 + 955542. Let m = q - 21453801/76571. Let h = -280 - m. Is 1 less than or equal to h?
False
Suppose x + 4*x = -4*d + 10, 2*x = -d + 4. Let h be (-14)/(-28) + (-130)/(-68) - 2. Are h and d equal?
False
Let k(y) be the first derivative of -y**4/4 - 4*y**3/3 + y**2/2 + 8*y - 15. Let w be k(-4). Suppose w*n - 17 + 61 = 0. Is n greater than or equal to -9?
False
Suppose -n + 0*n - 80 = 2*a, 29 = -a + 5*n. Which is bigger: -36 or a?
-36
Let p be (144/(-10))/((-20082)/75). Let y = 475177/682788 - p. Let u = y + -7/12. Is 0 smaller than u?
True
Suppose -5*h + 18 = q, 517*q + 2*h - 24 = 518*q. Let o be 1/2 - (-1)/2. Suppose -13 + o = i. Is q <= i?
True
Suppose 3*k = 9, -2*a - a - k + 279 = 0. Let u = a - 462/5. Let m = 30.206 - 1.206. Is m <= u?
False
Let n be (-78)/2145 - 3240/(-83050). Let f be (0/3 + 0)/(-1). Do f and n have the same value?
False
Let y be (3/4)/(4807/(-198352)). Which is greater: y or -30?
-30
Suppose -3*t + 9*d - 4*d = -17, 3*d = 3*t - 15. Suppose t*n = 3*p - 58, 4*p + 5*n = -0*n + 67. Suppose -p + 95 = -7*q. Is -12 equal to q?
False
Let y = 118 + -145. Let m be 3/(y/321)*88/(-544). Let a = m + -1/51. Is a not equal to 6?
True
Let u(x) = -6*x - 34. Let r(a) = -24*a - 136. Let z(n) = 2*r(n) - 9*u(n). Let t be z(11). Let s = t + -88. Is 0 >= s?
False
Let q be ((-1)/2)/(1491/298 + -5). Let s = q - -156. Is s bigger than 3?
True
Suppose 6*a = 3*n + a - 1, 5*n + 5*a + 25 = 0. Let o(w) be the third derivative of w**5/60 + 5*w**4/8 + 20*w**3/3 + 32*w**2. Let u be o(-11). Is n > u?
True
Let v = 1667 - 96679/58. Let k = v + 95/174. Let l = 79.67 + -80. Are l and k nonequal?
True
Let t = -67 - -67. Let x = -1078 - -1092. Which is bigger: x or t?
x
Let g be -5*2*165/50 + 0. Let w be 105/g + 3 + (-4)/(-22). Is -1/18 > w?
False
Suppose 90*h = 104*h + 206*h. Is 3/2614 < h?
False
Let o = 58 - 20. Suppose 3*d + 4*x - 1 = 0, 11 - 27 = -4*d + 2*x. Suppose -2*a - 3*m = o, 57 = -3*a + m - d*m. Is a at least as big as -19?
True
Let l = -27 - -41. Suppose l*s - 17*s = -228. Suppose 4*z = -b + 6*z - s, 5*b + 380 = 2*z. Is -77 greater than or equal to b?
False
Let g = -0.37 + -0.31. Let u = -1.32 + g. Is u greater than or equal to 1.5?
False
Suppose 30 = 2*h + 3*x, -2*h - h + 40 = 2*x. Suppose 31*d = h*d. Is d < 3/442?
True
Let j be ((-6)/(48/2))/(-3 - -2). Is j greater than or equal to -11/16?
True
Let v(c) = -c**3 - 9*c**2 - 15*c - 132. Let i be v(-9). Which is bigger: i or 8.68?
8.68
Let x = 7515 + -7270. Is x >= 250?
False
Let k be ((-2)/6)/(8 - (-35595)/(-4455)). Let h(w) = -5*w**2 - 4*w - 2. Let f be h(-3). Is f at least k?
False
Let h be 62/(-10) + (-4)/(-20). Let b be -1*(-5 + (-32)/h). Which is smaller: 0.031 or b?
b
Suppose -11 = -10*z + 49. Let m be z - (2205/5)/(-7). Which is smaller: 65 or m?
65
Let y(b) = b. Let z be y(-6). Suppose -18 - 123 = -47*q. Is q >= z?
True
Suppose 0*f + 255 = -5*f. Suppose -664*y + 736*y + 3744 = 0. Is y greater than or equal to f?
False
Let n = -689 + 729. Suppose -5*r + n = -2*f, -5*f - 25 = -0*f. Which is bigger: r or 43/6?
43/6
Let s be (-9)/(-6)*1108/57. Let n = 29 - s. Let r(y) = -y**3 + 5*y**2 - y + 6. Let k be r(5). Which is greater: k or n?
k
Suppose 3*x = -68 + 8. Let z be (2*(-24)/x)/(4/(-70)). Let t be (2 - 6)*7/z. Which is greater: t or 0?
t
Let c = 299.8 - 321.1. Which is greater: c or 2/13?
2/13
Let n = 241.6 + -224.33. Let r = n + -2.27. Is 4 < r?
True
Let w = 165.4 - 341. Let x = -176 - w. Which is smaller: x or 43?
x
Suppose -i = -5*g - 8 + 36, 4*g - 35 = 5*i. Suppose -a - z = 12, 0 = -a + 3*z - g*z - 16. Let d be ((308/(-50))/(-7))/(a/(-10)). Which is bigger: d or 0?
d
Let i = -148.901 + 149. Let h = 2043.009 + -2043. Let u = i - h. Are -0.2 and u equal?
False
Let c = 197 + -203. Let l be (13 - 22)*1*(-2)/c. Is l >= -1?
False
Let q = 2 + -1. Let d = -159 + 294. Let p = 136 - d. Is p less than or equal to q?
True
Let d(c) be the second derivative of c**3/3 + 11*c**2/2 + 3*c. Let j be 4/(-22) - ((-2385)/55)/(-9). Let g be d(j). Does g = 9/8?
False
Let z be ((-152)/28)/(11373/(-12488)). Is 6 > z?
True
Suppose -5*p = 2*u, 0*u + u - 4*p + 13 = 0. Suppose 3 = -9*n + 21. Let d(o) = -o**2 - 15*o + 34. Let x be d(n). Which is smaller: u or x?
u
Let z = 0.05 + 0.95. Suppose 5*m = 9*m - 684. Let s = m - 150. Which is greater: s or z?
s
Suppose -5*r + 20 = 4*x - 71, 34 = x + 5*r. Let s = 22 - x. Suppose -s*b = -15 + 105. Is b < -30?
False
Let l(u) = 19*u**2 + 13*u - 5. Let i be l(5). Let s = 534 - i. Which is bigger: s or -1/14?
-1/14
Let g = 3925 - 3922. Let p be 10 - 4 - 0/2. Let w = 8 - p. Is g at least as big as w?
True
Let m = 1857/8 - 5587/24. Is -13990 >= m?
False
Let j be (5/8 - 1) + 1065/(-40). Let m(p) = -17*p**3 - 2*p**2 - 8*p + 8. Let o be m(1). Do j and o have the same value?
False
Let c be ((