er: s or 10?
10
Let x = 75 - 73. Suppose -2*s - 2 + 27 = -5*n, 0 = 5*s + x*n + 10. Is 0 at least s?
True
Let u be ((-150)/7)/(2852/161 - 18). Which is greater: u or 455/6?
455/6
Let c(k) = 7 + 0*k**3 - 14*k**2 + 0*k**3 - k**3 - 14*k - 17. Let l be c(-13). Are 5 and l non-equal?
True
Suppose -4*s + 3*i = -17, -s - 3*s + 11 = -i. Suppose 9 = 5*v - s*v. Suppose t + 2 = -d - v, t + 5 = 3*d. Is d >= -0.01?
True
Let j be -3 - ((-210)/12 + 7). Which is greater: 2 or j?
j
Let s = -1.0816 + 0.0816. Which is bigger: -5/112 or s?
-5/112
Suppose -1 + 7 = -f. Let o = -14 - f. Is -5 != o?
True
Let j = 38.7 + -17.5. Let h = j + -0.2. Let b = h - 20.1. Is 2/7 smaller than b?
True
Let w = 324 + -541. Is w at most -217?
True
Let s = -1/15186 - -4343219/349278. Which is smaller: s or 13?
s
Let l = -92.77 - -0.77. Let b = -91.8 - l. Which is bigger: b or 7?
7
Suppose 9 = 4*z - w, 4*z + w - 14 = 3*w. Suppose s - z = 1. Is s >= 10?
False
Suppose 0 = -2*w - 17 - 17. Let r(t) = t**3 - 4*t**2 + 2*t - 3. Let h be r(4). Suppose 4*o - 18 = h*f + 55, 0 = 2*f - 4*o + 22. Is w greater than f?
False
Let i = 158 + 4. Is i at most as big as 163?
True
Suppose 3*l - 5*v = -57, 5*l + v - 2*v = -117. Let b be l*(18/4 - -1). Let r = b - -1186/9. Is r greater than -4?
True
Suppose -12*l + 4*c - 1344 = -7*l, -4*l + 5*c - 1077 = 0. Is l <= 1/4?
True
Let d be 42/231 - (-1110)/(-55). Let z(w) = -5*w**2 + w + 2. Let u be z(-2). Is u at most d?
True
Let h = -15 + 4. Let y = h + 35. Which is smaller: y or 0.1?
0.1
Let d = 14 - 7. Let h be (-12)/9*(-3)/2. Suppose 0 = 5*x + 3*q - 32, 0 = 4*q - 2*q + h. Is d <= x?
True
Let x = -38 + 66. Let r = x - 19. Is 9 <= r?
True
Let o = 0.033 + 30.967. Let s = o - 31.1. Which is smaller: s or -17?
-17
Let t = -0.16 - -0.06. Let r = -0.003 + 0.093. Let g = t + r. Is g != 2?
True
Suppose 2*a - 4*i + 1 - 17 = 0, 0 = 3*a - 3*i - 15. Let d be (a + 1 + -1)/3. Let f = 1205/6 - 201. Do f and d have the same value?
False
Let j(a) = -a**3 + 8*a**2 + 8*a - 7. Let g be j(9). Are g and -12 equal?
False
Let l(n) = -n**3 - 5*n**2 + 5*n - 6. Let s be l(-6). Let m = -653/445 - -6/89. Which is bigger: m or s?
s
Let c = -270 + 269.7. Suppose 19 = 3*l - 2. Suppose 2*x - x = -3*p + 5, 5*p - l = -x. Is x at least as big as c?
True
Let l = 0.066 - -37.934. Let f = l + -68.4. Let g = 31 + f. Is 0.1 less than g?
True
Let o(q) = -106*q + 403. Let r be o(13). Are -975 and r equal?
True
Let g = 1 - 6.2. Let b = 5.2 + g. Is b greater than or equal to -3?
True
Let k be ((-160)/50)/(2/(-5)). Let c be (2 - 1) + (-10)/k. Which is greater: -6 or c?
c
Suppose -t + 20 = -0*t. Let p be t*((-22)/10 - -3). Suppose -5*g - 17 = x - 2*g, 0 = -3*x - 2*g - p. Which is smaller: x or -1?
x
Let a(d) be the third derivative of -d**6/120 - d**5/15 + d**4/8 + d**3/6 - 6*d**2. Let n be a(-5). Suppose 3*q = k - n, -3*k + 2 = -q + 1. Is k < -3?
False
Let m = 33 + -35.5. Let l = -2.3 - m. Let p = 8 - 22/3. Which is smaller: p or l?
l
Let v = 32 + -87. Let s = v - -54. Is -2 not equal to s?
True
Let i = 20 - 27. Let q be 350/(-20)*4/i. Suppose -q*v = -4*v - 6. Which is smaller: -2/9 or v?
-2/9
Suppose -2*h + 135 + 315 = x, 3*h - 5*x = 675. Suppose h - 54 = -9*w. Is w bigger than -19?
False
Let b = 0.332 + -0.332. Is 1.09 less than or equal to b?
False
Let c = 40 + -16. Let x = c + -23. Do x and 3/2 have the same value?
False
Let l(o) = -o**3 + 19*o**2 - 20*o + 20. Let n be l(18). Which is greater: 3 or n?
3
Let i = 125 - 85. Suppose i = -2*n + 5*f, -5*n = -0*n - 4*f + 66. Let g(s) = -s**3 + 4*s**2 - s - 5. Let k be g(4). Is n >= k?
False
Suppose -2*w + 19 = -5*h, -5*w + 69 = -5*h + 14. Let u be (-128)/48 + (-1)/3 + w. Is 1 bigger than u?
False
Let j = 2.44 + 0.36. Let o = j - -9.2. Which is bigger: o or -2?
o
Let n = -7.1 - -2.1. Let p = 2/43 - -31/258. Which is smaller: n or p?
n
Let x be (1/268)/((-61)/244). Is 1 > x?
True
Suppose 5*j + 0*j - 65 = 0. Suppose 5*f + 5*v + j = 98, 3*f - 4*v = 16. Suppose -4*p - 10 = -u, -f = -5*u - 3*p - 31. Which is bigger: u or -0.12?
-0.12
Let l(u) = u**2 - 64. Let d be l(8). Suppose d*h + 22 = -h + v, -3*h + v = 62. Which is smaller: -22 or h?
-22
Suppose -3*p - 4*m + 16 = -51, 0 = -5*p + 5*m + 135. Let v = 28 - p. Let g(j) = -2*j - 8. Let k be g(-6). Are v and k non-equal?
True
Let j be 2/3 - (-73)/3. Let y(i) = 2*i**2 - 28*i - 26. Let x be y(15). Suppose -x*d - d = j. Is -5 not equal to d?
False
Let n be (-56)/(-10)*((-7140)/(-24) - -20). Is n != 1779?
True
Let l be 2/7 + (-76)/(-28). Suppose 12 = -l*w - 6. Which is smaller: w or -7?
-7
Suppose s + 15 = -2*x, 2*s - 3 = 3*s. Is -7 greater than x?
False
Let v be -1*(-4 - 0) + 4. Suppose 4*h + 2*m - v = 0, 4*h + 3*m - 12 = -0. Which is smaller: -1/22 or h?
-1/22
Suppose 9 = p + 5*b, 40*p - 44*p + 3*b - 10 = 0. Is p at most as big as -1/535?
True
Let a(d) = -d**2 - 4*d - 5. Let m be a(-7). Let n be 2/m*-37 + -3. Is 1 greater than n?
True
Let s be 12 + 2132/(-169) + 9. Is 8 <= s?
True
Let t be 4*36/(-27)*6. Which is smaller: t or -33?
-33
Let o = 0.0419 + 240.9581. Let u = o - 252.9. Let q = -12 - u. Which is smaller: 3 or q?
q
Let z be ((-176)/11)/(-4) + (-195)/49. Let r(d) = -d**3 - 12*d**2 - 10*d + 10. Suppose -2*h = h + 33. Let t be r(h). Which is bigger: t or z?
z
Let k = -12 - -7. Suppose -2*z - 10 = h, 0 = 5*h - 4*z + 5*z + 23. Which is greater: k or h?
h
Suppose -3*o + 2*r + 0*r = -112, 4*o - 164 = -r. Let m = o + -49. Which is smaller: -7 or m?
m
Suppose 4*p - 34 = 5*l - 9, 0 = 2*p + 5*l + 25. Suppose 0*a - a + 3*t + 1 = p, -a + 1 = 4*t. Which is smaller: a or -4/35?
-4/35
Let o be (-6)/10*(-3 + -2). Suppose -o = 2*x + x. Which is greater: -1/65 or x?
-1/65
Let n = 189 + -169. Is n < -6?
False
Let x be 1 + -2 + (-22)/(-28). Let z be 3 + (-23)/(-1) - 2. Suppose 20*q = z*q. Is q > x?
True
Let m(d) = -d**3 - 2*d**2 - 2*d - 2. Let y(t) = t**2 - 6*t - 9. Let v be y(7). Let i be m(v). Let h = -1 + 3. Is i less than or equal to h?
True
Let r = 12 - 8. Let s = r - 15. Let t = s + 13. Are -3 and t equal?
False
Let n be -6 - (2*-2 - (-6 - -7)). Let k = -35 + 279/8. Which is smaller: k or n?
n
Let n = 966.9 - 967. Let l = 11 + -18. Which is smaller: l or n?
l
Let q(k) = 14*k - 119. Let s be q(11). Suppose -2*v - 36 = 2*v. Let n = v + s. Are n and 26 non-equal?
False
Let u = -273 - -277. Let l = 3.04 + -3. Is l not equal to u?
True
Let v be (-200)/(-500)*(-1 - (-14)/4). Is 3/7 greater than v?
False
Let y be (-4 - 9/(-2)) + (-2)/4. Which is smaller: 2/1063 or y?
y
Let b = 3 - 3.05. Let o = -105 - -92.95. Let r = o - b. Is -0.1 < r?
False
Let a = 243.1 - 255. Let c = a - -11.847. Is c at least as big as -2?
True
Let g(z) = 3*z - 45. Let t = -126 - -140. Let n be g(t). Is n <= -30/11?
True
Let l be (2/3)/((-15)/9)*-185. Suppose -10*q - 46 = l. Do -8 and q have the same value?
False
Let z = -619 - -621. Which is smaller: 113 or z?
z
Suppose 2*z = -3*b + z - 4, 0 = -b + 2*z + 8. Let i = -533/5 + 106. Which is smaller: b or i?
i
Let c be (-1)/(7/7)*553*1. Is c > -552?
False
Let x be 3 + -6 - 2295/(-888). Let f = x + 3/74. Let o = 1 - 1. Is f < o?
True
Let r = -1506 - -1496. Let j be 28/24 + (-1)/2. Is r <= j?
True
Suppose 9 - 30 = -2*v - 3*n, -3*n + 6 = v. Let j be ((-1)/v)/(6/18). Let a be 2 + 1 + (1 - 4). Is a equal to j?
False
Let i(q) = q**3 - q**2 - 4*q. Let h be i(3). Let a = 12 - h. Suppose 5*n + a*l - 2*l = 31, -2*l = 5*n - 23. Is n smaller than 1?
False
Let h = 51 - 6. Let s be (2 - h/12) + 2. Is 0.03 >= s?
False
Let n = 1983 + -2138. Are -155 and n equal?
True
Let y be 2/(-9) + (-404)/(-36) + -8. Suppose 0 = -u + 3*z - 13, -y*u - 27 = -5*z - 0*z. Which is bigger: u or -21?
u
Let j be 4/(-6)*21/98*7. Does j = -15?
False
Let g = -19 + 18. Let u be (-676)/12*(-33)/(-31). Let b = 60 + u. Which is smaller: g or b?
g
Suppose 0 = 3*d - 3*u + 18, -4*u = -d - 21 - 0. Let p be (-5)/50*52/(-39). Which is smaller: p or d?
d
Suppose -3*k + 8 = 2*u, -24*u + 8 = -26*u + 5*k. Is 3/23 less than or equal to u?
True
Let v be ((-3)/9)/(2/(-42)). Suppose v = -3*n + 16. Suppose -n = -m + 3*q - 5, 2*m + 2*q = 4. Which is greater: -1/15 or m?
m
Let o = -16.12 - -15.12. Which is bigger: o or 57/8?
57/8
Let h be 4/(-6) - (-749)/3. Let n = -1995/8 + h. Let m(j) = -36*j + 973. Let i be m(27). Which is bigger: i or n?
i
Let f be (-2280)/360 - -1*