Let t = 207/5 + -42. Let c(r) = -r**3 + 4*r**2 - 3*r - 2. Let x be c(3). Is t bigger than x?
True
Let c = -6 + 10. Let g = -1 + c. Suppose -8 = 2*u + 3*h, -3*u - g*h - 1 = 8. Is -2 > u?
False
Let m be 5 - -2 - 2/2. Let q be -1 + 2/(m/3). Which is greater: q or 2/5?
2/5
Let x(t) = 7*t**3 + t**2 - t. Let i be x(1). Which is greater: i or 4?
i
Let r be -2*(-2 + 21/11). Let g(w) = w**3 - w**2 - 4*w + 3. Let l be g(2). Is r >= l?
True
Let d(u) = -u**2 - u + 2. Let v be d(-3). Let o be -1 + -1 + (4 - 1). Let f be o/v - (-2)/8. Is 2 > f?
True
Let s be 4/(-5)*(-30)/(-12). Let y be s/4*(-1)/6. Is -1/4 at least y?
False
Let t = 0.2 + 0.3. Let z = 2 - 1.7. Let s = t - z. Is s > 1?
False
Let p = 8 - -21. Which is bigger: p or 28?
p
Let f(i) = -i**3 - 3*i**2 + 3. Let v be f(-3). Suppose -6 = -2*n, -2*n - v = 5*s - 14. Which is bigger: s or 1/3?
s
Let l be (6/3 + -1)/1. Let m be l - 3/9 - 1. Which is greater: -3 or m?
m
Suppose 3*v = 4*a - 181, 0 = -2*v + 6*v + 12. Which is bigger: 45 or a?
45
Let b = -227/44 + 54/11. Let d = -1 - -6. Let r = -5.1 + d. Is b at most r?
True
Let r be -2 - 9/(153/(-28)). Is 1 > r?
True
Suppose 3*g = v - 12, 21 = -6*g + 2*g + 3*v. Let r = g - -4. Let s = 2 - r. Which is smaller: s or 0?
0
Let h be (-1 - -1)*3/6. Suppose 2*s + 20 = 4*f, 0 = 4*s + 3*f - 0 - 4. Is h > s?
True
Suppose -2*b - 5 = -b. Let g be 11/b - (-1)/5. Let o be (-6 - -2)/(-2) + -5. Are g and o unequal?
True
Let n = -2 - -3. Let v be 124/(-8)*24/(-5). Let j = v + -74. Is j < n?
True
Let q(z) = -z**3 - z**2 + 2*z. Let y = -8 + 18. Suppose y = -4*x - x. Let f be q(x). Is f at most as big as -2/5?
False
Let p(c) = -c + 11. Let o be p(7). Let y be (-3)/o + (-21)/(-14). Is 0 <= y?
True
Let j be (6 + -5)/((-2)/(-6)). Let x be 30/(-35)*2/j. Which is greater: x or -1?
x
Let u = 34189 + -4820537/141. Let y = u + -6/47. Let f be 4/6 + 1/3. Is f > y?
True
Let d be (5/20)/((-3)/24). Is d greater than -2?
False
Let b = -10 - -14. Suppose 0 = m - b*m. Let j be (4/(-9))/(2/(-3)). Which is smaller: m or j?
m
Let k = 0 - 0. Let c be ((-8)/(-66))/(14/21). Which is greater: c or k?
c
Let w = 14.9 + -15. Let b = 6.06 - 0.06. Let y = 6.2 - b. Which is smaller: y or w?
w
Let t(s) = -s**3 - 2*s**2 + 4*s + 2. Let a be t(-3). Do a and -6/11 have the same value?
False
Suppose -2*a = 3*a - 5. Let j = -44/17 - 303/34. Let p = -65/6 - j. Is a smaller than p?
False
Let q = -2 + 2. Let l = -9 - -9. Is l bigger than q?
False
Let r(p) = -p**3 + 4*p**2 + 5*p + 3. Let l be r(5). Suppose 0*k + 3 = -o - 3*k, -3*k = 4*o - 6. Let w = o - l. Which is smaller: w or 1/5?
w
Let x = -33 + 97/3. Suppose -t - s = 5, -3*s - 2 = 7. Are t and x equal?
False
Let d = -103 - -512/5. Which is smaller: 0.4 or d?
d
Let n = 77 - 121. Let q be (-1)/2 + (-30)/n. Let o = -1.7 + 1.7. Which is smaller: q or o?
o
Let n = 65.8 + -66. Is -26 <= n?
True
Suppose -h = 2*h - 5*q - 31, 0 = -h + q + 7. Let c = h - 1. Is -2/9 != c?
True
Let m be ((-48)/(-75))/2*-177. Let s = m - 961/100. Let j = s + 1309/20. Is j > -1?
True
Let v = 198 - 169.77. Let z = -28 + v. Let c = z + 8.77. Which is smaller: c or 1?
1
Suppose 0 = 2*k - 5*i + 14 - 0, 5*k = 2*i + 7. Let x = 3 - k. Is x < 0?
False
Let n(f) = -f**2 + 16*f - 24. Let i be n(15). Which is smaller: -4 or i?
i
Let w = 1.3 - 2.7. Let h = w + -0.6. Let m = 1 - h. Is m bigger than -0.1?
True
Let o = -41547/91 + -235/91. Let c = 460 + o. Is c < 1?
True
Let a be (((-91)/(-42))/13)/1. Let w = -13 - -18. Suppose p + 4*n + 0*n + 13 = 0, -w*p = -4*n - 7. Are p and a equal?
False
Let i = 28 + -29. Are 12 and i nonequal?
True
Let x be ((-2 + 11)/3)/(-7). Which is smaller: x or 0?
x
Let c = 3 + 2. Suppose -3*u + 3*t + 12 = -0*t, c*t = -4*u + 43. Let z(s) = s**3 + 4*s**2 - 7*s - 4. Let l be z(-5). Is u bigger than l?
True
Let h(m) = -m**2 + 6*m + 5. Let x be h(5). Let p be (8/x)/(2/5). Let w be -2 - -3 - (-4 + 3). Is w at most as big as p?
True
Suppose 0 = 5*z - 3*l - 161, -2*z + 0*l + 70 = -4*l. Is z >= 31?
True
Let y(a) = a**2 - 5*a + 2. Let z be y(4). Let p be (-2 - 0)*z/4. Is p <= 1?
True
Let z = -29/30 + 19/60. Let a = -129/260 - z. Which is smaller: a or -1?
-1
Let j = -35/411 + 170737/411. Let v = 1283/3 - j. Let q = -12 + v. Which is smaller: q or -0.2?
-0.2
Let o(d) = d**2 + 3*d + 5. Let p be o(-4). Let v be (12/p)/((-2)/(-3)). Let w be -1*(-2 - -2) - v. Which is bigger: -3 or w?
w
Let n = 13 - 11. Suppose -2*c + 5*t = -0*c + 7, t + 1 = -n*c. Is c bigger than 2/17?
False
Let l = -3680 - -18331/5. Is l less than -13?
True
Let r(m) = 4*m**2 - 4*m**2 - m**2 + 2. Let x be r(2). Is -1 greater than x?
True
Let w be ((-42)/56)/((-18)/8). Are 4 and w equal?
False
Let a(z) = z - 14. Let t be (-33*(-6)/(-9))/(-2). Let c be a(t). Which is bigger: -2 or c?
-2
Suppose -2*o - o + 5*k = 38, -k = -2*o - 16. Let d = o - -13. Suppose 2*x - d = 5*v, 4*x + 2*v = 3*v + 5. Is x < -2/25?
False
Let i(u) = 11*u**3 + 2*u - 1. Let d be i(1). Let t = d - 136/11. Is 0 not equal to t?
True
Let r = -0.36 - -0.15. Let i = 0.11 + r. Let m = 0.1 + -0.1. Which is smaller: i or m?
i
Suppose -4*s - 7 = -3*z, -5*s + 3*s - 3*z = -19. Which is greater: 3 or s?
3
Let s = -28/5 + 94/15. Let y(o) = -2*o + 25. Let h be y(12). Is s less than h?
True
Let v be 45/63 + (-2 - 48/(-21)). Suppose 5*m = 3*z - 2, -5*z - 2 = -4*m - 1. Let i be z/(-2) - (-6)/(-8). Which is smaller: i or v?
i
Let f be 2 + 3 - (-28)/(-7). Suppose 0 = -i - 0 + f. Which is smaller: 4/7 or i?
4/7
Let k = -5 + 4.9. Let c = 0.3 + k. Which is bigger: c or -2?
c
Suppose -108 = -2*j - 4*q + 20, 5*j - 320 = -5*q. Let o be j/(-28) - 4/(-14). Which is smaller: -4 or o?
-4
Let j = 1 + -1.7. Let p = j - -1.1. Which is greater: p or 0.1?
p
Let u(o) = o**2 - o - 7. Let b be u(3). Let f be (3 + -2)/(-2)*1. Is f > b?
True
Let h = 4 + -2. Let d be 3/6 - 1/h. Which is smaller: d or 4?
d
Let f = -1 - -11. Let y be 3 + (-36)/f - -1. Which is bigger: y or 1?
1
Let s be (-2)/3*(-3)/(-6). Let v = -0.0529 + -2.0771. Let t = v + 0.13. Which is smaller: t or s?
t
Let b = 0.6 + 2.4. Let v = 9.2 + -0.2. Let s = b - v. Which is greater: s or 1?
1
Let f(n) = 7*n - 3. Let c be f(3). Suppose -2*y = y - c. Does 1 = y?
False
Suppose -4*f = r - 4*r + 239, 0 = f + 2. Let v be (2/r)/((-3)/(-7)). Let i = v - -29/66. Is -2 > i?
False
Let o be ((-20)/(-6))/(1/(-3)). Let s be -1*4/o*-5. Suppose 2*n + 2*c - 4 = 0, n + 2*n = c - 14. Which is greater: n or s?
s
Let n(d) = -35*d - 1. Let m be n(1). Let v be 2/(-8) + (-1)/m. Is v at least as big as -0.3?
True
Let g(u) = u**2 - 4*u - 3. Let n be g(5). Are n and 2/5 nonequal?
True
Suppose -3*f - 5*g + 22 = 0, 3*g + 31 = 2*f + 10. Is 10 greater than f?
True
Let y = 4 + -4. Let j = -0.2 - y. Which is smaller: 2/7 or j?
j
Let p(c) = c**2 + c. Let w be p(0). Does 1 = w?
False
Let d = -79/4 + 20. Suppose 5*h - 9 = 4*g, 4*h = -g + 4 - 1. Are d and g non-equal?
True
Let c be 200/(-16)*(-1 - 1). Is c less than or equal to 24?
False
Let c = -92 + 91.931. Is c bigger than 1/3?
False
Let p(q) = q + 13. Let a be p(-7). Which is bigger: 5 or a?
a
Let h = -2 + 10. Let z be -3*(h/6 - 2). Which is bigger: z or 4?
4
Suppose 2*x + 0*x - 4 = 0. Suppose 3*a - h = -x*h + 6, a + h = 2. Which is bigger: a or 3?
3
Let i(l) = -l + 8. Let u be i(6). Let v = 6 - 4. Suppose -2 = -v*w - 2*w - u*c, 0 = -5*c - 5. Which is smaller: 2/5 or w?
2/5
Let g(f) = -2*f - 7. Let p be g(-3). Is -1 smaller than p?
False
Suppose -5*a = -3*a + 5*m + 7, 8 = -a - 4*m. Suppose 0 = 2*i + 3*j - a - 8, -i + j = 4. Is i <= -2/33?
False
Let i = -19440 - -19357.07. Let v = i + 84. Let s = v + -0.07. Does s = 0.03?
False
Let v = 1486/2849 - 36/77. Do v and -1 have the same value?
False
Let f = -51 + 2. Are f and -49 equal?
True
Let r = -7/2 - -19/6. Is -1 not equal to r?
True
Suppose 59 = 2*b - 25. Is b < 41?
False
Let m = -4 + 4. Suppose m*c = 4*c. Suppose -5*o = -4*g + 3 + 7, -4*g - 3*o - 6 = 0. Do c and g have the same value?
True
Let z = 54 + -96. Is z equal to -42?
True
Let f = 0.86 + 0.14. Which is greater: f or -8?
f
Suppose -3*c - 4*d - 11 = -4*c, -c = d - 1. Suppose 16 = 4*r - 0*r. Suppose r*q + c = -1. Which is bigger: q or -1/3?
-1/3
Let g = -1.7 - 1.3. Let m = g - -1. Is m != 0.4?
True
Let z = -3 - -2. Let i be ((-12)/(-49))/(22/7). Let d = i + -4/11. Which is greater: d or z?
d
Let y(b) = -b**3 