j be 2 - 9 - (0 + -2 + 2). Is -0.6 >= j?
True
Let o = -27227/11 - -2479. Let r = -1775/462 + o. Is r > -1?
True
Suppose -3*a - 5*u + 3*u = -7, -3*u + 3 = -3*a. Suppose 2 + 0 = 2*i. Let m be i*-2 + (-13 - -18). Which is bigger: a or m?
m
Let p(h) = h**2 + 19*h + 30. Let a be p(-16). Let d = a + 19. Which is smaller: d or -1/93?
-1/93
Suppose -9 = -321*z + 312*z. Which is bigger: -527 or z?
z
Let h(a) = -a**2 + 12*a - 9. Suppose 0 + 22 = 2*x. Let j be h(x). Let c be (-2)/10 + (-44)/(-20). Is j != c?
False
Let c = 0.057 + 4.543. Let v = 4 - c. Let x = -554 + 554.1. Which is greater: v or x?
x
Let j be 1/(-1) + (1 - 4) + 6. Suppose t + 6 = 3*m, j*t + 6 - 2 = -2*m. Which is greater: -1 or m?
m
Let s be 21/(-10)*(-21)/18. Let f = 819/220 - s. Which is greater: f or 1?
f
Let h = 42 + -17. Suppose 0*t + 5*t = h. Let i be 28/(-12)*(-1 + -2 + 0). Is t >= i?
False
Let q = 50 + -90. Let i = 22 + q. Is -17 greater than i?
True
Suppose 9 = 4*z - z. Suppose 0 = z*c - 3*p, 0 = -5*c - 4*p + 4 + 41. Let g be 2/(-2)*(c - 4). Which is bigger: -2/21 or g?
-2/21
Let m(n) be the second derivative of -n**5/10 - n**3/6 - 2*n. Let f be m(1). Let p(x) = 5*x - 71. Let j be p(14). Which is bigger: j or f?
j
Suppose 20 = 4*d, 3*r + 196 - 66 = -4*d. Which is greater: -3 or r?
-3
Let d be 5 + -1 + (1 - -2). Let w be d/(-7) - (-4)/10. Let o(b) = b**2 - 4*b + 3. Let v be o(3). Is w smaller than v?
True
Let u = 102 - 100. Is 3 greater than or equal to u?
True
Let s(w) = 17*w + 94. Let z be s(11). Which is greater: 0 or z?
z
Let t = 1/323 - -318/1615. Which is smaller: t or -0.04?
-0.04
Let t(b) = b**3 - 49*b**2 + 2*b - 99. Let j be t(49). Which is smaller: j or 2/5257?
j
Let b(j) = j**3 - 7*j**2 + 32. Let c be b(6). Is -84/19 bigger than c?
False
Let y(x) = -23 + 0*x**2 - 12 - 7*x**2 + 24*x + 11*x. Let o(f) = 3*f**2 - 17*f + 17. Let z(n) = -5*o(n) - 2*y(n). Let m be z(14). Is m at most as big as 3/7?
True
Let t be (532/95)/(1/(-5)*2). Is t less than -122/9?
True
Suppose 5*d = -4*o + 50, -3*d - 5*o = -d - 37. Suppose d*h + 3 = 15. Let v be 0*(h + -1) - 1. Is v greater than or equal to -1?
True
Let l = 0.09 + -19.09. Let q = l + 21. Is 0.06 less than q?
True
Suppose 1750 = 31*d - 1412. Which is bigger: d or 103?
103
Let z = -1 - 2. Let t be (6/(-7))/(30/(-140)) - -3. Suppose -4 = 3*a + 2*f, a - 3*f = -t*f + 12. Are z and a equal?
False
Let y = 1/946 - -11293/55814. Which is smaller: -1 or y?
-1
Suppose 0*s - 3*l = -4*s + 59, 61 = 4*s - 5*l. Let j = -263/670 + -1/134. Is j not equal to s?
True
Suppose 0 = 3*o - 10*o + 7. Let i be 3 + -3 + 1*-2. Let k be ((-2)/(-4))/(i/(-4)). Is o bigger than k?
False
Let w be ((-3)/6)/(3/(-42)). Let h be (-39)/w + (6 - 1). Which is smaller: h or 0?
h
Suppose -p + 2*p = 0. Let z be ((-4)/10 - (-18)/40)/(-1). Which is smaller: z or p?
z
Let s = -136.0098 + 0.0098. Which is smaller: s or 0?
s
Let t = 24 + 20. Let k = -35 + t. Does -2 = k?
False
Let a(o) = -2*o**2 - 16*o - 16. Let i(j) = -j**2 - 8*j - 8. Let t(h) = 2*a(h) - 5*i(h). Let l = 326 + -333. Let r be t(l). Is r <= -3?
False
Let n(f) = f**3 + 2*f**2 - 7*f + 2. Let p be n(-4). Let j(m) = 3*m**2 + 3*m + 8. Let u be j(p). Is 14 less than u?
False
Let l(f) = -29*f - 83. Let p be l(0). Which is smaller: -82 or p?
p
Let v be 2/15 + 232/(-1740). Let y be (4 - -3)/((-1)/(-2)). Let r be 33/(-42) - (-4)/y. Which is bigger: v or r?
v
Let c(l) = 31*l + 4. Let i be c(-1). Let o(m) = m**3 - 5*m**2 - 4*m + 4. Let v be o(4). Is i less than v?
False
Suppose 11*k - 336 = 5*k. Which is smaller: k or 57?
k
Let r = 4 + -2. Let g = -40 - -42. Suppose -4*y + g = -2*b, -r*y - 3 = -5*y. Is b at least as big as -1/13?
True
Let q be 7 + (-5597)/790 + (-6)/(-60). Which is greater: 0 or q?
q
Let y be ((-444)/16 - -3 - -1) + 2. Which is bigger: -21 or y?
-21
Let r(p) = p**3 - 7*p**2 - 31*p + 231. Let u be r(7). Do 95/7 and u have the same value?
False
Let n = -772 - -654. Which is greater: -114 or n?
-114
Let o = 0 + -10. Suppose -28 = -8*x + 10*x - 4*s, 4 = 4*s. Let q = -23 - x. Which is greater: o or q?
o
Suppose 3*k + 2 - 35 = 0. Suppose p = 5 - 2. Suppose 0 = 2*q + 2*r - 34, 5*r = 4*q - p - 20. Which is smaller: q or k?
k
Suppose -2*i = 3*a + 28, 0 = 2*i + 2*a + 33 - 5. Which is greater: i or -11?
-11
Let m(u) = -15*u**3 - 2*u**2 + 2*u - 1. Let v be m(1). Let f = v + 2. Let y = -12 - f. Is y smaller than 4/3?
False
Let r(q) be the third derivative of -q**4/24 - 5*q**3/6 + q**2. Let u be r(-6). Let x be 28/10 - (-16)/(-8). Is u at most x?
False
Let v = 0.1 - 0.1. Let m = -123 + 235. Let n = 118 - m. Is n bigger than v?
True
Let k = 127 - 142. Is -10 at most as big as k?
False
Let m = -2.09 + 2.2. Let w = -0.11 + m. Let d be ((-3)/15)/((-2)/15). Which is bigger: w or d?
d
Suppose 7*y = 11 - 4. Let q be (20/45)/(((-28)/(-6))/y). Which is smaller: 0 or q?
0
Let m(t) = 10*t. Let d be m(1). Suppose -27 + 27 = -6*l. Suppose l = -20*s + 186 + 14. Is s < d?
False
Suppose -5*b = -6*b - 5. Let t be (b/10)/((-1)/(-8)). Which is smaller: t or -2?
t
Let t be 2 + (-6)/(-3) - 1. Suppose 4*f = -17 - t. Is f >= -5?
True
Let z = -5.6 + 5. Let w = -4.4 + z. Which is greater: w or -3?
-3
Suppose 9*a + 4121 = -19. Which is bigger: -462 or a?
a
Let f = 0 - 0. Let v be (3/2)/(1/(-12) - 0). Let z be (v/56)/(4/56*-12). Which is smaller: f or z?
f
Let v be (-60)/4*-15*(-2)/96. Which is greater: v or -6?
v
Let n = -13/10 + 8/5. Let u(p) = -p**2 + 5*p + 5. Let r be u(7). Let s(z) = z**2 + 9*z + 1. Let c be s(r). Is n greater than c?
False
Suppose -a = -3, -5*i = -2*i - 4*a + 531. Let l = i - -114. Are -60 and l equal?
False
Let a = -12 - -6. Let t = 710.9 - 711. Which is bigger: t or a?
t
Let s = 223 + -217. Let l(t) = -t + 9. Let b be l(4). Is s at least b?
True
Let g be (-5)/((-5)/(-24)) - -3. Let l = 4 + g. Is l < -16?
True
Let h be (-24)/32 - 1/4. Let t be (-1894)/(-1950) - (-2)/6. Let p = -18/13 + t. Which is greater: h or p?
p
Suppose -3*f - 44 = -2*n + 21, 3*f + 63 = 3*n. Let j = f + 29. Let z = j + -16. Is z <= -11?
False
Let x(q) = 27*q**2 + 868*q + 25. Let i be x(-32). Suppose 0 = -4*a - 244 - 164. Which is smaller: i or a?
i
Let o(b) = -2*b**3 + 38*b**2 + 11*b + 61. Let x be o(19). Which is bigger: x or -0.1?
x
Suppose 3*x + 10 + 38 = 0. Let p = -14 - x. Let d be (p/(-6))/((-30)/36). Is d != 0?
True
Let d = 191/6783 - -1/798. Which is smaller: d or 28?
d
Let n = 0.204 + 1.796. Is n greater than or equal to -19?
True
Suppose 3*w - 4*w = -36. Suppose a + w = 5*a. Let y = 10 - a. Is 1 greater than y?
False
Suppose -3*v = 3*v + 6. Does v = 9/26?
False
Suppose -2*t = 7*u - 4*u + 12, -3*t - 8 = 2*u. Let v = -8 + 3. Let j = v - -7. Which is greater: t or j?
j
Suppose 340 = -13*c + 28. Are c and -28 nonequal?
True
Let x = -11/6 + 3/2. Suppose 0 = -5*c + 3*p + 2, -3 = c + 2*p + 7. Let o = c - -5/2. Is x greater than or equal to o?
False
Let a(b) = -b + 2. Suppose -3*g + 8*g - 10 = 0. Let z be (3 + -2)*(1 + g). Let j be a(z). Is 2/53 <= j?
False
Let u be 3 - 4/(-10)*(-40)/4. Which is greater: -19/18 or u?
u
Let r = -306.9 + 307. Let l = 4.3 - 0.3. Is l bigger than r?
True
Suppose 0 = -3*b - 18*b - 21. Which is bigger: b or 96?
96
Let p be (-15)/50*44/33. Are p and -28/9 nonequal?
True
Let b be (-3*(-4 - -5))/((-129)/(-4)). Which is smaller: b or 0.2?
b
Let f = -0.6729 + -0.0271. Are -0.09 and f unequal?
True
Let u = -195 + 197. Let w be ((-9)/12)/((-6)/(-2)). Is u at least w?
True
Let f(h) = 13*h - 16. Let i be f(9). Which is smaller: 100 or i?
100
Let r be ((-90)/(-36))/((-30)/(-3)). Which is smaller: r or 25?
r
Let y(o) = o**2 + 14*o + 1. Let n be y(-16). Which is smaller: -0.4 or n?
-0.4
Let g be 27*2*1/(3708/(-24)). Is g equal to -1?
False
Let z = -350 - -331.3. Let a = 20 + z. Which is smaller: a or -2/7?
-2/7
Let v(q) = -9*q + 2. Let k be v(-1). Let u = -12 + k. Suppose 5*r + 6 = -4*d + 4, d = -4*r - 6. Which is smaller: r or u?
r
Suppose 7*b - 146 = -153. Let j = -4 - -7. Which is smaller: b or j?
b
Let y = 12/29 - -433/145. Let m = -3 + y. Which is smaller: m or -2/3?
-2/3
Suppose -8*s + 117 - 13 = 0. Which is bigger: s or 12?
s
Let g = 211 + -210.96. Which is smaller: g or -1?
-1
Let j be (56/(-20))/((2/(-20))/1). Are 35 and j unequal?
True
Let y = -181 + 176. Is 24 greater than y?
True
Let t(g) = -g**2 + 7*g + 19. Let k be t(9). L