 o be ((-3)/(x - -5))/20. Let v be 1/(3*(-7)/21). Is v > o?
False
Let b be 401 - (-2 + -4) - -4. Let n = 377 - b. Which is smaller: n or -30?
n
Let n = -283.7307 + 284.2. Let u = n + 28.0407. Let c = u - -0.49. Is c at least 0?
True
Suppose 0 = -10*v + 9*v - 126. Suppose -26*m + 366 = -3*b - 30*m, 5*b - m + 633 = 0. Is b at most as big as v?
True
Suppose 0*s = -s + 3*o + 34, 198 = 5*s - o. Let v be (-26474)/s - (-26)/(-26). Let l = v - -663. Are -1 and l non-equal?
True
Let q = 16.7 - -106.3. Let p = -119 + q. Which is bigger: 9 or p?
9
Let i be 0/1 + -2 + 1. Let n be (0 + 2/(-6))*i. Let l = -22590 - -22590.4. Are l and n non-equal?
True
Let l = 137/25 + -9023/100. Which is greater: -86 or l?
l
Let g = 15174 + -15177.6. Do -8.2 and g have the same value?
False
Suppose 5*i + p + 4*p = 45, 5*i + 3*p = 35. Let t(a) = -4*a + 6. Let v be t(i). Let n = 302 + -315. Which is bigger: n or v?
v
Let u be (-5)/10*2 + -9. Let v(w) = -w**3 - 11*w**2 - 9*w - 7. Let q be v(u). Let k(x) = -x**3 - 7*x**2 - 6*x + 1. Let p be k(-5). Which is bigger: p or q?
q
Let s be (-495)/6 - 6/(-8)*(-116)/174. Which is smaller: s or -755/9?
-755/9
Let z(a) be the third derivative of a**4/8 - 5*a**3/2 + 24*a**2. Let j(r) = -r + 1. Let x(m) = 4*j(m) + z(m). Let i be x(-12). Which is bigger: 3/22 or i?
i
Let j = -145.48 + 157.517. Let h = 0.037 - j. Which is bigger: 1 or h?
1
Suppose 9*j - 88 = 200. Suppose 12 - j = 4*t, t = -3*h + 1. Suppose 16 = -f - h*k, -2*f - 2*k = 3*k + 32. Which is greater: f or -5?
-5
Let d be ((-16)/6 - 2)*56/(1904/(-87006)). Is d <= 11942?
True
Suppose -5*r + 10*r - 10 = 0. Let g be 52/(-24) - (-1)/12*r. Let w be g/4 - 14/28. Which is greater: w or -3/8?
-3/8
Let i be ((-47)/(-50))/(264/(-165)) - 2/(-5). Let a = 0.05 - -2.95. Is i at least as big as a?
False
Let s be (-2 + (-2)/(-4))*266/(-399). Is 1/9 bigger than s?
False
Let o be (5/(-2))/(16/(-96)). Let a(w) = w**3 - 14*w**2 - 15*w + 4. Let t be a(o). Suppose 0 = -5*p - 2*f + 23, -2*p - 5*f = -3 - 2. Which is greater: t or p?
p
Let x be (-3 + 5)/((-2)/(-7)). Suppose 2*r - 12 = -l, 0 = -2*r + 36*l - 31*l + 36. Which is smaller: r or x?
x
Let t be 4/(-16) + (-19)/4. Let f be 4/(-12)*3*t. Let y(h) = -6*h + 19. Let k be y(f). Is -10 equal to k?
False
Let r = -129.933 + 130. Let q = 3.76 + -3.767. Let i = r + q. Is i less than or equal to 0.2?
True
Let g = -1299 + 1316.1. Are g and -1 equal?
False
Suppose 9 = g + 6. Let f be -2 + (g - 0/4). Let j be ((3/40)/(-3))/(8/(-10)). Is f greater than or equal to j?
True
Suppose 2*r + 16 - 91 = -5*h, -2*h - r = -29. Which is smaller: h or 218/13?
218/13
Let i(a) = a**3 + 29*a**2 - 64*a - 60. Let o be i(-31). Let b(q) = -17*q**2 + 15*q + 2. Let u be b(o). Are u and -36 nonequal?
False
Let l(c) = 583*c + 9535. Let z be l(-47). Is -17866 <= z?
True
Let s(q) = -q**3 - 8*q**2 - 12*q - 33. Let y be s(-7). Suppose 3*n = y*g + 242, 0 = 5*g + 5*n + 164 + 391. Which is smaller: -116 or g?
-116
Let q be (104/12)/(1/(-3)). Let l be (-1881)/76 - (-8)/(224/21). Is q at most as big as l?
True
Let l = -40 - -42. Suppose 5*f + g - 11 = 0, g + 1 = l. Let r be (-285)/1430 + f/13. Which is smaller: 1 or r?
r
Suppose 12*d - 11*d - 4 = 0. Suppose 2*z - 7*z = s + 123, 3*s = -d*z - 358. Let b = s - -99. Which is smaller: b or -55/3?
b
Suppose 750 = -2*k - k + 636. Let a be 2232/(-80)*8/6. Is k smaller than a?
True
Suppose 0 = -12*r + 5*r - 28. Let q = r - 4. Let y be (4/q)/((-1)/(-94)). Is y >= -48?
True
Let k = -0.65 - -0.6. Let j = k - -0.06. Let w = 88.8 - 86.8. Which is bigger: w or j?
w
Let v = 67 + -57. Suppose v*a = 5*a - 60. Which is greater: -14 or a?
a
Let k be 0 + 0 - 16/285. Let x = 35398842/95 - 372651. Let j = x + k. Is j less than or equal to -33?
False
Suppose -5*b - u - 32 = -3*u, -3*u - 12 = 0. Let h be ((-2)/45)/(b/170). Which is smaller: 1 or h?
h
Let y = 5269.3 + -5246. Which is smaller: y or -2/21?
-2/21
Let g be -17*19/1292 - 959/404. Is g not equal to -2?
True
Suppose -17*t = -14*t - 12. Let a be 6*t/(-36)*3. Let v(o) = -8*o**2 - 12*o - 3. Let z be v(a). Which is smaller: -13 or z?
-13
Let z(w) = -59*w + 9. Let v be z(2). Let m = v - -95. Let q be (-5 + 47 - -2)*m/(-40). Which is greater: 16 or q?
16
Let r be (-234)/27*(-6)/1. Suppose 0*x = -x + r. Let h be (13/x)/((-11)/(-36)). Are 1 and h nonequal?
True
Let z = -93 - -371/4. Let o = -23.1 + 23.053. Which is bigger: o or z?
o
Let m be ((-644)/16 + 2)*(-120)/9. Suppose m = -3*k + 492. Do k and -46/9 have the same value?
False
Let h = 154.49 + -155. Let k = h - -0.91. Is -2/21 at least k?
False
Let t be (315/30 + -10)*0. Let l = 32 + -515/16. Which is bigger: t or l?
t
Let k = 16125.9 - 16126. Which is smaller: 917/2 or k?
k
Let b = 13907/126 + -994/9. Let d be (-10)/15 + (-16)/(-15). Is d less than or equal to b?
False
Let b = 1214 - 1205. Suppose 0 = -x - 3*l - 15, -4*l - l = 4*x + 39. Let j be x/(-3)*(0 + 5). Which is smaller: j or b?
b
Let p(h) = -25*h + 1624. Let k be p(65). Which is smaller: k or -1/2127?
k
Suppose 54*w = 29*w + 29*w. Which is smaller: w or 5/89?
w
Let f be (-1)/11*2 - 0. Let x = -1723/10 - -1719/10. Is x at most as big as f?
True
Let h(n) be the first derivative of n**4/2 - n**2/2 + 2*n - 17. Let v be h(0). Suppose -c = -v*c - 4*j + 17, 20 = -5*j. Is c > -1?
True
Suppose -g + 26*w = 204, 37*w = 42*w - 40. Which is greater: g or 107?
107
Let x be ((-60)/(-390) + (-480)/3458)/(6/(-140)). Which is smaller: x or -1?
-1
Let s(x) be the second derivative of -7*x**2 + 0 - 8/3*x**3 - 1/12*x**4 - 4*x. Let o be s(-15). Which is bigger: o or 3/14?
o
Let y = 8 + -2. Let l be (-1)/(((-3)/y)/(-1)). Let b be ((-90)/20)/(l/(-16)*-2). Which is greater: b or 19?
19
Let c = 6274/10787 + -60/161. Is 2/7 at most c?
False
Let n = 60 - 58.15. Let c = -1.75 + n. Is c greater than -1.52?
True
Let k = -1/12969 - -87349/11529441. Which is smaller: -1 or k?
-1
Let d(y) = -y**2 + 13*y - 12. Let x be d(11). Let u be 2*(x/(-5))/(-2). Suppose -5*o - u*k + 11 = 0, 2*o + 4*k = -3*o + 17. Is -1 greater than o?
False
Let i = -533 + 282. Let l = i - -257. Which is smaller: -3.5 or l?
-3.5
Let g = 119 + -98. Suppose 0 = 17*c - g*c + 64. Suppose 4*i = 6*i - c. Which is greater: i or 7?
i
Suppose -5*k - 4*o + 39 = 0, -71 = k + 3*o - 103. Suppose -c - 4 = 0, -4*n + 3*c + c + 12 = 0. Let m be (-2)/(-61) - (n - -1). Do k and m have different values?
True
Let i be 1/(1 + 9)*-4 + (-12)/20. Is i less than or equal to -3/584?
True
Let u be (3 - 1) + 7 + (-6 - -1). Suppose -u*i + i + 6 = 0. Suppose i*t = 2*c, 0 = -2*c + 3*t - 6*t. Which is greater: -3/59 or c?
c
Let j(s) = s**2 - 5*s - 21. Let g be j(10). Suppose -51 = -z - 4*q, 0 = 2*z - 0*q - 2*q - 52. Is g < z?
True
Suppose 7 = -4*p + 23. Suppose 4*b - 9 = -3*t, 0 = 3*b - p*t - 13. Suppose b*q = -q. Which is bigger: q or -2/43?
q
Let h = -357.3 + 343.5. Let z = 11.74 - -1.96. Let b = h + z. Is -2/177 greater than b?
True
Let d(r) = -4*r**3 - 26*r**2 - 5*r + 1. Let g be d(-8). Suppose 0 = -5*u - 3*z - g, 0*u + 85 = -u - 5*z. Let q = 62 - 146. Which is bigger: q or u?
q
Let f = -11865 + 11866. Which is bigger: f or 1/6749?
f
Let x = -1739 - -1739. Let l = 0.07 - -6.93. Let u = l - 6.9. Which is smaller: x or u?
x
Let d = 275 + -282. Let q be -2*d/(-60) - 3/18. Which is greater: q or 0.2?
0.2
Let g be (-771)/(-42) - 126/(-98)*(-6)/(-54). Let a = 5 - -14. Does a = g?
False
Let y = -16 - -21. Suppose y*m - v = -70, -m + 0*m - v - 20 = 0. Let q be (-43)/m - (-8)/60. Does q = -0.1?
False
Let v be (-6)/(-15)*10/2. Let m be 1616*(v - 2756/560 - -3). Let q = 127 - m. Is -1 > q?
False
Let b be 21/35*(1*23470 + 1 + 4). Are 14086 and b nonequal?
True
Suppose 0 = 4*w - 7*w - 5*u + 240, -4*w + 5*u = -285. Let a = w + 4. Which is smaller: a or 78?
78
Suppose 57 = -3*d - 62*q + 56*q, 2*d - 7 = q. Let b be -11*30/(-118) + -3. Is b >= d?
True
Let l(i) = 7*i + 7. Let j be l(-8). Let g = 439.8 + -428. Let k = 10.8 - g. Do j and k have the same value?
False
Suppose -4643 = 5*j - 11*d, 3*j + 114*d = 110*d - 2807. Which is smaller: j or -4667/5?
-4667/5
Let z(q) = -11 - 4*q - 10 - 7 + 1. Let m be z(21). Let l = m - -110. Is l at least 3?
False
Let i(g) = -16 + 44 - 17*g - 84 - 79. Let t be i(-8). Is 1 smaller than t?
False
Let q = -169.11 + 0.11. Let t = -170 - q. Is -3/29 bigger than t?
True
Let m be 3 