Let r = s + 7. Which is smaller: r or 2/3?
r
Let i(v) = -v**3 - 7*v**2 - 9*v - 9. Let c be i(-6). Let o be 6*((-24)/c)/4. Suppose -2*p - 2*t = -2, 9*p - t = 4*p - 19. Are o and p non-equal?
True
Let g = -7 - -15. Are g and 8 equal?
True
Let z(y) = -y**2 - 13*y - 14. Let m be z(-10). Suppose 9 = 4*r + 1, 2*u - m = -5*r. Let n be (-4)/(-6)*u*1. Is 2/3 greater than n?
False
Let a(b) = b**2 + 7*b + 7. Suppose 0 = -2*d + 7*d - 10. Suppose 4*r + x - 6*x + 29 = 0, r + d*x + 4 = 0. Let p be a(r). Is 1 bigger than p?
False
Suppose -3*x + 5 + 4 = 0. Let g(o) = o**3 - 3*o**2 + 2*o - 4. Let j be g(x). Suppose 0 = j*v - 5*v - 12. Which is greater: -3 or v?
-3
Let c = 21153/7 - 3030. Let a = 8 + c. Which is smaller: a or 0?
a
Let f(o) = 3 + 2*o - 1 + o + 0. Let b be f(2). Let g(h) = -h + 7. Let q be g(b). Are q and -1 unequal?
False
Let g be (1 - 2)*4 + 0. Let s = -55 - -52. Which is greater: s or g?
s
Let b be 4/(-10) + (-9)/(-15). Suppose -5*s = 4*q - 25, -q - s + 2 = -3. Which is bigger: q or b?
b
Let d be (4/(-5))/((-2)/(-20)). Let u = -5 - d. Suppose 4*v - u*v = 3. Is 3 smaller than v?
False
Let r = 1 + -2. Suppose u + 2 = 2*y, 4*u - 2*u = -5*y - 13. Let j be -4 - -1 - y - -2. Is j < r?
False
Let j(u) = u**3 - 1. Let r be j(1). Which is smaller: r or 2?
r
Let g be (-5)/((-940)/(-8))*4/8. Which is greater: -1/3 or g?
g
Let u = -31 - -18. Let y = -17 - u. Is -4 <= y?
True
Let u = 127 + -135. Is u smaller than -8?
False
Let u = 12 - 37. Let h be (-12)/(-165)*u/6. Let l = 136/231 + h. Are -1/2 and l nonequal?
True
Suppose -24 = -8*z - 4*z. Which is greater: z or -12?
z
Let u = 426 + -1307/3. Let q = 9 + u. Suppose 2*t + 5*z + 11 = 0, 12 = -0*t + 3*t - 2*z. Which is smaller: q or t?
q
Let r = 116/5 - 23. Suppose -d + 4 + 4 = -5*j, -d - 5*j = -8. Suppose -d*b = -4*b. Is b greater than or equal to r?
False
Let g be (-4)/(-14) + 276/14. Suppose -8*k - g = -12*k. Which is bigger: k or 0?
k
Let i be 15/18 - 5/(-30). Let a be (-1)/(i - 2)*-1. Is a smaller than -18/11?
False
Suppose 3*u + 5*p = 40, 4*u + 0*u = 2*p + 10. Let r be (u/(-40))/(7/(-12)). Which is smaller: r or -1?
-1
Let a(g) be the second derivative of g**4/12 + g**3 - 5*g. Let w be a(-6). Is -2/19 > w?
False
Let i = -2 - 6. Let n = -7 - i. Let h = 0 - -0.2. Is n <= h?
False
Suppose y = 40 - 29. Which is smaller: 9 or y?
9
Let h = -55 - -55.25. Is -2 bigger than h?
False
Let n be 2 + 0 + -14*(-5)/10. Is n greater than or equal to 7?
True
Suppose v - 3*v - 6 = 0. Suppose -2*j = -3*h - 8, 4*j = 4*h - h + 4. Which is bigger: v or j?
j
Suppose 8 = 8*j - 6*j. Let r be 2 + j + 184/(-30). Which is smaller: -1 or r?
-1
Suppose -4*w + 9*w + 80 = 0. Let k be (1/w)/((-2)/(-4)). Is k greater than 1/3?
False
Let c = 11 + -12.4. Let k = c + 1. Let l = k + 0.3. Do l and -1 have the same value?
False
Let h = -1.2 - -1.36. Let s = -2.16 + h. Does -0.1 = s?
False
Let m = -41 + 223. Let k be (-4)/14 - (-24)/m. Which is smaller: 0 or k?
k
Suppose -5*s - 4 = 6. Let w be -2*s/(2 - 0). Suppose 5*b = -w*i - 29, 0*i + 4*b + 16 = 2*i. Which is smaller: i or -1?
i
Let i = 19/3 + -199/30. Which is bigger: i or -1?
i
Let p = -28 - -32. Which is smaller: 7 or p?
p
Let b be 8*1 + -1 + -1. Let t = -4 + b. Suppose -9*o + 10*o - 2 = 0. Is o less than or equal to t?
True
Suppose 0 = -5*w - 6 + 41. Suppose -w*r + 20 = -2*r. Let u be -1 + -1 + (-4)/r. Which is greater: 0.1 or u?
0.1
Let l(w) = -w - 7. Suppose 0 = -2*g - 36 - 22. Let b = 21 + g. Let c be l(b). Which is greater: c or 0?
c
Suppose -t - 635 + 128 = 0. Let j = -3543/7 - t. Is 1 > j?
True
Let c = -7.05 + 0.05. Is c less than or equal to -0.7?
True
Let l be 0/(-1) + (16 - 13). Suppose 6*g = l*g + 15. Is g < 2?
False
Suppose -l = 2*l - 12. Let a = -5 - -8. Let t = a - l. Which is greater: t or -2?
t
Let s be (-1)/2 - 16/(-32). Which is smaller: s or 2/81?
s
Let w = -0.01 - 0.01. Let n = w + 2.02. Which is bigger: -2 or n?
n
Let a(w) = w**3 + 4*w**2 + w + 1. Let s be (6/(-4))/(18/48). Let r be a(s). Is -3 < r?
False
Suppose -t = 2*q + 4, -4*t + 2*q = -7*t + 4. Let l be (165/(-10))/11 - 9/(-2). Is t at most as big as l?
False
Let u(v) = 6*v**2. Let b be u(1). Let k be 7/(-3) + 2/b. Suppose 0 = -0*m - 2*m - 2. Does k = m?
False
Let m(j) = -j**2 + 6*j + 1. Let u be m(6). Let g(p) = p**3 - 3*p**2 - 5*p + 4. Let v be g(4). Is v != u?
True
Let t be 19/(-38) - 7/(-8). Is 0 < t?
True
Let g be -1*(4 + -3)*(-3 - -2). Let v be 2/(-8) - 3/(-18). Is v at most as big as g?
True
Let a = -27/2 - -14. Suppose -u + 0*u = 5*r - 8, -u = -r + 4. Suppose 4 = -4*g + r*j, j + 0*j = 4*g. Is g less than or equal to a?
False
Let t(c) = c**3 + 2*c**2 - 2*c - 2. Let v be t(-2). Suppose 4*y - 4*m = -56, -3*m + m = -v. Which is greater: y or -12?
-12
Suppose -5*t + 1 - 8 = 2*a, 3*a = -4*t - 7. Let p be 45/5*a/(-3). Are p and 4 non-equal?
True
Suppose 6*l = l + 10. Suppose -l*v + 1 = -5. Are v and 3 non-equal?
False
Let q = 31 - 29. Which is smaller: 3 or q?
q
Let j = -9 + 13.8. Let y = j - 5. Is -0.1 at least as big as y?
True
Let p be (1 - 15/6)*-6. Suppose l - 5*x = p, -2*x = 2*l - 0*x - 6. Which is greater: 2 or l?
l
Suppose 9*d = 4*d - 2*b + 24, -5*b - 10 = -5*d. Suppose 0 = 5*i - 3*q - 10, -3*i + d*q + 6 = q. Suppose 2*f + i*f + 4 = 0. Are 2/7 and f equal?
False
Suppose -1 = -q + 1. Suppose -q*x = -0*x. Let k be 8/7 + -1 - 0. Is k > x?
True
Let b = -2/995 + 34831/2985. Let f = b - 13. Which is greater: 0 or f?
0
Let g = -5.1 - -31.1. Let v = 23 - g. Which is smaller: v or -2?
v
Let j be (710/125 - 6)*(-20)/(-1). Is j > -6?
False
Let m(t) = 3*t**2 - t - 1. Let g be m(-1). Suppose -5*v = -2 - 13. Is v at most g?
True
Let b(q) = -q**3 - 7*q**2 - 5*q + 3. Suppose 4*z = 6*z + 12. Let x be b(z). Let l = x + 5. Does 1 = l?
False
Let q = 9.8 + -10. Let m = q + 0.1. Does 1/5 = m?
False
Suppose q + 0*q = 4*t + 19, 0 = -3*q - 3*t - 3. Suppose 6 = -q*r - 4*o - 4, -11 = 4*r + 3*o. Which is smaller: r or -3?
-3
Suppose 22*h + 2 = 20*h. Let d be (h + 1)/(6/6). Is 0 at most d?
True
Let g = 1471/23 + -64. Is 0 at most as big as g?
False
Let p be (-2 - 12/(-8))*-2. Is -2/23 greater than p?
False
Let v be (-5214)/(-27) + (-2)/6. Let f = 193 - v. Let o be ((-3)/12)/((-2)/8). Is f > o?
False
Let v(x) be the third derivative of -x**5/60 + x**4/3 - x**3/6 - x**2. Let a be v(7). Suppose -w + a = -3*w. Are w and -1/3 nonequal?
True
Let o = 43 + -214/5. Let x be (-6)/(-15) + (-3)/(-5). Is o <= x?
True
Let r = 7.5 + 1.5. Which is smaller: 2/7 or r?
2/7
Suppose 0 = 5*d - 39 - 6. Let x = d + -9. Let i be (-2)/6*7 - -2. Is x < i?
False
Suppose 0 = 2*h + h - 24. Let d be (h - 7) + 10/(-6). Is -2 at least as big as d?
False
Let r be (-2)/(-1) - (-1001)/(-88). Let z = -9 - r. Which is greater: z or 1?
1
Let g = 48400/7 - 6949. Let z = g - -35. Let r be (-4)/3*4/(-16). Which is bigger: z or r?
r
Let h be 1/5 + 176/70. Is 4 not equal to h?
True
Let j(l) = -2*l + 39. Let c be j(19). Let w = 6 - 6.4. Let s = 4.4 + w. Is c at most s?
True
Let o = -0.11 + 0.12. Let g = -0.06 + -0.03. Let y = o - g. Are 2 and y non-equal?
True
Let s be -2 + 0 + (0 - 0). Are s and -7 non-equal?
True
Let a = 3 + -1. Suppose 0 = 2*p - a*n, -5*p = -n - 5 + 1. Let x(q) = -q**2 - 2*q + 2. Let i be x(-3). Which is smaller: i or p?
i
Let u = -25.61 - -20.6. Let l = u + 0.01. Let z = -3 - l. Do z and 1/2 have the same value?
False
Let u = -2 - 0. Let t be u/3 - (0 + -1). Which is greater: t or -1?
t
Let j be 2/(-1)*5/10. Which is bigger: -1/29 or j?
-1/29
Suppose 0*s + s + 2*l + 7 = 0, 0 = -5*l - 5. Let z(x) = -x**2 - 6*x - 2. Let r be z(s). Suppose -r*o = -4*o - 1. Which is bigger: o or -2/7?
-2/7
Let w be ((-6)/12)/((-2)/(-4)). Which is bigger: -1/6 or w?
-1/6
Suppose -3*c = -5*r + 1, c + 0 = -2*r + 7. Which is bigger: 2 or c?
c
Suppose -8 = 2*a - 2*c - c, 10 = 3*a + c. Let v be -7 - 2*(-1)/a. Let s be (v/4)/(3/4). Which is greater: s or -3?
s
Let t = 8 + -7.7. Let w = t + -1.3. Let d = 14 + -13.9. Is d at most as big as w?
False
Let c = 44 + -487/11. Let g(p) = -p**3 + 13*p**2 + 13*p + 15. Let a(s) = s**3 + 9*s**2 - 11*s + 4. Let y be a(-10). Let l be g(y). Are l and c nonequal?
True
Let r(m) = -m**3 + 6*m**2 + 5. Let v = 6 + 0. Let y be r(v). Which is greater: y or 4?
y
Let p = -2/5 - -23/20. Is 4 <= p?
False
Let x be (-10)/4*(2 + 4). Let p be (-12)/x*(-5)/(-2)