 - 9. Let s be f(33). Which is bigger: s or -1097?
-1097
Suppose -3*u = -2*u + 2*j - 102, u - 3*j - 82 = 0. Suppose -u = -4*x - 2*b + 22, 0 = x - b - 32. Suppose 9 + 1 = -5*i, -m - i + 28 = 0. Are m and x nonequal?
False
Let i(y) = -y**3 - 2*y**2 + 4*y + 5. Let l be i(-2). Let g be (4 + -5)/(l/(-5)). Is g bigger than -3?
True
Suppose 3883 = -8*o + 2107. Which is smaller: -221 or o?
o
Let h = -85 + 80. Let r be 17/34*h/(5/4). Is r at least -2?
True
Let p(x) = 2*x + 4. Let i be p(-4). Let s = -192 - -191. Let t be (-9)/i + -1 + s. Which is smaller: -3/7 or t?
-3/7
Suppose -4*o = 5*g - 1966, 12*o = 8*o - g + 1974. Is 495 smaller than o?
False
Let o(x) = 2*x**3 + 2*x**2 - 2*x + 1. Let i be o(1). Let h be (i/(-8))/(66/(-148)). Let z = 12/11 - h. Is z >= -1?
True
Let c = -28 - -35. Suppose 0 = -c*z + 3*z + 8. Suppose -10 = -v - 3*n, -4*v + 0*n = -z*n - 82. Which is smaller: v or 18?
18
Suppose -3*j + 168 = 3*j. Is 34 > j?
True
Let t(a) = 11*a + 175. Let c be t(-17). Is c equal to -17?
False
Suppose 4*g + 14 + 0 = 2*h, 2 = -2*g. Let j = -1.63 - -5.43. Let q = 3.8 - j. Which is smaller: h or q?
q
Suppose -21*c + 13*c = -24. Suppose -3*a = -2*a + 3*n - 19, c*a - 5*n - 1 = 0. Are a and -1 nonequal?
True
Let m be (-2)/9 - (-376)/72. Suppose m = -4*r - 3. Let l be r + ((-52)/(-5))/4. Which is smaller: l or 2?
l
Let q be (-2)/(1 + -2 + 3). Suppose 0 = -0*a + 5*a. Suppose r - 1 = -z, a = -0*z - z + 4*r - 9. Is z < q?
False
Let l = 397 + -1977/5. Let m = -3 + 1. Which is smaller: l or m?
m
Suppose 7*f = -6*f - 13. Let o = -2083/144827 + 6/577. Which is smaller: o or f?
f
Let z be -7*(-2)/4*38. Let y = z - 132. Is 1/16 at least as big as y?
False
Suppose 0*n = 2*n + 64. Let p be n/63 + 4/14. Let o = 2 - 3. Is o at most as big as p?
True
Let k be -5 + 9 + (-62054)/(-29). Let q = k - 2144. Which is greater: 0 or q?
0
Let v(u) = 2*u + 26. Let f be v(12). Suppose -4*h - f = 30. Which is bigger: 1/4 or h?
1/4
Let y = 27 + -25. Suppose -y*x + p + 9 = 0, 0*x - 12 = 4*x + 4*p. Suppose -4*k = x + 2. Which is greater: k or 1/7?
1/7
Let s be 2358/35 + (24/28)/2. Let j = -1949/30 + s. Is j at most as big as 3?
True
Suppose 33*l - 1400 = 38*l. Which is smaller: l or -279?
l
Let o be (4/(-4))/(-1) - -2. Suppose -6*l + h = -2*l - 21, 4*l + o*h = 33. Let p(f) = f - 6. Let v be p(l). Which is smaller: 2 or v?
v
Let x = -387 - -384. Let z(w) = w**2 + 5*w + 1. Let y be z(-4). Is x at least as big as y?
True
Let a(j) = -3*j - 15. Let v be a(-6). Suppose 3*z + n - 5 = 0, 7*z - v*n = 4*z - 15. Is z > 2/35?
False
Suppose 12 = -3*g + 5*z, -4*g + 5*z - 17 = -6*g. Is g less than or equal to 18/73?
False
Let b be 1/((-9)/3 - -4). Let k = 431/3 - 144. Do k and b have the same value?
False
Let x = -0.198 - 41.902. Let c = -42 - x. Which is smaller: 0.03 or c?
0.03
Let d = 0.08 + 11.92. Let y = 22 + -20. Which is bigger: y or d?
d
Let q be 112/45 - 4/18 - 1. Let h = q - 353/255. Do 1 and h have different values?
True
Let b = -37 + 57. Let x be (24/b + -1)/(-4 + 3). Let a(p) = -p**2 - 2*p - 1. Let l be a(-1). Which is greater: x or l?
l
Let r be (-6)/(-4)*(-8)/12. Let b be (1 - r - -1) + -122. Let m = b - -1072/9. Is 0 <= m?
True
Let m(s) = -s**2 - 5*s + 3. Let a be m(-3). Let o be (a/2)/((-1)/2). Which is greater: -10 or o?
o
Suppose -4*t + 10 + 14 = 0. Let o = 8 - t. Suppose -4*q + o*w = 4, q - 5 + 0 = -w. Which is bigger: q or -1/5?
q
Let g(t) = -2*t**2 + 13*t + 2. Let m be g(5). Suppose -7*r = -2*r + f - 86, 0 = 3*f + 12. Is m at most r?
True
Let j = 666 + -531. Which is smaller: j or 136?
j
Let o be 2 + 2571/(-45) + 2/15. Are o and -278/5 equal?
False
Let d(a) = a**2 - 13*a - 14. Let x be d(19). Let r = x + -108. Which is bigger: r or -10?
r
Let p(f) = 4 + 12*f**2 - 7*f + 0*f + 4 - f. Let l be p(1). Is l at most 12?
True
Let t be 23959/(-19788) + (-10)/(-8). Is 2 <= t?
False
Let o(t) = t**2 + 12*t + 25. Let n be o(-8). Let j be 4 + (n - -2) - (-5)/7. Which is greater: 1 or j?
1
Let k = 266 + -303. Suppose -5*a = -15, 3*h - h - 19 = -5*a. Which is bigger: h or k?
h
Let a(l) = -l**3 + l**2 - 2*l + 2. Let w be a(0). Suppose 5*m + w - 2 = 0. Which is greater: 21 or m?
21
Let s be ((-4)/(-5))/(2/35). Suppose d = -w + 44, -48 = -d - w - 2*w. Let f = -29 + d. Which is smaller: f or s?
f
Let s(g) = -g**3 + 2*g**2 + 345. Let h be s(0). Let n be (-1 - -4) + h/(-125). Is -1 >= n?
False
Let j be (8/(-114))/(2/(-9)). Suppose -5*k = 5*s - 10, -13*s = -12*s - 3. Which is greater: j or k?
j
Let y = 22.04 - 23. Let t = 3 - 2. Let j = t + y. Is -0.1 not equal to j?
True
Let z be (-1561)/(-519) - (-5)/15*-9. Which is smaller: 0 or z?
0
Let m be ((-7)/(-6))/((-38)/228). Is 12 greater than or equal to m?
True
Let o = 682 - -2. Which is bigger: 1/2 or o?
o
Let w = 0 + -0.1. Let t = -2.8 + 3.3. Let a = 0.3 + t. Which is smaller: w or a?
w
Suppose 4*n = 33*j - 34*j, -4*n + 24 = -5*j. Let i = 1933/12 - 161. Does i = n?
False
Let d = -16 - -13. Let y = 11 + d. Is y <= 8?
True
Suppose 13*d - 10*d - 12 = 0. Suppose -v - d*v = -2*v. Is 4 equal to v?
False
Let p(s) = s**3 - 4*s**2 + s - 1. Let v be p(4). Suppose -12 = 2*i + 2*q, -v*q + 4*q - 2 = 3*i. Which is bigger: -20/7 or i?
i
Let l(a) = -2*a**2 - a - 2. Let c(m) = 5*m**2 + m + 4. Let f(k) = 4*c(k) + 9*l(k). Let r be f(2). Is -5 greater than r?
False
Suppose -2*p = 5*v - 445, 3*p + 171 = 4*v - 185. Let l = 57 - v. Is l bigger than -34?
True
Suppose 37 = -f + 5*u, 8 = f - 12*u + 16*u. Is -111/10 >= f?
True
Let t = 0.22 - 2.22. Is t smaller than 86?
True
Let o = 53 + -373/7. Let j = 12 + -64/5. Which is smaller: j or o?
j
Suppose 9 = -3*s, -4*s = g - 4*g + 21. Let h be g + -7 - 120/(-27). Which is bigger: -1 or h?
h
Let i = -6212/305 - -2019622/6405. Let o = i + -295. Let g be (-61 - -63)*1/2. Which is smaller: o or g?
o
Let f = 134 + -535/4. Let h = -241/9 + 29. Which is greater: h or f?
h
Suppose 3*d - 3 = 4*x - 5, 2 = -2*d + 3*x. Suppose -3*j + 1 + d = -2*o, 2*o + 5*j = 5. Which is smaller: o or -4?
-4
Let r = -1166/3 - -399. Let b = 25 + -16. Which is smaller: b or r?
b
Let y = -19316/7 - -2764. Which is greater: -5 or y?
y
Let i(a) = a**3 - 5*a**2 - 7*a + 6. Suppose 4*g - 36 + 12 = 0. Let w be i(g). Let m = 6 - w. Is 4 <= m?
True
Let y be (8/(-6))/(84/(-54)). Suppose -2 = -2*o + 2. Which is smaller: y or o?
y
Suppose -7 = 14*n - 7*n. Let j be n + 156/(-18)*3/(-28). Is -1/4 greater than j?
False
Suppose -x = 5*o + 3, 10 = x + 2*x - 4*o. Suppose x + 0 = -2*w. Is -1/14 <= w?
False
Let h be 8/(-6) + 2/6. Let z = h + 2. Let b be (-64)/6 + 11 + (-22)/54. Is z at most b?
False
Let t(s) = -6*s + 2 - 5*s**2 + 3*s**2 + s**2. Let f be t(-6). Let o = -5 - -9. Is o greater than f?
True
Suppose -2*k = -12 - 2. Suppose 3*c - 10 = 4*h + k, 11 = c - 4*h. Which is smaller: c or 2?
2
Let a = 1.31 - 0.21. Let x = 171 - 170.1. Let j = x + a. Is j < -0.5?
False
Let m(p) = -p + 1. Let u(n) = n**2 + 11*n - 11. Let l(y) = 2*m(y) - u(y). Let x be l(-14). Which is smaller: 0 or x?
x
Suppose 22*m - 28*m = -12. Suppose -h + 4*p = -4*h, 0 = m*h - 4*p. Is h greater than or equal to -2?
True
Suppose 2*q + 8*q = 630. Which is bigger: q or 65?
65
Let z(w) = -w + 4. Let d be -2*((-14)/4 + 2). Let p be z(d). Let y(c) = c**3 + 7*c**2 + 6*c + 2. Let q be y(-6). Is p bigger than q?
False
Let c = 809 - 815. Let y(z) = z**2 + 12*z + 1. Let t(n) = n + 1. Let l(s) = 6*t(s) - y(s). Let r be l(c). Is 11/3 <= r?
True
Let r be -2 + (-96)/(-66) - 975/(-33). Which is smaller: r or 194/7?
194/7
Let k = -7375/4 - -1831. Is -13 less than or equal to k?
True
Let v = 57 + -9. Suppose -c = 2*c - v. Let l be (2/c)/(1/3). Which is greater: -1 or l?
l
Let m = 1584 - 1580. Do -12 and m have different values?
True
Suppose 0 = -5*t - 2*t + 266. Which is bigger: 31 or t?
t
Let i be (-11 - -12)*2/(1 - 3). Let n(r) = 45*r**2 - r. Let y be n(1). Suppose -9 + y = -5*g. Which is bigger: i or g?
i
Suppose 0 = -5*p + 6*k - k - 15, -3*p - 4*k = -19. Let x be 0/(1*-1*2). Is x < p?
True
Let z = 7 + -4. Suppose 0 = 3*h - 2*b + 4, -1 + 6 = -h - z*b. Let u be (8/(-12) - -3) + h. Is 0 not equal to u?
True
Let k be 10/(-16) - 4/16. Let d = -73.9 - -74. Is d < k?
False
Suppose 17*o + 794 = -39. Let b = 25 + -75. Which is smaller: b or o?
b
Let i = 669 - 666. Are i and -0.0015 unequal?
True
Suppose 5*s + r - 11 = 39, 0 = 5*s - 4*