 p and -7175 non-equal?
False
Let n = -16 - -23. Suppose 0 = -17*q + 119 + 102. Let w be 3/(-9)*(q + -12). Which is smaller: w or n?
w
Let u(r) = -476*r - 31. Let y(j) = 158*j + 10. Let k(l) = 2*u(l) + 7*y(l). Let a be k(2). Suppose -26*c + a = -30*c. Which is greater: c or -1?
-1
Let k = -35.26 - 23.74. Let s = -57.53 + -0.47. Let r = s - k. Is -1/45 != r?
True
Let m(u) = -2*u**3 - 25*u**2 - 15*u + 3. Let b be m(-4). Which is greater: b or -220?
b
Let x = -324825119/71247 - 1442/6477. Let d = -4555 - x. Is d smaller than 3?
False
Let n = 1182.84 - 1182.5. Is n at least 154?
False
Let g(p) = p + 19. Suppose -36 = 16*w - 12*w. Let y be g(w). Suppose -6 = -0*v + v - 3*i, -5*i + y = -4*v. Which is smaller: 1 or v?
v
Let w = -5/17874 - -8106857/17874. Let s = 461050/1017 - w. Which is bigger: s or -1?
s
Let s = 250 + -204. Suppose 0 = 4*t + x - 106, 2*t - s = 3*x - 0*x. Does t = 28?
False
Let q(b) be the first derivative of -b**4/4 - 5*b**3/3 + 5*b**2/2 - 8*b + 5. Let k be q(-6). Let t be k/3 + (115/(-93) - -2). Is t > -1?
True
Let a = -1711 - -1685. Let z(u) = -21 + 21 + 2*u + 2*u. Let v be z(-6). Which is smaller: a or v?
a
Let u = -2.751 + 2.751. Suppose -2*r + r = -12. Let s be (r/(-112))/((-9)/(-8)). Is s > u?
False
Let l = 0.044 - -0.006. Let d = l + -0.18. Is 0 less than d?
False
Let q = 3578 - 35771/10. Let b(o) = o**2 - 4*o + 1. Let v be 2/(-4)*-10 + -1. Let u be b(v). Is q > u?
False
Let p(y) = -8*y + 8. Let u be p(-6). Let d be 14/u - 6/(-8). Suppose 2*h - 5*v + d = h, 0 = -4*v. Is h equal to 1/44?
False
Let m be 70/(-28) - (7 + 217/(-21)). Let p = -1.45 + -0.25. Is m greater than or equal to p?
True
Suppose 2*p = -2*m + 2, -5*m + 2*m + 5*p + 19 = 0. Suppose -4*x + 3*x + 463 = -m*t, 0 = -2*t + 2*x - 314. Which is smaller: -151 or t?
t
Let q = 3727/285 - 39/95. Which is bigger: 12 or q?
q
Let y = -2 - -1. Suppose -2*z = 26*z + 7028. Is y less than z?
False
Suppose 0 = 4*p - 2*p + 124. Suppose 4*z = -4*t - 292, -2*z + 4329 = -3*t + 4425. Which is bigger: p or z?
p
Let x be (-2 - (-1980)/(-648))*((-2)/14 - 0). Suppose -2*v + c - 10 = 3*c, -2*v = 3*c + 15. Which is greater: x or v?
x
Let i = 98.42 - 119.42. Which is greater: -165 or i?
i
Let n = 88 - 262/3. Let d = 2363 + -2273. Which is smaller: d or n?
n
Let f = -239 + 146. Let a = 93.021 + f. Which is smaller: -2/3 or a?
-2/3
Let q = 155/104 + -21/13. Suppose 3*l = 4*l - 4. Suppose -3*o + d + 1 = 0, 0 = -2*o - l*d + 7 + 17. Which is greater: q or o?
o
Let g(a) = a - 3. Let o = 0 - -5. Suppose -4*p + 11 = 5*s - o, -3*p + 2*s = -12. Let t be g(p). Are 1/5 and t non-equal?
True
Let k = 656/55 - 140/11. Let h = k - -1. Let v = -1.7 + -0.3. Which is smaller: h or v?
v
Let w(k) = -43*k - 39. Let z be w(-1). Let p be z*(30 + 6 + -10). Which is bigger: 526/5 or p?
526/5
Let t = 106733 - 123703535/1159. Which is bigger: t or -1?
t
Let o(j) = -478*j - 593. Let h be o(13). Is -6806 <= h?
False
Suppose -105 = -4*j - r, -68 = -3*j + 4*r + 6. Are j and 31 non-equal?
True
Suppose -4522 = 10*b + 1638. Which is bigger: b or -617?
b
Suppose -4*b = 20, -4*b - 40 = -z - 0*b. Suppose -z*v = -27*v - 133. Suppose -o - 2 = o, -85 = 4*c + o. Is v > c?
True
Let o(d) = -d**3 - 30*d**2 - 28*d + 43. Let n(q) = -q**2 - q - 1. Let b(u) = 2*n(u) + o(u). Let x be b(-31). Are x and 9 non-equal?
True
Let c = 5929 - 5930. Is c not equal to 12/203?
True
Suppose -314 + 1448 = 14*z. Let i be 12*9/(z/120). Is 163 at least as big as i?
True
Let w = 5511 - 5458. Which is bigger: 1 or w?
w
Suppose -68*j - 14420 = 15*j + 57*j. Is 4 at most j?
False
Let f(v) = 2*v**2 - 6*v - 256. Let j be f(-9). Let i(q) = -4*q + 2. Let n be i(-3). Let z = n + -14. Is j < z?
True
Suppose 3737 = 281*j + 70*j - 3634. Are 687/31 and j equal?
False
Let p be (1 - 2)/((-1424)/128 + 9). Let m = 7.1 + -6.9. Which is bigger: m or p?
p
Suppose 3*d + 2*l - 538 = d, -5*d - 2*l = -1345. Let i be ((-2744)/170)/(5 + (-2223)/450). Let t = i + d. Is t >= 1?
False
Let a(p) = -4*p + p + 8*p + 4 + 2*p**2 - p**2. Let d be a(-3). Let j be (1/1)/(-3 - d). Which is smaller: j or -2?
-2
Let u be 102/(-8) - 279/1116. Which is greater: u or -76?
u
Let k(v) = -v**2 + 8*v + 13. Let t be k(10). Let x(j) = -j**3 - 8*j**2 - 9*j - 11. Let z be x(t). Let o be 96/168*(z/(-4) - -1). Is o less than or equal to 1/2?
True
Let g(q) = 11*q - 65. Let n be g(7). Suppose -4*j = n, d - 2*d - 15 = 4*j. Let s be 1*d/((-3)/(-11)). Do -9 and s have the same value?
False
Let l = 3.517 - 3.317. Which is smaller: 15/2 or l?
l
Suppose -245 = 5*y - 5*m, -5*y - 2*m + m - 263 = 0. Let u = y - -49. Let p be (-1 - (3 + u))/(-1)*-13. Which is greater: p or -14?
p
Let r(m) = -m**3 - 5*m**2 - 9. Let z = 42 - 47. Let h be r(z). Let p = h + 8. Does 35 = p?
False
Let z be -132 + 120 - (-464)/38. Is -1 greater than or equal to z?
False
Suppose -4*r + 2*y - 10 = 0, 23*r - 18*r + 20 = 4*y. Let i = 235/2 - 48879/416. Which is smaller: i or r?
r
Let z(l) be the third derivative of 4*l**2 + 0*l + 0 - 7/6*l**3 + 1/120*l**6 + 7/60*l**5 - 1/24*l**4. Let w be z(-7). Which is smaller: w or 1/27?
w
Let d = 118 - 58. Suppose 2*k - 4*n - 100 = 0, -3*k + k + 3*n + 103 = 0. Is k > d?
False
Suppose -4*c + 4*s = -307 + 295, -3*c + 19 = -5*s. Suppose 0 = 3*k + 1 - 4. Let a be -2 - (-3 + (k - c)). Is -4 less than or equal to a?
True
Let i = 594.94 - -0.06. Let k = i - 587. Let b = 368 + -3316/9. Do b and k have the same value?
False
Let m be 7*338/(-21)*-3. Let t = -333 + m. Is 70/13 at least t?
True
Let t = 331 + -205. Let l be (216/t)/(54/28). Is 0 less than l?
True
Let u = -12676 - -12287. Which is greater: -386 or u?
-386
Let r = -0.2 - -0.14. Let q = -21.96 - -22. Let l = q - r. Which is greater: l or 0.23?
0.23
Let m = 2005 - 2004. Which is smaller: 3.45 or m?
m
Let i = -4 + 4.08. Let x be ((-285)/60 + 2*(-20)/(-8))/1. Is i < x?
True
Suppose 0 = -m + b - 1176, -5*m + 8*b + 2*b - 5890 = 0. Is -1174 less than m?
False
Let o = 41.1 - 64.1. Do 0.2 and o have the same value?
False
Suppose -11492 = 55*h - 11382. Is h < -189/113?
True
Let x = 391.955 - 392. Let f = 0.055 - x. Let d = 1.98 - -0.02. Which is bigger: d or f?
d
Let k = -1284 - -1288. Let h = -91/230 + 16/23. Is h != k?
True
Let x be (-7917)/(-120) - ((-10)/16 - -1). Suppose 3*y - 2*y = 66. Let q = y - x. Is -3 less than q?
True
Let d = -14 + 103. Let w = -99 + d. Suppose 4*z = -z - 45. Which is smaller: w or z?
w
Suppose 485 = -4*q + 149. Suppose l - 3*t = -79, 13*l - 2*t + 421 = 8*l. Is q bigger than l?
True
Let b be (-12)/16 - (-6)/12. Suppose 0 = -3*k + 2*g + 3, -2*k - 6 = 2*g + 2. Do k and b have different values?
True
Suppose -12*l + 264 = 10*l. Suppose 50*y + 38 = -l. Which is smaller: -1/778 or y?
y
Let n = -399.9 + 423. Let w = n - 12.4. Which is bigger: w or 1/3?
w
Suppose 0 = 16*g - 35309 + 2733. Suppose -3*r + g = 4*c, 1527 = 3*c - 0*r + 4*r. Is 510 smaller than c?
False
Let m(v) = -4*v - 10. Let b be m(-3). Let t be -3*(-4)/(-60)*b. Let d = -94 - -1787/19. Is d <= t?
False
Let v(t) = 3*t - 59. Let z be v(18). Let i(a) = a**3 + a**2 - 9*a + 17. Let u be i(z). Which is greater: u or -36?
-36
Let b(d) = 17*d - 142. Let p be b(9). Let c be p - 0 - 1*(0 + -2). Which is bigger: 16 or c?
16
Let d(z) = -4*z**2 - 2*z - 2. Let i be d(3). Let x be (-122)/(-4) - 22/i. Let b = -282 - -313. Is x smaller than b?
False
Let y = 2802 + -1961. Are 839 and y unequal?
True
Suppose -3737*m + 3746*m = -1107. Are m and -1106/9 nonequal?
True
Let t be (-46*(-52)/4784)/((-1)/9736*1). Which is bigger: -4869 or t?
t
Let j = 2/541 - 1104/5951. Let z = -0.14 - 1.66. Let t = -9.8 - z. Does t = j?
False
Let v = -39 - -40. Suppose 0 = 2*y - 7 - v. Let a be (-183)/764 - (-1)/y. Which is bigger: -1 or a?
a
Let b = 1937/9 + -215. Let j = -8/9 + b. Are -1 and j non-equal?
True
Let t = -9906 + 9905.9. Is 7175 at most t?
False
Let i be 6/(-80)*(-13)/(-2). Let r = i + -1/80. Which is smaller: -68 or r?
-68
Let m = 52/1097 + -413982/8687143. Is m less than 1?
True
Let d = 14071 + -14072. Is d at most as big as 89?
True
Suppose -5*b = 2*c - 48, 96 = 4*c - 4*b - 0*b. Let u = 68716 + -274865/4. Is u not equal to c?
True
Suppose 57149 + 13687 = 760*d + 1621*d - 41071. Suppose 3*g - g + 4*a - 58 = 0, -g + 34 = a. Which is smaller: d or g?
g
Suppose 3*c = 3*o + 213, 47 + 19 = -o + 2*c. Let w = -623