 >= c?
True
Let t be (-12)/261*(-6 + 2814/468). Is 0 > t?
True
Suppose d - 9 = -2*s - 11, -2*s + 6 = 2*d. Suppose -d*t = -4*t. Let g be (1/(-18))/((-32)/(-24)). Which is smaller: g or t?
g
Suppose 4473*k + 31 = 4474*k. Let b = 74 + -45. Is k at least as big as b?
True
Let d = 668 - 567. Which is bigger: d or 405/4?
405/4
Let g be -4*(-4946)/12 - 12 - (-4)/(-6). Is 1634 at most g?
True
Let h be 15/(-4 - (-1 - 4)). Suppose -16*w + 24 = -h*w. Let n be ((-3)/(-12))/((-27)/w + 0). Is n smaller than -0.11?
True
Let f be (433/134230)/((-10)/(-24)). Is 0 smaller than f?
True
Let m be (-6)/(-2) - ((-355)/343 - -4). Is m less than 1?
True
Let z = 24 - 8. Let k(v) = v**3 + v**2. Let g(m) = -8*m**3 - 10*m**2 - m - 4. Let t(f) = g(f) + 6*k(f). Let u be t(-3). Which is bigger: u or z?
u
Let f = -88 + 117. Suppose s - f = -i - 0*s, 0 = -s - 4. Which is greater: i or 97/3?
i
Let n be -7 - (-2 + -41) - 1*5. Suppose -n*w = 2*w + 33. Do w and -1/92 have the same value?
False
Let v = -1544 + -7753. Is v equal to -9298?
False
Suppose 18*h = 93*h + 79575. Is -1061 > h?
False
Let u be 462/396 + (-9794)/8400. Which is greater: 6 or u?
6
Let z be (-57)/(-1)*1090/(-10137). Are z and -5 unequal?
True
Let u be (-8)/(64/(-88188)) + (15/(-10) - -2). Does 11025 = u?
False
Let h be (-66)/9*3/(-5). Let j be -9 + -7 + (34 - 14). Is h smaller than j?
False
Let d(u) = 1 + 4 + 6*u - 7*u. Let l be d(2). Suppose f = -l*x + x - 16, 4*x + 44 = -5*f. Which is bigger: x or -1/4?
-1/4
Let z = -540648 - -540505. Let o be (-2)/5 + 708/(-5). Do o and z have the same value?
False
Let c be ((-249)/99)/(-14 + (-301)/(-21)). Is c smaller than -7?
True
Let n be (-136)/378 + (-2)/(-7). Let x(g) = -35 - 11*g - 7*g + 3*g + 2*g + 192. Let j be x(12). Which is smaller: j or n?
n
Let n = 767 + -764.7. Are n and 13 equal?
False
Suppose 3*s = 4*x + 129 - 14, 0 = s + 3*x - 34. Let l = 45 - s. Which is smaller: 17 or l?
l
Let u = 5263 + -5268.28. Is 1 < u?
False
Suppose 53*i + 51 + 24 = -137. Is -574 greater than i?
False
Let m = 513 + -8. Suppose -2*p + 5*s + 121 = 0, 5*s - 210 = 5*p - m. Is 178/3 smaller than p?
False
Let x be 3 + -4*84/(-1). Let i = x - 219. Is 118 at most as big as i?
True
Let h = 33 - 34.5. Let g be (-34)/(-8) + (8 - 5) + -8. Which is smaller: g or h?
h
Suppose 23*u + 214 - 766 = 0. Let i(x) = -x**2 + 4*x - 3. Let n be i(1). Suppose 85 = 4*m + y, n = 3*m - 5*y - 65 - 16. Is u greater than or equal to m?
True
Let v = 39665/56924 + -39/749. Which is smaller: v or 1?
v
Suppose 4*v = -c + 423, -4*v + c + 449 = 32. Suppose 114*b = v*b - 45. Suppose 3*w = 2*w + 7. Which is smaller: w or b?
b
Let g = 0.6 + -0.68. Let q = 608539/65 - 9360. Let w = q - 20/13. Which is smaller: g or w?
g
Let x = -6583.1619 - -6584. Is 1 >= x?
True
Let a(h) = 76*h - 683. Let o be a(9). Is 15/473 > o?
False
Let z be ((-5)/(-20))/((-6)/8). Let v(i) = -i. Let q(m) = -8*m - 12. Let l(x) = q(x) + 2*v(x). Let y be l(-5). Which is smaller: y or z?
z
Suppose 2*u - 230 = 11*j - 6*j, -3*u + 295 = 5*j. Suppose 97*c - u*c = -8. Is 1/83 at least as big as c?
False
Let j(d) = -5*d + 46*d**2 - 47*d**2 + 1 - 5*d - 2*d. Let l be j(-12). Which is bigger: 3 or l?
3
Let h = -48/199 + 134956/1791. Let r = h - 45319/603. Is r smaller than -1?
False
Suppose -16*z = 2*p - 19*z + 78, 0 = 5*p - z + 182. Suppose 3*g + 201 = -5*i + 2*g, 5*i + 202 = -2*g. Let u = p - i. Is u < -0.1?
False
Let g be (5733/(-735))/((-2)/(-110)). Do -428 and g have the same value?
False
Let c = -2.03667 - -0.03667. Which is smaller: 18.5 or c?
c
Let d(x) = -x - 2. Let m be d(-8). Suppose m*b + 45 = b. Let y be (-12)/b*6/4. Is y at least 14/23?
True
Let z = 6/13 + -4/65. Let y = 289.8325 + 0.2675. Let u = y + -290. Which is bigger: z or u?
z
Suppose 0 = 3*z - 54 + 42. Suppose -f - 21 = -z*q - 5, -4*f = 2*q - 26. Suppose -2*h - 37 = f*t - 3, -2*t = 2*h + 30. Which is greater: h or -14?
h
Suppose n + 44 = -w, -3*n - w - w - 134 = 0. Let j = n + 60. Let r be (0 + j/60)/(40/(-100)). Is -2 > r?
False
Let o = 1.9 + -2. Let x = -326.72 + 330. Let k = -1.28 + x. Do k and o have the same value?
False
Let q be (-24)/(-44)*2/18. Let c = 158 + -288. Let n = -130 - c. Is n equal to q?
False
Let o(i) = i**3 - 5*i**2 - i + 6. Let p(n) = n**3 + 13*n**2 + 12*n - 7. Let a be p(-12). Let b be o(a). Let f be (-46)/b*(-5)/43. Are f and -1 nonequal?
True
Let n = -6681 + 4767. Which is bigger: n or -1916?
n
Let a(k) = -3*k**3 + 45*k**2 - 30*k - 169. Let s be a(14). Which is greater: s or 12/3493?
12/3493
Let w = 14800 + -14809. Which is bigger: w or -22?
w
Let d = 0.3 - 0. Let q = 14.9 + 21.1. Which is smaller: q or d?
d
Suppose -2*q + 0*q + 2 = 0. Let d be ((-25)/30)/(8680/(-252) - -34). Which is smaller: q or d?
q
Suppose 4*h - 2*h - 10 = 0. Let b be (8/(-460))/(4/h). Let d(x) = 4*x**2 + 183*x - 46. Let a be d(-46). Does b = a?
False
Suppose -215 = -6*b + 73. Let l be (104/10)/(2/10). Let r be l*1 + -15 + 11. Is b < r?
False
Let j be (-30 - -28)*((-2037)/6)/1. Which is smaller: j or 672?
672
Let t = -0.18969 - 259.81031. Which is greater: -9 or t?
-9
Suppose -3*p - 5*o - 23 - 5 = 0, 3*p = 5*o + 22. Which is bigger: p or -0.3045?
-0.3045
Suppose -3*q + 0*q + 5*q = 0. Suppose 5*s - 53 = -q*u + u, 0 = -3*s + u + 33. Suppose -s*y + 110 = 440. Is y bigger than -32?
False
Let u be 24254*(3 - 2)/2. Which is greater: 12129 or u?
12129
Suppose 0 = 122*p - 240*p + 117*p - 24. Let l = -6 + -17. Do l and p have the same value?
False
Let s = 7.6 + -15.7. Let n = s + -0.1. Let q = n + 8. Is q smaller than -0.08?
True
Let l = 9230 - 8610. Is l > 0.1?
True
Let z = -94 + -12. Let p be (-4)/22*(-53)/z. Which is smaller: p or 8?
p
Suppose 13*y - 12*y = 4. Suppose -y = -44*z + 40*z. Let j(x) = -18*x**2 - 1. Let g be j(z). Do g and -21 have different values?
True
Let r = 186 - 56. Suppose 54 = 3*z + 3*n, 2*n = -5*z + r - 37. Which is smaller: z or 17?
17
Let x = -1354 + 9476/7. Is x < 231/5?
True
Let o(m) = -2*m**3 - 18*m**2 - 308*m - 3459. Let j be o(-12). Is j >= 1112?
False
Let u be ((-14)/(-8))/((-7)/(-28)). Suppose u*v = 11*v + 92. Let y be (0 - 2) + (-120)/6. Is v < y?
True
Suppose 0 = -49*c - 11*c + 4124 + 7096. Is c >= 196?
False
Let c = -147.19 - -146.19. Which is bigger: -1770 or c?
c
Let b be (-4)/(-3) + (-4)/12. Let k = 391 + -394. Let p be 1/(10/4 + k). Which is smaller: p or b?
p
Suppose -g = -3*v + 2*g + 1260, g = -4. Suppose 3*u + 3*r = -u - v, 5*r + 208 = -2*u. Let p = u + 92. Which is smaller: -10 or p?
p
Let m = -14085 + 14082. Let t be ((-36)/10)/((-8)/(-6)). Does t = m?
False
Let d = -7350 + 29399/4. Is d > 197.11?
False
Suppose 5*o + 5 = -t, -57 = -3*t + o + 8. Let u = 123 - t. Let y = u - 83. Which is bigger: y or 0?
y
Let g = -547659/13 + 42129. Let a = 23 + -8. Suppose 0 = -j + 3*i + a, -3*i - 8 - 7 = 0. Which is bigger: j or g?
g
Let a be 30/(-75)*5/(-65). Which is greater: a or -79?
a
Let a = -234 + 230. Let m be a*4*-1*(-5)/(-20). Suppose -4*o = -7*o + 3. Is o at most as big as m?
True
Let m = -18388/17 - -1082. Let l be 29 + -32 - (0 - 5*1). Suppose -l*k + k + 3*k = 0. Is k at most as big as m?
True
Let p = 0.0791 - 0.0791. Let v = 87 + -88. Is v != p?
True
Let q = -4917 + 4911. Which is smaller: -511 or q?
-511
Let k = -1.04 - -0.04. Let m = 165.6 - -0.4. Let d = -196 + m. Is d less than or equal to k?
True
Let a be (-44)/6*(-60)/20. Let u(d) = 20 + 27*d + a*d**2 - 18*d**2 - 7*d**2. Let z be u(11). Which is smaller: -47 or z?
-47
Suppose -4*w + 5*b + 172575 = 0, 172563 = -0*w + 4*w - b. Let v = w + -2416325/56. Let l = 99/8 + v. Does l = 3?
False
Let n = -21765 + 21787. Is n >= 158/7?
False
Let p(u) be the second derivative of -u**4/12 + 11*u**3/6 + 13*u**2/2 + 2*u - 1. Let a be p(12). Is a <= 2/223?
False
Suppose -p = 3*p - 108. Let j be 9943/4564 - (-20)/(-14). Which is bigger: p or j?
p
Let k be -4 + 2 - (-10 + (-7)/(-1)). Are k and 3/37 equal?
False
Let m = -24839.9 - -24841. Which is smaller: m or 1314?
m
Let r(f) = 50*f**2 - 102*f - 1615. Let w be r(-16). Is 12816 less than w?
True
Let h = 32107 + -32107. Is 8/13 greater than or equal to h?
True
Let x(l) = l**2 - 429*l + 849. Let k be x(2). Let j be -4 - ((-1 - 0) + 2). Are k and j nonequal?
False
Let r = -31/2 + 97/6. Let c = -19034/1017 + 106/113. Let p = -818/45 - c. Are r and p unequal?
True
Let t = -20102 