ppose u = -2*v + 11. Is 5 greater than or equal to v?
True
Let h be 6/(10 + (-1 - 1)). Is h greater than or equal to 0?
True
Let f = 0 + 3. Let c be 8 - (f + -1)*1. Is c greater than or equal to 6?
True
Let w(j) = j - 8. Let n be w(9). Suppose -4*g + 53 = -5*o, 3*g + 5*o = n - 5. Which is greater: g or 6?
g
Let j(o) = 2*o + 13. Let u be j(-7). Which is greater: -3 or u?
u
Suppose -3 + 5 = 2*w. Do 4/11 and w have the same value?
False
Let q be (-16)/88 - (-2)/11. Which is greater: q or 1/8?
1/8
Suppose 4*h - 3*p = 13, -p - 2*p - 9 = 0. Let x be (-2 + (-15)/(-9))/1. Which is greater: x or h?
h
Suppose 4*d + g + 11 = 0, -6*d + d + 3*g = 1. Let s be -21*(-10)/(-150) - 4/(-10). Are d and s nonequal?
True
Let h = -3 + 8. Suppose -2*r + h*j = -0*r - 22, -r + 2*j = -9. Let p be (4/12)/(r/(-3)). Which is greater: -3/5 or p?
-3/5
Let z(f) = f**3 + 3*f**2 - f - 2. Let j be z(-3). Let r = -4 + 12. Let s = r + -6. Is s at least j?
True
Let s(l) = l**3 + l. Let f be s(-1). Let m = 3 - 6. Are f and m non-equal?
True
Suppose 3*g = u - 2, 4 + 4 = -2*g + 2*u. Which is bigger: 4 or g?
4
Let o be 2/(0 - 8/12). Is o bigger than -4?
True
Suppose 10*b + 5 = 15*b. Suppose 40 = 3*g + g. Let i be g/6 - 3/(-9). Which is smaller: i or b?
b
Suppose 4*v - w - 18 = 0, 17 = 3*v + 2*w - w. Which is greater: v or 11/2?
11/2
Suppose -6*z - 2 = -5*z. Let t = z + 3. Suppose -3*f - 2 = -o + 11, -2*f = -4*o + 12. Does t = o?
True
Suppose -3*m + a + 4 = 1, 3*m - 2*a = 6. Let j = -41 - -41. Suppose m = -j*f + 4*f + 3*w - 8, 14 = 2*f + 4*w. Is 1 < f?
False
Let o = 1 - 1. Let j = 32 + -33. Which is smaller: j or o?
j
Let p be (1*-3)/((-1)/(-108)). Let h = p + 5506/17. Suppose 3*x - 1 = i + 2, 2*x - 2 = 3*i. Is h greater than or equal to x?
False
Let o = 965/4029 + -1/237. Suppose 3 = 4*f - 1. Which is bigger: o or f?
f
Suppose -17 = -2*w + 5*g, 0*w + 9 = -w - g. Let v be 10/w*(-21)/(-5). Let f = -11 - v. Which is greater: f or 1/4?
1/4
Let a(s) = -s**3 - 8*s**2 + 4*s - 1. Let c(m) = -m**3 - m**2 - 1. Let h(n) = a(n) - 2*c(n). Let z be h(5). Let g = z + 2. Which is bigger: -1 or g?
-1
Suppose -5*p = 2*m - 8, -2*p - 8 = -2*m + p. Which is greater: m or 5?
5
Let f be 106136/(-132) - (-2)/2. Let n = f - -803. Does 1/3 = n?
False
Let b(i) = i**2 - 4*i + 3. Suppose 0 = -o + 5*o - 16. Let x be b(o). Is 2 < x?
True
Suppose d - 2*d - 4 = 0. Let b = d - -5. Suppose 4 = 3*g + k, k = 5*g + 3 - 15. Is b bigger than g?
False
Suppose -2*h - 26 = 2*n - 0*h, 0 = 3*n - 4*h + 11. Is n > -9?
False
Let y be (-5)/2*8/(-5). Suppose -5*t = -y*t. Is -1 smaller than t?
True
Let v(c) = 2 - 8 - 8*c + 0 - 7*c**2 - c**3. Let m be v(-6). Let d be 4/(-18) - m/(-27). Which is smaller: -1/10 or d?
-1/10
Let y = 25693 + -2440801/95. Let o = y - 3/19. Which is smaller: -1 or o?
-1
Let q = -42 - -42.2. Is 26 not equal to q?
True
Let o be 2/(-10) - (-27)/60. Let f = 0.1 - -0.1. Which is bigger: f or o?
o
Let h = 18 - 17. Which is smaller: -2 or h?
-2
Let l(q) = 2*q - 2. Suppose 12 = v + 3*v. Let a be l(v). Let b be 1 + a/(-3) + 1. Is b >= 2?
False
Let j = -210912/7 - -30068. Let b = 62 + j. Do b and -1 have the same value?
False
Let y(s) = 4*s - 27. Let v be y(15). Do v and 33 have different values?
False
Let j(p) = 13*p - 2. Let t be j(1). Let h(s) = s**3 - 10*s**2 - 9*s - 14. Let k be h(t). Suppose -3*o + o - y = -20, -o + 5*y - 1 = 0. Is o smaller than k?
False
Let k = -103.2 + 103. Which is smaller: -29 or k?
-29
Let n = 8 - -9. Do 0 and n have the same value?
False
Let r be (-50)/4 + 5/10. Let c = -7 - r. Which is smaller: c or 4?
4
Suppose 0 = 2*q + 4*o + 8, -2*q - q - o + 8 = 0. Which is smaller: q or 5?
q
Let j = 15 + -19. Is j greater than 2/3?
False
Let s(a) = a**3 - 2*a**2 - 2*a - 1. Let z be s(3). Let f(v) be the first derivative of -v**4/4 + 7*v**3/3 + 4*v**2 + 2. Let k be f(8). Which is bigger: k or z?
z
Suppose -3*z + 35 = -0*b + 2*b, -5*z + 5*b + 50 = 0. Let w be (-4)/(-6) - (-16)/3. Let p = z - w. Which is smaller: p or 4?
4
Suppose 7*w = 5*w - a + 70, -166 = -5*w + 2*a. Is w equal to 0?
False
Let n = -221/198 - -68/33. Let z = 14/9 + n. Is 3 smaller than z?
False
Let o be (-2)/4 - (-7 + 5). Which is smaller: o or 1/2?
1/2
Suppose 22 - 2 = 5*n. Let v = n - 47. Let t = 213/5 + v. Which is smaller: t or 0.1?
t
Let o be (-1)/2 - 355/10. Let n be (0 + 1)/(4/o). Is n greater than -9?
False
Suppose -q + 0*q = -r, 4*r = q. Is q > 2?
False
Suppose 3*p - 6 = 3*z, 4 = -z - 2*p + 4*p. Let u = 4 + z. Suppose -a + 3*a = 3*r - 4, -r - 8 = u*a. Is a bigger than -1?
False
Let d = 6/17 + -1/51. Let u be (-1)/3 - (-4)/(-6). Which is greater: u or d?
d
Let w = 2 + -2. Suppose w*h = -h. Are h and -1 nonequal?
True
Suppose 3*l + q + 16 = 0, 21*l + 5*q = 17*l - 3. Which is bigger: l or -6?
-6
Let h = 30 + -29.8. Is h at least as big as -0.06?
True
Let n(v) be the first derivative of -1 - 7*v - 1/2*v**2. Let j be n(-7). Is j at least -2/13?
True
Let b = 11 + -8. Let z be -2 + 0 - 32/(-14). Which is smaller: z or b?
z
Let f = 0.08 - 0.48. Let n = -2.6 + f. Is n > 1?
False
Let g be (-2)/8 + 5/60. Let r(y) = 2*y**2. Let i be r(-1). Is g not equal to i?
True
Let p = -182 - -191. Is 15/2 greater than or equal to p?
False
Let g = 4 + -4. Suppose 10 = 5*p - 5*l, g - 1 = -p + 2*l. Is 3 greater than or equal to p?
True
Suppose -3*i = -i - 2. Suppose q = -i + 2. Is -2/5 != q?
True
Suppose 5*h - 3*d = 156, 2*h - 40 = -3*d + 14. Let q = -6 - h. Let u be 1/(-4) - 17/q. Is 1 less than or equal to u?
False
Let r be 2/10 - (-12)/(-35). Let g be ((-14)/(-115))/((-3)/12). Let c = 2/23 + g. Which is bigger: r or c?
r
Suppose 2*v + 6 = t, 5*v - 17 = -2*t + 4. Let j be 2/t + (-52)/48. Does j = 0?
False
Let y = -0.054 + 0.154. Let p = -0.1 + 0.1. Let b = p + y. Which is smaller: 1 or b?
b
Suppose r + 23 = 2*o + 6*r, 0 = 2*o - 2*r - 2. Let c be 2*(-1 - (-5)/o). Let a = -35 + 35. Which is smaller: a or c?
a
Let n be (8/6 - 0)/2. Which is bigger: 2 or n?
2
Let u = -2826656/14523 - -9180/47. Let i = u + -2/103. Which is greater: i or -2/13?
i
Let k = 84 - 90. Which is smaller: -1/4 or k?
k
Let r = 28 - 14. Let k = r - 27. Are k and -1 nonequal?
True
Let g(o) be the third derivative of -o**5/60 - 7*o**4/24 - o**3/3 - 4*o**2. Let p be g(-6). Which is smaller: p or 1?
1
Let u = -0.06 - 0.04. Let h be 4/14 - 2052/28. Let v = -951/13 - h. Is u <= v?
False
Suppose -1 = -3*r + 2*r. Let z be (-4 - (r - 2))/(-1). Let i be (-5)/6 - z/(-9). Is i greater than 0.1?
False
Let o = 33 - 32. Which is bigger: -61 or o?
o
Let n = -2.8 - -3. Let y = n - 0.2. Let h(x) = -x**3 - x**2 + 2*x. Let m be h(-2). Is m at least y?
True
Let o be (5 + 1/1)/(2 - 63). Do -0.1 and o have different values?
True
Let d(s) = -9*s - 28. Let t be d(-3). Which is bigger: -5 or t?
t
Let q be ((-53)/(-9) - 5)/(28/6). Which is bigger: q or 2/9?
2/9
Suppose 4*y + 3*p - 14 + 1 = 0, 5*p = -y - 1. Suppose -y*z = -7*z - 6. Which is smaller: z or 0?
z
Let r = 0 - -1. Let s be r/(-4) - 3/4. Let c be 10/(-6) - 1/3. Is s less than c?
False
Suppose 2*b + 2*q = -8, -b - 1 = -5*q - 3. Suppose 0 = 2*v - 22 + 18. Is b less than or equal to v?
True
Suppose -4*r + 11 = -1. Suppose 5*s = -3*o + 4, -2*o + r*s - 14 = 2*o. Let d = o - 1. Which is smaller: -4 or d?
-4
Let g = 56 - 79. Which is greater: g or 1?
1
Suppose -26*n + 4 = -28*n. Suppose 3*t + h = -2*h - 39, -2*t = h + 22. Which is greater: t or n?
n
Let z be (0 - 1) + 19 - -2. Suppose -3*l = 5*g + z, g - 2*g = -3*l - 32. Is -10 at most l?
True
Suppose 3*t = -t + 120. Is t greater than or equal to 0?
True
Let f be -5 + (-114)/(-24) + 2/8. Let g = 54/17 - 1384/425. Are f and g nonequal?
True
Suppose -2*s - v - 3*v = -24, 3*s - 31 = -5*v. Let x be 2/(-2 - s) + 6. Let h = 5 - x. Which is bigger: h or -0.3?
-0.3
Suppose 2*z = -z - 3. Let k be 1 + 3 + (1 - 0). Suppose 6*t = k*t - 1. Is z less than or equal to t?
True
Let v = -10 - -6. Let a = -4 - v. Is a >= 4/7?
False
Let p be 4/(-14) + 30/7. Let l be 2/p*0/(-5). Let b be (4/(-110))/(3/(-30)). Is l at least as big as b?
False
Let m = -23.7 + 19.7. Is -2 at least as big as m?
True
Let a = 2.8 - 3. Let v = -3 - 17. Let u = v - -16. Do u and a have the same value?
False
Let c be 1/2 + (-464)/7. Let m = c + 131/2. Does m = -3?
False
Let y be 978/(-12) + (-2)/(-4). Let i be (-12)/y + (-2)/9. Which is bigger: i or 