/8). Let y = -31 + m. Let j be y - (72 - 3) - 5. Are -75 and j non-equal?
False
Let x = 10839 + -10865. Which is smaller: -55 or x?
-55
Let c(b) = -6*b + 5*b + 2*b + 8*b - 37. Let i be c(11). Which is bigger: 123/2 or i?
i
Let u = -271191 - -33085495/122. Are u and 3 equal?
False
Let a be -1*(2 - 1)/(-1). Let k = 481 + -268. Let v = k - 1901/9. Is v bigger than a?
True
Suppose -4*u - 143 = -5*l, 2*l - 39 = 8*u - 9*u. Which is bigger: 243/10 or l?
243/10
Suppose 7*y + 600 = 3*y. Let v = -86 - y. Which is bigger: 65 or v?
65
Let z(x) = 5*x**2 + 9*x**3 - 7 - 3*x**3 - 5*x**3 - 25*x. Let d be z(-8). Which is smaller: d or -4/97?
-4/97
Let v = -46 - -53. Let q = v - 3. Suppose -3*x = -2*a - 18, -4*a = -5*a + q*x + 1. Which is bigger: a or -13?
-13
Let u = 62 - 62. Let h be (-1057)/(-21) + (4/(-12) - u). Is 45 at most h?
True
Suppose -5*j = j - 30. Suppose -j*y - 32 = -z, -5*y + 56 = -0*z + 3*z. Suppose -3*v + 2*x = -66, -15*v + 10*v + x = -110. Is v > z?
False
Let a = -2103/119 + 315/17. Which is smaller: a or 2/29?
2/29
Let m(w) = 2*w**3 + 62*w**2 - 1. Let n be m(-31). Which is greater: n or 1/1372?
1/1372
Let u(k) = 2*k**2 - 49*k - 110. Let j = 669 - 642. Let d be u(j). Are d and 49/2 unequal?
True
Suppose -4*t + 14*f + 393 = 11*f, 5*t - 535 = -5*f. Is 118 at most as big as t?
False
Let r be (10*(-3)/105)/(4/(-70)). Suppose -2*j + 3*j - 6 = 0. Which is smaller: j or r?
r
Suppose -5*l - 3*h = -11003, -5*l - 4*h = -6*h - 11023. Is l greater than 2204?
False
Let p = -60.94 - -61. Let w = p - -0.03. Let v = w - -0.03. Which is smaller: 1 or v?
v
Let q(u) = -u**3 + 5*u**2 + 3*u + 1. Let h be q(6). Let b = h + 21. Suppose -b*v - v = -v. Is -2/9 < v?
True
Let m = 7036 + -5968. Which is smaller: m or -1?
-1
Let q = -139.8 - -330.8. Which is greater: -3/20 or q?
q
Let w(z) = -z**2 + 8*z + 1. Let v be w(8). Let y be (3*(-8)/(-6))/(28/114). Let o = y + -14. Which is smaller: o or v?
v
Let c be (-277775)/(-7700) - 1*(-2)/2. Let r = c + -260/7. Is r greater than -1/4?
True
Let w = 130 - 126. Suppose -5*k = x - 18, -w*k + 0*x - 2*x + 18 = 0. Suppose 2*y - 2 = -2*r, -2*y - k - 1 = -r. Which is smaller: r or -6/7?
-6/7
Suppose f - 2*g + 7 = 0, -f - 6 = -4*g + 9. Does f = 8/239?
False
Suppose 0*b + 5*b - 255 = 0. Let q(x) = 22*x + 445. Let f(g) = -11*g - 219. Let y(z) = 11*f(z) + 6*q(z). Let k be y(-19). Which is smaller: k or b?
b
Let o be (-2 - (-3 - 1))/((-2)/(-358)). Is o greater than or equal to 2/9?
True
Let v = -4 - -6. Let l = 0.048 - 3.198. Let o = l + 1.15. Is v bigger than o?
True
Let w(m) be the first derivative of 4*m**3/3 - 2*m - 144. Let q be w(1). Let s = -0.12 - 14.88. Which is smaller: q or s?
s
Suppose -4*l + 152 = -2*c - 3*l, -66 = c - 3*l. Let x = c + 20. Let k = -781.5 + 780.5. Which is bigger: x or k?
k
Suppose -179*h = -34*h + 787350. Is h <= -5430?
True
Let b = 13754 - 13752.9595. Which is smaller: b or -2/7?
-2/7
Let v(x) = -2*x**2 - 75*x - 1105. Let c be v(-16). Which is greater: -2909/7 or c?
-2909/7
Let r(a) = a**3 - 50*a**2 + 260*a + 149. Let j be r(44). Which is smaller: j or -482?
-482
Suppose 30*v + 46*v = -2508. Let g(u) = u**3 - 7*u**2 - 5*u + 3. Let a be (-2)/2*(-8 + 1). Let m be g(a). Does v = m?
False
Let q = 166/5 + -33. Let x(p) = 5*p**2 + 16*p + 53. Let u(g) = -9*g**2 - 32*g - 105. Let n(r) = 6*u(r) + 11*x(r). Let m be n(18). Are m and q equal?
False
Suppose 36 = 6*o + 12. Let m(w) = 12*w - 39. Let i be m(o). Let p be (-2)/4*-3*2/i. Is 6 greater than or equal to p?
True
Let h be -127*(384/16 + -11). Which is smaller: h or -1654?
-1654
Let k = 1.8 - 7.8. Which is smaller: -177 or k?
-177
Let a(h) = -131*h + 406. Let z be a(3). Does 7 = z?
False
Let w = -729 - -743. Suppose 2*f - 16 = -w*f. Which is smaller: -1/581 or f?
-1/581
Let l = -35 - -53. Let v = 5 + l. Suppose v = -3*q + 26. Which is smaller: q or -2/99?
-2/99
Let l be (6/225)/(1/5). Let x = 120138 + -120127. Do x and l have different values?
True
Let c(q) = q**2 - 37*q + 97. Let v be c(32). Let f be 9/v + 316/(-56)*-8. Is 45 > f?
False
Let b = 40.41 - 39.7. Let h = b + -0.41. Is 2/167 >= h?
False
Let f = -21 - -9. Let g be (5/(-15))/(2/(-12)). Suppose -c - h = 16, g*c + 5*h - 2*h + 33 = 0. Is c > f?
False
Let y(h) be the third derivative of h**6/120 + 3*h**5/5 + 17*h**4/12 - 19*h**3/6 - 52*h**2. Let w be y(-35). Is 4 equal to w?
False
Suppose 110*w - 12086 = 133*w + 11098. Is -1007 less than or equal to w?
False
Let l = -24 + 23.941. Let i = l - 0.941. Let c = 1 - i. Which is smaller: 2.3 or c?
c
Suppose -650 = -5*g - s, -142 = -3*g - 4*s + 265. Suppose 9*q + g - 237 = 0. Is 2 smaller than q?
True
Suppose -w - 3*c = 75, -4*w = w + 2*c + 427. Let k = w + 86. Let v = -5 + 5. Is v equal to k?
False
Suppose -41*y + 75*y = 8466. Which is bigger: y or 1744/7?
1744/7
Let t = 3262 + -1930. Suppose -18*k + 666 + t = 0. Is k != 111?
False
Let d be (-32)/(-9) - -4*(-11)/(-99). Suppose d*f + 4*x - 232 = 0, 0 = -2*f + 2*x + x + 111. Which is bigger: 59 or f?
59
Let y = 697 + -695. Let a be (-7 + (-1692)/(-243))/(y/62). Is 0 less than or equal to a?
False
Suppose -3*l + 7*t + 36 = -45, 3*t = -4*l + 145. Is l < 34?
False
Let t = 7167 + -6289. Is t smaller than 883?
True
Let o = -115428 + 115428. Let c = -155/6 + 4337/168. Is o smaller than c?
False
Let i(n) = -n**2 + 11*n + 14. Let r be i(12). Suppose -3*k = 2*o + 116, r*k - 3*k = -5*o - 324. Let u = -36 - o. Is 29 bigger than u?
True
Let o = -1.88 - -0.58. Let f = 29 - 91. Let n = f + 65. Is n equal to o?
False
Let g(c) = -2*c + 14. Let v be g(4). Suppose -v = -18*h + 16*h. Suppose -3 = -3*p + 9, -h*j - 2*p + 11 = 0. Is j != 6/11?
True
Let z(x) = 2*x - 6. Let t be z(5). Let l be (3/(-6) + -4 + 6)/441. Let k = 1913/588 - l. Which is bigger: k or t?
t
Let k(d) = -9*d - 155. Suppose -15*q + 16*q + 17 = 0. Let c be k(q). Which is smaller: -24/31 or c?
c
Let d(z) = 6 + 26*z + 16*z + 15 + 27*z**2 + 85*z + z**3 + 0*z**3. Let n be d(-21). Which is smaller: 6/23 or n?
n
Let a = -1930 - -13543/7. Let j = -749.2 - -749. Which is greater: j or a?
a
Let l(b) = 8*b**2 - 2*b + 2. Let z be -2 + (1/2)/((-4)/(-24)). Let y be l(z). Let q be (-21)/4 + 6 - (-114)/y. Is q != 17?
True
Suppose -v = -19 + 20. Let b = -31/60 + 7963/15180. Which is bigger: v or b?
b
Let m = 1/32329 + 30638/54668339. Which is smaller: m or 1?
m
Let y(b) = -b**2 - 40*b - 84. Let l be y(-38). Let j = l + 35. Let r = -60 - -87. Are j and r nonequal?
False
Suppose -2*s + 3*i + 2*i = 30, -5*i = -20. Let d = -78475/37 + 2121. Do d and s have the same value?
False
Let x be (-7)/117*(9 + 1 + -4). Let s = 2033/5772 + x. Is s at most as big as -1?
False
Let i = 36062/3 + -12013. Do i and 5/4 have different values?
True
Let p = 138.975 + -153. Let c = -14 - p. Let f = c + -0.225. Are f and -25 equal?
False
Let l = -3938.9 - -3853. Is l greater than 1?
False
Let w be (40/(-2))/((-4 - -5)*1). Let b be (11/(-7) - -2)/(w/70). Let p = 77 - 76.86. Which is smaller: p or b?
b
Let p be -1 - (113/(-2) + 3/(-6)). Let d be (1 - (0 - 56)) + -2 + 0. Which is bigger: d or p?
p
Let z = 17452261/41 + -425665. Suppose -3*o - 4 = j + 4, o = -3*j + 8. Suppose 0*b - j*b = 0. Do b and z have different values?
True
Let d(w) = 49 + 3*w - 134 + 2*w**2 + 41 + 46. Let r be d(-1). Is 4/125 greater than r?
False
Suppose -3*v = -c - 17, -2*c = 6*v - 13*v + 40. Is 1092 greater than or equal to c?
True
Let q(u) = -23*u**3 + u**2 - 2. Let o be q(-1). Suppose -131 = -3*w - 4*a, -4*w + o = a - 170. Let r = w + -104. Which is smaller: r or -54?
r
Let j be 3/((-144)/(-10)) + 106/848. Which is bigger: j or -8129?
j
Suppose -8 = g - 7. Let l(f) = -f**3 + 8*f**2 + 9*f - 5. Let d be l(9). Let i be ((-4)/(-170))/((-6)/d). Is i >= g?
True
Suppose -2*t = 5*f, 0 = -2*t - 3*f + f. Do t and -20/23 have the same value?
False
Suppose -3*s = 0, 2*s + 100 = 5*b + 105. Is 40/453 greater than or equal to b?
True
Let l(u) = -57*u - 195. Let v be l(23). Let s = v + 236443/157. Which is greater: s or 0?
s
Let j(a) = -a**2 - 10*a - 22. Let v be j(-3). Let d be (v/(-689))/(6/(-4) - -2). Which is greater: 0 or d?
d
Suppose 271*q - 199*q + 18472 = -48272. Do -931 and q have different values?
True
Let m be 50/6*(-2)/(10/(-21)). Do 40 and m have the same value?
False
Let i = 5235 + -2936. Do i and 2299 have the same value?
True
Let z(x) = 