se
Suppose -2*y + 17 = 5*u, -3*u - 10 = -u. Let w be (-14)/y - 82/(-78). Let b = w + -43/78. Which is greater: 0 or b?
0
Let h = -0.149 + -0.051. Let z = 130875/11 - 11907. Let d = 532/55 + z. Is h smaller than d?
True
Let a(c) = 4*c - 7. Let p be a(6). Let f = 16 + 0. Which is smaller: f or p?
f
Suppose 4 = 3*f - 2*f. Let m(v) = v**3 - 3*v**2 + 4*v + 5. Let p be m(f). Let z = p - 26. Which is greater: z or 12?
12
Let w = -3 - -2.9. Suppose 198*r = 179*r - 1273. Is r at least w?
False
Let x = 732 - 779. Is x greater than -52?
True
Let m = 2190 - 1727. Is 464 at most m?
False
Let c = -20 + 19.8. Let h = -422.119 - -421. Let k = -0.019 - h. Is c >= k?
False
Let i be -214*(6/(-60))/(7/(-70)). Which is smaller: i or -211?
i
Let w = 70 - 65. Suppose -m - w*x + 15 - 5 = 0, m + 2*x = 10. Which is greater: m or -0.2?
m
Let z = 689.84 + -715. Let w = z - -25. Which is bigger: -1/2 or w?
w
Let q be ((-44)/(-40) - 1) + (-2)/20. Which is greater: q or 4?
4
Let z = 0.0164 + 0.0836. Is 33 at most z?
False
Let n = 205578 + -3908130/19. Let h = n - -113. Let d = -3 - -2. Which is smaller: d or h?
d
Let x = -1.62 - 15.28. Let d = -17 - x. Is d greater than 0.42?
False
Suppose j = c, -14*j + 2*c = -9*j - 3. Which is smaller: j or 4/69?
4/69
Let z be 2 + 1266/(-28)*33/693. Which is bigger: 1 or z?
1
Let z = -13.4 - 46.6. Which is bigger: z or -3?
-3
Suppose 5*f = 2 + 3. Suppose 0 = -4*r - 2*t - 8, 4*r = 3*t - 0*t + 12. Let l(z) = z. Let q be l(r). Which is smaller: q or f?
q
Let j = -696.049 + 694. Let t = -0.049 - j. Let p = -1 + 4. Is p bigger than t?
True
Suppose 0 = 3*d - 3*t, 0 = -d + 5*t - 28 + 8. Suppose -5*i = -2*c + 4*c + 10, 0 = -d*i + c + 5. Is i at least as big as 2/59?
False
Let m be -65 - -2*(-1 + (-5)/(-2)). Let n = 61 + m. Is n >= 7/9?
False
Let c = 6 + -2. Suppose -u - u = l + 175, -2*l + c*u = 310. Let i = -657/4 - l. Is i <= -4?
False
Suppose 3*a + 5*y - 4 = 0, 5*a - 3*y - 19 = 33. Suppose 4*c + 2*i = 124, a*c = 3*c - 3*i + 156. Is c at least 31?
False
Let h = -312.23 + 312. Which is greater: -1/2 or h?
h
Let i be 18/(-5)*(-680)/2992. Which is smaller: 0 or i?
0
Let w be (-2)/(-13) - 55/(-65). Is 0 less than w?
True
Let p(y) = y**2 - 5*y + 6. Let a be p(3). Suppose a = 4*w - 16 + 12. Are w and 11/7 non-equal?
True
Let x = 23183/17001147 + 1/35493. Which is bigger: x or 1?
1
Let g(a) = -a**2 - 6*a - 6. Let c be g(-6). Are 3 and c nonequal?
True
Let s be (2/12)/((-2)/8). Let o = -5.2 + 16.2. Let d = o + -2. Which is smaller: d or s?
s
Let c = 42/11 + -73/22. Is 38/3 bigger than c?
True
Let j be (100/(-28) - -3) + (-18)/(-7). Is j < -58?
False
Suppose 7*n - 2*n = 0. Suppose 3*r - 41 = -4*h - 10, n = -4*h + 4*r - 4. Suppose 0 = -h*g - 3*d + 54, -5*g + 5*d - 10 + 60 = 0. Which is smaller: g or 13?
g
Let m = -4956 + 29617/6. Is m less than or equal to -19?
True
Suppose 4*k - 4 - 4 = 0. Suppose 28 = 2*n + o, -k*n - 2*n + 4*o = -80. Is n bigger than 17?
False
Let u = 3 + -1. Let p = -157.6 + 158. Which is bigger: u or p?
u
Let v = -649/9520 - -3/272. Let b = -3 - -5. Let p be 1/(b/(-2 - 0)). Which is greater: v or p?
v
Let d = -849 + 713. Which is smaller: -138 or d?
-138
Suppose 0 = -15*r + 618 - 633. Is r > -11/6?
True
Let v(q) = -q**2 + 6*q - 2. Let n be v(4). Suppose 8*y = -n - 2. Which is smaller: -14/15 or y?
y
Let f(v) = v**3 - 8*v**2 + 7*v - 2. Let p be f(8). Let y = 84 - p. Let k = 13 - y. Is k less than -16?
True
Let m = -112/23 - -5310/1081. Let o = m - -88/141. Is o != 1?
True
Let d = -1250 + 1438. Is 190 smaller than d?
False
Let v(j) = -3*j - 9. Let o be v(-6). Suppose -56 = -a + o*a. Is -6 at most a?
False
Let r(z) = z**2 + 9*z + 6. Let q be 3*((-48)/9 - -3). Let a be r(q). Let g be 15/(-10)*a/66. Which is bigger: g or 1?
1
Let g(k) = -k**2 + 6*k + 2. Let m be g(10). Let i be (-4)/m*(-3)/108*-6. Which is bigger: i or 1?
1
Let n = 69 - 70. Is n greater than 38?
False
Suppose 5*t + 3*t - 128 = 0. Suppose -4*i = -2*h + 4*h + t, 5*h + 13 = -i. Let d be (52/40)/((-2)/5). Is h greater than or equal to d?
True
Let s = -2460 + 2459. Let x be (-1 - -94)/(18/(-12)). Let h be x/24 + (-1)/(-3). Which is bigger: h or s?
s
Suppose -2*b + 7*b + 10 = 0. Let h be b/3*(-2 + 6). Is -3 > h?
False
Let n(m) = m + 8. Let w be n(-4). Suppose 3*d = -3*v, -w*v = -0*d + 3*d - 3. Let p be 2*((-40)/14 - d). Is 3/13 at most as big as p?
True
Let d = -8 + 11. Suppose -2*x = -15 + 9. Suppose w = x*f - 0 + 6, -9 = -2*w + 5*f. Which is greater: d or w?
d
Let w be (-6)/4 + ((-11526)/(-2096) - 4). Let c = -10497/17816 - w. Which is smaller: -1 or c?
-1
Let n = -125 + 114.8. Let p = 10 + n. Which is greater: p or 3?
3
Suppose 17 = 5*u - b, -u + 3*u - 16 = 5*b. Suppose u*c + 0 = 6. Which is smaller: c or 3?
c
Suppose -7*f + 145 = -2*f. Suppose -o - f = -29. Which is greater: o or 20?
20
Let x = -12/49 - -23/294. Which is smaller: x or 13?
x
Let w be 8 - (-9)/6*-2. Suppose 0 = -3*l - l + u - 59, 0 = -w*l - 5*u - 105. Do -16 and l have different values?
False
Let o(f) = -f**3 + f**2 - f - 33. Let q be o(0). Let i = q + 20. Is i smaller than -13?
False
Let p(j) = 17*j + 546. Let h be p(-32). Let q be 64/21 - (-4)/14. Which is smaller: q or h?
h
Let l = 1/425 - 11503/11900. Which is bigger: 0 or l?
0
Suppose -11*b - 952 = 3*b. Let j = 75 + b. Do j and 3 have the same value?
False
Let z = 61 + -299. Let f be (z/28)/(2 + (-5)/2). Are f and 17 equal?
True
Suppose -426 = -4*r + 2214. Let l be (-4 + 1)*1808/r. Let x = l - -42/5. Is 1 at least as big as x?
True
Let w be (-1)/(-4) - (-117)/(-564). Suppose 2*b + 4*u = -12, -3 = 5*u + 12. Is w less than b?
False
Let h = 2 - -1. Suppose 2*k + 35 = t - h*k, -2*t - k = -26. Let n be 46/(-15) - (-6)/t. Which is bigger: -3 or n?
n
Let u = 1 + -1.3. Let n(i) = -7*i**3 + 63*i**2 - 3*i + 12. Let h be n(9). Is h at least as big as u?
False
Let m be 0 + (-4335)/10*4/6. Is m greater than -289?
False
Let j be (-4)/(-18)*1/(-6). Let t be (-18)/((-180)/(-10)) - 0/(-2). Is t greater than j?
False
Let i = -144.1 + 144. Are -36 and i equal?
False
Suppose 12 = 2*l + 4*f, -5*f = -12 - 3. Let g be (9310/1036 + -9)/((-3)/(-6)). Which is greater: l or g?
l
Suppose 4*j - 5*p + p = -12, 3*j - 2*p = -5. Let q be 2/2 - (j + 1). Let y = -3.816 - 0.184. Which is greater: y or q?
q
Let r(h) = -h**2 + 19*h. Let f be r(19). Suppose 2*z - 2*s = f, z + s - 7 = 3. Is -0.2 <= z?
True
Let h(n) = -2*n**2 + 44*n + 69. Let l be h(23). Are l and 23 unequal?
False
Let v(x) = -x**2 + 10*x - 2. Let m be v(5). Let o = -4.2 + 4. Is o less than m?
True
Let o = 96 + -83.92. Let d = 12 - o. Let b = d - 2.92. Which is bigger: -1 or b?
-1
Let a be (-6 + -1)*1/(-7). Which is smaller: a or 1/153?
1/153
Let f = -44 - -42. Let r be (1 + 0)/((-1)/30*f). Which is greater: 16 or r?
16
Let u be -1 + -1 - (-26 + -11). Suppose -5*z + u = -5*o, -2*z + 7*o - 3*o + 12 = 0. Let g be (21/(-12) - -2)*z. Is 0.2 < g?
True
Let b be -1 + 0/2 - (1 - 1). Let w be 5 + b + (-38)/14. Which is smaller: -0.1 or w?
-0.1
Let d be (-292710)/726 + (-24)/(-11) + -2. Is d >= -400?
False
Let z = -937 - -942.77. Let d = -0.23 - z. Are d and -1 non-equal?
True
Let v = -13.1 + 13. Let j = -112 + 111.999. Is v >= j?
False
Let z = 56 - 58.9. Let c = 0.6 + 2.3. Let p = z + c. Is 0.1 at most p?
False
Let a = -1/87 + 95/696. Suppose 0*x - 28 = 4*x. Let j(w) = -w**3 - 7*w**2 + 1. Let f be j(x). Which is bigger: a or f?
f
Let u = -940.9 - -941. Is 20/33 != u?
True
Let o = -42 - -36. Which is smaller: -37/5 or o?
-37/5
Let b be ((-4)/8 + -3)*24/(-14). Suppose 0 = -9*g + 39 + b. Which is smaller: g or 4?
4
Let k be 15*(54/(-15) - -4). Let s = k + -7. Let b be (1 + s + 3)*-1. Is b >= -5?
True
Let h = -0.02 - -3.02. Let o be 2840/550 - 20/55 - 5. Which is smaller: h or o?
o
Let i = 233 - 235. Which is smaller: -8.3 or i?
-8.3
Let h = -55.6 + 53. Let b = 0 + 3. Let c = h + b. Is -2/7 at most as big as c?
True
Let c(a) = -a**3 - 6*a**2 - 2*a + 1. Let j be c(-5). Let m(h) = -2*h**2 + 49*h + 37. Let k be m(29). Let f = -238 - k. Is j less than f?
False
Suppose -3*m = -11*m + 32. Let y be (-2)/m*(6/3 + -4). Which is bigger: -2/15 or y?
y
Let u(m) = m**2 - 12*m - 16. Let h be u(14). Let c be h/4 + 0 - 539/179. Which is smaller: c or 0?
c
Let m(a) = -a + 12. Let v be m(8). Let n = -3 + v. Is -2/7 < n?
True
Let r be (122967/18)/(46/(-2