et v(n) = -14*n**2. Let k be v(-2). Let i be ((-3838)/66 - (-14)/42) + 8/(-44). Which is smaller: i or k?
i
Let m = 629 + -627.33. Which is smaller: m or 1?
1
Let s be ((4 - 3)/5)/((-4)/(-5)). Let a(y) = y**2 + 0 - 1 - y**3 + 2*y**2. Let d be a(3). Which is smaller: s or d?
d
Let v(u) = u**3 + 22*u**2 + 19*u - 43. Let a be (105/5)/(-1 - 0). Let m be v(a). Which is smaller: m or 1/11?
m
Let d(k) = -15*k**2 + 11. Let s(v) = 4*v**2 - 3. Let g(z) = -6*d(z) - 22*s(z). Let l be g(1). Which is bigger: l or -2?
l
Let o = 0.214 - 2.214. Is 8/9 less than o?
False
Let c = -450 + 450.37. Is -6 greater than c?
False
Let x be (-2 - -1*2)/(-1). Let w = -25 + 31. Let q be w/(-9) + 0 + 1/(-3). Is x >= q?
True
Let a = 462 + -385. Which is smaller: 6 or a?
6
Suppose 3*m - 29 = 2*q, 0 = -3*q - 2*m - 11. Let o be (3 - 0)/(-3) - q. Suppose -4*z + 4 = 0, z = -l + 12 - 6. Which is smaller: o or l?
l
Suppose 0*c + 5*c = -j + 2196, 2*j = 3*c - 1315. Is 439 bigger than c?
False
Let s = 16 + -12. Let y be (0 + s)*(-5)/((-120)/(-126)). Is -0.2 bigger than y?
True
Let z = 1049/5 - 7333/35. Suppose -g = -2*y + 8, -2*g = 2*y + y - 12. Which is bigger: g or z?
z
Let q = 33/4 + -8. Let l = -0.137 + -0.863. Which is greater: l or q?
q
Let s = -1164 - -2359/2. Which is smaller: -1/3 or s?
-1/3
Let p(b) = -b**3 + 5*b**2 - 3. Let o be p(5). Let x(v) = -v**3 - 9*v**2 - v - 17. Let j be x(-9). Let g = j + 7. Which is smaller: g or o?
o
Let x be (2 - (1 - (-684)/(-42)))/(-1). Which is greater: x or -16?
-16
Let x(s) = s**3 - 8*s**2 + 18*s + 136. Let l be x(-5). Is l at least -277?
False
Let k(y) = -9*y - 3. Let q be k(-2). Suppose 5*p - 13 = z - 12, -3 = 2*p + 3*z. Suppose p = -12*m + q*m - 9. Is m smaller than 7/2?
True
Suppose -5*t + 0*b - 4*b + 55 = 0, -3*t + 5*b = 4. Suppose -7*v + 4*v = -t*v. Let k be (-8)/(-94)*(-1)/2. Is v >= k?
True
Let v = 7.5 + -8. Let u = 3.1 - v. Let m = u - -0.4. Which is smaller: -1 or m?
-1
Suppose -2 = -4*i + 3*i. Suppose -150 = -5*m + 3*v + i*v, 4*v + 147 = 5*m. Is 27 equal to m?
True
Let l = 64 + 28. Which is bigger: l or 91?
l
Let v = 1073 + -1045. Which is smaller: 558/19 or v?
v
Let p be (2/(-2))/((-243)/(-18)). Let n be (-51)/34*2/(-3). Is n at most as big as p?
False
Let f be 15/25 - ((-7466)/(-2870) - 2). Which is greater: f or 1?
1
Let x = -20.61 + 20. Let p = 0.6 + x. Let b = p + 0.01. Is 0.07 not equal to b?
True
Let o be ((-70)/(-21))/((-35)/(-14))*-39. Is o < -41?
True
Let n = -390.8 + 391. Which is smaller: n or 1/112?
1/112
Let b be (7 - 6)/(5/(-25)) - -60. Which is bigger: -3 or b?
b
Let s = 0 + -26. Let x = -128/5 - s. Let c = -25 + 25. Which is smaller: x or c?
c
Suppose -63*n - 40 = -55*n. Is n less than 5?
True
Let y be (4 + 0)*(-18)/(-4). Suppose y = -i + 17. Is -1/49 at least i?
True
Let m be (3 + -1 + -2)*(-33)/66. Which is greater: m or -4/105?
m
Suppose 0*n - 3*k - 1 = 4*n, n = k - 9. Let x = -26 + 21.6. Let o = x - -4. Do o and n have the same value?
False
Let l = 222 + -221.4. Which is greater: l or 23?
23
Suppose 161*n + 35 = 154*n. Let t = -2233/4 - -554. Which is greater: t or n?
t
Let v = -30 + 33. Let d be 1*v/(3/1). Is 22/9 >= d?
True
Let a(g) = g**3 - 8*g**2 + 10*g + 8. Let r be a(6). Is -14/5 at least as big as r?
True
Let v be 52/12 - 5 - 1122/(-1629). Which is greater: v or -1?
v
Let r = -2.8 + 2.69. Let b = 0.6377 + 1.3623. Which is bigger: r or b?
b
Let l(y) = -y**3 - 7*y**2 + 6*y - 1. Let x be l(-8). Suppose x = 5*c - 10. Is -1/3 >= c?
False
Let y = 10/15446441 - 969434084641/1606429864. Let u = y - -3025/26. Let l = -486 - u. Which is smaller: 1 or l?
1
Let x = 46 - 93. Which is smaller: -332/7 or x?
-332/7
Let w = -72642/7 - -10377. Let j be -1 + (-2)/(-4)*0. Which is smaller: j or w?
j
Let f be 211/11 - (-1)/(11/(-2)). Let k = 41 - 23. Are f and k equal?
False
Suppose -2*d - i = -4*i - 30, 4*i - 16 = -2*d. Let k be (d/(-531))/((-2)/3). Is k at least 1?
False
Let p = -428 - -432.7. Which is bigger: p or -3?
p
Let t = 54 + -136. Which is smaller: t or -80?
t
Suppose -4*p + 40 = -5*j, -5*j + 2 = 5*p - 3. Suppose -5*a + u = -31, -28 = -p*a - 0*a - 2*u. Let i be (a/9)/(95/(-15)). Is i != 1?
True
Let n be (33/9)/(2/6). Let r = -3 + n. Suppose 24 = -4*s + r. Which is smaller: -5 or s?
-5
Let o = 108 + -65. Let j = -42.9 + o. Which is greater: j or 2/37?
j
Let b = 2290 + -2317. Which is smaller: -236/9 or b?
b
Suppose -11 - 5 = 4*o. Let l(b) = b + 1. Let g be l(2). Suppose 5*x = -g*q - 2, 2*x = q - 0*q + 8. Are o and q equal?
True
Let p = 1.7 + 293.3. Is -0.2 less than p?
True
Let q be (2/(-316))/(6/4). Is 0.1 bigger than q?
True
Let k be (5 - 6/5)*-1. Let w = 39/214 + 8277/2140. Let c = k + w. Which is smaller: 18/7 or c?
c
Suppose -g - 3 = -31*b + 30*b, -10 = 5*g. Is -40.1 > b?
False
Let i(q) = 32*q**2 + 40*q + 326. Let s be i(-7). Is s greater than 1614?
False
Let h = 1.4 - 7.4. Let j = h - -5.98. Let a = j - 8.98. Which is smaller: a or 2/5?
a
Let b = -0.094 - -18.894. Let o = -2.2 - b. Let n = -20.8 - o. Is n < -0.07?
False
Let t(s) = s + 7. Let b(f) = f**3 - 8*f**2 + 4*f + 15. Let g be b(7). Let o be t(g). Which is smaller: o or 6/19?
6/19
Let y = -2147/41106 + 1/1054. Which is bigger: y or -5.1?
y
Let r = -16.0967 + 0.0967. Which is greater: r or -2.6?
-2.6
Let l = -566 - -570. Do 0.19 and l have the same value?
False
Let v = 2276/17 - 134. Let a = 117 - 118. Is v <= a?
False
Let x be 36/(-8) + (-9)/(-18). Let u = 0.26 - 0.16. Which is smaller: x or u?
x
Suppose -10*y + 4 + 36 = 0. Is y greater than or equal to 4?
True
Let y = 1 - -6. Let a be ((-186)/(-48))/((-9 - -10)/2). Which is bigger: a or y?
a
Let u(d) = -2*d**2 - 21*d + 65. Let k be u(-13). Which is smaller: k or -3/475?
-3/475
Suppose 3*k = 2*c - 0*k - 27, 5*c - 64 = 4*k. Suppose p + 2*p = 3*z, p = 5*z + c. Let y be ((-12)/(-4) + z)/1. Which is smaller: y or 1/3?
y
Let b be (-3)/1*(1 + 0)*-1. Suppose -b*a + 12 = a, 4*a = -2*t + 14. Let f = 0 + -1. Are t and f unequal?
True
Suppose 5*a + 5*r = 45, 4*r + r = 2*a - 4. Let f be 4 + ((-28164)/7560 - 2/a). Which is smaller: 0 or f?
f
Let z = -0.11 - 2.89. Let r = z + 16. Let i = -13 + r. Is 11 at most as big as i?
False
Let h = -27 + -6. Let o = -37 - h. Which is bigger: -2/3 or o?
-2/3
Let i be (-3)/(-13) + 13/52*-2. Does i = 1?
False
Suppose -4*o - 5*y + 54 = -3*o, -27 = -o + 4*y. Is o != 38?
True
Let z be 247/156 + 5/(-4). Let f = -0.1 + -3.9. Which is smaller: z or f?
f
Let r be (56/(-70))/((-3)/(-60)). Let n = r - -33. Are -1/4 and n non-equal?
True
Let f = 2 + -3. Let l(a) be the second derivative of -a**3/6 - 3*a**2 - 7*a. Let u be l(-5). Is f >= u?
True
Suppose 27*u - 32 + 59 = 0. Which is greater: 2/605 or u?
2/605
Let k = -86 + 77. Let y(c) = 2*c**2 + 16*c - 22. Let b be y(k). Which is smaller: b or -6?
-6
Let x = 1/652 - 7835/7172. Suppose -2 = 2*r + 2. Which is bigger: r or x?
x
Let l = -13 + 17. Let u(b) = b**3 - 3*b**2 - 4*b + 2. Let w be u(l). Let o be (1 - w)/(6/(-6)). Which is smaller: o or 2?
o
Let f = 49 + -45. Let z = 2 + -4. Let m be ((-6)/4)/(z/4). Is m at least f?
False
Let a = -13 + 28. Let m = a - 6. Which is smaller: 8 or m?
8
Let i = -3364 + 20131/6. Which is smaller: i or -9?
-9
Let w = -1745.6 + 1746. Which is bigger: -236 or w?
w
Let r = -38.997 + 39. Let n = r + 2.997. Which is smaller: n or -2?
-2
Let j = -32 + 29. Let k be 29/(-7) + (j - -7). Let r = 1 - 2. Is k <= r?
False
Suppose t + 8 = 2*t - 3*x, 0 = -t + 2*x + 8. Suppose 2*q = 2 + t. Suppose -3*z = -4*u - 2, 0*u - q*z - 16 = 3*u. Which is greater: -3 or u?
u
Suppose -26*n = -17*n + 288. Which is bigger: n or 0?
0
Let m = 770 + -633. Is 140 >= m?
True
Let c(a) = a**3 - a**2 + 6. Let x be c(0). Suppose 3*k = 3*y - y + x, 4*k - 1 = 5*y. Let n be k/(-6) + 341/(-33). Is -12 bigger than n?
False
Let g be (2*1 - 261/58) + 2. Let j = -507 + 514.98. Let z = j - 8. Is g less than or equal to z?
True
Let w = -95 + 89. Let b be (-2)/w*(171/30 + -6). Is -1 at most as big as b?
True
Let n = 0.04 - -1.96. Let g = n - 5. Let b = -32 - -31.9. Which is greater: g or b?
b
Let t(o) = o**2 - 3*o + 2. Let z be t(2). Is z > -4/13?
True
Suppose 72 = 7*g - 145. Is g at most as big as 36?
True
Let d(a) = 4*a - 6. Let o be d(2). Suppose -18 = -5*f + o. Suppose f*v - 2 = -5*t + 10, 5*v - 24 = -4*t. Which is bigger: v or 9?
9
Let z = -530 + 59