7*n**2 + 43*n - 2. Let y be x(3). Which is smaller: y or -5/2929?
-5/2929
Suppose -4*f + 1 = -3*i, -162*f = -166*f + i + 3. Is 6/1567 < f?
True
Suppose 0 = -3*v - 3, t + 2*v - 27 = 5*v. Let u(w) = w**2 - 24*w + 39. Let q be u(t). Is 201/5 < q?
False
Let b be (-936)/48*12/18. Which is bigger: b or -189?
b
Let f be 0/2 + (-8448)/(-1312). Which is greater: 1 or f?
f
Let t be 6 + 27/(-15) + 14/(-70) + 139. Which is smaller: 196 or t?
t
Suppose -16360 = 227*k - 232*k. Which is bigger: k or 0?
k
Let y = 136 - 66. Let q = 73.4 - 3.45. Let j = q - y. Which is smaller: j or 1/2?
j
Suppose -3*t = -5*s + t + 64, 50 = 4*s - 2*t. Let n be ((-2)/(-4))/((-1555)/(-1560) - 1). Let f = -145 - n. Is f <= s?
True
Let s be (-6)/(-5) + 7 + (-528)/(-10). Are 76 and s equal?
False
Let s(l) = -2*l**2 - 91*l + 1181. Let j be s(-50). Is 733 greater than or equal to j?
True
Let c be (-37974)/416 + (-2)/(-4) + (-880)/5720. Do -91 and c have the same value?
False
Let g be (-5 - 0) + (-1)/1. Let s(w) = -2*w**2 + 13*w + 16. Let z be s(7). Let i be -2 - (15/(-10))/(z/(-48)). Are i and g nonequal?
True
Let a(u) be the second derivative of -5*u**3/2 + 15*u**2/2 + 32*u. Let n be a(1). Which is smaller: n or 3/326?
n
Let a(w) = -6*w**2 - 13*w + 19*w**2 - 10*w + 28*w. Let v be a(-2). Is v less than 41?
False
Let l(a) = -2*a**3 + 168*a**2 + 2*a + 27. Let v be l(84). Which is bigger: v or 1565/8?
1565/8
Let o(v) = -7*v**3 + 3*v + 2. Let t be o(-1). Let x be (-74)/(-111) - (-734)/t. Is 123 > x?
False
Let r be -4 + 0 + 9/(-3). Let s(d) = -d**2 - 6*d + 14. Let i be s(r). Let z be ((-459)/204)/((-6)/16). Which is smaller: i or z?
z
Let n = -13338/37 - -551667/1591. Which is bigger: n or -15?
n
Let f(n) = n**2 - 17*n - 12. Let k = 459 - 445. Let o be f(k). Let h = 64 + -119. Does o = h?
False
Let k = -2/1643 - -3292/4929. Which is smaller: k or 2?
k
Let o = -3401 + 4006. Is o at most -6?
False
Suppose 170 + 195 = q + 47. Is 0.2 > q?
False
Let b = 1064 - 967.4. Let v = b - 99. Is v at least -3?
True
Let i = -0.036 - 0.064. Let g be -17 - -24 - (4 - 1). Let m(x) = x**3 - 4*x**2 - 2*x + 7. Let s be m(g). Which is bigger: s or i?
i
Let m = -0.08169 - 0.91831. Which is greater: 493 or m?
493
Let s be (-322)/(-70) - 4 - 14/(-10). Suppose -214*o - s = -213*o. Which is smaller: o or 4?
o
Let q be (-104)/65*(-7 - -2). Suppose q*g + 35 = -205. Which is bigger: g or -26?
-26
Let b = -2 - -2. Suppose 0*s + 2*s = b. Let d be 4/(-33)*(15 - 124/8). Is d at least s?
True
Let t = -117.15 - -0.15. Let j = 1081 + -1079. Which is smaller: j or t?
t
Suppose -13*k + 79 = -207. Suppose -3*g = 5*o - 8*g - 95, -o + 13 = -3*g. Is k <= o?
True
Let l(c) = 26*c + 454. Let q be l(-65). Which is smaller: -1234 or q?
q
Suppose 152*m + 1 - 3 + 2 = 0. Is 25/904 at least as big as m?
True
Let b be (-266)/(-399)*(0 - (-6)/(-16)). Let t = 29 - 20.5. Does t = b?
False
Let p = 329/8 + -41. Let f = 0.307 - 40.107. Let y = f + 40. Is p at least y?
False
Suppose -29*y + 26*y - 561 = 0. Let z(d) = -22*d**2 - 2*d + 5. Let m be z(-3). Is m != y?
False
Let q = -0.00089 - -0.06551. Which is greater: -2/7 or q?
q
Let q = 13 - 8. Let c be (-6)/4 + 119/70 + 1818/10. Suppose 58 = q*n - 4*y + 305, 4*n + c = -2*y. Is n equal to -46?
False
Let n be 4*1*(-4 - 98/8). Let h(d) = d**3 - 12*d**2 - 19*d + 19. Let x be h(14). Let t = 79 - x. Which is smaller: n or t?
t
Suppose l + 0*d + d = 0, -4*d - 12 = -2*l. Suppose 4*r - 33 = -5*w, -5*r - 3*w + l = -23. Is r at least 31/9?
False
Let a = -4 - -5. Let k be -7 + (5807568/(-51865))/(-16). Is a at most as big as k?
False
Suppose 23 - 2 = 7*r. Let l = -3.677 - 38.323. Is l >= r?
False
Let i = -281 + 284. Suppose j = i*a - 5*a + 5, a = 2*j - 5. Is 2/721 at most as big as a?
True
Suppose -2*k = 4*w + 60, -2*w + 2*k - 65 + 29 = 0. Is w smaller than -221/15?
True
Let l be ((-6)/600)/(5075/(-600)). Is l bigger than -1?
True
Suppose 209*r = 206*r + 450. Let z = -171 + r. Let w = 15 - 15.1. Which is smaller: w or z?
z
Let g = -104 - -109. Suppose 2*u - 3 = -l, -4*l + g*u + 53 = 2. Is 2 greater than l?
False
Let v = 845 + -839. Suppose -175 = -0*j - 25*j. Which is smaller: v or j?
v
Let s(l) = 2*l**3 + 114*l**2 - 37*l + 63. Let p be s(-57). Is p != 2171?
True
Suppose 50*o - 56*o = 3336. Let v = 516 + o. Which is smaller: -30 or v?
v
Suppose 0 = 9*c + 68 + 4. Let u be (-1 - -5) + (-8)/(c/(-55)). Which is greater: -50 or u?
-50
Let v(t) = -2*t + 22. Let a be v(11). Suppose -23*q + 71 - 301 = a. Is q bigger than -35?
True
Suppose 0 = 20*d - 56*d + 648. Is d at most as big as -24?
False
Suppose -2*q - 8 = 5*w - 1, 0 = -2*w - 4*q - 6. Let l(h) = 53*h**2 + h - 6. Let m be l(-3). Let f be ((-24)/m)/(4/6). Which is smaller: f or w?
w
Let m = 1689 + -1734. Suppose 4*u - 2*i = -165 - 15, -2*u - 5*i - 78 = 0. Is m > u?
False
Let a be 12/(-387)*9/(-16). Let f = -713/21156 + a. Suppose -3*v + 6*v - 3 = 0. Which is bigger: v or f?
v
Let u be 1420/25 - -4*3*10/600. Which is bigger: u or 974/17?
974/17
Suppose -2*p - 3*p - 6498 = -5988. Is -76 < p?
False
Let v = 3964/345 + -173/15. Let p = 7 + -8. Is v at least p?
True
Let l = 4.998 + -1.398. Let w = -91.2 - -121. Let v = 30 - w. Which is smaller: l or v?
v
Let w = 7802 - 7839.17. Let v = w - -37. Let p = -0.41 - v. Which is smaller: -1 or p?
-1
Let y(f) = 6*f - 74 + f**3 + 13*f**2 + 10*f**2 - 11*f. Let z be y(-23). Which is smaller: z or 36?
36
Let l = -9665/1794 - -427/78. Let z = -0.02 + 1.02. Is z > l?
True
Suppose 6*h + 30 = 16*h. Suppose j - 5*p + 16 = 0, -j + 4*p - 10 = h. Let t = 116/345 + -8/115. Which is smaller: j or t?
j
Let u be (-3 - (-13)/3)*(-285)/(-10). Suppose o = -4*v - 42, 4*o + u = 3*o - 2*v. Which is bigger: -35 or o?
o
Suppose 2*j = 5*k - 30, -2*j = k + 3*k - 6. Suppose -149 + 21 = -k*v. Do 34 and v have the same value?
False
Let v be 4*(-10)/(-664)*12/30. Let z(s) = -s**2 + 4*s + 5. Let r be z(6). Let t be (-2)/(-4)*(r + 7). Do v and t have different values?
True
Let v = -15 + 5. Let m(x) be the second derivative of x**3/6 - 7*x**2/2 + 35*x. Let q be m(-3). Are q and v unequal?
False
Let r = -153.322 - 1.078. Let g = r - -154. Which is smaller: g or -0.2?
g
Let l(j) = j**3 - 4*j**2 + 18*j - 61. Let v be l(5). Is v <= 4?
False
Suppose 4*k + 2*o = -3*o - 177, 169 = -4*k + 3*o. Let y = -83 - k. Let n be -1 + 6 - y/(-8). Which is greater: n or 4/7?
4/7
Let l(h) = -23 + 46 - 9*h - 4*h - 20 + 16*h**2. Let v be l(2). Is v smaller than 127/3?
True
Suppose 26*u - 28*u + 2810 = 0. Let o = u - 2091. Let f be (o/(-35))/((-4)/(-10)). Is 48 smaller than f?
True
Let g = -102661 + 19402976/189. Is g > -1?
True
Let l be ((-48)/32)/((-399)/(-56)). Suppose u + 3*u + 24 = 0. Let i(s) = s + 7. Let r be i(u). Which is bigger: l or r?
r
Let p be ((-2)/(-3))/(6/9). Suppose 63*d + 129642 = 12*d. Let i = d - -343172/135. Is i greater than or equal to p?
False
Suppose -7*h - 34644 = 4*r - 12*h, r = 4*h - 8650. Does r = -8667?
False
Suppose 47*b - 54905 = -232283. Is -3775 < b?
True
Let w be (-10810)/(-3) - 4160/(-2496). Is 1 greater than w?
False
Let x(y) be the first derivative of 2*y**2 - 20*y - 3. Let g be x(14). Suppose 6 + g = -3*d. Which is smaller: d or -12?
d
Let n(a) = -2*a**3 - 4*a**2 - 9*a + 11. Let h(j) = j**3 + 8*j - 5. Let u be h(0). Let v be n(u). Which is bigger: v or 207?
207
Suppose 7*m = -57*m - 64. Is m >= -10/39?
False
Let s be (-25883)/2574 - 1/(-18) - -5. Let g(o) be the third derivative of -o**4/24 - o**3/3 - o**2. Let h be g(-3). Do h and s have the same value?
False
Let v(i) = -7*i**3 - 78*i**2 + 17*i + 27. Let z(g) = g**3 - 2*g**2 + 3*g. Let x(q) = v(q) + 4*z(q). Let f be x(-29). Is f at most as big as 34?
True
Let p be (1 - 121)/(-3)*12/8. Suppose 11*w - 26*w + p = 0. Is 0.039 smaller than w?
True
Let d = 362943809/3049 + -119037. Which is bigger: d or -1?
d
Let p be (-3 - 77/(-21))/((-5)/24). Let h = -39 - -57. Let k = -20 + h. Which is bigger: k or p?
k
Let j = 737.295 + -1.295. Let y = j + -736. Is -68 greater than y?
False
Suppose -11*s = 19*s - 1710. Which is bigger: s or 48?
s
Let o(z) = z**3 - 7*z**2 + 6*z + 25. Let r be o(4). Let d = 1403 - 413883/295. Which is smaller: d or r?
d
Let m be (-10)/2*(0 + 10). Let g(j) = j**2 + 14*j - 10. Suppose -2*h + h = b + 12, 2 = -h. Let r be g(b). Are r and m equal?
True
Let c(l) be the second deriv