)/(-2)*2/v. Let k be (-1)/(1 + (-1 - s)). Which is greater: k or 2/9?
k
Let h = -23 + 14. Let r be 9*(-3)/h - 6. Which is smaller: r or -2?
r
Let p(c) = 7*c - 30. Let a be p(10). Is a != 0.2?
True
Let v = 0.02 - 6.02. Let z = v - -6.1. Which is smaller: z or 0.6?
z
Suppose w - 15 = -2*w. Suppose -h - 3*h + w*q + 1 = 0, 0 = -4*h + 4*q. Is h at least as big as -3/11?
False
Let v be 3/((-15)/115) + -1 + -1. Is -25 != v?
False
Let n = -36 - 1. Which is greater: 1 or n?
1
Let x be (202/32)/((-20)/8). Let v = x + 12/5. Does 0 = v?
False
Suppose 10 + 20 = 3*r. Suppose -r = -4*u + 10. Is u > 7?
False
Let s = -35 + 55. Let l be s/8*-1 + 2. Let o = -1 - 1. Which is bigger: o or l?
l
Let i = 4.5 + -4.4. Which is smaller: i or -9?
-9
Let a = -18.4 + -2.6. Which is bigger: -1/4 or a?
-1/4
Suppose 4*d + 4*j - 4 = 0, -4*d = -6*d - 3*j + 7. Suppose 6 = 5*x - 4. Let q = d + x. Are -1 and q non-equal?
True
Let x(n) = -n**3 + 4*n**2 + 2*n + 2. Let a be x(4). Let g = 16/29 + -3/58. Which is smaller: g or a?
g
Let u = 2060 - 47392/23. Are u and 0 equal?
False
Let u be 21/(-2)*4/(-7). Is 6 bigger than u?
False
Let c = -6 - -5. Is -18/11 bigger than c?
False
Let o = 5 - 5. Suppose -6*w + 24 = -3*w. Suppose 4*f + 0*f - w = 0. Which is smaller: f or o?
o
Let j(n) be the second derivative of -n**5/20 + n**4/12 + n**3/3 + 3*n. Let s be j(2). Is s less than 2/9?
True
Let m(y) = y. Let b be m(0). Suppose -3*w + 72 = -w. Let x = -143/4 + w. Which is greater: x or b?
x
Let j = -6 + 10. Suppose -j*z = -5 - 3. Which is greater: z or 1?
z
Let v = 0.301 + 3.729. Let q = v + -0.03. Which is smaller: q or 1?
1
Let r(l) = 4*l**2 - 4*l - 7. Let p be r(7). Let h be p/(-6)*(-1)/(-14). Let y = h + 5/3. Which is greater: y or 1/2?
1/2
Let s = 8414 + -260858/31. Let n = -306/155 - s. Is n bigger than 0?
False
Let q = 573 + -576.01. Let x = -0.01 - q. Let g = x + -2.8. Is -1 at least g?
False
Let s(i) = i. Let c be s(-9). Let u = 8 + c. Which is smaller: u or 0?
u
Let k be 0*(-2 - -2 - -1). Which is bigger: -5/31 or k?
k
Let r = 17.05 - 18. Let z = 0.05 - r. Which is smaller: -3/8 or z?
-3/8
Let z = 267 - 3469/13. Suppose 3*x = -0*x. Which is smaller: z or x?
x
Let x be (-5655)/21 - (-4)/(-14). Let b = 269 + x. Let t be (-4)/14 - (-6)/21. Do b and t have the same value?
False
Let b be ((-30)/(-8))/(5/(-20)). Let f be ((-3)/(-1))/(b/(-10)). Is 7 at most as big as f?
False
Let m = 0.8 + 2.2. Let k = 2 - m. Which is greater: 3 or k?
3
Let o = 14 + -5. Let f = -9 + o. Which is bigger: 5 or f?
5
Let t be 0 + 3*1 - (-55 + 58). Which is greater: -2/67 or t?
t
Suppose -10 = -3*m - 1. Let i be m - ((-21)/(-6) + -1). Is 1 less than i?
False
Suppose 5*i - 7 = -f, 0 = -2*i + 2*f - 5 + 15. Suppose -2 - 7 = -3*v. Do i and v have the same value?
False
Suppose k - y = -4*y + 34, -3*k - 5*y = -102. Suppose 2 - k = -4*h. Are h and 5 equal?
False
Suppose 5*x - 3 = 12. Let c be (-34)/(-10) - (-2)/(-5). Suppose -c*w + 1 + 5 = 0. Which is bigger: x or w?
x
Let d = 1.8 - 2. Which is smaller: 4 or d?
d
Let m be (0/2)/(2/1). Let h be m + -3 + 1 - -3. Which is greater: 0 or h?
h
Let s be 68/(-20)*-1 - (-2)/(-5). Let j be 48/(-7)*(-3)/12. Is s at least j?
True
Let l be (-2)/6 + (-30)/18. Is l at most -3/2?
True
Let q(n) = -1 - n + 1 - 5. Let v be q(-6). Which is smaller: -1/2 or v?
-1/2
Suppose 0 = 4*v - 4*c - 132, 0*c + 24 = v + 2*c. Let i be 35/7*(-4)/v. Suppose 0 = 5*a + 4 + 1. Which is smaller: a or i?
a
Let k = 34 - 32. Let g be (0 - (-1)/(-31))*3. Let d = g - -71/93. Is d less than k?
True
Let i be ((-87)/(-12))/(3/12). Which is smaller: i or 28?
28
Let a(p) = -p**2 + 8*p - 5. Let g be a(4). Is g less than 11?
False
Let b(t) = t + 4. Let z be b(0). Is z smaller than 5?
True
Let l = 90 - 100. Which is smaller: l or -16?
-16
Suppose 0 = 2*t + 3*s + 17, -3*s = -3*t + 16 - 4. Which is smaller: -1/60 or t?
t
Let d = -15 + 11. Let r be (-57)/(-21) + (d - -1). Which is greater: r or -1?
r
Suppose -5*p + 18 = 4*i + 3, 4*i - p = -3. Is 0 at most as big as i?
True
Let b(p) = -p**2 - 6*p + 1. Let m be b(-6). Which is smaller: 4/13 or m?
4/13
Suppose 13*s = s. Let r = 0.002 + 6.698. Let z = r + -7. Which is greater: z or s?
s
Let o be (-1)/12 - 1128/288. Which is smaller: o or 0.3?
o
Let i(q) = q - 2. Let k be i(-2). Let s be (2 + -1 + k)*-1. Suppose 0*m - s*m = -3. Which is smaller: -1/5 or m?
-1/5
Let r(x) = 20*x - 44. Let j(b) = 7*b - 15. Let v(i) = -8*j(i) + 3*r(i). Let n be v(5). Suppose -3*l + 39 = 3*q, 30 = -0*l + 5*l - 2*q. Is n greater than l?
False
Let a = 0.21 + 11.79. Are -2/7 and a nonequal?
True
Suppose 5*b = -5*h + 3*b + 11, -1 = 2*h - b. Let c be ((-8)/(-20))/(h/10). Suppose l + 0*l + 10 = -5*j, -2*j = 2*l + c. Which is smaller: l or -4/7?
-4/7
Let k be 8/(-12)*18/(-4). Suppose -12 = -k*c - q - 39, 2*c + 25 = -3*q. Let y be 25/(-3) - (-1)/3. Are c and y nonequal?
False
Let p(f) = 3*f - 11. Let a be p(4). Suppose 4*m - 5*b - 2 = 0, 2*m = -0*m + 5*b + 6. Is a <= m?
False
Let y(u) = 3 + 2*u + u - u - 3*u. Let t be y(4). Is t at most as big as 3?
True
Let c(s) be the first derivative of s**3/3 + 5*s**2/2 + 1. Let k be c(-3). Is -4 >= k?
True
Suppose -d - 3*f = -f - 6, -2*f + 6 = 3*d. Let j = -10 + 22. Let n be (-8)/j - (-4)/18. Which is greater: d or n?
d
Let u = 0.054 - 1.054. Let p = -5.8 - -0.8. Let n = -7 - p. Is n greater than or equal to u?
False
Let o(k) = -k**3 + k**2 - 5*k + 10. Let r be o(2). Is r at least -30/11?
False
Let r = 7.2 + 0.8. Let y = 3 - r. Let a = 6 + y. Does a = 0.2?
False
Suppose -10 = -7*i + 2*i. Suppose -i*x - x + 3 = 0. Let j be ((4 - 3)/x)/(-1). Which is smaller: j or 1/4?
j
Let a be 1/6*3*2. Which is smaller: a or 3/5?
3/5
Let c(i) = -i**3 - 3*i**2 + 4*i + 2. Let a be c(-4). Suppose -5*r + 5*o = -15, -2*r + 6*r + a*o = -18. Let m = r - -3. Which is smaller: m or 2/3?
2/3
Let x(i) = -i**2 + 4*i + 2. Let n be x(4). Let g = 67 - 62. Which is smaller: n or g?
n
Suppose -12 = -4*p + 3*t + t, -p + 7 = -2*t. Which is bigger: -8/11 or p?
-8/11
Let r = 137/3 - 45. Suppose -3*a - 4*g = -34, -3*a + 2*g = -g - 27. Let t be ((-4)/10)/((-2)/a). Are t and r non-equal?
True
Let f = -3 + 4. Let m = 0.05 - 0.65. Let x = -0.8 - m. Is f less than x?
False
Suppose -5*c + 1 = 26. Let r(a) = -a**3 - 5*a**2 - a - 4. Let o be r(c). Is -2/55 at least as big as o?
False
Suppose -2*b - 3*z - 2*z - 5 = 0, -3*z = -3*b + 24. Suppose 3*p + 4*w + 1 = 3, -b*p - 2*w = 6. Does p = -4/3?
False
Let h(n) = n**2 + 4*n - 4. Let l(c) = -c**2 + 5*c + 1. Let s be l(6). Let m be h(s). Let o be 0/(1/((-2)/(-2))). Are m and o unequal?
True
Suppose 14 = 2*d - 10. Let k = d - 13. Which is greater: 1/9 or k?
1/9
Suppose o = -3*y + 7, -3*o + 5 = 4*y - 6*o. Let c be y/4*(-16)/(-52). Let q(l) = 2*l + 1. Let j be q(-1). Which is bigger: c or j?
c
Let n be (-222)/(-84) + 1/(-7). Which is smaller: -0.06 or n?
-0.06
Let t = 0.4 + -0.4. Let s be (-8)/18*(-12)/(-32). Which is smaller: t or s?
s
Let l(a) = a**2 - 6*a + 4. Let h be l(6). Let c be h/(-10) - 4/40. Do c and 3/4 have different values?
True
Let m = 11 - 15. Let h = -0.08 + 5.08. Let d = m + h. Is 1/2 at most as big as d?
True
Let h = -21.56 - 0.44. Which is smaller: -2/3 or h?
h
Let n(d) = -12*d - 131. Let l be n(-11). Let g be -15*(-1 + (-126)/(-130)). Which is smaller: g or l?
g
Suppose b + 0 = -3. Suppose 4*d = -2 + 10. Suppose d - 4 = z. Is b less than z?
True
Suppose -4*b = -10*b + 84. Let o(i) = -i**3 - 6*i**2 - i - 6. Let f be o(-6). Suppose -5*l + 7 = 4*j, f*j = 4*j - 2*l + b. Which is smaller: 0 or j?
j
Let u be 2/(-5) + 96/(-45)*-3. Which is bigger: u or 7?
7
Let j(g) = -14*g**2 + 5*g - 3. Let c be j(1). Which is greater: -11 or c?
-11
Suppose 0 = -0*q - 3*q. Let v(r) = -3*r**3 - 3*r**2 + r - 3. Let t(y) = 4*y**3 + 4*y**2 - y + 4. Let h(z) = 4*t(z) + 5*v(z). Let j be h(0). Is q >= j?
False
Let u = 5 + -6. Let v be 3 - u/2*2. Suppose 0 = v*b + c + 1, 0 = b + 4*c - 11. Which is bigger: b or -2/5?
-2/5
Let t = 103.1 + -103. Let k be (-3)/(-4)*2*2. Which is bigger: k or t?
k
Let w = 0 - -0.1. Let b = -0.35 - -3.35. Is b at most w?
False
Suppose 7*b - 2*b + l = -19, -29 = 3*b + 5*l. Is -7/3 != b?
True
Let c(s) = 3*s + 6. Let h be c(-5). Let y be (h*1/(-1))/(-1). Is y bigger than -9?
False
Let j(n) be the third derivative of n**4/24 - 2*n**3/3 + 6*n**2. Let m be j(-3