 p(-8). Let x = 4969 + -4988. Which is bigger: x or n?
x
Let m(g) = g**3 + 23*g**2 + 98*g - 67. Let b be m(-17). Which is smaller: 2/1169 or b?
2/1169
Let u(y) be the third derivative of y**6/60 - 23*y**5/60 - 11*y**4/24 - 5*y**3/3 + 6*y**2 - 2*y. Let s be u(12). Which is smaller: 10/13 or s?
10/13
Suppose 0 = 173*f - 178*f - 90. Let n = 572 - 569. Is f bigger than n?
False
Suppose 26*q + 3 = 22*q + s, -4*q + 15 = 5*s. Is q >= -3/107?
True
Let h be (84/(-16))/(1 + 1). Suppose 4 = -2*w + o, 5*o - 2*o - 6 = 3*w. Are w and h nonequal?
True
Let n(u) = -u**2 - 11*u - 52. Let m be n(-18). Let s = m + 212. Which is greater: s or 35?
35
Let q = 13.435 - -0.565. Let i = -45 - -32. Let s = q + i. Which is greater: -9 or s?
s
Let b = 0 - -1. Let m = b - 1. Let q(p) = 403*p - 18118. Let w be q(45). Which is bigger: w or m?
w
Let m be (4/(-23))/(4 - 2). Suppose 4*l = g - 27 + 6, 0 = -5*g - 5*l - 20. Is m greater than g?
False
Let k = -813 + 713. Let t = k + 106. Is t bigger than 0.3?
True
Let p be 7/1 - (7 + -4 + 1021/255). Do 16/5 and p have the same value?
False
Let j = -11731 + 11760. Which is bigger: 0.51 or j?
j
Let y = 7618/3 + -2539. Which is smaller: y or -485?
-485
Let o be ((-4)/(-2))/((-9)/((-297)/22)). Suppose -o*t + 2*t - 2 = 0, -3*m = 4*t + 182. Which is bigger: -56 or m?
-56
Let n = 2622 - 2619.757. Let f = n - -0.057. Let o be 7/35*(-10)/(-4)*0. Is o equal to f?
False
Let x(g) = -64 + 33 + 18 - 6*g - 2*g. Let l be x(-1). Is l greater than or equal to -25/4?
True
Suppose 5*l = 4*j - 228, -21*j + 2*l - 148 = -24*j. Which is smaller: j or 533/10?
j
Let z(s) = -s**3 + 2*s + 12. Let b be z(0). Suppose 3*r - 4*r = -d + 235, 4*r + d = -925. Let j be r/b*(-3)/(-2). Are j and -30 non-equal?
True
Let c = -0.732 - -0.73. Let i = c + -31.098. Let m = -31 - i. Which is bigger: m or -0.19?
m
Let w be (-10)/(-6) + -4 + (-50)/(-6) + -5. Is w < -3/14401?
False
Let l = -353 - -338.7. Let k = 16.3 + l. Suppose 3*g + 8 = g - 4*v, 3*g + 23 = 5*v. Which is greater: g or k?
k
Suppose -6*z + z = -z. Let r(y) = y**2 + y - 2. Let h be r(2). Suppose -2*o - h + 2 = z. Which is greater: o or -1/20?
-1/20
Let u(j) = 5*j**2 + 145*j + 5399. Let a be u(-33). Is a at least as big as 6059?
True
Let o = -1.951 + -0.049. Let f = -969 + 6794/7. Let g = f + -12/7. Which is greater: g or o?
g
Let q = -60 + 59.949. Let f = q - -28.051. Let x = 26 - f. Which is greater: -7/5 or x?
-7/5
Suppose -3*c = -5*a - 26 + 54, 0 = c - 4*a + 21. Is c <= -11/75?
True
Let y be 7/(-9) + 2/(-9). Let t = 6676 - 1562183/234. Which is bigger: y or t?
t
Let n(h) = 2802*h - 114884. Let j be n(41). Let q be 1 + -47 + (0 - -1). Is q > j?
False
Let x(n) = n**2 + 43*n + 255. Let l be x(-23). Which is smaller: l or -614/3?
l
Let g = -38 + 38. Suppose g = -38*z + 40*z - 4. Suppose 0 = -k + z. Is -14 < k?
True
Let f = -39/70 + 2/35. Let h(y) = -y**2 + 40*y - 70. Let z be h(38). Let t be (-5)/10*((4 - z) + 3). Are t and f nonequal?
False
Let u = -153998/9 - -17110. Is -0.017 at least u?
True
Let g be (-1 + 2)/((-3)/6). Let c(x) = 8*x + 649. Let n be c(37). Let r be (-308)/n - ((-36)/15 - g). Is 0 greater than r?
False
Let a(k) = -k**3 + 49*k**2 - k + 77. Let x be a(49). Suppose 20 = -5*s + 5*g, -10*s + 5*s + 3*g - x = 0. Which is smaller: s or 27?
s
Suppose 3739 + 1231 = 5*b + 3*n, -2*b - 4*n = -1974. Is -1 at least b?
False
Let y = -74.72 - 0.18. Let t = y + 68. Let d = -6.8 - t. Is d at most 0.23?
True
Let d = 1488 + -1486. Let y = -5.29 - -5. Is y at most as big as d?
True
Let s(j) = j**2 + 31*j + 18. Let u be s(-30). Suppose -t = -5*b - 20, -1 = -b + 4*t - 5. Is b smaller than u?
False
Suppose 2*d = d + 81. Let h = d - 1055/13. Which is smaller: 0 or h?
h
Let d = -1220692/37374285 - -58/1781. Is d at least 0?
False
Suppose 3359 - 3395 = -6*s. Which is greater: -0.2 or s?
s
Let k be (2 + 112)/1 + -3. Let b be (-1 - k/(-9))*-3. Let o(d) = -833*d - 5033. Let q be o(-6). Is q at most as big as b?
True
Let v be (16/36)/((-4)/(-18)). Suppose -v*d = -6 - 50. Let b be (2 - -1) + (d/8 - 4). Which is smaller: 4 or b?
b
Suppose -9*r = 995 + 4450. Is -606 at most r?
True
Let u = 13394/2781613 + -1/13183. Which is smaller: u or 1/5?
u
Let i = -7881 + 102448/13. Suppose 2*k - 6 = 0, -2*y - 3*k = -6 - 1. Is y greater than i?
False
Let b(x) = 2 + 136*x**2 + 130*x**2 - 262*x**2 + x. Let y be b(-1). Which is greater: y or 1?
y
Let x be (-8)/(-4)*(-2765)/14. Let i = -376 - x. Let j = 53 + -33. Is j >= i?
True
Suppose g - 28 = 4*d, -4*g - 4*d - d + 70 = 0. Let h = g - 20. Suppose h = 5*o + 1 - 76. Is o <= 44/3?
False
Let t = -7900 + 7900. Are -3/398 and t nonequal?
True
Let s(r) = -r**2 - 54*r - 138. Let w be s(-42). Which is bigger: 2568/7 or w?
2568/7
Let t = 6892 - 11306. Is t greater than or equal to -4416?
True
Let q be ((-12)/60)/(((-4)/6)/((-50)/(-3))). Which is greater: 79/14 or q?
79/14
Let m = -33.3 - -0.3. Let r = -88.1 - m. Let t = -55 - r. Which is smaller: t or -0.2?
-0.2
Suppose 9*g - 76 = 4*u + 4*g, 2*g + 56 = -2*u. Let r(q) = q**3 - q**2 - q - 5. Let s be r(4). Let y = 14 - s. Which is smaller: u or y?
y
Suppose 0 = -90*q + 97*q - 770. Let l = q - 110. Let r = -3/989 - 1741/78131. Which is smaller: r or l?
r
Suppose 11*u - 120 = 31*u. Let j be ((-11)/u)/((-13)/(-22)) - 3. Is -1 <= j?
True
Let w(l) = l**2 + 20*l + 4. Let d be w(13). Let x = d + -5621/13. Let p be 1/(((-1)/1)/(6 - 7)). Are x and p unequal?
True
Let s = -1.3 + 60.3. Let c = s - 64. Let r = -0.09 - 0.11. Is c != r?
True
Let g = 34/27 - 904/675. Let u = -656.1 + 656. Which is greater: u or g?
g
Suppose -4*a = 2*o - 1119 + 3229, -5*o - a - 5221 = 0. Is -1042 greater than or equal to o?
True
Let k(n) = -n**3 - 26*n**2 - 5*n + 865. Let g be k(-24). Is g at least as big as -1167/7?
False
Let z = -669 - -658.85. Let t = z + 0.45. Do t and -0.1 have different values?
True
Let i = -6.101 + 0.001. Let p = i - 0.9. Let k = 3 + p. Which is greater: k or -3/4?
-3/4
Suppose 3*s = 4*a - 21, 2*s = 4*a + 22 - 44. Which is bigger: s or 14/1977?
s
Let a(d) = d**2 - 29*d - 32. Let t be a(30). Let m be (7/21)/(t/12). Let c = 1.1 + 3.9. Are c and m non-equal?
True
Let p be 1/((-2)/6*3). Let o = -152/2277 - -2/23. Which is smaller: p or o?
p
Suppose -26*a - 38 = -90*a + 410. Let u be ((-24)/20)/(2/10). Let c = -1 - u. Which is smaller: c or a?
c
Let l = 39283 - 942995/24. Which is greater: -0.2 or l?
-0.2
Let k = -34215/52 - -658. Let o(l) = 7*l**2 - l**2 + 5 - 7*l**2. Let f be o(2). Is k > f?
False
Let c = 2420.1 + -2420. Let f = 0.078 + -0.08. Is c less than f?
False
Suppose -12993 - 1046 = -57*q + 19648. Are q and 574 equal?
False
Let s = 0.3598 - 0.774. Is s equal to -1?
False
Let h = -155 - -161. Suppose 5*v + 4*x = 21, -2*v - h*x + x = -5. Which is smaller: 3 or v?
3
Let w(g) = -2*g**2 - 4*g + 1. Let h be w(-3). Let d(l) = 2717 + 2687 - 8*l - 5429. Let z be d(h). Is z less than or equal to 15?
True
Let x(v) = -v**2 + 14*v - 18. Let i be x(2). Let h be (6*(734/i + 3))/2. Which is smaller: h or 377?
h
Suppose 1848*l - 1868*l = -41300. Which is bigger: 2064 or l?
l
Let c be (-3 + 35/10)*0. Suppose -3*j + 96 = 4*i + 25, c = -i + 4*j + 32. Suppose m = -4*v + i, 2*v + v - 8 = m. Which is smaller: -6 or v?
-6
Let x = 1.132 - 0.272. Let k = -1.86 + x. Is k greater than -0.2?
False
Let y = 7227 - 3990. Is y >= 3237?
True
Let s be 36924/918 - 2/9. Let b be (-6)/27 + s/(-135)*6. Which is smaller: b or -29/21?
b
Let c = -1183.3 + 1744. Is c greater than 2/5?
True
Suppose -10*s + 15*s = 5*c + 5, 0 = -6*s + 2*c + 2. Let w be (-4)/12 + 67/192. Is s at most as big as w?
True
Suppose 0 = -4*q + 8295 + 6017. Suppose -7*i + 5*i = -4*t + q, i = -2*t + 1791. Which is bigger: t or 894?
t
Let z(n) = 2*n**2 + 58*n + 1. Let i be z(-29). Let o = 5600492/5 - 173486152/155. Let m = o - 833. Is i < m?
False
Suppose 3*o + 5*c = 21226, 3*o - 3*c - 8702 = 12508. Which is smaller: o or 2/7?
2/7
Let j(s) = -41*s - 2 - 9 + 6. Let w be j(-1). Let a = w - 38. Is a <= 1.2?
True
Let v = -91283/2 - -45591. Let c(j) = -j**3 + j**2 - j + 1. Let y be c(4). Which is smaller: y or v?
y
Suppose -4*y = -7*y - 4*n - 10, 3*n = y - 1. Let x = 230266/2373 + 343/339. Let o = 292/3 - x. Which is smaller: o or y?
y
Let v = 20474.67 + -20476. Is -2/15 <= v?
False
Suppose -4*r - 29 = 5*u, -4*r + u = -0*r - 1. Le