34. Let h(p) = p**3 + 5*p**2 - 7*p. Let l be h(-7). Let r be 140/l + (s - 1). Do r and 0 have the same value?
False
Let u(o) be the third derivative of 0*o - 1/24*o**4 - o**2 + 1/120*o**6 - 1/3*o**3 + 1/30*o**5 + 0. Let k be u(-2). Does k = -3/7?
False
Let o = -3 + 2. Let s be (o/75 + 0)*-3. Are s and -1 unequal?
True
Suppose -3*r + 2*r - v + 5 = 0, 0 = 2*r + 3*v - 8. Let b be 1323/196 - ((-2)/8 - 0). Let x = b - r. Does x = -2?
False
Let l(o) = -o**3 + 1. Let w be l(1). Let i = -3/7 - -53/91. Which is greater: w or i?
i
Suppose 9*a - 42 = -5*i + 6*a, -a + 10 = i. Is -0.6 <= i?
True
Let j = 27 + -37. Does -0.1 = j?
False
Let m = -98 + 94. Let j(z) = -z**3 - 6*z**2 + 2*z + 8. Let s be j(-6). Is m smaller than s?
False
Let v be ((-2)/1)/((-28)/8 + 3). Is v at most as big as 20/7?
False
Let h = -13 - -13. Let u be 1/(h - 2/(-14)). Is u >= -1?
True
Let l = -0.021 + -0.079. Let x be ((-2)/3)/(1/3). Which is greater: x or l?
l
Suppose 0 = -g - 2*g + 12. Let z be 2/g*(-3 - -5). Which is smaller: z or -1?
-1
Let q(l) = l - 27. Let r be q(25). Let y = 0.02 + -7.02. Is r greater than or equal to y?
True
Let c be (-2 - -4) + (-2574)/1120. Let u = -306 + 24479/80. Let n = c - u. Which is smaller: 1 or n?
n
Let d be (-1)/3 - (-48)/9. Suppose -s - 4*s = -h + d, -2*s = 2*h - 10. Is s at least as big as 3/10?
False
Suppose -2*c = 4*t - 10, -5*c - 1 = 2*t - 26. Suppose t = 3*r + 6 - 3. Which is bigger: r or -3/5?
-3/5
Suppose 0 = 2*j - 2, -j + 14 = -5*c + 3. Which is bigger: c or 6?
6
Let q = 3/500 + -1177/29500. Which is bigger: q or 0?
0
Let c be 2/(-6) - (-2960)/(-66). Let l = 45 + c. Let g = -2 - -3. Is l != g?
True
Let t = -0.9 - -1. Let j = -16 - -16.3. Let p = t - j. Which is smaller: p or -0.1?
p
Let x = -5 - -19. Let g = x + -9. Which is smaller: g or -1/4?
-1/4
Let n(i) = -3*i - 2. Let j be n(-2). Let v be 3/5 + j/10. Which is greater: v or -2/21?
v
Suppose 3*w + 24 = 4*y - w, w = 4*y - 36. Suppose y = -2*h - 0*h. Which is greater: h or -7?
h
Suppose -5*y - 50 = -7*y. Is y at most 24?
False
Let n be (-1 + (-9)/(-7))*7. Suppose 2*q - 16 = -n*d, -4*q = -0*q - 5*d + 13. Suppose -5*r + 4*r + q = 0. Is r smaller than 3?
False
Let q(t) = -t**2 + t + 1. Let j = -3 + 4. Let f(u) = -3*u**2 + u + 1. Let g(s) = j*f(s) - 2*q(s). Let w be g(-1). Which is smaller: 0 or w?
w
Let p = -4/47 - 27/235. Is -3 >= p?
False
Let i = 1 + -4. Let d be 3/i - (-4 - -1). Let g = -5 + d. Are g and -1/2 non-equal?
True
Suppose 1 + 2 = -3*n. Which is greater: n or -5/4?
n
Let v = 34 + -24. Suppose 4*b - v = -2. Is 2 smaller than b?
False
Let i(v) = -v**2 - 6*v - 5. Let l be i(-5). Let z = 1967/4 - 487. Let j = 391/84 - z. Is j at most as big as l?
True
Let n(h) = h**2 + 2*h + 1. Let k be n(-2). Let p = 12.9 + -1.9. Let z = p + -8. Does k = z?
False
Suppose 4*n - 25 = 23. Let f = n + -7. Suppose -f*u - 30 = -5*w, -1 = 3*w - 5*u - 29. Which is smaller: w or 1/2?
1/2
Let l be ((-30)/9)/(4/(-30)). Let n = l - 37. Which is smaller: n or -13?
-13
Let v = -1.37 + 0.37. Which is greater: -0.37 or v?
-0.37
Let i = -0.16 - -3.16. Let x = -314312/29051 + 3/2641. Let m = x - -11. Is m not equal to i?
True
Let i = 1151/170 - 380959/1530. Let s(v) = -3*v**3 - 6*v**2 - 2*v + 7. Let f be s(-5). Let x = i + f. Is x at least as big as 2/3?
False
Let k be 1 + ((-396)/(-30))/(4/10). Is k at most as big as 35?
True
Let j be 74/5 + (-10)/(-50). Is j at most 15?
True
Suppose -3*v = -v. Suppose v = -0*j + 3*j - 3. Let p = j - 1. Is -4/7 less than p?
True
Let k = -12.97 + -0.03. Is k at least -0.1?
False
Let f be ((-8)/(-184))/(2/4). Is 1 less than f?
False
Let c = -1/68 + -2577/476. Is c bigger than -6?
True
Let g be (-12)/32*4/30. Do 0 and g have different values?
True
Suppose 2*o = -0 + 4. Suppose -k = o*k + 3. Are -1/4 and k nonequal?
True
Let p = -14 + 26. Let a be p/(-15)*(-10)/(-2). Let n(z) = -z - 4. Let i be n(a). Is -2/5 > i?
False
Let l = 0.22 - -4.78. Which is bigger: -0.3 or l?
l
Let s(n) = -n - 5. Let z be s(-7). Let l be z + -2 + 1 + -29. Let y be 4/14 - (-22)/l. Is y at least as big as 0?
False
Suppose -5*y + 49 = -31. Suppose 5 - 18 = -d + 4*a, a = -4*d - y. Let w be (-4)/(-1)*(-4 - -3). Is w <= d?
True
Suppose 8 = 4*l - 4. Suppose 0 = 3*r + 5*o - 0*o - 8, 0 = l*r + 4*o - 7. Let d = 36 - 107/3. Is d at least as big as r?
False
Let w be 4 + 1 - (-1 + 4). Let x = -2 + w. Let u be (-1)/((-13)/(-28)) - -2. Which is smaller: u or x?
u
Let t(f) = -3*f**3 + f**2 + f. Let o be t(-1). Do 2 and o have different values?
True
Suppose 4*y = -19 - 5. Let n = y - -5. Is -1 at most as big as n?
True
Let f be 15/(-9)*(-1 - (-2 + 22)). Which is bigger: f or 34?
f
Let t = 0.36 - 0.3. Let y = 0.16 - 0.2. Let s = t - y. Which is bigger: -3 or s?
s
Let p be 2699/(-14)*(-4)/(-3). Let r = -257 - p. Let g = 2/7 + r. Is 1 greater than g?
True
Let d(t) = t**3 + 7*t**2 + 4. Let q be d(-7). Let z = q + -1. Is z <= 3?
True
Let k = 6 - 11/2. Is k greater than or equal to -1?
True
Let q(s) = 8*s - 27. Let h be q(6). Let k be -4 + -3 + h/7. Let f be 5/(-2) + 1/2. Is k smaller than f?
True
Let x = 9 - 5. Let v = x - 2. Let d = -1 + 5. Are v and d equal?
False
Let l = 177 - 176. Is 1/198 bigger than l?
False
Let d be 21/(-15)*(-3 - -2). Is d at least 2?
False
Suppose 0 = 4*q + 20, -40 = -5*x + 3*q + q. Let a(u) be the third derivative of -u**5/60 + 5*u**4/24 - u**3/3 + 2*u**2. Let r be a(x). Which is smaller: 3 or r?
r
Suppose j + 3 - 1 = 0. Let u = j - 2. Is 0 at most u?
False
Let q = -0.2 - -0.3. Let l = -6 - -7. Suppose l = -n - 1. Which is bigger: n or q?
q
Let f = -122 + 1343/11. Which is smaller: f or 1?
f
Let l be (-6 - 44/(-8))*2/(-6). Let u = -3.04 - -0.04. Which is smaller: u or l?
u
Suppose 4 = a + 5. Which is greater: -6/17 or a?
-6/17
Suppose -10 = -5*o - c, -2*o + 2 = 3*c - 2. Let a be 4/6*3/o. Let n be (a - 1) + 0 - 2. Which is smaller: n or -3/5?
n
Let d = 1/12 - 1/3. Let o be (1/(-6))/((-5)/20). Is d < o?
True
Let m(v) = -v**3 - v**2 + v - 3. Let f be m(-2). Let s(p) = -p + 9. Let d be s(7). Let k be 1/((-3)/d + f). Which is smaller: -1 or k?
-1
Let h be ((-1)/(-3))/((-16)/12). Which is smaller: 1 or h?
h
Let a be (-10)/9*(-3 - -27). Suppose -2*t + 78 = t. Let s = t + a. Is s <= 2?
True
Let w = -36 - -36. Which is bigger: 1.8 or w?
1.8
Let f(v) = 4*v**3 - 2*v - 1. Let x(n) = n**3. Let o(k) = f(k) - 3*x(k). Let j be o(-1). Suppose 0 = 4*g - g. Is g at least j?
True
Let s be (1/(-3))/(1/15). Let n be 14/110 + 2/s. Which is smaller: n or 0?
n
Let q = -168 - -109. Let h = q + 65.8. Let b = 7 - h. Which is smaller: b or 2?
b
Let n be (-1)/4 - 10*(-14)/112. Let l = 0 - -1. Let g be 40/(-22) + 1 + l. Which is greater: g or n?
n
Let n be (-17)/(-36) - (-3)/(-12). Let d = -8 + 14. Let z be ((-4)/(-6))/((-4)/d). Is z > n?
False
Let p = -3 - -2. Let k = -1.94 + -0.26. Let j = 2 + k. Is p >= j?
False
Let y = 0.254 + -23.554. Let l = y + 23. Which is smaller: -3 or l?
-3
Let s = -8 - -5.7. Is s not equal to 2/7?
True
Let i = 1.6 + -1.9. Which is smaller: -4 or i?
-4
Suppose -8 = -3*s + s. Suppose 5 = -s*c - r - 0*r, 2*r = 5*c - 10. Is c at least 2?
False
Let g = 8 - 8.3. Let u = -5.7 + 5.6. Do u and g have different values?
True
Let h = 13 + -8. Suppose -h*n = -n. Is -3/4 greater than or equal to n?
False
Let x = 20 + -18. Let h be x + -15 + (2 - 4). Is h bigger than -16?
True
Let f be -15 + 0 - ((-2)/(-2) - 2). Which is greater: f or 1?
1
Suppose -6*r + r = 25, 5*y = 4*r + 40. Let g(i) = i**2 - 4*i + 2. Let f be g(y). Is 3 equal to f?
False
Let q be 8/(-9)*3/12. Suppose -f - h = 3*h + 17, -h - 20 = -5*f. Suppose -c + 4 = f*c. Do q and c have the same value?
False
Let r = -35 - -34. Is 33 less than or equal to r?
False
Let i(a) = a**3 - a**2 - 2*a + 1. Let t be i(-2). Which is greater: t or -6?
-6
Let r be 0/17 + (-2)/7. Is -6 at most as big as r?
True
Let o be (-4)/(-18) + (-240)/594. Which is smaller: o or 0.1?
o
Let r(w) = 3*w + 1. Let a be r(-4). Let l = a - -7. Let x = 5 + l. Is x less than 1/7?
False
Let g = -149/4360 - -1/109. Which is smaller: 1 or g?
g
Suppose -o - 4*o + 27 = 4*a, a - 12 = -3*o. Let g(m) = 4*m + 4. Let r be g(0). Is o greater than r?
False
Let m be 2/4*(-17 - -3). Which is greater: -54/7 or m?
m
Let h be 19 + (-2 - 4)/(-3). Let f be (-3)/h + (-2)/(-7). Does 1 = f?
False
Let h = -73/260 - -