ppose -s*q + 6 - 1 = 0. Are q and -1/3 equal?
False
Let f be (-4)/(-22) + (-578)/1122. Is f bigger than 0.82?
False
Suppose -7 + 1 = -c. Suppose 7*u - 12 = 4*u. Suppose u*d = 2*d + c. Which is smaller: 1 or d?
1
Suppose l + 3*l = 3*y + 17, -5*y - 7 = 4*l. Is l greater than -1/2?
True
Let r be 2 + 0 - (-2)/2. Suppose -20 = r*a - 4*v, -21 = a - 5*v - 7. Let b be (-69)/15 + (-4)/10. Which is smaller: b or a?
b
Let r(f) be the first derivative of 7*f**4/4 - f - 15. Let x be ((-2)/(-4) + 0)*2. Let y be r(x). Is y <= 5?
False
Let j = 505/8 + -63. Is 1 at most j?
False
Suppose 14 - 20 = -3*r. Which is smaller: r or 5/2?
r
Let z = 0.06 + -0.66. Let a = 0.48 - 0.08. Let f = z + a. Is f >= -2/5?
True
Let o be 3059/(-56) - (-2)/8. Let c = o + 54. Is c <= 1?
True
Let j be 4/(-6) - 4/12. Let w = -1 - 1. Which is bigger: w or j?
j
Let o be (3 + -4)/1*-15. Which is greater: 16 or o?
16
Suppose -4*v + 12 = 0, v + 1 = 4*x - 4*v. Which is smaller: x or 42/13?
42/13
Let w = -2.24 - -0.44. Which is smaller: -1/4 or w?
w
Let p be 0 - -1*285/3. Let v = 12257/129 - p. Let m = -272/903 + v. Is -1 >= m?
False
Let m(b) = b**3 - b**2 - b. Let k be m(2). Suppose 0 = -5*q + k*q. Let y be 6/8*(-2)/18. Which is greater: q or y?
q
Let g = 3 - 6. Let w = 8 + g. Let b(y) = -y + 1. Let a be b(-3). Is w > a?
True
Let l(x) = -x**2 + 5*x - 3. Let s be l(3). Let w(o) = -5*o**2 + o**s + 4 + 0*o**2 + 0*o**2 + 3*o. Let z be w(4). Which is smaller: z or -0.2?
-0.2
Let h = 1171 - 33955/29. Are h and -1 non-equal?
True
Let k = 11 + -11. Let g = -16992/29 - -586. Is k less than g?
True
Let w be ((-18)/12)/((-5)/(-4) - 2). Which is smaller: -4 or w?
-4
Let o(a) = -a - 5. Let i = 1 + -5. Let m be o(i). Let s be ((-2)/(-12))/((-3)/4). Is m != s?
True
Let p = 37 + -26. Are p and 0 equal?
False
Suppose 35 = -8*f + 3*f. Let u(q) = -q**2 - 6*q + 5. Let s be u(f). Let c be (10 + -9)*s/4. Is -0.2 less than c?
False
Let d = 24 + -13. Is 10 >= d?
False
Let q be (-3 + 3)/(2/(-1)). Let y = 5 + -4. Is q greater than or equal to y?
False
Let f(l) = -l**3 + 14*l**2 + 16*l - 16. Let k be f(15). Is -18 >= k?
False
Let q(a) = a**2 - 20*a + 30. Let r be q(19). Suppose 20 = 2*v - d, -2*v + 34 = 5*d + 2. Is r at most v?
True
Let z = 15 - 16. Which is smaller: z or -1/7?
z
Let c = 14 - -10. Which is smaller: c or 25?
c
Let x = 135 + -108. Is -1 at most as big as x?
True
Let m(g) = g + 10. Let j be m(-7). Suppose q - j = -4. Is q <= -1/10?
True
Let y be (6/(-15))/((-7)/(-315)). Let q be (-4)/3*y/20. Is q smaller than 1?
False
Let v be 6/(-2) - (-6)/8*-4. Which is bigger: v or -3?
-3
Let c(r) = -r - 1. Let m be c(-1). Suppose m = -l + 2 + 2. Suppose 0 = l*d + d. Which is bigger: -1/6 or d?
d
Let f(x) = x**2 + 5*x - 7. Let o be f(-6). Let u(l) = -l**2 + 5*l - 6. Let a be u(4). Which is smaller: a or o?
a
Let z(u) = u**3 + 10*u**2 - 13*u - 12. Let i be z(-11). Are i and 9 equal?
False
Let i = -1.3 - -1.1. Is -3 equal to i?
False
Let h be (-21)/(-9) + 3 + -6. Let y be 0/(-2) + 8/2. Suppose z - y*z = 0. Do z and h have the same value?
False
Suppose 6 = 5*t - 19. Let l be (3/2)/(t/(-10)). Is l at most -3?
True
Let c be ((-6)/(-24))/(18/(-184)). Let v = -35/9 - c. Let y = -7 + 5. Is v at most y?
False
Let v(j) = -3*j - 11. Let p be v(-6). Is p at least 5?
True
Suppose 0 = 2*k + 8, 6*k = -4*g + 2*k + 56. Let i be ((-4)/6)/((-1)/g). Suppose 2*c = 4*o + i, -5*o - 12 = -2*c - 2*c. Is c <= -3?
False
Let s be (-4)/14 - (-9)/7. Let o = 9847/25 - 394. Let q = o + 71/175. Is q at most s?
True
Let f be -4*(3 + 10/(-4)). Let t(a) = a + 2. Let j be t(-2). Are j and f non-equal?
True
Let a(c) = c**3 - 5*c**2 + 4*c + 1. Let r be a(4). Let u = 6 - r. Suppose 0 = -u*j + 5, 6 = f + 5*j - 1. Is 1 smaller than f?
True
Let i be (-196)/105 + (-6)/45. Are -13 and i non-equal?
True
Suppose -3*r + 22 = 34. Is r > -14/3?
True
Let v = -111 + 152. Which is smaller: -0.1 or v?
-0.1
Let y = -135/4 + 33. Is y smaller than 1?
True
Let o be (46/(-3))/((-12)/18). Suppose -5*p + s - 10 = 0, 0 = 3*p + 5*s + 1 - o. Which is smaller: p or -1/6?
p
Let z = -2263/524225 - -2/1613. Let c = z - -27/325. Suppose -4*r = 3*v + 8, -r - 2 + 0 = v. Which is smaller: v or c?
v
Let p = 88 - 51. Which is bigger: p or 2?
p
Let d = -0.92 - 0.08. Let x = -3 - -2.6. Let p = -0.3 - x. Is p != d?
True
Let t = 11 - 6. Let f = 6 - 5.9. Which is bigger: t or f?
t
Suppose 15*v = 20*v - 5. Let y(c) = c**2 + 6. Let i(h) = -h + 1. Let w(g) = -5*i(g) + y(g). Let d be w(-5). Is v bigger than d?
False
Let p be -1 + -1 - 3/(-1). Let n = -7/6 - -73/42. Are p and n non-equal?
True
Let z = 15 + -11. Let d = -8.2 - -4.1. Let m = z + d. Are 3 and m unequal?
True
Suppose 0 = -c + 3*b + 1, -4*b - 6 + 34 = -5*c. Let p(f) = -f - 9. Let i be p(c). Which is bigger: 3 or i?
3
Let q = -93 - -931/10. Which is greater: -1 or q?
q
Let g = -0.22 - 0.18. Which is smaller: 2 or g?
g
Let t(y) = -y**2 - 5*y + 3. Let c be t(-6). Let x be (-1)/(26/(-4) - c). Is 2/11 at most as big as x?
True
Let d = -143 + 130.9. Let r = d - -12. Are r and 4/5 equal?
False
Let r(p) = 2*p + 10. Let q be r(-5). Which is bigger: q or 2/7?
2/7
Let p(u) = -u**2 - 2*u - 1. Let i be p(-1). Let t(v) = -v**2 + 5. Let b be t(0). Let r = -3 + b. Is i greater than r?
False
Let n = 1 - 1.2. Let x = 30.6 + -31. Which is greater: n or x?
n
Let i be 98/(-4)*(-5)/2. Let r = -61 + i. Is 0.1 at most r?
True
Let o = 203.9 + -203. Is o >= 6?
False
Let l be (-37)/3 + (-2)/(-2). Let a = -173/15 - l. Is -1 at most a?
True
Suppose 0 = 4*c + 97 + 11. Is -27 < c?
False
Let j = -45 - -40. Is -1 smaller than j?
False
Suppose p - 2*m - 3 = 0, -3*m + 0*m - 2 = -4*p. Let c be (20/65)/(p - 1). Let i(l) = -l**2 - 4*l + 5. Let k be i(-5). Which is smaller: c or k?
c
Suppose 4*v + 3 - 5 = 2*b, 3*v - 2*b - 3 = 0. Let z = 737/15 - 145/3. Which is smaller: z or v?
v
Suppose x - 5*x = -4. Is x bigger than 2/13?
True
Let v = -25 - -39. Which is greater: -1 or v?
v
Suppose -4*a - 1 = -3*m, -2*m - 10 = -2*a - 4*m. Let p = 1 - 1. Suppose 3*v = -i - 2*i, -a*i - v = p. Is i >= 1?
False
Suppose -20 = -5*y + 6*y. Let j be (-92)/y + (-2)/(-5). Which is greater: 1 or j?
j
Suppose -2*l + j - 22 = -4*l, -4*l + 68 = -4*j. Suppose -5*f + 58 = -n, -3*f - f + 3*n + 42 = 0. Which is smaller: l or f?
f
Let h = -14 - -9. Suppose m - 4 = -2. Suppose 3*o = 4*o + i + m, 0 = 4*o - 3*i + 29. Is o <= h?
True
Let o = -6 + 4. Let k = o + 2. Suppose 4*p + k = -8. Which is smaller: p or 0?
p
Let o = 0.4 - 0.36. Let p = 0.96 + o. Is p at most 0.07?
False
Let m be (-3)/2*60/18. Which is greater: m or -32/5?
m
Let v be 7178/504 + 4/14. Let w = 4995/4 - 2527/2. Let g = v + w. Is -1 < g?
True
Let j(r) = 10 - 6*r - 10 + 4*r. Let a be j(-1). Which is smaller: a or 1?
1
Let f = 69 + -74. Which is bigger: -15/4 or f?
-15/4
Let a = 1.6 - 1. Let k = a + -0.6. Are 3/7 and k equal?
False
Let n = -18.07 + 18. Let x = n + 0.07. Is x != 0.1?
True
Let p = 96 + -478/5. Let r(o) = -o + 18. Let b be r(19). Which is smaller: b or p?
b
Suppose 4*k + 32 = 2*a, 5*k = -a - 0*k + 2. Suppose 2*s - 7 = -3*m, 3*s + 3 - a = -3*m. Suppose 0 = n + 2 + s. Is -5 greater than or equal to n?
False
Let r = 1.3 - 1. Let f(n) = n**2 - 6*n + 4. Let t be f(6). Suppose -5*i - 4*k = 14, 5*k = t*i - 3*i - 3. Which is smaller: r or i?
i
Let a = 42 + -17. Is a >= 24?
True
Let h(g) = g**2 + 8*g - 8. Let o be h(-9). Suppose -k - 8 = -2*f - 0, 4*k - o = -3*f. Let a(w) = w**2 - w - 4. Let x be a(f). Which is smaller: 1/2 or x?
1/2
Let a(l) = l - 20. Let q be a(12). Which is smaller: q or -7?
q
Let r = 12.97 - -0.03. Let g = r + -7. Which is bigger: -1 or g?
g
Suppose -4*b - 16 = -3*x + 30, -2*x + 33 = -5*b. Suppose -3*g + 4*j = -20, -2*j + 4 = x. Which is bigger: -2/19 or g?
g
Let h be 2/4 + 51/(-14). Which is greater: h or -4?
h
Let h = 13 - 3. Let t be -11 + h + (-5)/(-3). Let a be 12/(-4)*10/18. Is t at least a?
True
Let u = 2.1 - 6.1. Which is smaller: 1 or u?
u
Suppose -4*r + 5*u - 6*u + 11 = 0, -3*r - 3*u = -6. Which is smaller: r or 9/4?
9/4
Let j = 16 + -18. Suppose 0 = -2*v + 5 - 1. Which is smaller: v or j?
j
Let u(y) = -2*y - 8. Let h be u(-5). Is h bigger than 9/4?
False
Let s = -3 + 8. Let i = s - 5.06. Which is smaller: -1 or i?
-1
Let l = -26 - -29. Which is greater: 2 or l?
l
Let k be 3/(-14)*60/45. Which is bigger: k or