vative of -23*v**5/20 + v**4/12 + v**3/6 - v**2/2 - 4*v. Let c be d(-1). Is 22 smaller than c?
False
Let x(c) = c**3 - 13*c**2 + c - 7. Let o be x(13). Suppose -t - 3*d = 14, d = t - d - o. Let h be t/(-1) - 50/22. Which is smaller: -1 or h?
-1
Let t(k) = -10*k + 314. Let s be t(33). Is s bigger than -22?
True
Let s = -26.77 + -0.23. Let k = s - -49. Let r = -22.9 + k. Which is bigger: r or -0.1?
-0.1
Let v = 9 + 0. Suppose -j = 2*j + 9. Let x be -2 + 3 + j + 10*1. Which is bigger: x or v?
v
Suppose -5*i = 15*i + 5740. Are i and -1/3 non-equal?
True
Let j be (3 + -10)*(1 + -2). Suppose 2*l + j*l = -81. Suppose 2 + 8 = -w. Does w = l?
False
Let i = -6 - -15. Suppose 21 = 10*j - i*j. Let a be j/(1 - (-2)/4). Which is bigger: 15 or a?
15
Let r = 1193 - 1192. Let u = 0.05 + 0.11. Which is smaller: u or r?
u
Let q be (-12)/10*50/(-15). Suppose 0 = 2*b + q - 2. Let s = b + 1. Which is smaller: s or -12?
-12
Let s be 12/(-7) - (15 - 17). Is s at most 2/17?
False
Let y be (-11)/(-44)*1804 - -1. Which is smaller: 451 or y?
451
Suppose h = g - 5, 0*g + 16 = 4*g. Let p(a) = a + 8. Let q be p(0). Let j be 19/q + -2*1. Is j < h?
False
Let c = -1.92 + 1.92. Which is smaller: c or -79?
-79
Let t be (266/91)/(1860/(-586)). Let u = 1/465 - t. Let k = u - 59/78. Which is greater: 0 or k?
k
Let n be (-1)/(-3) + (6/9)/1. Which is bigger: 2/47 or n?
n
Let s = 56/2187 + -2144819/317115. Let o = -33/5 - s. Which is bigger: o or 0?
o
Suppose 5*q = -4*x - x - 40, 2*q = -3*x - 21. Let s = x + 8. Suppose 0 = -2*k + 4*l + 8, -3*k - 2*k + 20 = 5*l. Which is smaller: s or k?
s
Let h(i) = i**2 + 1. Let c be h(2). Let d(o) = -o**2 + 6*o - 6. Let q be d(c). Let l be 9/46*(-244)/(-366). Is q at least as big as l?
False
Let v(k) = -k + 11. Let z be v(8). Suppose z*q - 80 + 17 = 0. Is 21 bigger than q?
False
Let h be -3 + (0 - (-205)/45). Let w = -113/90 + h. Which is smaller: w or -1?
-1
Let p = -1375/2604 - -33/124. Is -1 bigger than p?
False
Let o = -439.2 + 441. Which is smaller: o or -8/3?
-8/3
Let n = 14 + -14. Suppose -d - 2*d - 12 = n. Let t = -3 - d. Is t >= -2/7?
True
Let j = 1.262 - 4.262. Let t = -6 - -5.7. Which is greater: j or t?
t
Let d = 31.2 - 31.3. Let n be (35386/(-255))/((-12)/(-15)). Let x = -347/2 - n. Which is greater: x or d?
x
Let x = -392 - 45. Does x = -435?
False
Let v(i) = -4 + 3 - 10 + 0*i - i. Let o be v(9). Let z be (-10)/o + (-9)/10. Which is smaller: z or -1?
-1
Let k(a) = a**2 - 15*a + 11. Let c be k(15). Let b = 637/68 - -9/68. Which is greater: c or b?
c
Suppose 29 = -4*a + 33. Are a and -1/3 equal?
False
Let r(t) = -t**3 + 10*t**2 - 8*t - 6. Let l be r(9). Suppose s + 2 = 2*c + 6, -c = -s + l. Let g = 5/3 + -4/3. Which is smaller: g or c?
c
Let n = -179/2 - -90. Does -9.9 = n?
False
Let z(w) be the first derivative of -3*w + 3 - 1/3*w**3 + 5/2*w**2. Let q be z(4). Is q > 0?
True
Suppose -14405 + 13991 = 9*y. Let j be 132/15*(-5 + 0). Is y at most j?
True
Let x = 2.9 - 5.1. Let w = 5.2 + x. Let q = 1.9 - 2. Is q at least as big as w?
False
Let w be (-5 + (-104680)/156)*3/(-4). Let d = 507 - w. Which is greater: 0 or d?
0
Let b = -4077 - -542244/133. Which is bigger: b or -1?
b
Let p = -5956 - -232313/39. Let u = 1/13 - p. Which is bigger: 0.1 or u?
0.1
Let g be 12/16*(13 + -5). Is 39/8 > g?
False
Suppose -2*t - 36 = 2*z, -71 = 2*t - 5*z - 0*z. Let u = t + 27. Suppose 1 + 2 = -3*l. Does l = u?
False
Let f = 294.32 + -294. Let d = -0.962 + -0.018. Let t = d - f. Is -0.1 greater than t?
True
Let c be 1*3*(-1 + 0). Let b = -3 - c. Suppose 4*w + 21 = -t, -7*w + 16 = -6*w - 4*t. Which is smaller: w or b?
w
Let u = 21/31 - -1268/279. Which is smaller: 5 or u?
5
Let c be 18 - 1773/102 - 4/34. Let w = -1/57 - 449/399. Is w at least c?
False
Let a = -47/6678 + -1/1113. Let q = a + -5/18. Which is smaller: q or -1.1?
-1.1
Let c = -95.8 - -95.031. Let m = -0.061 + c. Let j = m + -0.17. Are j and 1 unequal?
True
Let a = 30.96 - 0.96. Let u = -18.5 + a. Which is smaller: 0 or u?
0
Let r = -547/3 - -184. Suppose 2 = 3*q + 4*y, 2*q + 3*y + 0 = 1. Is q < r?
False
Suppose 4*j - 3 - 17 = 0. Let u be (-13)/j + (-3)/(-5). Which is bigger: u or 25?
25
Let k = -69847/20163 + 4/1551. Which is bigger: k or -2?
-2
Let o = -114 + 572/5. Suppose 4*m = 3*l - 32, -m + 4*l - 5 - 3 = 0. Let s be ((-2)/m)/(10/40). Is o not equal to s?
True
Let f be (2/18)/((-4)/(-6)). Suppose -3*y - 6 = 3*y. Let q(p) = p**2 + 2*p + 1. Let j be q(y). Do j and f have the same value?
False
Let z be -2 + (3 + -3)*(3 - 2). Is -28/13 at most z?
True
Let d(v) = 5*v + 101. Let a be d(-20). Let p(h) = -h - 7. Let o be p(-6). Let n be (-99)/190 + o/(-2). Is n < a?
True
Suppose 0 = -7*u + 126 + 119. Let b be 1 + (-15)/13 - 8109/(-234). Is b at least as big as u?
False
Suppose 0 = x, 5*p + 2*x + 7 = 4*p. Let v be (4/(-8))/((-1)/p). Let u(o) = -o**3 + 8*o**2 - 8*o + 3. Let f be u(7). Which is greater: f or v?
v
Let l = -3521081800725/2398 - -1468341001. Let x = l - 3/1199. Let f = -267/8 - x. Which is smaller: 1 or f?
f
Let l(k) be the second derivative of k**3/3 + 4*k**2 - 28*k. Let t be l(-2). Is t > 8?
False
Suppose 18*y = 9*y - 18. Which is smaller: y or -5/8?
y
Let a = 0.649 - -0.351. Is 1.09 at least a?
True
Let m be (-3)/(-3)*0 + 0. Suppose -79 = 2*r - b - 27, m = 2*b. Let u = 8 + r. Do -1 and u have the same value?
False
Suppose 0 = -u + 6*u - 10. Suppose -u*q = -3 - 11. Let x = -17 - -23. Is q greater than x?
True
Let a = -4.9 - 40.1. Let s = a - -45.1. Do s and -1.8 have different values?
True
Let c = -0.295 - -301.295. Let a = c + -324.9. Let w = 24 + a. Is w equal to -13?
False
Let l be (-65)/1*(-4 - -5). Let r = l - -66. Let n = 2 - 0. Is n at most as big as r?
False
Suppose -1260 = 22*u - 72. Is u >= -272/5?
True
Let j = 1.218 - 0.018. Do 0 and j have the same value?
False
Let q = -74061/4 + 18605. Is q <= 91?
True
Let z(g) = -3*g**3 - 4*g**2 + 2*g + 9. Let b be z(-3). Is b > 47?
True
Suppose 4*g + g - 10 = 5*u, 2 = 3*u + g. Suppose u = -5*b + 62 + 3. Is 13 greater than b?
False
Suppose l - 201 = -4*o - 15, -2*o - l = -94. Which is smaller: 47 or o?
o
Let g(c) = -2*c + 3. Let f be g(-7). Let b = -17 + f. Let y = 1 + -2. Which is smaller: y or b?
y
Let x be (-18)/8*4000/60. Let z be ((-8)/x)/(-4)*-9. Let g be (0 + (-2)/(-2))/1. Are z and g equal?
False
Let v be (100/16)/5 + 2/(-8). Which is bigger: 9/22 or v?
v
Let p = -0.087 - 0.053. Let j be (21/(-9) - 10/15)*1. Is p at least as big as j?
True
Suppose 25*b - 64*b = 43212. Is b bigger than -1109?
True
Let s be 3987/(-12) + (75/12 - 6). Is -332 smaller than s?
False
Let x = 5/86 + 17/2666. Is x at most as big as 31?
True
Let b(f) be the first derivative of -48*f + 1 + 17*f + f**2 + 22*f. Let t be b(5). Which is smaller: t or -0.1?
-0.1
Suppose 187 = 11*d - 0*d. Let u(i) = -i**3 + 18*i**2 - 18*i + 6. Let a be u(d). Is a at least as big as -11?
True
Suppose -17*y - 19 = -15*y + j, 3*y = 5*j - 35. Is -100/11 greater than or equal to y?
True
Suppose -5*o - 4*z - 114 = -0*z, 0 = -4*o - 3*z - 91. Which is smaller: o or -6?
o
Let t = 4.544 - -74.392. Let k = 79 - t. Which is greater: k or 2/3?
2/3
Let w(r) = -3*r**3 + 2*r**2 + 4*r - 4. Let f be (15/(-20) - (-33)/12)*1. Let v be w(f). Let h = 34 + -47. Which is greater: v or h?
v
Suppose 1050 = -3*i - 3*q, i - 2*q - 44 + 400 = 0. Which is greater: -353 or i?
i
Let u = 1092 + -7664/7. Suppose 0 = -5*g - 2*o - 16 - 6, -o - 1 = 0. Which is smaller: g or u?
g
Let g be (-34)/70 + -1 + 2. Let y = -87858241/77117320 - 3/550838. Let n = y + g. Which is smaller: 0 or n?
n
Let n = 8 + 0. Let g = n - 5. Suppose b = a - 3 + 1, 3*b + 10 = a. Which is smaller: b or g?
b
Let v be (8/(-5))/(272/135 + -2). Let j = v - -213. Is 106 at least j?
True
Let b = -0.135 + 0.235. Is b less than 4.5?
True
Let p be (0 - 0) + -3 + 2. Let m = 4732/9 - 1757075/3339. Let q = -14/53 + m. Which is smaller: p or q?
p
Let n be 2/24 - (-3689)/372. Are -12 and n nonequal?
True
Suppose 41*l - 51*l - 2380 = 0. Which is greater: -240 or l?
l
Suppose -2*g + 0*g = 0. Let x = -348 - -7309/21. Which is bigger: x or g?
x
Suppose u + 2*o = -24, -o = -u + 5*u + 68. Let b = u + 18. Are 1/4 and b equal?
False
Let l(i) be the second derivative of -i**3/2 - 73*i**2/2 + 19*i. Let b be l(-24). Which is smaller: b or -5/12?
b
Let g = -263/14 + 16/