 - 2*h**2 - 3*h. Let a be g(0). Is a smaller than -5?
False
Let i = 2 - 1. Let b(n) be the third derivative of n**5/60 - n**4/12 + 2*n**2. Let t be b(i). Which is greater: 2/5 or t?
2/5
Let h(f) = 4*f - 1. Let j be h(1). Let o be (-22)/(-4) + 12/(-8). Are j and o equal?
False
Let v = 3.7 - 3.7. Is v smaller than 7?
True
Let x = 6 + -6. Let s be 40/24 + x/(-1). Are 1 and s equal?
False
Let z = -19 - -4. Are 1 and z nonequal?
True
Let l(h) be the first derivative of h**2/2 + 5*h - 2. Let f be l(-4). Suppose 6 = 5*y + f. Is -1 less than or equal to y?
True
Suppose -2*b = 2*d + 2 + 4, 0 = 4*d + 5*b + 15. Do d and 1/3 have the same value?
False
Let m(k) = -4*k**2 - k + k**3 + 3*k**2 + 2 - 5*k**2. Let j be m(6). Let a be (-1)/j*8/4. Which is bigger: a or 0?
a
Let y be 0 + 2 - (-3 - -6). Let c be (-1 - y)/(-1 - 2). Which is bigger: c or 6/11?
6/11
Let f(u) = u**2 + 2*u + 3. Let t be f(-2). Let a be 40/(-15)*(-3)/2. Is t at least as big as a?
False
Let s = -6 + 6. Let h be (57/(-18))/1 - -4. Which is smaller: h or s?
s
Let p be 4/6*(-15)/(-10). Let u be (2/6)/(p/3). Suppose 3*x + u = 2*y, 3*y - 2*x = y. Which is bigger: y or 0?
0
Let i = 155 - 178. Is 2 at most as big as i?
False
Suppose 3*w - 11 - 1 = 0. Let a be ((-30)/16)/((-6)/8). Is a smaller than w?
True
Let t = 0 - -1. Does t = 3/2?
False
Let o = 14 + -10. Which is greater: -1 or o?
o
Let k(y) = -y - 7. Let q be k(-6). Which is bigger: q or -2?
q
Let v(r) = -3*r**2 - r + 1. Let l(s) = -s**3 + 15*s**2 - 14*s + 1. Let b be l(14). Let g be v(b). Let q = 5 - 6. Which is smaller: q or g?
g
Let c(s) be the second derivative of -s**5/20 + 5*s**4/6 - s**3/6 + 9*s**2/2 - s. Let r = 10 - 0. Let z be c(r). Is z at least as big as 1/4?
False
Let m(i) = i**2 + i - 1. Let h be m(1). Is 6/5 less than or equal to h?
False
Let o = -54.1 - -8.1. Is 0 equal to o?
False
Let m = 2 - 3. Are m and -1 non-equal?
False
Let l = -79 + 399/5. Let k = -0.2 + 0.1. Is l at least as big as k?
True
Let k(j) = j**2 + 12*j + 1. Let z(r) = -13*r**2 - r. Let i be z(-1). Let q be k(i). Which is bigger: 2/9 or q?
q
Let i = -103.1 - -103. Let t be (0 + -2 - -3)*17. Which is bigger: i or t?
t
Suppose -6*f - 4 = -4*f - 4*o, -4*f - 2*o = -22. Let v be 0 + (6 - (-1 + f)). Let m be 9/(-7) + v/3. Is m > -2/7?
False
Suppose 5*s + 3*f + 10 = 1, f - 2 = 0. Let w(a) = a - 1. Let z be w(s). Let x be ((-1)/(-2))/((-1)/z). Is 2 < x?
False
Suppose 1 = 5*r - 4*t + 9, 3*r - 6 = -3*t. Which is greater: r or -12?
r
Let h = 0.29 - -0.01. Let d = h - 0.2. Let k = -0.2 + d. Is k smaller than 1?
True
Let a be 1/(1*(-3)/(-12)). Let j be 2/a - 63/102. Does 1 = j?
False
Let g be (9/(-36))/(10/16). Which is bigger: 2 or g?
2
Suppose 3*g + 82 = -4*c, 3*g - 5*c = 2*g - 40. Let f be g*(-3)/24*-4. Which is smaller: f or -16?
-16
Let y(p) = p**2 - 7*p - 1. Let i be y(7). Let a(k) = k + 8. Let f be a(-10). Which is bigger: i or f?
i
Suppose -3*z + 21 = 5*l, 0*z - 11 = -z - 3*l. Suppose -z*n + 0*n = 0. Do n and 1/3 have the same value?
False
Let h = 0.12 + 0.08. Let t = -0.6 - h. Let o = 1.2 + t. Which is bigger: -1/3 or o?
o
Let n = 9 - 3. Is 5 less than or equal to n?
True
Let i = 0.1 + -0.3. Let j = 0.3 + i. Let y = j + 0.9. Which is greater: 2/7 or y?
y
Let j(v) = v**2 + v - 315. Let y be j(0). Let m be (-5)/(y/6)*3. Are m and -6 non-equal?
True
Let r = 9 + -2. Suppose 0*q - 40 = -5*q. Let u = q - r. Which is smaller: 5 or u?
u
Let s(h) = 2*h - 3. Let b be s(2). Let y = 3 - 3. Let q = -3 - y. Which is bigger: b or q?
b
Let d(b) = -b**3 + 3*b**2 + 2*b - 3. Let o be d(3). Suppose x + 40 = -o*x. Let r be x/35 - (-18)/14. Is 1 equal to r?
True
Let l(j) = -6*j + 6. Let f be l(1). Which is smaller: -2/7 or f?
-2/7
Suppose 79 = -7*f - 96. Are -25 and f non-equal?
False
Let o(b) = b**3 + 4*b**2 + 4*b + 3. Let w be o(-3). Let a = 2 + w. Let y be (-2)/(a - 2 - -2). Which is smaller: y or 2/5?
y
Suppose 5*t - 3*t - 2 = 0. Let z(j) = -5*j**3 + j**2 - 1. Let c be z(t). Let s = -54 - -50. Is s at most c?
False
Suppose 0 = -2*r + 3*r + 12. Let h be 1/4 + 499/r. Let n = h + 41. Which is greater: -1/4 or n?
-1/4
Let w = -0.46 + -5.74. Let g = w - -6. Is 2/5 >= g?
True
Let f = -3.9 + 4. Let t = 3.9 + f. Is t bigger than 0?
True
Let s be 1/(-16)*(-6)/1. Is s smaller than 1?
True
Let c = 21 + -27. Are c and -2/7 non-equal?
True
Let o = -44.9 + 45. Which is bigger: -2/37 or o?
o
Let v = -4.95 - -5.15. Let h = 211/2 - 675/4. Let t = h - -63. Which is smaller: t or v?
t
Let f be 10/26*3/5. Are 1 and f nonequal?
True
Suppose -5*o - 2*k = -20, 8 = 3*o - o - 5*k. Suppose 64 = o*a - 2*f, f - 5*f = -a + 16. Which is bigger: a or 15?
a
Let m be 8/(-52) + 54/13. Let z be (-4)/8*(2 - m). Let g(s) = -s - 2. Let h be g(-3). Do z and h have different values?
False
Let j = -12.4 + -2.6. Is -1 at least j?
True
Let a be 1 + (1 + 0)*-2. Let o be (-4 - -4)*(-3)/(-6). Which is smaller: a or o?
a
Let v = -60397/47 - -1285. Which is smaller: 1 or v?
v
Let s(q) = q + 5. Let t be 4/16 - 17/4. Let v be s(t). Which is smaller: -2/3 or v?
-2/3
Suppose 4*b + 9 = -7, -5*b = -4*d + 16. Let g be 3 - (-1 + 0 + -2). Let l be ((-6)/18)/(16/g). Which is bigger: l or d?
l
Suppose -4*y - p + 5*p = 64, 4*y + 56 = 2*p. Let v be (y/(-56))/((-9)/12). Which is smaller: -2/11 or v?
v
Suppose -g + 2 = -3*g. Let j be (0 + -1)/((-1)/(-3)). Let m = 10/3 + j. Are m and g nonequal?
True
Let i(p) = 13*p**2 - p. Let r be i(1). Let f be (-12)/(-2)*20/r. Let q = f + -11. Which is smaller: q or -0.2?
q
Let l(x) = -x**2 + 2*x + 1. Let z be l(2). Does 1/10 = z?
False
Suppose 2*f + 3 = k, -3*f - 5*k + 0 + 2 = 0. Is -1/6 >= f?
True
Let y be 4/14 - -1*12/(-42). Is y != -6/11?
True
Let x(f) = -f**2 - 3*f + 4. Let j be 38/(-9) + (-2)/(-9). Let h be x(j). Let v be (-33)/12 + (-3)/12. Is h <= v?
False
Let b be 6/(-15) + 3/(-5). Let l = -3 - -2. Is l equal to b?
True
Suppose -3*y - 190 = -4*b - 4*y, -2*y + 188 = 4*b. Let q be 1/(-5) + b/15. Suppose 2*u + q*u = s - 25, 2*s = 5*u + 25. Is 2 <= s?
False
Let l = 62 + -62.8. Is l at most as big as -1/12?
True
Suppose 5*m = -10, -2*m + 6*m - 16 = -4*g. Suppose -p + 2*p = g. Let a(x) = -x**2 + 6*x - 2. Let v be a(p). Which is smaller: -6/7 or v?
v
Let w be (12/(-8) + 0/(-1))/75. Which is bigger: -1 or w?
w
Let i be 77/21 - 2/(-6). Suppose -14 = -i*j - 4*b + 2*b, b = -3*j + 11. Is 3 < j?
True
Let s = -1.1 + 1. Let n = s + 0.1. Let m = -0.293 + -0.007. Is n at least as big as m?
True
Let p be (4/16)/((-22)/(-16)). Let r(a) = -a - 10. Let i be r(-11). Which is greater: i or p?
i
Let y = -0.39 - -2.09. Is y != -1?
True
Suppose 0 = 7*u + 1 + 6. Let b be 6/21 + 2/(-7). Does b = u?
False
Let j = -4.2 - -5.2. Is 4 greater than j?
True
Let i = 0.6 + 0.2. Let l = i + 0.2. Let g = -1/2 - -3/4. Which is bigger: l or g?
l
Let i = 66/35 - 16/7. Suppose -j + 280 = 5*h, 0*h - 3*j - 112 = -2*h. Let n be (-6)/8 + 26/h. Is i smaller than n?
True
Let y = -3/2 + 7/4. Suppose 0 = -3*i - 2*i + 25. Suppose -7*m + 2*m + i = 0. Which is greater: m or y?
m
Suppose h = 3*x - 4, -4*h = -h + 4*x - 14. Let k(r) = r**2 + 4*r - 8. Let y be k(-6). Suppose h*u = y*u. Which is smaller: u or -6/7?
-6/7
Suppose -4*x = -m - 4*m, -2*x = -2*m. Let c = 3/895 - -11599/10740. Let b = 4/3 - c. Which is smaller: m or b?
m
Suppose 3 + 45 = 4*v. Let b be (-68)/v - (-2)/3. Let l(d) = -2*d**2 - 2*d. Let j be l(-2). Is j at most b?
False
Let s = -136 - -122. Is -17 greater than or equal to s?
False
Suppose 4*y + 5*d - 4 = 0, 0*d + 12 = 3*d. Which is bigger: y or 2?
2
Suppose 4*j = -2*f + f + 1, 5*f = 2*j + 93. Is f smaller than -2/7?
False
Let k = -4 + 7. Which is bigger: k or 1?
k
Let o = 4.2 - 4. Let v = o + -0.2. Let h = v - 0.2. Are 1 and h equal?
False
Let k(n) = -n**3 - n**2 - 2*n + 5. Let b be k(0). Which is smaller: b or 0?
0
Let r(a) = -a**2 - 13*a + 11. Let k be r(-14). Let v = k - -4. Is v equal to 4?
False
Let u = 18 + -12. Suppose -2*w + u = -0. Suppose -7*g = -w*g - 4. Which is smaller: g or -4/9?
-4/9
Let a = 23 - 93/4. Suppose 2*h + 2*h = -2*g + 6, -4*g = 2*h. Is g <= a?
True
Let b(r) = r**3 - 11*r**2 - 2*r**3 + 0*r**3 - 10*r. Let s be b(-10). Suppose s = -k + 4*k. Which is smaller: 1 or k?
k
Let x(q) = 2*q + 6. Let v be x(2). Which is greater: 11 or v?
11
Let h = -1 - -5. Suppose -2*q - 2 = -4*f, f - 3*q = -h*q - 4. Is f less tha