 be h(-7). Let r = 0 - -3. Suppose -f - r = t*c, c - 7*f = -2*f + 15. Which is greater: c or 2/3?
2/3
Suppose -4*a - 6 = -2*v, 4*v + 2*a - 12 = -0*v. Suppose -v*t = 2*t. Is 1/2 greater than or equal to t?
True
Let l be 11/15 - 4/10. Let d = -20 - -34. Let n = d + -16. Is l at most as big as n?
False
Let q = -27 - -22.3. Let a = q - -0.7. Let r = a + 8. Which is greater: r or -0.1?
r
Let s be -30*((-3)/(-2))/1. Let h = 134/3 + s. Let p = -12.9 + 13. Which is greater: h or p?
p
Let i(x) = -x**3 + 7*x**2 + 14*x - 17. Let t be i(8). Which is greater: t or 30?
t
Let y = -8 - -8.1. Let m = 54 + -58.9. Let u = y - m. Is u less than -1?
False
Let i = -2/47 - 43/94. Let x = -1028/9 + 114. Is x >= i?
True
Let o = 109/2 - 52. Is o > 1/4?
True
Let h = 22 + -23. Which is smaller: -15/11 or h?
-15/11
Let s be (1 - -1)/(-7 - 1). Which is greater: 1/17 or s?
1/17
Let n = -5 - -2. Let s be 490/3 - (-1)/n. Let i = s - 1143/7. Is 2/7 greater than i?
True
Suppose 0 = -q + 2*q + 2. Let d be -2*(-1 - q/4). Let s be ((-18)/96)/(6/4). Which is smaller: s or d?
s
Let p be -1 + (3 - 3)/4. Is 1 equal to p?
False
Let l = -19 - -29. Which is bigger: l or 1?
l
Let g = -4/87 - 46/261. Which is greater: g or 0.2?
0.2
Let f = 7 + -48/7. Let b = -19/14 - f. Is 0 greater than b?
True
Let d = 9 - 9.06. Which is smaller: 0.1 or d?
d
Let z = 3177/7 - 457. Is z != -3?
True
Let y = 67 + -46. Suppose 5*j + 39 = -y. Which is smaller: -13 or j?
-13
Let i = 2 - 4. Let n = -6569/4 - -1553. Let w = n + 88. Is i > w?
False
Let k be -2*(4/4 - 3). Suppose 0 = k*h - h + 18. Is -1 <= h?
False
Let o = -133/715 + -2/143. Is 1 at least as big as o?
True
Let z(i) = 10*i - 1. Let m be z(3). Suppose 0 = -2*j - 97 - m. Let w be (-4)/(-14) - (-144)/j. Which is smaller: w or -5/2?
-5/2
Suppose 5*q = 3*a - 6 - 10, -a + 2*q + 6 = 0. Suppose a*n + 1 = 7. Let k be (1 + 0)/((-1)/n). Are k and -4 nonequal?
True
Let t = 46 + -46.2. Is t less than 43?
True
Suppose 6*o - 8 = 8*o. Is -5 equal to o?
False
Let a be 603/54*15/(-4). Let t = a - -42. Is -1 bigger than t?
False
Let o(l) = -9*l**2 - l - 1. Let u be o(1). Does u = -10?
False
Suppose -5*n - 5*y = -70, 0*y = n - 2*y - 20. Let z be (-4)/(-6) - n/15. Is -1 bigger than z?
False
Let s be 2/12 + (-1816)/1380. Let v = s + -2/115. Is -1 > v?
True
Let q be (3 - (0 - -1))/(5 - -2). Let u = -3.7 - -0.7. Is u equal to q?
False
Suppose 0 = -5*o + 7*o. Let c = 3 - o. Is c bigger than 4?
False
Let y be (-32)/(-18) - (-4)/18. Suppose 6 = -y*b + 3*b. Let u be 1 + -5 - (-52)/14. Which is smaller: b or u?
u
Let o(z) = 2*z**3 + z**2 - 1. Let q be o(-1). Let y(t) = t**2 + 3*t + 3. Let p be y(q). Which is greater: p or 2?
2
Let y = 4 + -4.8. Let t be (-42)/(-9) + -3 + -2. Which is smaller: t or y?
y
Suppose 3*q + 3 = -3. Let g be (-8)/(-12) + q/3. Which is greater: g or 1/2?
1/2
Suppose 1 = 4*y - 15. Suppose -2*v + 7*v - t = 19, -y*v + 17 = t. Suppose -5*d = -8 - 12. Is d <= v?
True
Let g(z) = z**2 + 9*z - 8. Let n be 41/(-4) - (-2)/8. Let o be g(n). Is o <= 2?
True
Let s be 17/((-2465)/(-300)) + -2. Which is greater: s or -1?
s
Let z = 2/1979 - -77173/7916. Which is bigger: 9 or z?
z
Let m = -4 + 6. Let p(g) = g - 2 - g**3 + 0*g - 6*g**m - 6*g. Let d be p(-5). Is d less than or equal to -2?
True
Let g = 318 - 6040/19. Is g smaller than -2/5?
False
Let z = -54869620/409 + 1735798823191/12939124. Let b = 3/2876 + z. Let m = b + 454/99. Which is smaller: 1 or m?
m
Let z = 1 + 0. Let n = -0.9 + 0. Let f = n + 4.9. Which is smaller: f or z?
z
Suppose 5*l + 20 = 0, l = 4*b - 3*l - 184. Is b less than 43?
True
Suppose -5*a + 19*a = -182. Suppose 0 = -4*b - 22 - 30. Does a = b?
True
Let x be 0 - (-2)/6*-2. Which is smaller: x or -0.1?
x
Suppose -152 = -4*h - 148. Are h and 5/11 equal?
False
Let f be 12/14 - 20/30. Which is smaller: f or 1?
f
Let g = -403/5 + 81. Let r be (1 - 1) + (-2)/2. Let y be 1/r*(-2)/(-6). Is y greater than g?
False
Suppose -3*a + 13 + 14 = -2*u, 0 = a - 5*u - 22. Let c = 10 - a. Suppose 19 + 1 = 4*b. Which is smaller: b or c?
c
Let c(u) = -6*u**2 - 1. Let t be c(1). Let n = 11 + t. Suppose 5*g + 2*i = 5*i - n, 5*i = -g - 12. Is g smaller than 0?
True
Suppose 10 = -g + 4*l, 0 = g - 3*g - 2*l + 30. Suppose 0 = -5*b - g. Let v be 1/((-7)/3 - -2). Is v smaller than b?
True
Suppose z + 3*t + 20 = -8, -4*z + 3*t = 37. Let a be (-15)/z - (-4)/(-26). Is a smaller than 3?
True
Suppose -5*w - 5*r + 25 = 0, 0 = -w - 4*r + 4 + 1. Are 7 and w equal?
False
Suppose 0*t - 2*t - 46 = 0. Let r = t + 27. Which is greater: 6 or r?
6
Suppose 11*y - 6*y = -5. Which is smaller: -2/123 or y?
y
Let i = 1 - 5. Is -11/3 smaller than i?
False
Suppose 0*b = -3*b - 21. Let a = b + 8. Which is smaller: a or -1/6?
-1/6
Suppose 3*m + 3 = -2*q - 11, 3*q - 36 = 5*m. Which is greater: -26/5 or m?
-26/5
Suppose 24*n + 8 = 26*n. Which is bigger: n or 5?
5
Let q = -24 + 23. Which is smaller: q or -20/13?
-20/13
Let z = 6 + -5. Let m = -468/5 + 94. Which is greater: z or m?
z
Let y = -0.25 + 0.4. Is y greater than -1/2?
True
Let m = -5 + -1. Let b(w) = w**3 + 6*w**2 + w + 4. Let y be b(m). Let d = -3 - y. Which is smaller: 0 or d?
d
Let u = -4/103 + -87/412. Is 41/3 at least as big as u?
True
Let g = -1 - -1. Let a be 11 + -10 - 1*(-1 + 0). Suppose n + g*n = a. Is 2 greater than n?
False
Suppose -y = -3*t, 2*t = 3*y - 33 + 5. Suppose 0 = -4*g + y - 4. Let v be ((-1)/2)/((-2)/4). Is v less than g?
True
Let x be ((-16)/12)/((-2)/(-6)). Let o be 4/15*(x + 7). Does o = 0?
False
Let y be 1/((-9)/(-4) + -2). Suppose 2*u + 0*c + 4*c - 22 = 0, y*u = -c + 37. Let w be (-2)/3 - 12/u. Which is smaller: 1 or w?
w
Let t(i) = -i. Suppose 5*w = 3*j - 15, -2*j = -6*j - 20. Let x be t(w). Let q be 8/(-12)*x/22. Which is greater: -2 or q?
q
Let v(t) = -t**2 - 7*t - 1. Let d be v(-7). Let a = 3.95 - -0.05. Which is greater: d or a?
a
Let i be 2/(-3)*-9 - 2. Let a be ((-1)/(-2))/(i/8). Suppose s = -4*g - 0*g + 19, 4*g - 28 = -4*s. Is a at most as big as s?
True
Let b = -1 - -2.6. Let q = -1.2 - b. Let n = 3 + q. Is 2/7 at least n?
True
Let p = -8.3 - -9. Let c = p + 0.1. Let y = 0.2 + c. Do y and -3/2 have different values?
True
Let l be ((-92)/(-24))/(2/(-8)). Let u = -862/57 - l. Are u and 1 equal?
False
Let z(m) = -m - 3. Let p be z(-9). Let i be 4/(-3)*p/4. Let h be 36/(-28) - (i + 1). Which is smaller: 2 or h?
h
Let m(g) = g**2 - 5*g - 2. Let b be 10/4*(2 - 0). Let t be m(b). Is -3 < t?
True
Let t(u) = -9*u**2 + u + 1. Let a be t(1). Suppose 5*j - 4 = 2*p + 3*j, -j = 4. Which is bigger: p or a?
p
Let i be -5*(2 + -6)/(-4). Which is bigger: i or -4?
-4
Let w be -2 + -1*(-3)/2. Let x be ((-28)/6)/((-10)/(-15)). Let c = -9 - x. Which is smaller: c or w?
c
Let w(l) = l**3 + 3*l**2 - 5*l - 2. Let d be w(-4). Are d and 21 non-equal?
True
Suppose -2*d + 8*d - 18 = 0. Suppose d*m + 2 = 3*w - 7, -4*w = 3*m - 5. Which is smaller: 2/11 or m?
m
Suppose -4*q - 4 = 0, q - 1 = 4*o - 2. Which is smaller: o or -2/85?
-2/85
Let l(i) = -3*i + 4 + 2*i + 2. Let h be l(5). Is 1/5 at most as big as h?
True
Suppose -5*p + 10 = -b, -3*p - 6*b = -2*b + 17. Let h = 0.4 + -2.4. Is p bigger than h?
True
Let s = 48082/343 - 160/343. Let o = 140 - s. Which is smaller: 1 or o?
o
Let j(q) be the second derivative of q**3/6 - 2*q. Let y be j(0). Suppose 3*a = 2*a - a. Is y < a?
False
Let k(r) = 3*r**2 - 2*r**3 - 2*r + 3 - 2 - 7*r**2. Let y be k(-2). Is y < 6?
True
Let a = 3.9 - 3.9. Which is smaller: 0.5 or a?
a
Suppose -3*s - 1 = -4. Is s < 2/215?
False
Suppose -3 - 2 = -j + 3*m, m + 15 = -3*j. Let h be (3/(-2))/((-3)/j). Let i(c) = c**3 + 4*c**2 + 5*c + 4. Let b be i(-3). Are b and h non-equal?
False
Suppose -5 = -u - 6. Which is bigger: u or 0?
0
Let i be 23/270 + (-1)/(-3). Let h = -1/54 + i. Let q be 4/(-6) - (-6)/9. Which is smaller: h or q?
q
Let v(g) = -2*g**2 + 34*g + 23. Let w be v(17). Is w > 23?
False
Let v = -187.92 + 184. Let i = 0.08 - v. Which is smaller: i or 1?
1
Let j = 0.3 + -0.1. Let l be 254/(-4)*9/(-18). Let w = -32 + l. Are w and j equal?
False
Let r = 3 + -3. Let p = r - -5. Let m be p/10 - 6/4. Which is greater: 1/5 or m?
1/5
Let u be (6/8)/3 - 0. Suppose -5*d = 0, 1 = x - 4*d + d. Which is smaller: u or x?
u
Let c = -2040 - -929. Let l = -3233/3 - c. Let v = l + -33. Which is greater: 0.6 or v?
0.6
Let h(y) = 3*y**