4*n - 852. Let r be x(-4). Suppose 4*z = -7 - 5. Let d(q) = 6*q + 2. Let g be d(z). Is r < g?
False
Let q = -3975 + 4367. Is q > 398?
False
Let l = 146 + -145. Let u be 460/(-391) - (l + 1*-2). Is 0 greater than or equal to u?
True
Let q = -67 - -48. Let m(h) = 4*h**3 + 4*h**2 - 4*h - 3. Let s be m(0). Does s = q?
False
Let m = 293.113 + -294. Let j = m - -11.187. Suppose 0 - 1 = -r. Which is greater: r or j?
j
Let j = -0.0864 - -0.1566. Let u = -0.4702 + j. Is -8.4 greater than or equal to u?
False
Let n = 160/49 - 849/245. Which is greater: n or -352?
n
Let k be (-10 - -3) + 3*(-1)/3. Let a be k/(64/(-20))*-94. Is a less than -234?
True
Let a(z) = 9*z**3 - 10*z**2 - 17*z + 76. Let g be a(5). Is 860 less than or equal to g?
True
Suppose 3*o - 8 = -o - a, -18 = -2*o - 4*a. Let n be 3 - ((3 - 0) + -3 + -187). Let g be 1*(2 - 1 - n/185). Is g greater than or equal to o?
False
Let r be 18 + -20 - 238/(-3 + 1). Let i = -126 + r. Which is bigger: i or -22?
i
Let i(w) = -5*w**2 - 17*w + 16. Let y be i(-8). Let m = 180 + y. Is 18 not equal to m?
True
Suppose -7 = b - 4. Suppose 4*i + 3*i = -53*i - 180. Is b != i?
False
Let y be -3*(-6)/966*102*-1. Let c = y + 13/7. Suppose -2*u + 4*u - 2 = 0. Which is smaller: c or u?
c
Let y be (-3)/(-494)*1*2. Let h = 99131 - 99131. Is h <= y?
True
Let h = 1780 + 2826. Is h not equal to 2?
True
Let m = 3.193 - 1.193. Is m at least 1190?
False
Let f be (-4 + 8 + -4)/2. Let b be 0 + -3*(-2)/3. Suppose -3 = 2*t - y - 2, f = -3*t + y - b. Which is greater: t or 6/19?
6/19
Let h = -32.994 + -0.006. Let j(u) be the third derivative of -u**5/60 - 5*u**4/6 + 187*u**3/6 - 4*u**2 + u. Let m be j(7). Which is greater: h or m?
m
Let k be (33/(1881/24))/(-4). Is k greater than or equal to 0.924?
False
Let h = 4850 - 53324/11. Is -30 greater than h?
False
Let b be (-12)/(-30) + (5632/(-10))/(-2). Let r = b - 3098/11. Are r and 1 non-equal?
True
Let n = 151.3 + -394.1. Let i = -243 - n. Which is greater: 3.6 or i?
3.6
Let t = -4038 + 14648. Which is greater: -2 or t?
t
Suppose 0 = 155*k - 516 + 361. Is k <= 53/219?
False
Let c = 4.15 - -171.85. Let t = 175.4 - c. Is -4 at most t?
True
Let m(j) = -4*j - 12. Let i be m(-3). Let a be (-6)/(-20)*(203/(-69) - -3). Is a at most i?
False
Let z = -22 - -15. Let v = 7985 - 39964/5. Is v less than or equal to z?
True
Let r(q) = 26*q - 3009. Let x be r(88). Are x and -720 equal?
False
Let t be 4 - (15 - 6) - -5. Let a(d) = d**2 - 88. Let z be a(0). Let x be z/(-144) + (1 - 1). Which is smaller: t or x?
t
Suppose 0*q = -0*q + 4*q. Suppose -92 = -q*x - 4*x. Is 20 greater than or equal to x?
False
Let c = 39477 - 39465. Suppose 78 = -5*i - 47. Is i != c?
True
Let u = 646 - 642. Suppose -6*l - 22 = -u*l. Are 11/3 and l nonequal?
True
Let x(c) = 4*c - 18. Suppose 2 - 14 = -3*i. Let s be x(i). Is s less than -8?
False
Suppose -2*t + 4*y = -42, 2*t + 2*y - 8 - 16 = 0. Let b = 5553097/168764 - 7/5444. Let o = b + -3175/186. Do t and o have different values?
True
Suppose -18*q - 83 = -245. Is q at least 20?
False
Let b = 1.25 + 5.77. Let c = 7 - b. Let w = -539 - -535. Which is greater: w or c?
c
Let k be -11 + 34/((-7106)/47595). Which is bigger: -240 or k?
k
Let k = -2098.75 + 2156. Are k and 1/3 non-equal?
True
Let f(b) be the second derivative of 4*b**3/3 + 47*b**2/2 + 135*b. Let a be f(-6). Which is greater: -0.46 or a?
-0.46
Let u = 0.26709 + -5.46709. Which is smaller: 0.062 or u?
u
Let b(k) = -7*k + 48 - 8*k - 11*k - 9*k + 31*k. Let p be b(11). Which is greater: 5 or p?
5
Let r be -273*2 - ((-15)/5 + 1). Let n = r + 511. Is -33 greater than n?
False
Let t = 380 - 378.14. Let q = t + -1.66. Let n = 32/7 - 274/63. Is q greater than n?
False
Let w be -27 - (2 - 0 - 4). Suppose -280 = -23*c - 96. Let u be (-1)/3 - (c + 94/6). Which is greater: w or u?
u
Let r be (-1)/((-11)/5 - -2). Suppose 4*g = r*t - 1, 4*g + 2*t + 3*t = 9. Let x = g - -8. Which is greater: x or 10?
10
Let w(i) = 16*i**2 - 18*i + 10. Let j be w(13). Let t = j - 17450/7. Suppose -3*c - 74 = 4*f, -10*c - 94 = 5*f - 6*c. Which is bigger: t or f?
t
Let v(p) = -8*p**2 + 4*p + 3. Let y be v(3). Suppose 406 = 753*u - 760*u. Is u > y?
False
Suppose 113*v + 16 = 117*v. Let k be (-3 + v)*3*(-1)/3. Let s be (-18)/30 + (-1)/(-2). Are k and s equal?
False
Let k = 22.14 + -22. Let a = -6 - 61. Let h = a - -67.1. Does h = k?
False
Let t = 5077/7332 - 22/47. Let h = t - -1/39. Let j = 280 - 281. Is h not equal to j?
True
Suppose -18 = 2*i + 22. Suppose -7*r + 405 = -10*r. Let l be (0 + r/i)/(1/1). Which is smaller: 7 or l?
l
Let m be ((-135)/2700 - (-513)/(-140))/(-1 + -3). Is 1 >= m?
True
Suppose 0 = 3*w - s + 6*s + 8, -4*w - 3*s + 4 = 0. Let b be (-214)/70 - w/(-20). Suppose -13*j + 37 = 63. Which is smaller: j or b?
b
Let d(j) = 2*j**2 + 5*j - 131. Let f be d(-9). Is -165/13 <= f?
False
Suppose -72*m = -75*m + 5*k + 62, 2*m - 46 = k. Let f = 3 + -2. Is m not equal to f?
True
Let m be (-2392689)/1197 + -4*(-2)/(-84). Which is greater: -1997 or m?
-1997
Let i = 3.58 - 2.06. Let x = i + -1.32. Which is bigger: -5/18 or x?
x
Suppose 0 = -2*x + 8 - 4. Let z(o) = -o**2 + 3*o - 3. Let f be z(x). Let g be (-1*1 + f)/(9 + -2). Which is greater: -8 or g?
g
Let l(z) = -2*z**2 + 9*z - 4. Let x(g) = -g - 15. Let m be x(-19). Let q be l(m). Suppose 0 = 3*v - 3*s + 18 - q, 0 = -3*v - 4*s - 25. Is v equal to -6?
False
Let t(l) = 19*l + 209. Let x be t(-11). Which is smaller: -27/19 or x?
-27/19
Let a = -0.0239 - 0.2761. Let m = 0.49 + -62.49. Which is smaller: m or a?
m
Suppose 7*d = 2*d + 25. Let u be (33/6 - 5)*30. Suppose 0 = d*w - 5*f - u, 0 = -3*w - 3*f - 8 - 1. Is w at least 0?
True
Let f = -7763 + 13953. Which is bigger: f or 6192?
6192
Let c = -0.1659 - -30.3859. Let j = -30 + c. Let l = 0.32 - j. Do l and -1.8 have the same value?
False
Let g be ((-2074)/(-10))/17 + (11 - 16). Let z(d) = -7 + 4*d + 6*d**2 + 0*d**3 - d**3 - 6*d. Let t be z(5). Which is bigger: g or t?
t
Let a be 2 + 166/14 + -3. Let u be 8 - (2 + -1)/((-8)/16). Which is smaller: a or u?
u
Let f(i) = -i**2 + i + 15. Let p(q) = -2*q**2 + 2*q + 31. Let b(y) = -7*f(y) + 4*p(y). Let d be b(0). Let z = 17 - d. Is 27/4 at most as big as z?
False
Let y = 44 - -38. Suppose -y + 4 = -2*z. Do 39 and z have different values?
False
Let k be 4/26 - (-30)/(-26). Let m = -3127 + 3131.7. Does k = m?
False
Suppose -37*m + 59*m = 7458. Is 341 <= m?
False
Let w = 367.077 - 367. Let b = w + 0.023. Is -125 not equal to b?
True
Let i = 1174/2737 + -56/391. Is -0.017 >= i?
False
Suppose 0 = 11*w + 6 + 5. Let c = 1288187/396 - 3253. Is w at most as big as c?
True
Let i = -564.1 + 564. Is -0.1188 less than or equal to i?
True
Let j be 45/(-108)*11*2/25. Which is bigger: 0 or j?
0
Let j be 622/14 - (-4)/7. Let c be 5/(18/15 - 9/j). Which is smaller: c or 4?
4
Let z = -28 + -93. Let l = z + 120.973. Is -1/3 smaller than l?
True
Suppose -8*r = 2*r - 40. Suppose r*t - 2*s = -5*s - 9, -2*t - 5*s + 13 = 0. Is t greater than or equal to 29?
False
Suppose 37*b + 30 = 25 - 32. Is -13/69 greater than b?
True
Let s = 36237/5 + -7202. Suppose 4*b - 91 - 88 = -5*h, 3*b - 4*h - 142 = 0. Is s greater than or equal to b?
False
Let z be (-764)/110 - ((-270)/165)/3. Let j be (-6)/15*20/(-32). Which is greater: j or z?
j
Let o = -10315/88 + -3/88. Is o greater than -117?
False
Suppose 3505 = 3*t - 2*p, 5*t - 5*p - 5844 = -4*p. Let l = -19885/17 + t. Is l at most -2?
False
Let w = 68.8 - 69. Let y be (-10)/(-8) + 21658/(-2184). Which is greater: y or w?
w
Let h = 2.915 - -0.085. Let r = -215/3 + 223/3. Does h = r?
False
Let j = 143.1 - 153. Let m = 1.42 - -9.48. Let y = m + j. Which is greater: -69 or y?
y
Let l = -230 + 133. Let r be (-18 - -17)*1/(3 - 4). Is r equal to l?
False
Let h(b) = 958*b**3 + 9*b**2 - 13*b + 6. Let l be h(1). Are l and 953 nonequal?
True
Let f(y) = y**2 + 5*y + 2. Let i be f(-5). Suppose i*w + 134 = -8. Suppose -12*j - 65 - 786 = 1. Is w at most j?
True
Let p = -3797937 - -398788279/105. Let u = 2384/51 - 4/51. Let y = p - u. Is y < 0?
True
Suppose 3*j = -u + 4837, 22*j - 3*u - 8057 = 17*j. Do j and 1612 have the same value?
True
Let a = 18 + -17. Let d be 3 + ((-828)/16)/a. Let c = -4103/84 - d. Is c >= -1/2?
True
Let f = -4.295 + -55.705. Which is greater: -19 or f?
-19
Let p be -8 + (-522)/(-