s(p) = -p**3 + 4*p**2 - 6*p + 26. Let v be s(4). Let m(b) = -15*b**2 - 4*b - 3. Let x be m(-2). Which is bigger: v or x?
v
Let b = -551.92 - 3.08. Let r = -615 - b. Is -0.01 smaller than r?
False
Let z = 143227/5 - 1330403/45. Is z bigger than -920?
True
Let t(d) = 4*d**3 - 72*d**2 + 221*d + 11. Let o be t(4). Let f be 26/(-18) + 3/3. Which is smaller: o or f?
o
Suppose v = -4*c + 258 + 31, 4*v + 4*c = 1216. Which is greater: v or 4?
v
Suppose 155*g - 13482 = 25*g + 4*g. Let w = -40 - -148. Which is smaller: g or w?
g
Let k = 29461 + -29280. Are k and 1977/11 unequal?
True
Let b = -178 - -198. Let v(k) = 3*k**2 - 54*k - 41. Let w be v(b). Does w = 79?
True
Suppose j + 51*i - 48*i = 616, 5*j - 5*i = 3020. Let l = 446 - j. Is -160 >= l?
True
Let i = 1527/10675 - 2/10675. Let m = 3.4 - 6.8. Let r = 0.6 - m. Which is bigger: i or r?
r
Let y = 291 - 281. Suppose 104 = -y*d + 36*d. Which is smaller: -41 or d?
-41
Let g = -11 + 359. Let v = 354 - g. Let j = -0.59 + -0.01. Which is smaller: j or v?
j
Suppose 48 = -4*z - 4*n, -2*z + 10 = -5*n + 55. Let d = 19 + z. Suppose -5*s - 23 = -5*i + 2*i, d*s = -16. Which is bigger: i or -2/71?
i
Let o be 10/(-45) - (20/48)/((-18)/9168). Which is smaller: o or 218?
o
Suppose 3*w = -15, 307*c - 3*w + 81 = 304*c. Which is bigger: -61 or c?
c
Let g = 0.4926 + -2.4926. Is g at least as big as -821?
True
Let p be (-285)/9*(2 - -1). Let m = 1036 + -942. Let y = m + p. Which is greater: y or -6?
y
Let v = -38.034 - -38. Let l = v + -0.074. Let h = -0.092 + l. Are h and -28 nonequal?
True
Let k = -306 - -483. Suppose 0 = -3*s + 2*n + 236, 2*n = 5*s - k - 219. Is s > 80?
False
Suppose 0 = 5*x + 31 - 96. Let b be 216/30 + (120/25)/(-4). Suppose -p - x - b = 0. Is p at most as big as -20?
False
Let i = -229 + 229.826. Let c = i - -50.174. Is -2 bigger than c?
False
Let z = -261/11 + 222883/9394. Is 0 != z?
True
Let k be 3/((-36)/(-8))*4*(-2)/16. Which is smaller: k or -6.37?
-6.37
Let i = -445 + 412. Let k be 11/(i/9) + 3. Which is bigger: k or -13/18?
k
Suppose 3*k - k = 162. Let w = 85 - k. Suppose 2*b - w*b - 36 = -v, -93 = 5*b - 4*v. Is b > -19?
True
Let w(g) = -440*g - 2582. Let d be w(-6). Is -64 at most d?
True
Suppose -3*i + 18 = 3*b, -5*b + 4*i = -69 + 75. Is b smaller than 79/105?
False
Let v be 13 + (-18)/(-153)*17. Is 456/31 greater than v?
False
Suppose 1065 - 21344 = -5*g - 4*n, -3*g + 2*n + 12141 = 0. Is g < 4051?
False
Let t = -178 - -178. Suppose -3*k + 2*r = -6 - 4, 3*k + r + 5 = t. Which is greater: 1/358 or k?
1/358
Let q = 2/495431 + 2061983780/10404051. Let g = -198 + q. Which is smaller: g or -1?
-1
Suppose -g - 7 = -3*h, -3*h + g = 4*g - 27. Suppose v + 2*j - 8 = -j, 2*v - 3*j - 7 = 0. Suppose -6*r + 10 = 3*l - 5*r, 25 = -v*r. Which is bigger: l or h?
l
Let v = -144.95 + -1.05. Let i = -145.9 - v. Is 27 less than i?
False
Suppose -4*j + 6*j + 108 = 4*m, 2*j + 5*m + 117 = 0. Let o be (-20)/j - (-3)/21. Is o less than -3/20?
False
Let i = -1043 - -3072. Are i and 2029 nonequal?
False
Let j = -12875 + 89948/7. Let s = 24 + j. Suppose 12*i - 9*i = 0. Is s smaller than i?
True
Suppose 3*j + 4*y - 6 = 0, 4*j - 8 = -0*j + y. Let k be (2651/385 - 7)/(j/(-7)). Is 0.462 greater than or equal to k?
True
Suppose 0*v - 3 = 3*v. Let b(q) = 13*q**2 - 159*q + 42. Let a be b(12). Let h be ((v - 1) + 0)*a/30. Which is smaller: h or -1.3?
-1.3
Let x = 129 - 123. Let y(i) = i - 7. Let d be y(x). Let m = -2/485 + -3866/3395. Which is smaller: d or m?
m
Let t = 14745005/43078 + -3/6154. Is 342 smaller than t?
True
Suppose -2*o + 4*o + 264 = 3*q, 5*q - 442 = 4*o. Suppose -82*f + q*f - 8 = 0. Is -9 less than or equal to f?
True
Suppose 249*c = 3*n + 253*c - 19525, -21 = -3*c. Which is smaller: 6500 or n?
n
Let k(o) be the first derivative of -o**4/4 - 10*o**3/3 + 4*o**2 + 3*o - 16. Let t be k(-10). Let w be (-42)/t*1/(-9). Which is smaller: w or 0?
w
Let q be ((-16)/(-3))/((-52)/390). Let x = -41 - q. Which is smaller: x or -1/12?
x
Let s(w) = -w + 2. Let h be s(-19). Let r = 14 - h. Which is smaller: r or -8?
-8
Suppose -1 = 2*r - 3*r. Suppose -a + 0*a - 55 = 0. Let f = -54 - a. Is r at least f?
True
Suppose -2*k + 2 = -p, -10*p + 5*k = -8*p + 7. Suppose -2*q + p*q - 6 = 0. Suppose 2*n + 1 = q*x, 4*x = -7*n + 3*n + 28. Does 1 = x?
False
Let h be 825/110*10/(-15). Is h < 344?
True
Let z be -49 + 1 + (21 + -19)/(0 - 2). Let r be 286/(-6) - (-14)/21. Do z and r have the same value?
False
Let x = -252 + 151. Let v = x + 148. Let f = v + -54. Is f bigger than -2/7?
False
Let z be (-4)/16*-22*2*-1. Suppose 3*l - 4*j - 120 = j, -4*l + 2*j = -174. Let f be 20/(-3)*l/30. Are z and f nonequal?
True
Suppose -41*j - 78 = -38*j - 3*u, 4*j + 3*u = -125. Are -682/23 and j nonequal?
True
Let s be (-12)/162 + (249680/(-216) - -11). Which is smaller: s or -2289/2?
s
Let t = -32/155 - -347/930. Let l = -3.07 - -0.07. Let d = l - -2.8. Which is smaller: d or t?
d
Let u be 7 - (252570/33362 - 35/((-735)/(-12))). Is u at most as big as 1?
True
Let i(m) = m**3 - 7*m**2 + 21*m - 23. Let q be i(8). Let k = -273 - -481. Which is bigger: q or k?
q
Suppose 0*c = -5*c - 5. Let l = -1819993/1965 - -4631/5. Are l and c unequal?
True
Let i = 0.026 + 0.071. Let n = -1.113 - i. Let m = -0.31 - n. Is m bigger than 2?
False
Let d(r) = 4*r**2 - 24*r - 1. Let b be d(6). Let k be 1176/(-232) - b*5. Suppose 5*p - 42 = -47. Which is greater: p or k?
k
Let k be (161/(-28) - -5)*(-12 + 0). Let m be (-117 - k) + 2 + 1. Which is bigger: m or -124?
m
Let u = 2316549/112 + -20682. Is u at most 2?
True
Let o be 4810/18 + (-10)/45. Let t = 266 - o. Which is smaller: t or -1/205?
t
Let l = -1857.8 - -1858. Is 320/21 greater than l?
True
Suppose 0 = -2*q - 2*f - 36542, -10*f + 91436 = -5*q - 6*f. Is -18279 equal to q?
False
Let n be 128/6*(254 + -248). Which is smaller: 130 or n?
n
Let k be -14*(-5)/45*9/(-2). Let x be ((-6)/k)/(2/14). Which is smaller: x or 7?
x
Let q = -0.53 + 0.08. Let a = 4.45 + q. Let z = -4.31 + a. Which is bigger: z or 1/2?
1/2
Let p = -1.9765 + -186.0235. Is 75 greater than p?
True
Let p(h) = -10*h - 7*h**2 - h**2 - 3*h**3 + 4*h**3. Let y be p(9). Let z be -18 - 1641/(-180) - (-2)/15. Which is smaller: y or z?
y
Let k be -1*((-4)/(-6) + 18/(-27)). Let d = -1979 - -33631/17. Which is bigger: d or k?
k
Let o = -1/3518 - -2222499/8795. Is o at least as big as 252?
True
Let q = -27 - -17. Let d be 0/(11/((-55)/q)). Which is smaller: d or 1/72?
d
Let j = -3310 + 2821. Which is greater: -485 or j?
-485
Let c be (-39741)/11*(9485/(-3162) - -3). Let j = -7/374 + c. Which is bigger: -1 or j?
-1
Suppose 0 = -1266*t + 1259*t + 462. Let i be (-4 + -4 + 9)*(-162)/t. Is i at most -3?
False
Let o = -1597/3 + 46280/87. Let p = 27815 - 27814. Which is bigger: o or p?
p
Let b = 4.01 - -4.09. Which is smaller: 9 or b?
b
Suppose 0*l + 2*j = -3*l - 201, 0 = 4*j. Let t = l + 76. Let f(a) = -a**2 + 7*a + 14. Let u be f(t). Which is greater: 4 or u?
4
Let c(a) = -2*a**2 - 5. Suppose 15*n - 79 = -4. Suppose n*k = 10, -4*w = 6*k - 2*k + 8. Let y be c(w). Is y >= -36?
False
Let x = 0.1913 - -0.0187. Let t = 7.9 - 8. Let n = x + t. Do 0.1 and n have different values?
True
Let q(n) = 75*n**2 - 449*n - 18. Let j be q(6). Is j <= -15?
False
Let c(x) = -176*x + 4752. Let h be c(27). Which is smaller: -36/1027 or h?
-36/1027
Suppose -6*b = -114 - 396. Suppose -4*k - 3*w - w = 84, -w = 5*k + b. Let m = 41 + k. Are 26 and m unequal?
True
Let z = -10919 + 10920. Does -1/6424 = z?
False
Let g = 395 - 197. Let w = g - 198. Let y = -178/2895 + -1/193. Are y and w equal?
False
Let m(j) = 3*j - 5. Let r be m(3). Suppose r*t = -2*w - 30, 4*t + w + 5 = 3*t. Do t and -65/6 have the same value?
False
Let k(o) = o**2 + 11*o - 9. Suppose 4*l = 10*l - 354. Suppose -5*a - 11 - l = 4*j, 4*j - 28 = 2*a. Let i be k(a). Which is greater: i or 32?
i
Let t = -265 - -265. Let l = -5549/38 - -146. Are l and t non-equal?
True
Let v = -18827/6 - -3147. Let o be (-6)/(-12)*(-24 - -42). Is o at least v?
False
Let a = -2192 + 2193. Which is greater: -0.0631 or a?
a
Let l be (-2)/(-141)*(-6)/4. Let c(p) = p**3 - 15*p**2 - 90*p + 953. Let f be c(17). Is l less than f?
True
Let m(x) = 3*x**2 - 4*x - 3. Let h be m(-1). Suppose 2*i + i + f = 18, 2*i = h*f + 12. Let r(z) = -z. Let k be r(2). Is k smaller than