 = 106 - x. Are -9 and d unequal?
False
Let f be 4 + (-1179284)/301920 - 2/12. Let h = 3/1258 - f. Let d = -7/40 - h. Is d less than or equal to 2/23?
True
Suppose 0 = 3*l - 5*l - d + 2681, 4*d + 12 = 0. Let c = 2164 - l. Let h = -20553/25 + c. Which is bigger: h or 0?
0
Let c(u) = 6*u - 170. Let f = 716 - 684. Let j be c(f). Which is greater: j or 19?
j
Let o = 57 - 72. Let f be 2/(-2) + (0 + 1 - o). Let q be (-12 + f)/((-29)/(-16) - 2). Is -15 smaller than q?
False
Let p be (-416)/(-64)*8039/(-5806) + 9. Which is bigger: 1 or p?
1
Let v be ((-4)/(-1) - 5) + 24/(-39). Let k be (197/26)/(-1 - 4). Let x = v - k. Which is smaller: 0 or x?
x
Suppose -9*s + 269 = 3914. Let x = s + 406. Which is smaller: x or 10/43?
10/43
Let m = 267 - 1585. Let h = -1443.6 - m. Let p = h - -126. Do p and 10 have different values?
True
Suppose -60 = -4*z + 4*u, 10 = 3*z + 4*u - 7. Suppose 0 = -20*p + 9 + z. Is -1/3 at least p?
False
Let u = -225 + 203. Let o be (2/9)/(-2)*(u - -18). Is 0.1 >= o?
False
Let s = 3574 + -1065053/298. Which is bigger: s or -1?
s
Let t = -1.6 - 0.4. Let x = 0.04506 + 0.08494. Which is greater: x or t?
x
Suppose 21*d - 22*d + 2 = 0. Suppose -j = i - 212, -j - 216 = -d*j - 5*i. Are j and -1/2 equal?
False
Let v(k) = -k**3 + 6*k**2 - 2*k + 7. Let h be v(6). Let q = -270 + 390. Let t be ((-125)/35)/((q/35)/4). Is h at least as big as t?
False
Let b(t) = -t**2 + t - 1. Let z be b(1). Let n be 39/9 - (1 - z). Suppose 299 = 1203*x + 74 - 978. Which is smaller: n or x?
x
Let z = -2 + -1. Let w = -2 - z. Let s = 27160 - 81469/3. Which is greater: w or s?
s
Suppose 99*c - 7355 = -0*c + 7000. Is c smaller than -8/21?
False
Suppose -5*z + 25 = 5*v, 3*z = 3*v + 4*z - 23. Let u(r) = -2*r**3 + 20*r**2 - 21*r + 8. Let x be u(v). Which is smaller: -20 or x?
-20
Let m = -11843 - -11051. Which is bigger: -782 or m?
-782
Let a be (-2)/10 - -7*(-44)/(-770). Is a at most as big as -1044?
False
Let l be -16*(1 - 168/(-15))/(16/20). Is -244 smaller than l?
False
Let a be 1/((-9)/(-63)) + (-97)/13. Let u(o) = -o**2 + 7*o - 6. Let d be u(6). Let f be (d/(-2) - 0) + 0. Does f = a?
False
Let f(s) = -15 + 3*s - 16 - 4*s + 4*s. Let n be f(12). Is 7/2 != n?
True
Let m = 4359 + -4477. Suppose 6*c = c + 4*n - 610, -4*c = 4*n + 452. Is m < c?
False
Let w be 91 - (-6)/(-1 - -3). Let v = 95 - w. Let u be -1*(-3 - -3)*v. Which is bigger: 5/12 or u?
5/12
Let z be 10/(-426)*(-14 - -18). Let a = z + 998/12141. Let s = -3 - -4. Is s >= a?
True
Let y be 3/20*(54/(-45) - (-16)/40). Which is smaller: y or 2/121?
y
Let p = -7811.08 - -7807. Is 1 <= p?
False
Suppose 3*m - 1296 = 3*s + 474, 3*s = -2*m - 1745. Let o = 1759/3 + s. Are o and 1/9 unequal?
True
Let v = -12.1 + -64.9. Let a = v + 69.5. Let f = a + 8.5. Is -56 > f?
False
Let x = 807 + -816. Let v be (1353/(-22))/(x/(-78)). Is -532 <= v?
False
Let c(x) be the second derivative of -x**3/6 + 10*x**2 - 17*x. Let w be c(11). Suppose -w = 4*r - 5*y, 0*r + 3*y = 5*r + 8. Which is bigger: r or -4/21?
-4/21
Let n(u) = 425*u**2 + 1. Let i be n(2). Suppose i = -17*l + 4659. Which is smaller: l or 175?
l
Let f be 423/(-567) - (-42)/56. Suppose -5*m - 3*z - 7 = -4*z, -2*m - z = 0. Which is smaller: m or f?
m
Let y = 60 - 65. Let d be 5/4*((-20)/y - 0). Let l = -4758/5 + 956. Which is smaller: d or l?
l
Suppose 126*g - 242*g = -122*g + 5904. Which is smaller: 982 or g?
982
Let l be 907/4 + 259/(-148). Suppose 0 = 13*m + 186 - l. Which is smaller: 37/12 or m?
m
Suppose -2*v + 212 = -4*y, -4*v - 2 = y + 42. Let b be y/(-70) + (-51)/68. Is b greater than 0?
False
Let m = 832 + -420. Suppose -40*z = -44*z + m. Are 104 and z unequal?
True
Let h = 1.7 - 3.5. Suppose d - 31 = 3*f, 3*f - 5*d + 16 + 31 = 0. Let g be (-2)/(6 + 60/f). Which is smaller: h or g?
h
Let t(u) = -u**2 - u + 1. Let l(r) = -483*r**2 - 27*r + 480*r**2 + 10*r + 23. Let g(y) = -l(y) + 4*t(y). Let w be g(13). Which is greater: w or -17?
-17
Let z(y) be the second derivative of 5*y**4/12 - 5*y**3/6 + 31*y. Let a be z(1). Which is bigger: 2/233 or a?
2/233
Let f(w) = 4*w**3 + 3*w**2 + 15*w + 2. Let i be f(11). Let x = 696632/119 - i. Are -1 and x unequal?
True
Let f(a) = -3*a**2 + 3*a - 3. Let p be f(4). Let s be p*(5 + -3 + -1). Let y(t) = -6*t**3 + 132*t**2 - 5*t + 71. Let r be y(22). Are r and s non-equal?
False
Let j = -14945 + 14950. Is 456/91 < j?
False
Let z = 5.1 + -5. Let l = -11738 + 11583.26. Let i = l + 155. Is i less than or equal to z?
False
Let h = -4334 - -4284. Which is greater: -7 or h?
-7
Let v(b) = 6*b**3 - b**2 + 1. Let l be v(-1). Suppose -61*n + 30 = -40 - 52. Which is smaller: n or l?
l
Let t(l) = -173*l + 2. Let g be t(2). Which is greater: -687/2 or g?
-687/2
Let i(b) = 63 + 21*b**2 - 5*b**3 - 361*b + 341*b + 46 + 4*b**3. Let n be i(20). Is 109 not equal to n?
False
Let k = 274.56 - 269. Let b = 7.5 + -13. Let j = b + k. Which is smaller: 0.2 or j?
j
Suppose -1155 = s - 2*s + 8*s. Is s at least as big as -171?
True
Let c = -0.552 - -257.552. Let f = c + -257.84. Are -1/3 and f nonequal?
True
Let w = 60399 + -60406. Let m be (-2 - -2 - 2)/2. Let a be (-1)/((m*2)/(-4)). Which is bigger: a or w?
a
Let r be 35/(-75) - (-4)/30. Let i = -1.41 - -1.2. Which is bigger: r or i?
i
Let x be 0/(6 + -2 + -2). Suppose -2*a - 5*u + 74 = 0, -4*a + 5*u + 12 + 106 = x. Is a != 31?
True
Suppose -91 = 3*z - p, 2 = 4*z - 4*p + 134. Do z and -91/3 have the same value?
False
Let l = -24 + 130. Let f = -504.1 - -601.1. Let o = l - f. Which is smaller: -1/2 or o?
-1/2
Let x(w) = w**3 + 70*w**2 - w - 317. Let f be x(-70). Is f at least -247?
True
Suppose -a - 2*s + 5 = 0, -10*a + 8*a + 9 = 3*s. Let y(q) = q - 1. Let v be y(6). Suppose 3*k - 5*m - 20 = -a, -4*k + 16 = -v*m. Which is greater: 2/61 or k?
2/61
Let h = 1918208/141645 + -474/35. Which is smaller: -1 or h?
-1
Let d = -3.8 - -4.85. Let f = 83.25 - 83.3. Let s = d + f. Is 27 at least as big as s?
True
Let n = -673 - -695. Suppose -63 = u - n*u. Which is smaller: -11 or u?
-11
Let k = 8.34 + -6.9. Let f = 1.64 - k. Let h = 7/6 + -4/3. Which is bigger: f or h?
f
Let v = 35 + -32. Suppose 5*p = 25 - 5. Suppose p*r - 4 = 5*g - 0, g = v*r - 3. Is r <= -1/19?
False
Suppose -q - 54 = 3*r, 108 = -2*q - r - 0*r. Let n be (-63)/q*(-4)/(-21). Suppose 5*d = 5*i + 15, 2*i + 4 = 3*d - 2*d. Which is smaller: i or n?
i
Let s = 34 - 87. Let c = s + 72. Let g = -17 + c. Is g less than -1.4?
False
Let k = -129 - 3. Let s = k - -131.833. Which is smaller: 1/3 or s?
s
Let z = -1742 + 2594. Suppose 0*d + z = -12*d. Which is smaller: -73 or d?
-73
Let g be ((-8)/28)/((-2)/42). Let f be (-560)/84*g/4. Suppose -v - 2*v - 21 = 0. Which is greater: v or f?
v
Let x(d) = -70*d**3 + 10*d**2 - 4*d + 19. Let f be x(7). Let t be (657/2 + 1)*(-44)/f. Let g = 20/31 - t. Which is smaller: 0 or g?
0
Let c = 0.2013233 - 656.1732233. Let w = c + -0.0281. Which is smaller: -2/5 or w?
w
Let k = 704/6273 - -2/369. Suppose 4*l + 3*f - 5 = -1, 3*l + 3*f - 6 = 0. Let n be ((-4)/(-12))/(l/6). Are n and k unequal?
True
Let s be (80 + -81)/((-3)/(-9)). Let c be (1 + 1 - -1)*65/(-60). Are s and c unequal?
True
Let p(n) = n**2 + 3*n - 5. Let v be p(6). Suppose -8*r + v + 119 = 0. Suppose 0*g - g + r = 4*w, 0 = 2*g + 5*w - 39. Is g not equal to 17?
False
Let f(r) = 24 - 2*r + 5*r + r + 0*r. Let h be f(-6). Let i be -2 - 63/(-48) - -1. Is i smaller than h?
False
Let n = 49 + -47. Let w(a) = a**2 - 6*a + 5. Let h be w(5). Suppose 5*t = i + 5, h*i - 2 = -n*t - 4*i. Which is smaller: -2/239 or t?
-2/239
Let s = 0.0197 + -14.0197. Let o = s + 18. Which is smaller: -2/117 or o?
-2/117
Suppose -53*z + 526260 = -200*z. Is z less than or equal to -3583?
False
Suppose 0 = 26*h - 14 - 12. Let i = -74119/218 - -340. Which is greater: i or h?
h
Suppose 28*p + 11488 = 12*p. Let k = p - -1298. Is 579 >= k?
False
Let j be (-7)/((-7805)/670328) + 1/(-5). Let t = j + -601. Is 1 smaller than t?
False
Let t(z) = -z**3 - 9*z**2 - 32*z - 76. Let s be t(-8). Are s and -21 unequal?
True
Let b be (164/10 + 1)*((-2345)/(-588) - 4). Which is bigger: b or 0?
0
Suppose j + 5*u = -23323, 89962 = -4*j - 2*u - 3276. Is j < -23307?
True
Suppose 6*w = 5*w - 63. Let b be 4/(-18) + (-140)/w. Suppose 0 = -0*c - c + 3*f + 8, 0 = -b*f - 2. Is c equal to -1/6?
False
Suppose 6*k - 10*k - 620 = 0. Suppose 2