first derivative of v**3 + v**2/2 - v - 8. Let d be z(5). Let k be 585/25*(-20)/(-6). Are d and k equal?
False
Let w(a) = a**3 + 11*a**2 - 10*a + 21. Let i be w(-11). Let j = i - 168. Let x = -40 + 40. Which is smaller: x or j?
j
Let c be 630/(-7998) + (-86)/(-1849). Does c = -332?
False
Let h be ((-1)/3 + 1)*(-12)/72*3. Which is greater: h or 98?
98
Let g(v) = 3*v - v**3 - 2 + 3 + 2*v**3 + 3*v**2. Let u be g(-2). Let z be 8/9 - (-22579)/(-15165). Is z < u?
False
Let n be 6 - (-116)/(-4 - (-636)/(-42)). Suppose 10 = 250*y - 260*y. Which is smaller: n or y?
y
Let c(r) = 7*r + 9. Let h(b) = b. Let z(g) = c(g) - 6*h(g). Let m be z(-6). Suppose 3*q + 17 = 2*u + 38, m*q + 69 = -4*u. Which is greater: u or -17?
u
Let l = -945 - -279. Let m = l - -644. Is m > -23?
True
Let m = 116 - 116. Suppose m = -34*f + 12*f. Let d be ((-6)/20)/((-2)/(-4)). Which is greater: d or f?
f
Suppose 276 + 140 = 2*g. Let p = -100 + g. Is p bigger than 107?
True
Let v(x) = x**3 - 3*x**2 - 12*x + 9. Let z be v(5). Let u be 506/(-6)*9/279. Let d = u - -12/31. Are d and z non-equal?
True
Let f = 19283 + -16172. Is 3108 equal to f?
False
Let f = -19872 + 118951/6. Let v = -559/12 - f. Is v equal to -336?
False
Let g be 18/36 + 4194/(-92). Let i = g - -45. Which is smaller: -0.1 or i?
-0.1
Let q = 150 + -150. Let b = 54 + -52. Suppose 23 = -i - 4*v + 4, -15 = 3*i - b*v. Are i and q non-equal?
True
Let l(n) = n**2 - 16*n - 99. Let f be l(20). Let p be 6/1 - (-15 - f). Let x be 9/(-4) - (-1)/4. Is x greater than or equal to p?
False
Let w = 2993 - 3174. Does w = -182?
False
Let m(c) = 15*c - 102. Let h be m(9). Let y be 19*h/(-6)*-2. Which is bigger: y or 1/2?
y
Suppose 5*v - 8*v + 12 = 0. Let k be (-4)/10 - (-32)/80 - v. Is k < 6?
True
Let l be (1 + -2 + 2)*(-60)/9375. Which is smaller: l or 1?
l
Let x be (14 + -6 - 7)/(2*(-1)/426). Which is bigger: -200 or x?
-200
Let u be (-1)/46*-1653 + 9/(-3). Let l = u - -36/23. Is l at least as big as 36?
False
Let r(l) = 2*l + 24. Let u be r(-12). Suppose 11*z - 5*z = u. Suppose 9*q + 242 - 80 = 0. Which is smaller: z or q?
q
Let p(o) = -22*o - 151. Let j be p(-7). Suppose -j*n = -24*x + 29*x - 36, 2*x = 0. Is n less than or equal to -1/3?
False
Let f be (0*(10/80)/(2/8))/2. Which is smaller: f or 1/1444?
f
Let h = -19 + 39. Let v(f) = f**3 + 50*f**2 + 73*f + 3671. Let y be v(-50). Which is greater: y or h?
y
Let r = -0.111 - -0.011. Let k = r - -20.1. Let d = 22 - k. Is d greater than or equal to -0.6?
True
Let q = 28.1 - 24. Let u = -2.9 + q. Let s = -108/5 + 22. Which is smaller: u or s?
s
Let k(r) = -3*r**2 - 68*r + 20. Let a be k(-23). Let t be a/6*(-8 - -9). Which is smaller: -9/5 or t?
-9/5
Let p = 1088 - 1091. Let i = -815 - -7313/9. Which is smaller: i or p?
p
Suppose i + 4*v + 26 = 0, -15 = 2*i + 4*v + 17. Let f be 9*(-2)/i - -2. Suppose -f*q - 44 = -24. Which is bigger: q or 0?
0
Let u = 20570/19 - 1085. Let c(g) = -9*g + 6. Let o be c(1). Is u >= o?
True
Let t be -1*(((-49)/119 - 7) + (3 - 2)). Which is bigger: 5 or t?
t
Suppose -4*l = -6*l + 10. Suppose -3*z = -l*z - 10. Let m(d) = -d**2 - 10*d - 17. Let x be m(z). Is x bigger than 5?
True
Let u(z) = -z**3 - 15*z**2 - 13*z + 17. Let p be u(-14). Suppose -5*i - 180 = 6*g - g, -g - 26 = p*i. Is -41 equal to g?
True
Let g be ((-5124)/(-22815) - (-22)/(-99))*2. Is g <= -1?
False
Suppose -71*p = 5*p - 76. Is -4/387 <= p?
True
Let w = 247.2 + -246.2. Which is smaller: w or 3676?
w
Let j = -25919 - -25918. Do j and 1/62107 have the same value?
False
Suppose -4*z - 26486 = 5*x, 5*z + 21178 = 54*x - 58*x. Which is greater: x or -5305?
x
Let a = -4232/21279 + 33/173. Which is bigger: 3/8 or a?
3/8
Let t = -7941 - -7940. Which is greater: -20.89 or t?
t
Let x = 200 - 140. Let h(y) = -y**3 - 22*y**2 - 107*y + 30. Let g be h(-15). Do g and x have the same value?
True
Suppose 5*q = -5*o + 50, -5*o + 44 = -2*q + 4*q. Suppose -26*x - 44 = -18. Let c be 3*x*-4*(-2)/o. Are c and -2 non-equal?
True
Suppose -24*p - 15*p = 189*p + 307116. Do -1348 and p have different values?
True
Suppose -2*n = 3*b + 27, -269*b + 273*b - 2*n = 20. Let a = 2357/68800 - -1/1600. Which is greater: b or a?
a
Let u(s) = -s + 31. Let z be u(18). Let i be (-2)/(8/(-92) - 0). Let p = i - 23. Which is greater: p or z?
z
Suppose -5*o - 13*g + 15*g = 70, 4*g = 3*o + 28. Let y be o/20 - (-5068)/35. Which is smaller: y or 145?
y
Let c be 2/8*(-7 - -27). Suppose 0 = -c*b + b + 196. Let t = -49 + b. Which is bigger: -7 or t?
t
Let q(m) = 3*m**3 + m**2 - 23*m - 8. Let v be q(0). Which is smaller: -124/19 or v?
v
Suppose -42*f - 34*f + 2052 = 0. Which is greater: 11 or f?
f
Let n = -42208295/1461 + 28890. Is 1 greater than n?
True
Let f(g) = 3*g - 990*g**2 + 0*g + 1 + 950*g**2. Let t be f(1). Which is smaller: -34 or t?
t
Let q be (-2 - 23/(-13))/1. Let d be (-152)/16 + -1 + 8/6. Let v = -373/42 - d. Is v at least as big as q?
True
Let j = -143 - -141.69. Let h = -9585 - -9584. Is j smaller than h?
True
Suppose -68*t + 81*t = 877*t + 211680. Which is bigger: -275 or t?
t
Let s be ((-9)/5 - (-1918)/685) + -1. Which is smaller: s or -2/353?
-2/353
Let i = 167/1833 - 2/141. Let m(z) = -19*z + 39. Suppose 4*v = 3*d + 17, v - d - 3*d - 14 = 0. Let g be m(v). Which is greater: i or g?
g
Suppose -2*h - 78 = 4*m, -3*m + 5*h - 29 = 10. Let u = -1 - m. Let f be (-17)/(136/(-112)) - -4. Which is bigger: f or u?
f
Let q = 10 + -3. Suppose 12*d - q*d = 35. Which is smaller: d or 11?
d
Let f(o) = -o**2 + 13*o - 18. Let u be f(11). Suppose u*t = 6 + 6. Suppose -5*w + t = -8*w. Which is bigger: -2/5 or w?
-2/5
Suppose 280*x - 101*x + 231483 = -10704. Is x bigger than -1351?
False
Let z be 6/4 + (-11)/22. Which is bigger: -1/1275 or z?
z
Let z = 481 - 481. Suppose -3*p + 11*p - 384 = z. Does 2/9 = p?
False
Let p be (-28)/10*690/(-24). Let s = 82 - p. Suppose 4*f - 5*a = -13, 13 + 21 = 3*f + 5*a. Which is greater: f or s?
f
Let z = -2983 + 2984. Is -4/1359 > z?
False
Suppose -3*k - f + 18 = 0, -k - k + 4*f = 2. Suppose 15 = -k*z - 2*n, -2*n = 3*z + z + 14. Let g be (z - 16/(-4))/(15/2). Which is greater: -5 or g?
g
Let l be -8 - ((-795)/102 + 4/(-16)). Are l and 6 unequal?
True
Suppose 535 = 30*v + 1615. Let h be (-16)/(-10) + v/60 - 2. Is 4/153 less than h?
False
Let w = 22182 - 13401. Which is smaller: w or 8782?
w
Let r be 4 + (187110/14)/11. Which is smaller: 1218 or r?
1218
Let p be ((-12)/(-14))/(1386/1078). Suppose 5*l + 0 = 5. Suppose -5*v = -5*s + 50, 0 = -2*s - 3*v + l - 6. Which is greater: p or s?
s
Let b(p) be the second derivative of 4*p**3/3 + 37*p**2/2 + 10*p - 2. Let m be b(0). Is 34 less than or equal to m?
True
Let h be ((-1272)/(-16) + 0)*(-230)/(-15). Is 1219 smaller than h?
False
Let l be 4746/1130*15/(-27). Let j = -0.9 - 0.1. Is j at least as big as l?
True
Let f = 230245/7 - 33615. Let q = -794441/1099 - f. Is q smaller than -1?
False
Let x(r) = -176*r**3 - 13*r**2 - 18 + 0 - 2*r + 175*r**3. Let h be x(-13). Which is greater: h or 75/8?
75/8
Let f be 21910/1687 + -10 + (-4)/(16/12). Let g be (8 - 10) + (0 - -2). Is f equal to g?
False
Let r be (213078/136)/(2/(-8)). Which is bigger: 1/2 or r?
1/2
Let n = -4179 - -3991. Is n greater than 2?
False
Suppose -6*k + k = -3*y + 927, 0 = 2*y + k - 605. Is y greater than -1?
True
Let i be 144/4464*(-1 - 0)*75/(-155). Which is smaller: i or 0?
0
Let n = 0.5 + -0.5. Let b = 1610 - 1556. Which is greater: n or b?
b
Suppose l - t = 4, 6 = 5*l + 5*t - 3*t. Suppose -l*s + 256 = -p - 86, 2*p = 0. Is 2/9 less than s?
True
Let f = -6.842 + 37.842. Which is smaller: f or -1/29?
-1/29
Let i = 22 - 22.2. Let z = -3.1421 - -0.1421. Which is smaller: i or z?
z
Let b(o) = -70*o + 44. Let n be b(7). Let y = -684 - n. Are -238 and y equal?
True
Let n = 301 - -84. Let m = 385.1 - n. Which is smaller: 3/295 or m?
3/295
Let d = -19754/3 + 6529. Let z = -17476 - -17420. Which is bigger: d or z?
d
Let t = -789769 - -345125122/437. Let u = -180/19 - t. Which is smaller: u or 1?
u
Let o(x) = 3*x**3 + 6*x**2 - 6*x - 1. Let s be o(1). Suppose 2*g - 8 = -2*g. Let p be 2 + g*(-46)/8*s. Is p smaller than -20?
True
Let a = 211 + -122. Suppose -x - 4*t + 26 = 0, 4*x = -t + 13 - 14. Is x less than a?
True
Let s(n) = -n**2 - 9*n + 477. Let j be s(0). Let u = 286 - j. Let d = u + 135. Is d at most as big as 