 be g(4). Let d be (-16)/(-56) + u/14. Is d < y?
True
Let y be ((-2)/4)/((14/4)/7). Which is bigger: y or -3/13?
-3/13
Let j(t) = -t + 17. Let r be j(-6). Is 24 smaller than r?
False
Suppose 7*y = 2*y. Let d(w) = -w**3 - 10*w**2 - 9*w - 2. Let z be d(-9). Which is bigger: y or z?
y
Suppose 10 = 2*n - 0*n. Suppose 0 = -n*k + k. Is k at most as big as 1/3?
True
Let o = 4 - 7. Let g(t) = -t**3 - 2*t**2 + 2*t - 1. Let h be g(o). Let k = -5 - -7. Is k not equal to h?
False
Let p(m) = m**3 - 2*m**2 - m - 1. Let r be p(3). Let u = 24 - 19. Is u at least as big as r?
True
Let z = -2.8 - -0.8. Let j = -2.08 - z. Is 0 > j?
True
Suppose 5*a - 11*a + 78 = 0. Is 13 <= a?
True
Let r be (-2)/3*3 - -2. Let u = r + 1. Which is bigger: -1/8 or u?
u
Suppose -3*c - 4*n = -91, 5*c = n + 61 + 60. Is 25 bigger than c?
False
Suppose -u - 4 + 21 = 5*q, -4*u + 23 = 5*q. Let g be (-26)/(-9) + 51/459. Do g and u have the same value?
False
Let x = 2/73 + 199/730. Which is bigger: -2/3 or x?
x
Let h be (0 + 1)/(-1) - -1. Let q be ((-1)/9*-6)/2. Does q = h?
False
Suppose -3*n + 56 = 5*s + 9, 0 = -4*s - 20. Let u be 3/n*19 - 2. Is 0 less than u?
True
Let j = -1 + -1. Let m be (25/(-30))/(j/4). Is 1 <= m?
True
Let s = 1.2 + -1. Let m = s - 0.3. Let j = -1.9 + 2.9. Which is bigger: j or m?
j
Let h(t) = -t**3 - 6*t**2 - 5*t + 1. Let p be h(-5). Let z = -28 - -83/3. Which is smaller: p or z?
z
Let s be (2*1)/(10/(-8)). Let j = 284966/156285 + -4/3473. Let n = s + j. Which is smaller: n or 1?
n
Let r = -0.048 + -0.052. Which is greater: r or 0.5?
0.5
Let c(i) = i**2 + 7*i. Let t be c(-7). Suppose 3*z + 4*d - 5 = -t*d, -z + 5*d - 30 = 0. Suppose -2*y - 10 = -0. Does z = y?
True
Let k = -0.99 - -0.89. Which is smaller: k or -2?
-2
Let r be (-18)/(-12)*(-2)/18. Let u = 13 + -22. Let s(p) = -p**2 - 10*p - 8. Let z be s(u). Is z less than or equal to r?
False
Let k = 17 + -17. Let a = -197 + 105. Let v be 192/a - (-2)/1. Which is smaller: k or v?
v
Let k = -0.027 - 24.973. Let h = 16 + k. Let q = -10 - h. Which is bigger: q or -0.1?
-0.1
Let f = 10 - 14. Suppose -2*k - 12 = -6*k. Suppose -2*h + k*p - 9 = h, -2*p - 19 = 3*h. Is f at most as big as h?
False
Let u = -42 - -50. Is u > 9?
False
Let o = -0.38 + -0.02. Let c = 0.5 + o. Is c bigger than 0?
True
Let v = 8 - 7.91. Let u = v - 2.09. Is -3 bigger than u?
False
Let v(h) = h**2 - 4*h - 3. Let x be v(5). Let y = -13 - -15. Suppose 0*l - y*l = -2. Are l and x non-equal?
True
Let s be (-2 - 0/1) + 48/24. Let o = -142/3 + 48. Is s < o?
True
Let h(g) = g**2 - 8*g + 8. Let q be h(6). Which is greater: q or 0?
0
Let y = -0.1 + 1.1. Which is bigger: 2 or y?
2
Let b = 1651 - 226189/137. Is 0 < b?
False
Suppose -5*s = -f - 18, 3*s - 19 - 11 = 3*f. Which is greater: f or -4?
-4
Let a = -0.66 + 0.56. Which is bigger: -2 or a?
a
Suppose -2*t = -3*t + 3. Suppose 4*y = -y + 10. Which is bigger: y or t?
t
Let u be (-5)/(-25) + 2/10. Let b = 1.8 + -2. Is u > b?
True
Let m be (-4 - -6)*((-2)/4)/(-1). Is m smaller than -1/24?
False
Let n = 49.1 - 45. Let b = 0.06 + -4.06. Let v = n + b. Is v greater than or equal to -1?
True
Let s = -10 + 11. Is 2/19 less than or equal to s?
True
Suppose 5*u = -5*t + 305, 30 = t - u - 25. Let a = -40 + t. Let l = a - 53/3. Are l and 1/5 equal?
False
Suppose 2*u = -3 - 1. Let z be (3 - 4) + 0 + 5. Let y be z + -7 - (2 + -4). Which is greater: u or y?
y
Let j(f) = f**3 - 4*f**2 - 5*f + 1. Let m(k) = -2 - 7*k + 3 + k**2 + 4. Let o be m(7). Let l be j(o). Are 2 and l unequal?
True
Suppose 0 = q - 6*q - 5*d - 10, 0 = 4*q - 5*d + 53. Which is smaller: q or -5?
q
Suppose 0 = 6*m - 6 + 12. Suppose 5*f = f - 12. Which is greater: m or f?
m
Let b be (35/15)/(2/(-6)). Suppose c + 3 + 1 = 0. Let j = b - c. Which is smaller: j or -2?
j
Let r be (-82)/26 + (-4)/(-26). Let q be r + 5 + (5 - 1). Is q >= 6?
True
Let a(n) = -n**2 - 8*n - 8. Let l be a(-6). Suppose l*d + 3 = -1. Let w = 2.92 + 0.08. Which is smaller: w or d?
d
Let p be (-2)/6 + 1 - 0. Suppose -3*x = -3*n + 6, -4*x - 1 = 4*n + 23. Let b be n/3 - 15/(-9). Is b < p?
False
Suppose -36 = -c - 5*f, -4*c = 2*f - 54 - 0. Which is smaller: 9 or c?
9
Let y be (4/12)/((-2)/(-12)). Let s = 1 - y. Is -1/5 greater than s?
True
Let z = 3 + 0. Which is smaller: 2/3 or z?
2/3
Let r = -38 + 40. Suppose r = -q + 1. Let s = 33/10 - 9/5. Which is smaller: s or q?
q
Suppose 8*s = 10*s - 4. Suppose 0 = -4*b - i - 3*i, 8 = -4*i. Let z be (-1 + (-3)/(-2))*b. Which is smaller: s or z?
z
Suppose -2*w + 4 + 6 = 0. Suppose 5*r - h = -w - 0, -3*h = 15. Let b = r - -1. Is b less than or equal to -3?
False
Let y be ((1 - 0) + 2)/((-18)/(-42)). Which is greater: 5 or y?
y
Let n = -0.01 - -0.41. Let g = 0.2 - n. Let o = 0.2 + g. Are -2 and o unequal?
True
Let n = 21 - 4. Suppose -3*m + 72 = -7*m - 2*j, 0 = -5*m + 3*j - 101. Let o be (1 - 0) + m/n. Which is greater: o or 0?
0
Suppose 0 = -2*g - 2*g. Let f be 2/(-1) - 9/(-5). Is g smaller than f?
False
Let i be (-12)/(-30)*((-2)/(-2) - -6). Which is smaller: 3 or i?
i
Let z(q) = 2*q**2 - 9*q + 2. Let a be z(4). Which is smaller: a or 0.1?
a
Suppose -6*b = -2*b - 20. Suppose -b*d + 3*d = -2. Let y be ((-1)/2)/(2 + 0). Are y and d equal?
False
Let g = 8 - 6. Suppose -g*s + 0*h + 5*h = 14, 0 = -s - 5*h + 23. Suppose s*l = l. Is 0 smaller than l?
False
Let g(a) = -a + 2. Let n be g(3). Let o be (6/2)/(1 + 0). Suppose -l - 4 = o*l. Is l <= n?
True
Let v = 21 + -20. Is 2/35 bigger than v?
False
Suppose -3*i + 34 - 7 = 2*x, x + 3*i = 18. Let u = 4 - x. Let o = u + 4. Is o greater than 0.2?
False
Let o(q) = -q**3 - 7*q**2 - 4*q - 8. Let c be o(-7). Suppose 2*v = -2*v - c. Suppose -2*g - 6 - 2 = 0. Which is greater: g or v?
g
Let t = 72/95 + -3/19. Is -1 equal to t?
False
Suppose k - 3*o - 9 = -2*o, -k = o + 1. Suppose -2*q = -3*q + k. Is 2/3 greater than q?
False
Let h be (4/(-3))/(8/(-36)). Let l be (h/(-20))/((-30)/25). Are -3 and l non-equal?
True
Let j be 1/6 + 28/42. Which is smaller: j or 0?
0
Let x = 44 - 34. Which is smaller: 8 or x?
8
Let g = 5 + -7. Let t = 1 - g. Suppose -2*o - 1 = -t*o. Is -2 bigger than o?
False
Let q be 1 - -1*(0 + -2). Let f(a) = a - 5. Let r be f(4). Let x = q + r. Which is smaller: -4/7 or x?
x
Let c be (-8 + 2)*(-6)/4. Let n(r) = -r**3 - 2*r**2 + 15*r - 9. Let h be n(6). Let p be (c/(-6))/(h/12). Is p < 1?
True
Suppose 0 = 2*g - 8 - 0. Let x = -7 + 11. Suppose 0 = -x*q - 2*n + 5*n, -4*q + 2*n + 4 = 0. Are g and q equal?
False
Let u(m) = -m**3 + 8*m**2 - 6*m - 8. Suppose 2 = y - 5. Let l be u(y). Suppose 11*a = 8*a. Which is smaller: a or l?
l
Let j be (-8)/(-7) - (2 - 1). Is j > 1?
False
Let s(q) = q**2 + q. Let f(l) = -2*l**2 - 6*l + 1. Let o(t) = -f(t) - 3*s(t). Let c be o(2). Is c bigger than 0?
True
Let o = -1.53 + -0.47. Is o greater than or equal to -0.05?
False
Let i = -4.3 - 0.7. Are i and 2/9 non-equal?
True
Let x = 5 - 6. Is 0 at most as big as x?
False
Suppose -3*y - y = 0. Let z be (-1)/4 + (-27)/(-12). Let i be 10/8 - z/8. Which is smaller: y or i?
y
Let s = 7 + -6. Let h be s/2*(-6)/(-9). Which is smaller: 0.05 or h?
0.05
Let v be (-2)/(-8) + 34/(-8). Let t be (-34 - 3) + (-3 - -4). Let y be 1/v - t/16. Does y = 4/7?
False
Suppose -4*m = -2*m - 8. Let k = 4 + 0. Are k and m equal?
True
Let i be -1*((1 - 26) + 4). Which is smaller: i or 22?
i
Let l be (4 - (-1 + 5))/2. Suppose 3*b + 2*m + 4 = 1, -b = -m + 6. Let j be (2/b)/(5/3). Is j smaller than l?
True
Suppose -2*p - p = 0. Is p > 10?
False
Suppose 0*l - 6 = -3*l. Suppose 4 = -3*y - l. Do y and -3 have different values?
True
Let r = 4.6 - 1.6. Let m = 0.78 - -2.32. Let k = m - r. Which is smaller: k or -0.1?
-0.1
Let b = 34 - 10. Suppose 2*i = -4*m - 26, -3*i - b = i + m. Let j(n) = n + 7. Let t be j(i). Is t at most 2?
True
Let a(w) = w**2 + 2. Let b be a(2). Let n be -3*(-3)/9 - b. Let j = n + 4. Which is smaller: 0 or j?
j
Let q be -2 + (7 + 1 - 1). Let b = -9 - q. Let t be 10/25 + b/10. Is 3/8 less than t?
False
Suppose 3*w - 3*r = 15, 0 = -3*w - w - 5*r + 2. Suppose -4*j + w*j + 5 = 0. Suppose -j*o - u = 24, o - 2*u = -o. Which is bigger: o or -3?
-3
Let t = 9.9 - 9. Let k = -1 + t. Let o = 1 + -1.1. Is o at most as big as k?
True
Let f(j) = -j**3 + j**2 - j - 2. Let i be f(-1). Let r(c) = 7 + 0 - 2 - c. Let o be r(5). Do i and o have the same value?
F