*y = 0. Is z greater than 2/9?
False
Let a(f) = -f**2 - 14*f - 25. Let o be a(-13). Is -16 less than o?
True
Suppose -5*h + u = 8, 4*h + 2*u - 1 = -h. Let d = 651 - 5201/8. Let j = d + -61/88. Is h at least j?
False
Let m(a) = -5*a**2 + a + 8. Let n be m(7). Let p be 25/10*(-8)/n. Is p <= 0?
False
Let y(d) = -d + 5. Suppose 0 = -3*p + 4*z - 12 + 29, p = -4*z - 5. Let t be y(p). Is 0 equal to t?
False
Let q = -16 + 12. Suppose 3*t - 4 = n + 6, 20 = -4*n + 2*t. Is n less than q?
False
Suppose 0 = u + b - 11, -2*u - 2*b + 43 = 3*u. Suppose 0 = -t + 2*d - 1, 4*t + u*d - 4*d = 7. Which is greater: t or 8/9?
t
Suppose s - 6 = 2*r, -s + 1 = 5*r - 2*r. Let d be (6/(-55))/((-14)/35). Is d bigger than r?
True
Let t(x) = 2*x**3 + 13*x**2 + 7*x + 4. Let f be t(-6). Which is greater: -13/7 or f?
-13/7
Let p = 2/35 - 76/105. Which is smaller: 3.4 or p?
p
Suppose -8*b = -12*b - 4. Which is greater: 1/7 or b?
1/7
Let m = 50/19 - 9212/3515. Which is bigger: m or 0?
m
Suppose 9 = 4*k - k. Suppose 0 = -k*n - 2*n + 10. Which is smaller: n or 0.2?
0.2
Let a be -1 + 0 + 13/5. Is a smaller than 3?
True
Let h be (-2)/(-8)*(-80)/(-84). Let o = h - 4/7. Are 0.5 and o nonequal?
True
Let o be (-10)/8*9/30. Suppose s - 11 = -3*v, 0*s - 2*s = 2*v - 6. Is o not equal to s?
True
Let z = 0 - -0.1. Let q = 9 + -1. Let k = 9 - q. Which is bigger: z or k?
k
Let s = 2 + -2. Suppose 4*b + 30 = 2*b. Let w be 11/b - 2/(-5). Which is bigger: s or w?
s
Let x(g) = -5*g + 8. Let q(h) = -4*h + 7. Let i(b) = -4*q(b) + 3*x(b). Let v be i(11). Is v smaller than 8?
True
Let h(p) = p**2 + 5*p - 1. Let j be h(6). Suppose -5*l = -15 + j. Which is smaller: -9 or l?
l
Suppose 2*o + 7 - 1 = 0. Is o less than 2?
True
Let i be (-4)/(-18) + (-16)/(-9). Suppose -71 = 3*b + 2*c, -i*c + c = -5. Let t be b/(-21) + (-4)/14. Is -1/4 <= t?
True
Let k = 5 + -5.5. Which is smaller: k or 1/3?
k
Let t = -0.01 + 0.01. Let h = 0.1 + -0.1. Let m = h + 0.2. Which is smaller: m or t?
t
Let y be ((-6)/(-20))/((-52)/(-16) - 4). Which is greater: -1 or y?
y
Let j = 1.2 - 1.2. Which is smaller: j or 4/3?
j
Let d = -5132/19 - -270. Which is greater: d or 4?
4
Let w = 2 - 0. Let x be (3/w)/((-2)/(-12)). Suppose -4*l = o + x, 2*l - 9 = -2*o + 3*l. Is o at most as big as 4?
True
Suppose 4*r + 4 = 2*b, 2*b - 7*b + 20 = 0. Is r < 24/11?
True
Let d = -1.22 + 1.6. Is 0 greater than or equal to d?
False
Let a be ((-2)/(-200)*2)/(9/54). Which is bigger: a or 1?
1
Let f = -7 - -14. Let q(w) = 6 - 1 - f*w + 8*w. Let c be q(-5). Which is smaller: -2 or c?
-2
Let a be 2*(3 + 7/(-2)). Are 2/11 and a nonequal?
True
Let h = -1.1 + 8.1. Is 2 bigger than h?
False
Let l(x) = x**3 - 13*x**2 - 2*x + 29. Let n be l(13). Which is smaller: n or 26/7?
n
Let i(h) = -6*h + 0*h**2 - h**2 + 11 + 10*h. Let o be i(6). Let q be (-8)/6 + (1 - 0). Is q < o?
False
Let k = 4.26 + -4.3. Which is bigger: k or -5?
k
Suppose -10 = 3*x + 2*r, -2 = 4*x - 5*r - 27. Let h = x - 0. Suppose -5*i + o - 8 = h, 5*i - 2*i + 8 = -o. Which is greater: -5 or i?
i
Let c = 1 - -2. Suppose -48 = -c*a + 6*o - o, 0 = -5*o - 15. Let s be (1 + -5)/(a/1). Is s smaller than 0?
True
Let g be 11/(-21) + 6/9. Let x be 5 - 5 - 4/(-1). Suppose -1 = x*p + 3. Is g > p?
True
Let g be 8/12 - 11/3. Let y be (25/(-15))/(2/6). Let m = y - -1. Which is smaller: m or g?
m
Let m be -2 + 2 - (-8)/(-20). Let t be 4/14 - (-3)/(-6). Is t greater than m?
True
Let u be 4 - (2/(-6) - 1293/(-396)). Let p be 38/33 - (-2)/(-6). Let r = u - p. Is r greater than or equal to 1?
False
Let r(k) = -k**3 - k**2 - 2*k - 1. Let d be r(-1). Which is greater: 3 or d?
3
Let a = -3 - -5. Let q = -7 + 8. Which is smaller: a or q?
q
Let v = 19/30 - 2/15. Let m be (-4352)/(-60) - 1/3. Let s = m - 72. Which is greater: s or v?
v
Let p = 14 + -12. Is p <= -14?
False
Let a = -3/34 - -95/306. Let h = -5/9 + a. Let w = 0.3 - 0.31. Does h = w?
False
Let p(v) = -v**3 - v - 11. Let n be p(-5). Which is smaller: n or 118?
118
Suppose 4*p = 5*p - 2. Which is bigger: 3 or p?
3
Let l be 10*(-4 + 21/6). Are -2 and l non-equal?
True
Suppose n - 4*v + 49 = -7*v, -2*v - 78 = 2*n. Let t be 3 + -1 - (-72)/n. Suppose -5*c = 5*o + 20, 6*c - 2*c + 5*o = -21. Which is bigger: c or t?
c
Let w = -27 - -23. Is w less than -2?
True
Let o(c) = c**2 - 4*c. Let l be o(4). Which is smaller: l or 2/5?
l
Let t = -4 - -9/2. Does -2/5 = t?
False
Let m be (-15)/(-6)*(-4)/25. Let h = 1.3 + -0.3. Is h > m?
True
Let n(c) = -2*c**2 - 10*c - 5. Let u be n(-5). Let o(i) = 4*i + 1. Let k be o(1). Let a be (-6)/15 - 28/k. Are a and u equal?
False
Let f = 1.98 - -0.02. Suppose -51 = 4*b + 29. Let t = 20 + b. Is t bigger than f?
False
Let p = -1019 - -1923/2. Let t = p + 59. Suppose 6 = -0*j + 2*j. Is j at least as big as t?
True
Suppose 5*s - 38 = 2. Let f be 32/3 + s/(-12). Are 10 and f unequal?
False
Let n be (1 - 2*1) + 6. Suppose -5*d = 2*s - 3*s + 8, 5*s - 20 = 5*d. Suppose 10 = s*g - 8. Which is bigger: g or n?
g
Let b = -46.89 - -47. Is 2/9 > b?
True
Let k = 70 + -413/6. Do k and 2 have different values?
True
Let u = -202 + 3840/19. Suppose 0 = -2*z + z. Which is smaller: z or u?
z
Let f = -7.04 - -7. Let d = -1.04 - f. Is d smaller than -1/3?
True
Let d = 13 + -26. Do d and -13 have different values?
False
Let g = 5 + -3.9. Let b = g - 1. Let w = 2 - 2.1. Are b and w unequal?
True
Suppose 9 = -g - 2. Let a(k) = k + 11. Let y be a(g). Is y smaller than 2/5?
True
Let v = 5 - 4. Let w be (v + 0)/(0 - 1). Is -0.1 greater than w?
True
Suppose -6*l = 2*n - 3*l + 40, 4*n + 86 = -3*l. Is -24 less than or equal to n?
True
Let h = 0.044 - -2.056. Let i = -2 + h. Does i = -6?
False
Suppose -3*s - 5*a = -14 - 48, s - 2 = 3*a. Suppose 4*y = 2 - s. Which is smaller: -2 or y?
y
Let q = -1 - 1. Let z be 2 + (-4 - 2/q). Which is smaller: 1 or z?
z
Let m = -17.83 + -0.17. Is 0.2 < m?
False
Let h = -54 + 115/2. Which is smaller: h or 4?
h
Let i = 48.9 + -45. Let q = i + -4. Which is smaller: q or 0.3?
q
Let u = -1057611/23 + 45397. Let j = 586 + u. Is -1 greater than j?
False
Let k = -22 + 24. Is k smaller than 0?
False
Let j(m) = m**3 - 3*m**2 + 2*m + 1. Let a be j(2). Suppose 5*c - 3 - 2 = 0. Is a < c?
False
Let y = -3 - -21. Let o be y + -14 - 4/1. Do 2/37 and o have the same value?
False
Let p(d) = -d**2 - 15*d - 5. Let a be p(-15). Is -45/8 smaller than a?
True
Let s = 6.2 - -2.8. Let w = s - 10. Does w = -6?
False
Let l be (-12)/(-10)*(-10)/4. Let m be -2*3/(-36)*l. Which is smaller: 0 or m?
m
Suppose -2*p - p + 36 = 0. Suppose 3*u = -u + p. Suppose -1 = u*h + 2. Which is smaller: -1/4 or h?
h
Suppose -3*d - 27 - 15 = 0. Let j be 4/d + 2/7. Let g be (9/(-21))/3 + j. Which is bigger: -1 or g?
g
Let j = 18762 - 131027/7. Let d = 44 - j. Is -1 > d?
False
Suppose n - 1 = 0, -2*p - n + 3 = -2*n. Let g be p/(-5) - 2/(-5). Suppose 5*q + 5 = g, q + 5 = 5*o - o. Which is smaller: -2 or o?
-2
Let b = 5 + -5. Let d be 128/(-20) - 4/(-10). Let n be 3 + -1 + d + 5. Is n greater than b?
True
Suppose 0 = -3*a - 3*v, a = -4*a + 2*v. Let s = 2596/5 + -517. Let w = s - 43/15. Is w smaller than a?
True
Let a = 4 + -4. Suppose -2*b + 0*b = a. Let d be (3/(-3)*-2)/(-10). Which is smaller: b or d?
d
Let v be (4 - (0 - -9))*1. Is v greater than or equal to -2/13?
False
Let i = 7.93 + -8. Let t = 4.93 - i. Let b = 6 - t. Is 2/5 > b?
False
Let u = -35771/78 - -917/2. Let c = u + 46/195. Which is smaller: 2 or c?
c
Let i = 182/25 + -1254/175. Is 0 smaller than i?
True
Let w be 10/24 + 2/(-12). Let l = 529/4 - 133. Is l smaller than w?
True
Let h be 8/(-21) + 6/9. Let v be (-5)/3*(-3)/1. Suppose -4*t = v*s, 5*t - 2*s = 3*s. Is t at most as big as h?
True
Let q = -4 + 6. Suppose 0*x = -q*x - 2. Which is smaller: 2/21 or x?
x
Suppose 0 = 3*b + 4*u + 3, -2*u + 3 = 9. Suppose -4*y - b*p + p = -6, y - 5*p - 18 = 0. Suppose -20 = -5*a - 2*f, y*a + 6 = 3*f - 3. Which is greater: 1 or a?
a
Let m = 0 - 1. Let z = 47 - 234/5. Which is greater: z or m?
z
Suppose 4 = 2*a - 4*a. Which is bigger: -0.3 or a?
-0.3
Let v = 23 - 24. Let g(q) = q - 4. Let i be g(4). Is v at most i?
True
Let c be (-1)/(2 + 117/(-57)). Suppose 0 = 4*n - a, -5*a - 1 - c = 0. Which is smaller: -1/2 or n?
n
Suppose 0 = -4*u - 5*o + 60, -25 = 5*u + 4*o - 100. Suppose -7*c + 2*c + u = 0. Suppose c = t + 1. Is t less than 1/2?
False
L