et w be 14/18 + 2/9. Suppose w = -v - 0. Which is bigger: v or d?
d
Let g(r) be the third derivative of -r**4/24 - r**3/3 + 5*r**2. Let o be g(-5). Which is smaller: o or -1?
-1
Let h(b) = 8*b - 5. Let i be h(2). Let p = i + -10. Is p smaller than 3/7?
False
Let h be (-30)/(-56) - (-1)/(-4). Let q = -2/156707 + -170810616/1096949. Let x = 156 + q. Is h less than or equal to x?
True
Let o = 2/43 - 71/602. Let y = o - -31/42. Which is greater: y or -0.2?
y
Let h = -11 - -5. Let l = h - -5. Which is greater: l or 3/14?
3/14
Let s be 30/26 - (-2)/(-13). Which is bigger: 1/28 or s?
s
Let z = -0.05 - -0.45. Let q = z + -0.3. Let g = 2 + -1. Which is smaller: g or q?
q
Suppose 3*o + 9 = -0*o. Let a be (-2)/(-8)*70/(-5). Which is smaller: o or a?
a
Suppose 0 = -r - 3*q + 18, 2*q = 2*r + r - 21. Let k be 2/r + 2 + -2. Suppose 0 = -2*v + 4*j + 2, 2*v - 1 = -4*j + 7*j. Is v bigger than k?
False
Suppose j = 5*j + 40. Suppose 4*x + 63 = 5*i, -5*x + 2*i - 66 = -0*x. Let r = x - j. Which is smaller: r or -1?
r
Let o = -39 + 48. Is 9 <= o?
True
Let r be ((-23)/(-33))/(-1 - 0). Let j = r - -4/11. Suppose 3*w + 2 = -1. Is w bigger than j?
False
Let g = -1.8 + 4. Let w = -9 + 9.8. Let b = w + g. Is b greater than -1?
True
Let z = 6 - 5. Suppose 2 + z = 3*k. Suppose 5*v = v. Are k and v equal?
False
Suppose -p + 4 = 4*j - 9, 5*p + 4*j = 33. Let r(f) = f - 4. Let z be r(p). Let n be (-5)/(-3) - 2/3. Does n = z?
True
Let r = 0 + 1. Let a = 0 - r. Let i be ((1 - 2)/6)/((-15)/20). Do a and i have the same value?
False
Let m = 0 - 1. Let d = m + -4. Let a = -5 - d. Is 0 <= a?
True
Let d = -56 + 57. Which is smaller: 16 or d?
d
Let z = 13 + -12.8. Is z >= -9?
True
Let t = 3 - 2. Let b be -7 - (-10 + 6) - 70/(-26). Which is bigger: t or b?
t
Suppose -3*q + 3*r = 0, 2*q = 2*r + 3*r - 3. Let f = 4.1 + -4. Let l = -0.1 + f. Which is smaller: q or l?
l
Let n be ((-1)/(-2))/(44/(-16)). Are 0 and n non-equal?
True
Let u be 4/(-14)*(-1)/(-2). Let a be (-77)/66 + 6/12. Is u greater than a?
True
Let n(o) = -o**2 - 7*o - 3. Let w be n(-6). Let r be 3 + -2 + (w - 1). Suppose 28 = 4*a - 4*l, 3 - 26 = -5*a + 2*l. Is r bigger than a?
False
Let k(t) = t**3 - t**2 - t - 1. Let q be k(0). Which is smaller: q or -16/7?
-16/7
Let f(b) = -2*b**3 + 2*b**2 + 4*b + 3. Let n be f(-2). Let q = n + -18. Which is smaller: -1 or q?
-1
Let o(m) = -m**2 - 4*m - 1. Let g be o(-3). Is g at least 2?
True
Let m = -4 - 0. Let z be -1 - (20/m - 0). Is -2 at least as big as z?
False
Let m be (-2 - 68/(-8))/1 - 2. Which is smaller: 6 or m?
m
Let c be (48/(-15))/(2/10). Let r be (c/4)/4*14. Are r and -14 nonequal?
False
Let t be 33/74 - (-1)/(-2). Let o be (32/(-24) - (-2)/6) + 1. Is t < o?
True
Let p be ((-20)/15)/(4/6). Let i be ((-44 - 0)/2)/p. Is i smaller than 9?
False
Let o = 3 - 2.9. Let d = -13 - -18. Which is smaller: d or o?
o
Let y = -64.1 + 64. Let t = 14 + -8. Does y = t?
False
Let b = -25 - -24.9. Which is smaller: b or 2?
b
Suppose 10 = -5*l - 0. Let s = 5 + l. Let h be 8/s + (-4)/6. Are h and 0 nonequal?
True
Let h = -13 + 26. Is 0.1 > h?
False
Let w be (-630)/27 + 4/(-6). Let m be (-16)/w*-3*3. Let y be (-2)/m*(-3)/5. Which is smaller: y or 1?
y
Let q be ((-8)/(-3))/(4/82). Let k = q - 811/15. Is k >= 0.1?
True
Let q(f) = f - 1. Let n be q(0). Let m be n/(-4) - (-10)/56. Suppose j - 10*a + 21 = -14*a, -4*j = -2*a - 6. Are m and j equal?
False
Let b(k) = -k - 4. Let s be b(-4). Let v(f) be the second derivative of f**5/20 - 2*f**4/3 - 4*f**3/3 - 5*f**2 - f. Let n be v(9). Which is bigger: s or n?
s
Suppose 12*v + 4 = 16*v. Let i be v + -3 + 1584/801. Is i greater than 0?
False
Let d = 4 - 6. Which is greater: d or -4?
d
Let c = 2 - 8. Let w(u) = u**3 + 6*u**2 + u + 4. Let q be w(c). Let d = 5 - 8. Is q != d?
True
Let v = -0.042 - -0.142. Is -45 greater than or equal to v?
False
Let w(f) = 6*f + 2. Let k be w(-2). Let v = k + 13. Which is greater: 4 or v?
4
Suppose 5 = -3*x - 1. Let v be x/(-66)*6/(-2). Which is greater: v or 1?
1
Suppose -3*l + 5*n - n = 25, l - n + 10 = 0. Let z be (-9)/l - (-205)/(-425). Do z and 1 have the same value?
False
Let j = 3.84 - -0.16. Let w = j - 0. Does 2 = w?
False
Let h(z) be the first derivative of z**4/4 + 2*z**3 - z**2/2 - 8*z - 2. Let b be h(-6). Let c be ((-39)/6 - -2) + 2. Which is bigger: c or b?
b
Let u = -1.5 + 0.1. Let i = u + 1.5. Is -2/5 less than i?
True
Let v = -27 + 20.6. Let f = v - -0.4. Let j = 5 + f. Which is greater: j or 1/2?
1/2
Let m(c) = -c**3 - 2*c**2 + c + 2. Let b be m(-2). Are -2/9 and b non-equal?
True
Let u(h) = -h**2 + 12*h. Let j be u(12). Suppose -5 = -5*n, 0 = 5*i - n - j*n - 14. Let q be 0 - 3*(-2)/3. Is q not equal to i?
True
Let c = -0.6 + 0.4. Let d(j) = j**3 - 6*j**2 - 8*j + 9. Let h be d(7). Is c at least as big as h?
False
Suppose 464 = 3*z - 82. Let k be ((-4)/z)/(1/(-7)). Suppose -y + 0*y = 0. Is y greater than k?
False
Let z = -0.004 - -1.004. Is 1 > z?
False
Let r be (740 - 6)/((-7)/(-1)). Let a = r - 105. Suppose 0 = 4*g - 4*m + 24, 2*g - m = -2*g - 9. Is a greater than g?
True
Let l be (-5 - -3) + (-3 - -6)*1. Is 2/29 <= l?
True
Let d = -1359/4 + 368. Let g = -28 + d. Which is smaller: 6 or g?
g
Let o = -4 - -1. Let q = 6 - 5. Is q <= o?
False
Let a(d) = 7*d**3 + d**2 - 1. Let w be a(-1). Suppose -2*x + 3*k - 11 = 0, -8*k = -3*k - 15. Which is smaller: x or w?
w
Suppose -3*w - 5 = 2*w. Let s be ((0 + -2)*w)/2. Let d = -97 + 98. Is s at least d?
True
Suppose 5*g - 16 - 9 = 0. Suppose -g*t = -k + 5, k - 4*t - 5 = -0*k. Suppose -2*s + k*c - 14 = -2, 0 = -s - 4*c + 7. Which is greater: s or -2/3?
-2/3
Suppose -4*n = 3*j - 7, 2*j = -0*n - n - 2. Suppose -h - 5*z = 6, -10 = 3*h + n*z - 3. Are -2/51 and h unequal?
True
Suppose -12 = -0*k - 3*k. Suppose k*i = -2*a - 10, -2*a - 1 = 2*i - 7*i. Let n be i + -2 - (-4)/2. Which is bigger: n or 0?
0
Suppose 10*s = 6*s + 24. Let d = 7 - 2. Suppose -d*i + 6*i = 7. Which is smaller: i or s?
s
Let n = -15 - -17. Which is greater: n or 6/5?
n
Let t(j) = 9*j**2 - 2*j + 1. Let z be t(1). Suppose -2*w + 4*c = -12, -4*c - 26 = -5*w - z. Which is greater: w or -2/9?
w
Let i = -0.1 - -3.1. Let x = 3.2 - i. Let t = x + -0.3. Which is bigger: 1/4 or t?
1/4
Let p = 10797/25 + -432. Is p less than or equal to 1?
True
Let m = 5.2 + -0.2. Let h = 0.2 + -0.3. Are m and h equal?
False
Suppose -4*u + 5*l = 4, -2*u + 5*l - 3 = u. Which is greater: u or -2/7?
-2/7
Let y(p) = -p - 1. Let v be y(1). Let h be (6/4)/(1/v). Is -5/3 equal to h?
False
Suppose -1 = 2*d - q + 1, 5*d + 5*q - 10 = 0. Is d at least 1/61?
False
Let f(b) = -b**2 + 2*b - 1. Let v be f(1). Suppose -g - 4*g + 5*a + 15 = 0, 4*a = -4*g + 12. Suppose -l - 2 = -g. Which is bigger: v or l?
l
Let j(x) = -x + 11. Let u be j(7). Suppose 5*g - 14 = -u*z, -3*g - g = 4*z - 12. Let w be (-10)/(-36)*4/(-10). Which is greater: z or w?
z
Let n = -0.5 + 0.4. Let k = n - 4.9. Let i = k + 5. Which is greater: -4 or i?
i
Let p(m) = m - 2. Let d be p(3). Suppose -u = -2*u + 2. Is u smaller than d?
False
Let u(l) = -l**2 - 13*l - 10. Let c be u(-12). Let a be (-3)/(-24)*-2*c. Is a less than or equal to 4/3?
True
Let g be 1/(-2) - ((-30)/4)/15. Which is bigger: 2/5 or g?
2/5
Let t be (-3710)/56 - (-6)/(-8). Are t and -67 nonequal?
False
Suppose -3*t = -4*a + 582, a + t + t = 140. Let j = a + -1298/9. Which is smaller: 0 or j?
j
Let j(f) = -f**2 + 9*f - 4. Let z be j(9). Let v be (-2)/(-6) + (-37)/3. Let x be (v/8)/(1/2). Which is bigger: z or x?
x
Let v = 1/418 + 11281/2090. Let b = v - 103/20. Does b = 1/5?
False
Let h(s) = -2*s + 6. Let b(d) = -d + 1. Let q(c) = b(c) - h(c). Let y be q(4). Is -1/3 not equal to y?
True
Suppose -3*p + 22 = -4*c, -2*c - 23 = -3*p - 3. Suppose -5*l - 2 = -4*i - 48, -5*l + 38 = -2*i. Is p bigger than l?
False
Let n be (-1)/(2/(22/1)). Let g = n - -15. Which is bigger: 5 or g?
5
Suppose 5*p = 2*p + 240. Let k = p + -396/5. Is 1 bigger than k?
True
Let b(s) = 2*s**3 + 2*s**2 - 2*s - 2. Let r = -8 - -6. Let v be b(r). Let m(i) = -i**2 - 4*i + 5. Let k be m(-6). Is v smaller than k?
False
Let p = 14 + -13.6. Are p and 0.3 unequal?
True
Let a be 26/42 - 2/7. Let u = 26 + -25.9. Are u and a nonequal?
True
Let w = -14 - -14. Which is smaller: w or 14?
w
Let n be -4*(1 + (-14)/8). Suppose 0 = -2*r - 2, 2*t + r = -0*r - n. Let