ler: -8/3 or u?
u
Let i = -40 - -34. Let a be -2*(-3 - 22/(-4)). Is a at least as big as i?
True
Suppose 347 - 7 = 4*a. Suppose 6*y - y - a = 0. Let i(q) = -38*q - 249. Let u be i(-7). Is y less than or equal to u?
True
Let a be 906 + 0 + (-7 - -10). Is a >= 910?
False
Let n be (-7)/(-10)*2 + -2. Let j be (3/(-3) - -1)*-1. Do j and n have the same value?
False
Let t = 7.8 + 0.2. Let x = t + -8.3. Let a = x + -1.7. Which is greater: a or 1/2?
1/2
Let m = -66.125 - -0.125. Let p = 67 + m. Is -2/7 less than p?
True
Let z be (-2*(-42)/35)/(66/(-20)). Let t = z - -71/22. Let y = -0.07 + 0.07. Is t != y?
True
Let k = -34/9 - -28/9. Let q = -102/89 - -2/623. Which is bigger: k or q?
k
Suppose 303*k - 6 = 309*k. Is k not equal to 6/43?
True
Let s = -0.35 + 0.15. Suppose 0 = 10*y - 71 - 109. Is y greater than s?
True
Let d(i) = i**3 - 6*i**2 + 6*i - 4. Let w be d(5). Which is bigger: -2/273 or w?
w
Suppose 167*s - 6 = 161*s. Let f be (-1)/2 + 75/130. Is s greater than or equal to f?
True
Suppose 26*n + 137 = 31*n + 2*j, -3*n = 4*j - 71. Suppose 3*l + 8 = f + 6*l, 19 = -4*f + 5*l. Do f and n have different values?
True
Let h = 708 + -708.056. Is h not equal to 0?
True
Let g be 3/15 + 4/(-20). Let y be g + 4 - (1 - 2). Suppose -y*n = -0*n - 5. Which is smaller: 0.04 or n?
0.04
Suppose 36*g = 33*g. Suppose 0 = -2*h + 2 + 2. Suppose g = 5*s - 7*s - h. Which is greater: 13 or s?
13
Let q = -1 - 0. Let b = 23 - 14. Suppose b*z = -2 + 2. Is z greater than q?
True
Let w = 5607256/811 + -6914. Which is greater: 1 or w?
1
Let m(b) = 4*b. Suppose 4*k + k + 1 = -3*f, 3*k - 11 = 4*f. Let t be m(k). Suppose w - 3 = -3*z, t*z = w - 3 - 0. Are 1/4 and z equal?
False
Suppose -4*b - 4*k + 20 = -6*b, 0 = -k + 4. Which is bigger: b or -37/14?
b
Let x be -3 + (-1 - (538 - -5)). Is x < -547?
False
Suppose -5*v - 36 = -2*v. Let z(i) be the third derivative of i**5/60 + 11*i**4/24 - 17*i**3/6 - 2*i**2. Let b be z(v). Is b not equal to -6?
True
Let o = -3 - -6. Suppose o*n - r = -n - 5, r = -2*n + 5. Is n smaller than 0?
False
Let r(x) = 9 - 3*x - 2*x + 4*x + 2*x. Let i be r(0). Let s be 42/(-9)*i/6. Which is smaller: -8 or s?
-8
Let w be (0 - 6 - -7)/(1/(-95)). Let c = -148 - w. Which is greater: -52 or c?
-52
Suppose -4 = 36*j - 32*j. Which is smaller: j or -9/7?
-9/7
Let l be (24/10)/(57/380). Suppose 4*s = 2*c + l, -3*c + 1 = -s - 0. Which is smaller: s or 4?
4
Let g = -24 - -18. Let h(t) = t**3 + 6*t**2 - t - 4. Let a be h(g). Suppose -6*v - 10 = -v, 0 = -5*r + a*v + 19. Which is bigger: 1 or r?
r
Let t = 66.8 - 212.8. Is t >= -2?
False
Let u be 87/2*74/(-111). Which is smaller: u or -4?
u
Let k be ((-43424)/165)/2 + 190/1425. Which is greater: -132 or k?
k
Suppose 8*i = 7*i - 6*i. Which is smaller: i or -1/37?
-1/37
Let z = -546 + 916. Which is bigger: z or -0.1?
z
Suppose f = -0*f. Suppose 0 = 3*b - f*b. Suppose -2*u - 8 = b, -s + 0*s - 3*u = 12. Is -2/11 equal to s?
False
Let n = -12673 + 50289/4. Which is bigger: -101 or n?
n
Let b = -37.7 - -3.7. Let m = -3 - b. Is 0.1 >= m?
False
Let h(i) be the second derivative of i**3/3 - 21*i**2/2 + 3*i. Let l be h(9). Let x = l + 2. Which is smaller: -15/8 or x?
-15/8
Suppose 4*v - 12 = 0, -4*u + v - 7 = -4. Let y be 1*((-1 - u) + 0). Let z be (4 + y)*1/2. Which is bigger: 3 or z?
3
Suppose 2*h + o - 1103 = -218, 5*o = 4*h - 1735. Suppose -4*z - h = 2*l, -2*l - z = -0*z + 446. Let s = l - -2014/9. Is 0 <= s?
False
Let n = 82 - 47. Suppose -37*s + 18 = -n*s. Is 10 not equal to s?
True
Let q be 2*(35/(-30) + -5). Which is smaller: -11 or q?
q
Suppose 4*s = -19 - 1. Let x be s*(-10)/125 + (-982)/(-20). Is x greater than or equal to 50?
False
Let y be ((-2)/6)/((-16)/(-6)). Suppose 3*n - 4 = 152. Let w = n + -53. Is w greater than y?
False
Suppose -6*w + 4*w + 8 = 0. Suppose -29 = 2*q - i, -4*q + q = w*i + 60. Which is smaller: q or -15?
q
Let d = 17.85 - 18.414. Is -2 greater than d?
False
Let n = -2 - -2. Let z = -320 - -6718/21. Is n equal to z?
False
Let x = -4.1 + 0.1. Let a = 17.2 + -17.6. Which is smaller: a or x?
x
Suppose 723 = 5*q - 2*v, 2*v - 25 = 3*q - 462. Let y = 143 - q. Which is greater: y or 4/27?
4/27
Suppose 0 = 42*c + 15*c + 627. Which is smaller: 0.5 or c?
c
Let l = -77/47 - 6571/235. Do l and -30 have different values?
True
Suppose 2*c - 10 = -4. Suppose x = -5, -4*f + 23 = -0*f - c*x. Which is greater: f or -0.5?
f
Suppose 0 = 13*h - 21*h + 208. Which is bigger: 1 or h?
h
Let n be -3 - (1 + (-6)/2). Let s(z) = z**3 - 6*z**2 - z. Let q = -14 + 20. Let w be s(q). Does w = n?
False
Let j(y) = -1380*y - 12410. Let x be j(-9). Let n = -16 - -28. Which is smaller: n or x?
x
Let z = 230 - 230.1. Are z and 22.2 non-equal?
True
Let t = -0.0797 + -0.0343. Which is smaller: t or -4/7?
-4/7
Let d = -25.9 + 24.3. Is d bigger than -0.14?
False
Let s(d) = -21*d + 10. Let f be s(-3). Suppose -5*x = -2*l + f, -x = -4*x - 3*l - 27. Which is greater: x or -12?
-12
Let m = 1/209 - -37/209. Let g = 10.9 - 11. Which is smaller: m or g?
g
Let j = -70.77 - -8.77. Which is smaller: 6 or j?
j
Suppose -f = 2*p - 68, -3*p + 121 = 4*f - 156. Suppose -3*z + 4*r - 34 = 0, -25 = 5*z + r + f. Which is smaller: -19 or z?
-19
Let w be (-24)/20*(-35)/(-3). Are -14 and w nonequal?
False
Let j = 0.0253 + -0.1253. Which is smaller: j or -25/7?
-25/7
Let d = 0.941 + 0.059. Is d less than or equal to -0.42?
False
Suppose 6*o + o - o = 0. Let w = o - -23. Which is greater: w or 24?
24
Let m(u) be the first derivative of -u**4/4 + 2*u**3/3 + 3*u**2/2 - u + 18. Let a be m(4). Is a at least -21?
True
Suppose -3*t + 4*l - 15267 = 0, t - 2*t + 4*l - 5081 = 0. Let m = t - -1084807/213. Which is bigger: m or 1?
1
Let t = 688/9 + -9623/126. Is -65 >= t?
False
Suppose -2*d + 16 = 2*d. Let u be (-1 + (d - 3))/1. Suppose -t - 10 = -4*x, u = -4*t + 5*x - 5 - 2. Do 2 and t have the same value?
True
Suppose -a + 0 + 2 = 0. Suppose -4 = a*s + 4*c, 0*c - 4 = -3*s - c. Let l be 2*(-8 - -2) + s. Which is bigger: l or -8?
-8
Let m be (5/15)/((-1)/(-12)). Let j = m - 3. Let p(c) = -c**2 - 2*c + 4. Let b be p(-3). Is j less than b?
False
Let n(p) = p**3 - 5*p**2 - 14*p - 1. Let t be n(7). Which is greater: 1/8 or t?
1/8
Let b = -75 + 133.8. Let q = -59 + b. Which is bigger: -2/9 or q?
q
Let l = -23 + 11. Let z = l - -11.8. Is z at least -4?
True
Let x(t) = t**3 + 6*t**2 + 6*t + 6. Let k be x(-5). Let c be 4 + -5 + 4*k. Suppose h = f - 3*h + 14, 19 = -5*f + c*h. Which is smaller: -7/3 or f?
-7/3
Let k(v) = -v**2 + 5. Let b be k(4). Let i = 12 + b. Let x be (i/(-3))/((-1)/3). Is 1/20 greater than x?
False
Let g = -2253 + 2111. Is -136 less than or equal to g?
False
Let x = -1468 - -804463/548. Is x greater than 0?
False
Let w = 0.2 + -1.2. Let l(d) = -2*d**3 - 2*d**2 + 3*d + 2. Let y be l(-2). Let u be (3*5)/(12/(-2) + y). Is u <= w?
True
Let u = 45 - 56. Let j = u + 10. Is -5 greater than j?
False
Let i = 486 + -486.253. Let u = i - 0.017. Are -1/3 and u nonequal?
True
Suppose 14*u - 10*u - 12 = 0. Which is bigger: 14 or u?
14
Suppose 155 = 5*a - i, -2*a - i = 2*i - 62. Which is smaller: 34 or a?
a
Let c(q) = -47*q - 140. Let g be c(-3). Is -17/44 bigger than g?
False
Let p = 42 + -130. Let s = p + 89. Is -0.16 less than or equal to s?
True
Let i be 17/4 - (-267)/356. Is i at most 72/17?
False
Let i be ((-7)/(-21))/1 - (-2)/3. Suppose 3*g + 5 + i = -u, -12 = 2*u - g. Are -6 and u unequal?
False
Let z(b) = 4*b**2 - 3*b + 1. Let j be z(1). Let x = -3 + j. Are 2/5 and x non-equal?
True
Suppose 0 = 27*n - 8 + 35. Which is greater: 12/103 or n?
12/103
Let s(n) = -n**3 + 21*n**2 - n + 20. Let j be s(21). Is -0.029 at least j?
True
Let w = 36 + -9. Which is smaller: w or 28?
w
Let a = -2 + 1.8. Let c = 0 - a. Let q = 945 + -6618/7. Which is smaller: q or c?
q
Let q = -9.9 - -0.9. Let b = 0.13 + -0.13. Let y = b + -1. Is y bigger than q?
True
Let x = -211 + 278. Which is bigger: x or -6?
x
Let z = 6443689/14277 - 1/4759. Let f = z - 456. Let v = -20 + 14. Is f equal to v?
False
Let x = 0.06 + 12.94. Let t = 11.9 - x. Let b = 1.2 + t. Which is smaller: 0.9 or b?
b
Suppose 0 = 81*n - 186146 + 50633. Do 1673 and n have the same value?
True
Let u = -532 - -365. Is u < -2?
True
Let d = 8359398/809 + -10333. Which is smaller: -1 or d?
-1
Let x = -1/15022 - -4746957/75110. Is x > 6