e
Suppose -8 = -2*k + m + 5, 5 = -m. Suppose 4*c + 289 = 3*c + 3*j, -5*c - 1412 = -k*j. Which is smaller: -281 or c?
-281
Suppose -3*h - 76*v + 72*v = 2395, 5*h = -4*v - 3973. Is h not equal to -0.09?
True
Let i be (0 + -2 + 1)*2. Let g be ((-50)/(-20))/((-36)/8) + -1. Is g < i?
False
Let w = -83 - -123. Suppose 3*z - 2*z + w = j, -j = -2*z - 35. Suppose -61*q = -56*q - j. Is q greater than or equal to 9?
True
Let c = 100 + -100.33. Let z = c + 6.33. Let k = z + -2. Is 3/5 at most as big as k?
True
Let a(s) = s**3 - 12*s**2 + 12. Let j be a(12). Suppose -j*h + 5230 = 1078. Is 346 at least as big as h?
True
Suppose 5*q - 2*z - 650 = -1807, -4 = -4*z. Which is smaller: -255 or q?
-255
Let b(u) = u + 74. Let p be b(26). Suppose p*s - 95*s - 80 = 0. Suppose -4*h - 5*f - 65 = -9*h, h + 4*f - 38 = 0. Is h not equal to s?
True
Let y = 8781 - 3539. Which is greater: y or 5243?
5243
Let i = -312.97 + 352.97. Which is smaller: -109 or i?
-109
Let y be (19028/(-17286))/(2/(-36)). Which is smaller: y or 20?
y
Let p = -3937/5 - -785. Suppose 13 = -3*o - t, 5*o + 1912*t - 15 = 1914*t. Is o < p?
False
Suppose -2*x = c + 2, 3*c = 3*x - 1 - 5. Let k(s) = -8*s**2 - 7*s - 13. Let a be k(c). Is -32 not equal to a?
True
Let t be ((-9)/((-9)/20))/(-1). Let z be 3 - 3 - (t - 1). Let q = -105 - -125. Which is smaller: q or z?
q
Let r = 9617 + -9616. Which is smaller: 1/4701 or r?
1/4701
Let n be 714/(-91) - -6 - (-44)/22. Is n less than -40/89?
False
Let v(f) = -2*f. Let s be v(0). Suppose s = -12*b + 7 + 29. Let k be (-4)/6*(-13)/2. Is k < b?
False
Suppose 5*r = -107 + 77. Let u be (-11)/(33/(-24))*r. Is -48 less than or equal to u?
True
Let m(c) = 5*c**3 + 12*c**2 + 3*c + 5. Let z be m(-2). Suppose -j = 4*f - 1, -4*f = 2*j + 5 - z. Is 7/20 at least j?
False
Let n = -14 - -86. Let h be 11/22*7*4/2*10. Do n and h have the same value?
False
Let t = -0.2137 - -0.0187. Let v = 3.195 + t. Which is bigger: 2.7 or v?
v
Let j = -1557 - -3085/2. Suppose 2*s = 5*c + 8, 4*s = -4*c - 15 + 3. Which is greater: s or j?
s
Suppose 0 = 4*t + 14 + 6. Let w(d) = d**3 + 5*d**2 - 3*d - 6. Let f be w(t). Let g be -3*((-1)/f)/(7/21). Is g <= 1?
True
Let i be 7/((-315)/40)*(56 + (-3 - -7)). Which is greater: -53 or i?
-53
Suppose -2*x - b - 298 = 0, 39*b - 784 = 5*x + 35*b. Let l(w) = -w**3 - w**2 + w - 151. Let m be l(0). Which is smaller: x or m?
x
Let h be ((-4)/(-6))/(136/(-119)*322/36). Is -0.025 less than h?
False
Suppose 4*w = -4*h, -3*h - 3*w - 14 = -7*h. Let v be (22 - h) + (9 - 4). Is v at least as big as 26?
False
Let w be (247345/(-12450))/7 + 6/12. Let m = 2/415 + w. Which is bigger: 23 or m?
23
Let p = 0.13147 - -30.86853. Let l(z) = 2*z + 7. Let n be l(-5). Which is smaller: n or p?
n
Let w be 27/(459/(-68)) + (-34)/(-9). Let u = -55 + 158. Are u and w unequal?
True
Let s = -1502156/23 - -65392. Which is greater: s or 80?
s
Let z be 1 + -7 - -102 - ((-24)/(-6) - 4). Which is bigger: z or 134?
134
Let y be 6/18 - (-2246)/3. Suppose 5*b = -4*r + 715, -5*b + 3*r = -y + 34. Let c be b/198 + (-2)/9. Do 9 and c have the same value?
False
Let z be 0/(18/3 - (13 - 11)). Let r(s) = s**2 + 32*s + 71. Let o be r(z). Is o less than or equal to 500/7?
True
Let j = -0.5 + -2.6. Let g = 2699.97 + -2703. Let p = g - j. Is 0.1 bigger than p?
True
Suppose f + 8 = -0*f. Let y(o) = -28*o + 51. Let j(n) = -5*n + 10. Let h(a) = 22*j(a) - 4*y(a). Let s be h(f). Are -3/14 and s nonequal?
True
Suppose -g + 5 = 0, -70*g + 20512 = -4*p - 66*g. Is p smaller than -5123?
False
Let c be (30/(-15))/(4/6). Let q = 7821/323 + -507/19. Is q equal to c?
False
Suppose 111 = -5*r + w, 50*w - 45*w = r + 3. Which is smaller: -88 or r?
-88
Let m be (-6 + -7 + (-3206)/(-231))*2. Are m and 3 unequal?
True
Let n = -64 + -77. Let u = -200 - n. Let r = u + 98. Are 1/2 and r nonequal?
True
Let w be 1/(-26)*(-13)/((-1001)/28). Let n = 179 - 178.8. Is w at least as big as n?
False
Let y = 757.118 + -7.118. Which is greater: -1/2 or y?
y
Let h be (-2)/((-4)/(-150)*3). Let o = h + 53. Let j be (o/(-44) - -1)/((-30)/3). Are j and 0 non-equal?
True
Let m be 13 + -6 - 2 - 10. Let n be m + (28/4)/(1/(-8)). Is n > -65?
True
Suppose -549*b + 544*b = 4*o - 62941, -o = 4*b - 15727. Are o and 15741 nonequal?
True
Let t(z) = -z**3 - 2*z**2 + 2. Let q be t(2). Let v = 938 + -942. Let r be v - (-4 + -2) - 16. Is q greater than r?
False
Suppose 0 = -157*s + 109*s - 211344. Are s and -4403 unequal?
False
Let l be -2 + -2 + 2 + 128. Let c be 12/l + (-184)/21. Let r = c - -12. Which is bigger: r or 4?
4
Let s = -0.1 + -0.9. Let t be (-762)/(-164) - (-2394)/(-532). Which is greater: t or s?
t
Let g = 267.9301 - -0.0699. Let k = -269 + g. Which is greater: 1/79 or k?
1/79
Let t(i) = -i**3 - 6*i**2 - 6*i - 5. Let y be t(-5). Let u be (-1)/(-42)*6/(-12). Which is greater: u or y?
y
Suppose 2*g = 2*a + 9484, -9*g + 14 = -2*g. Is a >= -4741?
True
Suppose 48229 = 108*x - 1097111. Is 10606 smaller than x?
False
Let h(c) = 11*c**3 - 3*c - 6. Let g be h(-3). Let o = g + 1464/5. Suppose 0 = x + d - 3, -5*x + 16 = d - 3. Is x greater than o?
True
Let g = 28331 + -28291. Which is smaller: 924/23 or g?
g
Let s = -962.277 + 963. Let i = -0.69 + s. Let k = -34.033 + i. Which is bigger: k or -1?
-1
Let r be ((-2)/(-20))/((-77)/154) + (-4)/5. Is 1/14031 != r?
True
Suppose 454 = -6*q + 430. Let b be 6 + -121 + -2 - (-3 - q). Is -117 > b?
True
Let c = -304.64 + 313. Let h = c - 0.96. Let i = -13.4 + h. Are i and 3 unequal?
True
Suppose -b + 13*b - 4250 = 22*b. Which is bigger: -428 or b?
b
Let g = -13328075/105539 + 1/15077. Let o = g + 126. Let m = -2.53 - -2.52. Which is smaller: m or o?
o
Let z = -6116 - -6116.018. Is -6 greater than z?
False
Suppose 18 = 5*c - 4*b, -c - 8 = 7*b - 2*b. Suppose -157 + 69 = c*v. Which is smaller: -42 or v?
v
Let m = 13 - 10. Let z be 376/280 + 4/5. Let x = 41/7 - z. Which is smaller: x or m?
m
Let b be (-8)/(48/(-30)) + 6/(-3). Suppose 2*q = -2*u - 1 - 3, -11 = -2*q + b*u. Do q and 5 have the same value?
False
Let u(o) be the first derivative of -5*o**2/2 + 11*o + 3. Let k be u(3). Let d(g) = g**2 + 9*g + 19. Let w be d(k). Are 3/59 and w unequal?
True
Suppose 138 = -4*r + 3*k, -3*r + 4*k - 132 + 25 = 0. Is r smaller than -519/16?
True
Let u = -17966266/749 - -23987. Let a be (85/(-42051))/(3 - 550/195). Let m = u + a. Which is smaller: m or -0.2?
-0.2
Suppose -w + 546*l - 9 = 544*l, 4*w + l - 18 = 0. Which is greater: -1400 or w?
w
Let i = 60 - 37. Suppose 0 = -11*p + 78 - i. Is p != 4?
True
Suppose 31 = -5*a - 154. Let h be (14/7)/(4/a). Let n = h + 92/5. Which is bigger: n or 1?
1
Let u(h) = -34*h + 5716. Let v be u(173). Are v and -188 nonequal?
True
Let w(x) = -32*x - 37. Let m be w(15). Let k = -0.03366 + 0.03366. Is m bigger than k?
False
Let q = -13 + -88. Suppose 38*z - 93*z - 5665 = 0. Which is smaller: q or z?
z
Let v = 3303 - 3306. Which is smaller: 14 or v?
v
Let f(u) be the second derivative of -u**4/12 - 20*u**3/3 - 87*u**2 - 91*u. Let v be f(-35). Which is smaller: -3/83 or v?
-3/83
Let q = -2374 - -2374.141. Is 33 != q?
True
Let c = 69/4 + -35/2. Let d = c + 0. Let g = -22 + 89/4. Which is greater: g or d?
g
Let j = 2.513 + -2.431. Is j not equal to 3/2?
True
Let s = -4211 + 4212. Is -2/11105 less than s?
True
Let d(t) = 14*t - 4. Let y be d(-2). Let j = 12847 + -64396/5. Which is smaller: y or j?
j
Let k = 1422 + -1426. Which is greater: -136/33 or k?
k
Let z = -143/238 - -4/7. Let n = z + 121/646. Which is smaller: -1 or n?
-1
Let f = -2.52389 + -0.03811. Is f equal to 1?
False
Let j(v) = 110*v + 658. Let o be j(28). Is o less than 3737?
False
Let w be (-10)/(-65) - ((-3680264)/469040 + 8). Do -1 and w have the same value?
False
Let l be ((-2960)/(-64))/((-3)/(-12)). Suppose -5*c - o = -5*o - l, -2*c + 74 = -3*o. Does c = 38?
False
Let v = 44 + -24. Let i be (-438)/v - 10/(-25). Let n = 22 + i. Which is bigger: 3/4 or n?
3/4
Let c = 420/227 + -129723/69008. Which is smaller: 0 or c?
c
Let f = 63.77 - 70.6. Let z = -0.81 - f. Which is smaller: z or 1?
1
Suppose -6 = -v + 5*l + 26, 2*v = 5*l + 44. Suppose n - 3*u = v, 2*u = n - 8 - 1. Let x be (22/12)/(n - (-15)/(-6)). Which is smaller: x or 3?
3
Let q = -21 + 564/5. Let d = 71/20 - q. Are d and -87 unequal?
True
Suppose -38*v - 33 = 271. Let o(h) = 6*h*