Let y(x) = x**3 + 5*x**2 + 6*x + 1. Let m be y(-1). Which is greater: -26/167 or m?
-26/167
Suppose 0 = 710*i - 698*i + 36. Which is smaller: i or -148/65?
i
Suppose 5*s - 536 + 88 = 3*x, x + 120 = -2*s. Which is bigger: -20 or x?
-20
Suppose 0 = 4*g - 16, -w + 19*g - 17*g + 155 = 0. Let l = w + -928. Which is bigger: 0 or l?
0
Let n = 420/14171 - 1/383. Suppose 21 = 2*f - 0*b - 5*b, -3*f - 4*b + 89 = 0. Suppose -37*r + a = -32*r + 9, 5*a - f = 3*r. Which is greater: n or r?
n
Let d be (-8)/(-68) - 135*8/(-68). Suppose 5*g = 0, 11*g + 20 = 5*q + d*g. Which is smaller: q or 10?
q
Suppose -16*p + 13*p = -o + 2728, -p - 4*o - 944 = 0. Is -911 >= p?
True
Suppose -4*i + 2*i = -3*k + 1064, i = -4*k - 510. Let h = -383 - i. Which is greater: h or 2/9?
h
Let h(q) be the third derivative of q**6/120 + q**5/4 + 5*q**4/8 - 5*q**3/2 - 16*q**2 + 23. Let m be -2 - (2 - 3) - 13. Let r be h(m). Does -29 = r?
True
Suppose -3*d + 5839 = -w, -11*w = -4*w + 5*d + 40899. Is w greater than -5843?
True
Let z = -2323.4 + 2322.6. Is 45 at least z?
True
Let b(o) = -20*o + 158. Suppose 12*g = 26*g. Let p be b(g). Is 158 greater than or equal to p?
True
Let s(f) = -f**3 + 4*f**2 + 37*f + 144. Let y be s(-10). Is y <= 1174?
True
Let j(u) = 31*u**3 - 4*u**2 - u + 12. Let z be j(2). Suppose 0*m = 2*m + z. Is -122 greater than m?
False
Let g be -1*2*-2 + (-2)/((-104562)/(-209161)). Which is smaller: 1/2 or g?
g
Let t = -8.64 + 8.14. Which is smaller: t or -18?
-18
Suppose 79*q - 320308 + 129312 = 496146. Is q at most as big as 8698?
True
Let g = 2/25935 + 47872/51844065. Is g greater than 0?
True
Suppose -2023 = -87*x + 70*x. Which is smaller: 2/27 or x?
2/27
Let i(g) = g**2 + g - 7. Let n be i(-3). Let z(w) = 51*w - 2. Let f be z(n). Let c = -44 - f. Which is greater: c or 8?
c
Let l = 8.5 + -8.6. Let t = 1/14 + 487/42. Which is smaller: t or l?
l
Let p(y) = y**2 - 5*y + 4. Let t be p(0). Suppose -10*r = -t - 6. Let d = -11 + 10. Which is smaller: r or d?
d
Let s = 910 - 6354/7. Suppose -2*x + 2*j - 6 = -24, 0 = -3*x + 2*j + 25. Let g be ((-1 + x)/((-6)/4))/(-2). Is g greater than or equal to s?
False
Let q = 6217/748 - 83/68. Which is smaller: 0.1 or q?
0.1
Let j = -48.4 - -48.093. Let l = j - -0.287. Which is smaller: 1/26 or l?
l
Suppose 0 = 5*q, 3*t - 4*q + 65 = 44. Let b = 15 - 34. Which is smaller: t or b?
b
Let m = 66 - 16. Suppose -256 = 42*l - m*l. Which is bigger: 94/3 or l?
l
Let o = 871 + -426. Let t = -332 + o. Which is greater: t or 112?
t
Let k(l) = -l**3 - 13*l**2 - 10*l + 28. Let s be k(-12). Suppose -s*p - 5*f = -f - 56, -2*f + 56 = 4*p. Suppose -6*g + p*g = -472. Which is smaller: -58 or g?
g
Let v be (-2 + (-14)/(-6))*1449/(-161). Let k = 9528/11 + -868. Is k >= v?
True
Let p be 3 - (10/30)/((-1)/(-6)). Let o be p/2*(-5 + 61). Let m = o + -66. Is -38 > m?
False
Let r = 7883 + -7857. Is 0.3 not equal to r?
True
Let v be 3*(-2)/2*(-4445371)/(-4347). Let x = -3059 - v. Is 9 <= x?
False
Let h = -26 + 25.83. Let c = 0.07 + h. Which is greater: c or -61?
c
Let o be 734/(-4) + 1707/1138. Is 41 smaller than o?
False
Let x = -4578.823 - 9.177. Which is smaller: x or -1/4?
x
Suppose 0 = -v + 5 - 1. Suppose -j + v*j - 71 = 5*s, j - 2*s - 23 = 0. Suppose -887*y = -1022*y + 3645. Is y at least j?
True
Let b = 2335573/9 + -259508. Let m = 21 + -13. Which is smaller: b or m?
b
Let t be (584/10)/1 + (-6)/(-10). Suppose 9*b - 11*b = -114. Is b != t?
True
Suppose l + l = -5*a - 62, -5*l - 4*a - 121 = 0. Let r = 253 + -235. Let f be 2/(-4)*66*12/r. Do f and l have the same value?
False
Let g(b) = -b**2 - 65*b - 1018. Let y be g(-30). Which is greater: 476/15 or y?
y
Suppose -w = 5*l - 25, -3*w - 2*l = -w - 58. Suppose -17*v - w = -12*v. Let b be (-2)/v - (-171)/(-27). Which is smaller: b or -0.1?
b
Let o = -38741 - -29913. Which is bigger: o or -8829?
o
Let q(b) = 16*b**2 - 206*b - 3. Let v be q(12). Which is greater: -172 or v?
v
Suppose -123*q - 561 = -124*q. Let c be (12/64)/(q/(-68)). Which is greater: c or 0.2?
0.2
Let x be ((-18)/(-96))/(((-22545)/(-84))/15). Which is smaller: x or 0?
0
Let y = -18716 + 18718. Which is smaller: -9518 or y?
-9518
Let a = -688 - -689. Does 2/17363 = a?
False
Suppose 2*y - 988 = -c, -3*y + 67*c - 65*c = -1475. Is y != 493?
False
Let n be 30/(-75) + 1 + 54/10. Let y be -2 - (-14)/n - -3. Suppose 0 = 4*w + l - 11, -3*l = -2*w - l - 2. Which is smaller: w or y?
w
Let s be (-3)/((-18)/(-4)) - (-125)/150*14. Let g(x) = 7*x - 1. Let v be g(2). Which is smaller: v or s?
s
Suppose x = 6*x + 20. Suppose -5*s = 10 - 35. Suppose 0 = -s*m + 6 + 9. Which is greater: m or x?
m
Let d = 2903 - 2844. Which is greater: 56 or d?
d
Let f be 78/30 + -2 - 12/(-5). Let p be f/27 - (-88)/(-198). Let x = -26.49 - -0.49. Is p equal to x?
False
Let j = 4.766 + -4.696. Is 424 != j?
True
Let q = -770897/4710 + 9/1570. Suppose 0 = 4*o - o + 492. Which is smaller: q or o?
o
Let l = 69391/5 + -13878. Let f = -0.1 - 3.9. Are l and f equal?
False
Suppose k + 6*w = 5*w + 143, 2*k - 302 = 2*w. Let n = k - 116. Which is bigger: n or 32?
32
Suppose -2340 + 56186 = 19*o. Which is smaller: o or 1?
1
Let i = 214 - 431. Is -220 > i?
False
Let j be -6*(-4 - -5) - (-544)/28. Do 0 and j have different values?
True
Let l = 4345 - 8689/2. Which is smaller: l or -0.0525?
-0.0525
Let t = -19 - 1. Suppose 7*k + 8*k - 90 = 0. Suppose -k = 2*g, 3*g = -0*p - p - 27. Which is smaller: p or t?
t
Let a be 0/2 + (-24077929538382)/(-1217383051210110). Let k = a - -135/355894397. Let c = k + -2/5535. Is 1 greater than c?
True
Let a = 0.055 - 18.055. Let i = -7 + a. Which is smaller: -2 or i?
i
Let x = -8873 - -8852. Let g(v) = 61*v**2 + v - 2. Let i be g(2). Let p = i + -3170/13. Is x less than or equal to p?
True
Let t = -2 - -5. Suppose -2*m - 4*v - 24 = 0, -5*v + t = -3*m - 0. Let s be (3 + 4 + m)*1/(-21). Are s and 1 equal?
False
Suppose -302 = -2*h + 2*q, 3*h + 0*h + q - 437 = 0. Let k(p) = 12*p**3 + 15*p**2 + 25*p - 61. Let w be k(2). Is h at least as big as w?
True
Suppose 7 = 2*h - 4*p - 9, -4*p - 16 = -h. Suppose -2*v = -4*v + 1864. Let q = -12122/13 + v. Is q less than h?
True
Let k = -265.5 - -285. Let z = k + -19.6. Which is greater: z or 27/20?
27/20
Suppose -329*h + 206*h = 0. Which is smaller: h or 1/3430?
h
Let r = 9/691 + 664/2073. Which is greater: r or 1014?
1014
Suppose -3*y + 2 + 10 = 0. Suppose -y*u + 2030 = -2*u. Let v = u - 33499/33. Do -1 and v have the same value?
False
Let j = 36 + -21. Let y be (-536)/(-402) - 8/6. Which is smaller: j or y?
y
Let i = -277 + 277. Suppose 8*v - 11*v = i, -5*s - 5*v - 5 = 0. Which is greater: s or 1/82?
1/82
Let h be 2349/(-24) - (4/32 + 0). Let v = h - -99. Suppose -5*w = -4*w - v. Do w and -1/19 have the same value?
False
Let c be ((-24)/(-15))/((-4)/(-10)). Let d be (6/(-12))/(1/c). Let f(u) = u**2 + u - 2. Let a be f(d). Is a at most as big as -2/33?
False
Suppose -5*z - 3 = -6*z. Suppose 26 = -3*i + q, -4*i - 5*q - 14 = -z*i. Let h be (-6 - i) + 1/2*-6. Is h less than or equal to 3/14?
True
Let b be -31 + (-3)/(-3) - -2. Let f be (-7)/b*((-9)/(-3) - 2). Are -2.03 and f equal?
False
Let g(n) = -n + 4*n**2 + 12*n**2 + 0 - 2 + 1. Let a be g(-1). Suppose -a - 6 = -y. Are 21 and y unequal?
True
Let p be -1 + (6 + -4)*135/(-6). Let s = -74 - p. Let k be (-48)/(-21) + 8/s. Which is greater: -9 or k?
k
Let b = -1/309077 - -1552827/2300151034. Are 1 and b nonequal?
True
Let z = 262073/2088872811 + -9/51497. Is z < 1?
True
Let f be -2 + (2 - (-2)/11). Let r(b) = -b**2 + 11*b + 2. Let o = 37 - 25. Let y be r(o). Which is smaller: y or f?
y
Let y = -36.15 - -38.33. Let x = -0.2 - -0.18. Let k = y - x. Is k < 2/3?
False
Let m be (-10)/(-12)*36/126*70/25. Are m and -571 equal?
False
Let b = 59.32 + -60. Let v = 7.68 + b. Let o = -8 + v. Which is smaller: o or -9?
-9
Let k be (6 - 6890/145) + 6. Which is smaller: -37 or k?
-37
Suppose 19*m + 1064 = 15*m. Let u = 211 + m. Is -54 smaller than u?
False
Let m(a) = a**2 + 3*a. Let s be m(-4). Suppose -10 - 38 = -s*w. Suppose -5 = -c - 2. Is w less than c?
False
Let m be ((399 - -3) + -4)*(-10)/(-20). Let d = m - 198. Is d >= 2/43?
True
Let l = -2362392/9185 + 1286/5. Which is bigger: l or -1?
l
Let h = 898.337 - 1.337. Let r = 897 - h. Is r >= 2/49?
False
Let o be (-216)/(-5) - ((-78)/10 + 7). Su