e o + v + 1 = 0. Let u be (-1)/(-5)*(-15)/(-9). Which is smaller: o or u?
o
Suppose -3*i - 5*l - 10 = -5*i, -4*l = 8. Let w = -2.08 - -2. Let t = -0.08 - w. Is t at most as big as i?
True
Suppose 0*h + 24 = 3*h. Let q = h - 6. Which is greater: 1 or q?
q
Let a = 0.7 - -0.3. Let w = 0.8 - a. Let g = w - -1.2. Is 1 at most g?
True
Let t be ((-1)/(-5))/((-2)/(-14)). Let c = -19/10 + t. Which is smaller: c or 0?
c
Suppose -2*y = 4*o + 24, y - o - 3*o = -6. Let l be (2/(-10))/((-6)/y). Suppose -3*q = -6*q + 3. Does l = q?
False
Let o = 18 - 19. Let f be 18/18*o/3. Is 0.01 less than or equal to f?
False
Let k = 94 - 93. Let x = 18 - 35/2. Is k smaller than x?
False
Suppose 0 = -2*p + 13 - 7. Let h be 8/(-3 - (p - 8)). Which is bigger: h or 3?
h
Suppose -1 = 2*f - 3*f. Let x be (3900/436)/3 + -3. Let z = 313/763 - x. Which is smaller: f or z?
z
Let v = 713751/250 - 2855. Is v at most 0?
False
Let d(v) = -v**2 - 2*v + 3. Let a be d(-2). Suppose -c = c - 8. Does c = a?
False
Let y be 3 - 5/1 - -4. Which is smaller: y or 0.3?
0.3
Suppose -2*o = 3*f - 4, -5*o + 3 = -3*f - 7. Suppose -4*n = -3*n + 3. Is n >= f?
False
Let v = 0.01 + -0.07. Which is greater: 2/17 or v?
2/17
Let y(f) = f + 18. Let a be y(-11). Suppose 0 = a*d - 4*d. Which is bigger: -0.18 or d?
d
Let k(h) = h**3 + 5*h**2 - h - 2. Let w be k(-5). Suppose w*q = 7*q. Suppose -4 = -q*u - 2*u. Are 3/2 and u nonequal?
True
Let b be ((-9)/6 - -1)*2. Is -2/113 smaller than b?
False
Let x = 1/2254 + 160031/6762. Which is smaller: x or 23?
23
Let g = 3 - 2.8. Let x = 15 - 16.2. Let p = x + g. Which is greater: p or 4?
4
Let c = 1.1 - 0.1. Let y(g) be the third derivative of -g**5/60 - 5*g**4/12 + g**3/2 - g**2. Let s be y(-10). Is s bigger than c?
True
Let j = 222/7 + -32. Which is greater: 1 or j?
1
Let y = -1 + -3. Let q be (48/15)/(y/(-10)). Is q greater than 9?
False
Let n(x) = -x + 1. Let p be n(4). Let z = 156 - 159. Is p equal to z?
True
Suppose 2*o + o - 10 = -c, 0 = -2*c - 4*o + 14. Suppose 0 = 2*f + 2, -3*h - 3*f - 2*f = -1. Is c <= h?
True
Let m = 2443/12 - 556/3. Let f = m + -18. Let r = 0.03 - 0.63. Is f equal to r?
False
Let p = -39 + 58. Is 20 less than p?
False
Let q(g) = -2*g**3 + 2*g**2 - 2*g + 1. Let a be q(1). Let m be a*2*(-27)/6. Suppose -3*c - 3*l = -8*l - 15, 3*c + 3*l = -m. Which is smaller: c or 1/2?
c
Suppose 1 - 9 = -4*s. Suppose -3*p - 16 = b, -2*b - 7*p + s*p - 29 = 0. Do b and -7 have the same value?
True
Let f(d) be the second derivative of d**4/12 - 17*d**3/6 - 5*d**2 - d. Let i be f(10). Let x = -404/5 - i. Which is smaller: -2 or x?
-2
Let f be (-6)/27 - 368/(-36). Which is greater: f or 11?
11
Let h = -0.2 + -0.3. Let f = -29.4 + 29. Let g = f - h. Is 2/5 >= g?
True
Let k be 2*(1/(-2))/1. Suppose -2 = -b + g + 4*g, b = 2*g - 1. Let u be 2 + (-1 - b - 3). Is k >= u?
False
Let i be 0 - (-4 + 3 + 1). Let d be 6 + (i - 3) + -1. Which is smaller: 4/7 or d?
4/7
Let l = 29 - 35. Suppose 5*n = -3*w + 7, -2*w = -5*n + 6 + 31. Is l equal to w?
True
Suppose -5*a - 6 = -w, 3*a + a + 4*w = 0. Let q be (2 - (-18)/(-11))*(-2)/16. Which is smaller: a or q?
a
Let j(a) = -a**3 + 14*a**2 - 25*a + 11. Let b be j(12). Is b greater than or equal to -3/4?
False
Let w be 23/33*33/(-44). Let b = 3/11 + w. Let p be 2/4*2/(-1). Which is greater: p or b?
b
Suppose 0 = -5*k + 6*k - 5. Let r be (-1*3)/(12/(-32)). Let v = k - r. Is 1 greater than v?
True
Let i = 1.1 + -0.1. Let u = -0.3 + -1.7. Let q = u + i. Which is greater: -0.1 or q?
-0.1
Let y = 2.8 + -0.8. Let q = 1 - y. Is -1 less than q?
False
Let c be ((-2)/(-36))/((-6)/(-24)). Which is smaller: -1 or c?
-1
Let k = -0.2 + 0.3. Let j = 0.12 + -0.62. Is k less than j?
False
Let h = 0.009 + 0.001. Which is bigger: h or -0.4?
h
Suppose 2*f - 5 = 5, 5*n + 5*f - 35 = 0. Let v be (10/(-30))/(n/6). Which is smaller: 3/10 or v?
v
Suppose 3*t + 4*q - 99 = 2*q, -q = t - 34. Let s = 22 - t. Is -9 > s?
False
Suppose -4*c - 5*g = -19, 2*g - 5 = 5*c - 37. Let f = -11 + c. Let k(o) = o**2 + 4*o - 6. Let s be k(f). Is s bigger than 1/3?
False
Let o be (0 + 2)*3/(-2). Let g be (16/(-80))/((-4)/(-10)). Is g less than o?
False
Suppose 7 = 5*g + 2*a + 35, -5*a = -4*g + 4. Let p be 1/2 - 14/g. Let b be -2 + p + 1 + -3. Is b smaller than -1?
False
Let m = 7.1 + -9. Let r = m + 1.96. Is r greater than or equal to -2?
True
Let h(a) = a**3 + 2*a**2 - 4*a. Let j be h(-3). Is j at most 2?
False
Let i = -1/49 - -51/98. Let t be (40/6)/4*-3. Let c be (-3 - -1)/(-1) - t. Do c and i have the same value?
False
Let p = -57.9 - -58. Which is bigger: p or 18?
18
Suppose -4*j + 112 = 3*r, -3*j = -3*r + 112 + 35. Which is greater: 46 or r?
46
Let g = 14 - 7. Let r(m) = 2*m - 10. Let l be r(g). Suppose 7*k - 3*k + l = 0. Is k greater than or equal to 4/9?
False
Let z(j) = j**2 - 18*j + 41. Let u be z(15). Which is smaller: u or -14/5?
u
Let f(o) = o - 9. Let l be f(7). Suppose j + h = -2*h - 1, 1 = -j + h. Let m be (-1)/(1/j - l). Is -2/5 less than or equal to m?
False
Suppose -t - 4*t = 20. Let c be 1*2*(-6)/t. Suppose o + c*o - 8 = 0. Which is bigger: 1 or o?
o
Suppose -4*r + 9 = -3. Let g(q) = -2*q + 4. Let z be g(r). Let c be 26/(-8) - z/8. Are c and -4 equal?
False
Let k be 10/15*18/4. Suppose -k*a = a + 8. Let f be (3/(-6))/(1/a). Which is smaller: f or 2/5?
2/5
Let j(s) = s - 1. Let p be j(0). Which is bigger: p or 2/49?
2/49
Let y = 4.02 + 0.68. Let h = -9 + y. Let k = h + 4. Is k greater than 0?
False
Let o = 2/443 - 1343/3101. Are o and 1 unequal?
True
Suppose 4*m - 8 = -3*x, -2*x + m - 2 = -0*m. Let w = 2 - 1. Is x equal to w?
False
Let x = 66 - 328/5. Suppose 0 = a - 0*a. Do a and x have different values?
True
Let t = 0.105 + -0.005. Which is bigger: t or -1?
t
Suppose 13*i - 8*i - 5 = 0. Is i > 1/4?
True
Suppose 3*s - 12 = 0, 0*x - 2 = 2*x - 2*s. Let m = -3 - -1. Let u = 2 - m. Which is smaller: u or x?
x
Let o = 11 - 26. Let r be (-3)/9*1*o. Suppose -3*z - 5 = -n, n - r = 4*z + 3. Which is bigger: -2 or n?
-2
Let k(c) = -7*c**2 + 6*c + 3. Let n be k(-5). Let p = 976/5 + n. Let d = p + 258/35. Which is bigger: 1 or d?
1
Let f be 2 + (3 + -1 - 3). Let m be ((-3)/(-18))/(f/9). Which is greater: 3 or m?
3
Let p = -5.4 - 0.6. Let r = 6 + p. Let z be (-42)/10 - 3/(-15). Is z < r?
True
Let z = 0.1 - 0.2. Let u(x) = x**3 + 7*x**2 + 5*x - 2. Let i be u(-6). Is z < i?
True
Suppose 4*w - 2*m = -12, 0 = -2*w - 3*w - 3*m - 26. Let q = w + -7. Let u(t) = t**2 + 12*t + 5. Let i be u(q). Which is greater: i or -7?
i
Suppose 2*c - 10 = -3*d, 3*d + 3*c - 5 - 7 = 0. Suppose x = -o + 5, 6 = 5*o + 2*x - 13. Is o smaller than d?
False
Suppose 55 = -19*q + 2012. Which is bigger: q or 104?
104
Let d = 51 - 49. Is 2 <= d?
True
Suppose -w = 4*b - 8, w = -4*w - b + 2. Suppose 3*p + 8*h - 4*h - 3 = 0, w = -3*p + h + 3. Are p and -1 unequal?
True
Suppose -5*q + 23 + 22 = 0. Let l = -5 + q. Suppose 0 = 3*g - 1 + l. Is g not equal to 0?
True
Suppose -l = -3 + 1. Suppose 3*g = -l*g - 25. Let r = g + 23/4. Is -1 != r?
True
Suppose 0 = -2*i - 8, -x - 4*x = 3*i - 3. Suppose 5*l = j - 9, -2*j - j = x. Let q be 1*(l + (2 - 1)). Which is smaller: -2/5 or q?
q
Let q(l) = 3*l - 9. Let f be q(-9). Let c be (-6)/f*9/(-4). Are -1 and c unequal?
True
Let d = 510 - 3564/7. Are d and 1 equal?
False
Suppose 2*c + 7 = 5. Let f be (-1 - c)*(-6 + 7). Is f <= 1/16?
True
Suppose 0 = -3*n + 14 + 61. Suppose 0*o - n = -5*o. Is 5 bigger than o?
False
Let c be (-2)/(-1) + (-956)/14. Let o = -66 - c. Which is greater: 1 or o?
1
Let x be (-2)/(-3)*(-30)/(-4). Suppose 10 = x*r - 5*c, 4*c + 7 = 2*r + r. Let p(y) = -y**3 + 3*y**2 + 5*y - 4. Let v be p(4). Which is smaller: v or r?
v
Let h be 8/(-6)*(-6)/(-28). Let o be (-12)/(-8) - (-2 + 3). Which is greater: o or h?
o
Let r = 577/945 - 2/189. Which is smaller: r or -2/7?
-2/7
Let g be (2/10)/(64/(-20)). Is g at least -1?
True
Let d = -9/2450 - -5/294. Does -1 = d?
False
Let y(i) = 3*i**2 - 2*i + 1. Let g be y(1). Suppose -q + 5 = 5*r + g*q, 3 = 3*r + q. Suppose -r = -o + 2*o. Is -2/5 greater than or equal to o?
True
Let n be (-59)/(-4) + (-3)/(-12). Let o = 57 - 41. Which is smaller: o or n?
n
Let r = -0.039 - -4.099. Let g = 0.06 - r. Let x = g + 4. Which is greater: x or -0.1?
x
Let q(s) = s**2 + 3*s - 11. Let u be q(-5). Are u and 84 unequal?
True
Let x(z) = -6*z