10*b - 8. Let t be p(9). Let r = 1307/11 + -119. Is t smaller than r?
False
Let a be 1514/8*(-1)/3. Let d = 249/4 + a. Suppose 9*w - 6*w = 0. Which is greater: d or w?
w
Suppose 0 = 3*m - 0*m. Suppose m*c = -c - 3. Which is smaller: c or -16/7?
c
Let q be (-1 - 0) + (-1 - -2). Let m = 32 + -222/7. Is q at most as big as m?
True
Suppose 4*b = -b + 65. Suppose 3*o - p = 3*p - 18, p - b = 5*o. Which is smaller: -4/7 or o?
o
Let t = 55 - 5. Are 49 and t unequal?
True
Let i(m) = m + 4. Let n be i(14). Let t(g) = -g**3 + 4*g**2 - g - 5. Let l be t(4). Let h = n + l. Is 9 <= h?
True
Let y be 3/(-1*6/4). Let c = 6 - 2. Let f(a) = a - 6. Let q be f(c). Do y and q have the same value?
True
Suppose -2*l + 2 = 6. Let i be (0 + 2)/(-2) - 1. Let k = i - l. Which is smaller: k or 1?
k
Let x be (-2)/(-3)*(1 + -4). Let w = -223/308 + -2/77. Is x greater than w?
False
Suppose -4*o + 36 = 4*c, -2*c - 18 = -4*c - 5*o. Is c greater than 8?
True
Let w be (-1 + -5)/((-50)/170). Which is bigger: 19 or w?
w
Suppose -4 = -2*y + y - 4*x, 4*x - 4 = 2*y. Suppose y = 5*z + 711 + 49. Let g = z - -1066/7. Which is bigger: 2 or g?
2
Let a(f) = 3*f + 4. Let d be a(3). Suppose -2*g + 1 = d. Let x be ((-1)/g)/(8/(-12)). Which is bigger: x or 3?
3
Let d = -0.128 + 0.028. Which is smaller: d or -1/3?
-1/3
Let u(l) = -2*l**3 + l**2 + l + 1. Let h be u(-1). Which is greater: 0 or h?
h
Let v = -14 + 17. Let m = 1 - v. Let l = -3 - -2. Which is smaller: m or l?
m
Let s be 2 + -2 - (-2)/(-11). Is 0 at most as big as s?
False
Let t be 209/66 - (0 + 2). Is 0 > t?
False
Let f be -1*3 + (-48)/28*-2. Is -1 at least f?
False
Let l be (-581)/(-595) - (3 - 0) - -2. Is -1 at most l?
True
Suppose -2*v - 8 = 4*j, j + j - 5*v + 4 = 0. Let b be 6 + 1 + j + 1. Let a = -3 + b. Do 2 and a have the same value?
False
Let n = 6 - 5.9. Is 0.3 greater than n?
True
Let h be (-4)/(-12) + (-214)/(-24). Let r = h + -9. Which is greater: -1 or r?
r
Let m = 43 + -44. Is m > 1?
False
Suppose 4*o + 7*x = 2*x - 12, 0 = -o + 2*x - 3. Let m(t) = -5*t + 1. Let p = -1 + 2. Let k be m(p). Is k at least o?
False
Let q = -49 + 48.92. Which is smaller: q or 3?
q
Let n(z) = -z + 2. Let s be n(0). Suppose 6*j - s = 4*j. Let f = 1 + 1. Which is bigger: f or j?
f
Let r(w) = -3*w**2 + 26*w - 13. Let b(a) = -a**2 + 9*a - 4. Let x(h) = -8*b(h) + 3*r(h). Let v be x(5). Suppose -4 = k + 4*m, 5*k = 3*k - 4*m - 4. Is k < v?
False
Let y = 2.5 - 1.4. Let v = y + -1. Which is bigger: -1/4 or v?
v
Suppose 3*r + 3*i + 6 = 0, -3*i + 4 - 13 = 0. Let b(x) = x**2 + 2*x - 3. Let s be b(2). Suppose -4*l + s - 1 = 0. Is l less than or equal to r?
True
Let f = 0.12 + -7.12. Let w = f + 14. Let o = w - 6. Are -2/3 and o non-equal?
True
Let s be ((-5)/(-3) - 1)/((-50)/(-3)). Is s less than -1?
False
Let v = -1 - -2. Let x be 17 + v + (-3)/9. Let g = x + -18. Which is smaller: g or 2?
g
Suppose -4*p - 3 - 5 = 4*k, 0 = 2*k - p - 5. Let g be (k - (-15)/(-13)) + 0. Which is smaller: 1 or g?
g
Suppose 3*u + 0 - 12 = 0. Suppose k + 15 = 5*v, -5*v + u*k + 12 = -v. Let t be (-6)/(-4) - (v - 3). Is -0.1 at least t?
False
Let a = -0.74 - -0.5. Let s = a - -0.3. Let k = 1.94 + s. Are k and 2/3 equal?
False
Let d be (-965)/(-18)*24/(-15). Let y = -86 - d. Is y greater than 0.3?
False
Let r be 22/6 - (-3)/9. Suppose 2*q - r = m, q + 23 = 4*m + 6*q. Suppose x - 2 = p, m*x = 3*p - 2*x + 9. Which is smaller: p or 3?
p
Suppose -5*q + 2*i - 22 = -i, 16 = -2*q + 3*i. Which is greater: -4 or q?
q
Suppose q - t - 2 = -4, 5*q + t = -10. Let z = -43/44 - 1281/220. Let d = z + 6. Which is smaller: q or d?
q
Let l = -3 + 2. Let c = -12.86 - -12.9. Is c >= l?
True
Let q(m) = m**3 - m**2 - 6*m + 1. Let y be q(-3). Is y < -17?
False
Let v = 61 - 37. Suppose 0 = 4*p - g + v, 6 = -6*p + 5*p - g. Is -7 smaller than p?
True
Suppose j + o - 3*o = 34, -5*o = 5*j - 95. Suppose j = -4*a + a. Let v = 8 + a. Which is smaller: v or -1?
-1
Let u = 5.3 + -5.5. Are u and 1 unequal?
True
Suppose 0*f = 2*f - n - 8, 1 = -3*f - 5*n. Let w(t) = t**f - 6*t**3 + 3*t**2 + 4*t**3 + t - 1. Let q be w(3). Is 0 != q?
True
Let t be (-57)/(-12) + -4 + -1. Is t at least -6?
True
Let h = -1 - -2. Let r = -1367/6 - -2383/10. Let c = 32/3 - r. Is c at most h?
True
Let x be (-6)/(-2) + (-14)/5. Is x at most as big as 1?
True
Let x = -12 + 18. Let y(b) = b**3 - 6*b**2 + b - 3. Let n be y(x). Which is bigger: n or 2?
n
Suppose -2*h = -n - 65, -h + 2*n = -30 - 1. Is 0.1 >= h?
False
Let n = 13/2 + -77/12. Let i = n - -5/36. Suppose 4*c = 4*a, -c = -3*a - a. Which is greater: c or i?
i
Let o = -238/3 - -80. Are -35 and o non-equal?
True
Suppose q + 5 = 3, 5*q + 18 = p. Suppose -15 = -3*s, 3*s - p = 3*d + 31. Is d >= -9?
True
Suppose 5*q - 4*q + 4 = 0. Let m = -1 - 2. Let g = m - q. Does 2 = g?
False
Suppose 4*o - 8 = -4*d, 3*o + o - 5*d = -28. Which is smaller: -22/7 or o?
-22/7
Let a(g) = g**3 - 10*g**2 + 10*g - 11. Let t be a(9). Let d be t/5 + 18/(-5). Let v = 8 - 11. Is d less than v?
True
Let l be ((-10)/3 + 3)*0. Is l at least as big as 6/11?
False
Suppose 2*t + 3*i = 3*t - 2, 5*i = 2*t - 6. Let j = 10 - t. Suppose j*z + 2 = -0. Which is greater: -4/7 or z?
-4/7
Let x(p) = p - 4. Let n be x(5). Is 17 smaller than n?
False
Let v(o) = o**3 - 2*o**2 - o - 4. Suppose 3*m - 10 + 1 = 0. Let k be v(m). Suppose -j + k*z = 7*z + 25, -3*j + 2*z + 10 = 0. Which is bigger: j or 1/2?
1/2
Let i be (0 - 0) + (1 + -3 - 1). Suppose 4*z = c + 3*z + 3, 4*c - 3*z = -14. Which is greater: c or i?
i
Let q = -3 + 2. Let n = 1.2 + q. Is n bigger than 4?
False
Suppose -q = 2*q - 5*o + 23, 0 = 4*q + o. Which is smaller: q or -9?
-9
Let j be -3*(4 + (-52)/12). Let l be (16/(-20))/(j/(-5)). Is 3 at most l?
True
Let r(v) = -v - 6. Let j be r(-5). Are j and -6/11 nonequal?
True
Let p be (-4722)/3 + 0/(-1). Let b = 43987/28 + p. Let j = -16/7 - b. Which is bigger: j or 1?
1
Let r be (-922)/350 + (9 - 6). Let t = 2/25 - r. Which is smaller: t or 0?
t
Suppose -3*v = 2*y - v - 12, 0 = 3*y - 5*v + 6. Suppose -z + 3*m = -31, -z + m = y*m - 16. Suppose -z + 6 = -4*p, 3*g + 13 = p. Which is greater: g or -1?
-1
Let p = 0.02 - -0.01. Which is greater: p or -3/2?
p
Let b(r) = -r**3 - 6*r**2 - 6*r - 4. Let p be b(-5). Let j be (0 - p) + (-7)/(-9). Let n = -0.04 + 2.04. Are n and j unequal?
True
Let j = 41/20 + -9/20. Let w = 73/30 - j. Is 0 equal to w?
False
Let r(t) = -2*t - 8. Let n be r(-6). Let g = n - 7. Let z = 4 + g. Which is greater: z or 0?
z
Let p(y) = y**3 - 4*y**2. Let h be p(4). Suppose h = -3*u - 9 + 3. Let a be 46/(-56) - (-8)/32. Which is smaller: u or a?
u
Let n = 3 + -3. Let h be 4/(7 - 3) + n. Which is smaller: 0 or h?
0
Let a(t) = -t + 2. Suppose d + 2*r - 2 = 0, 2*d - 3 = -2*d - 3*r. Let z be a(d). Which is greater: 3 or z?
3
Let o be 2/(-3) + (-14)/(-3). Suppose -3*l + l = -10. Which is smaller: l or o?
o
Let p be -1*(212/(-68) - -3). Is 1 greater than p?
True
Suppose -3*k - 19 = 2*k - 3*z, -2*k - 20 = 5*z. Let l = k + 9. Suppose g = 3*c + 9, -4*c - 10 = -l*g + 2. Is g not equal to 0?
False
Suppose 5*r - 3 = -3*b + 68, b + 5*r - 27 = 0. Are 21 and b non-equal?
True
Suppose 0*j = 4*j. Let g be (-2)/(-3) + (-35)/30. Which is greater: j or g?
j
Let a = -45/2 - -22. Let h = 0.7 + -1. Which is bigger: a or h?
h
Let l(z) = -2*z - 7. Let t be l(-5). Suppose 4 = -3*u + 2*m, m + 7 = -0*u - t*u. Let i = -76 + 149/2. Which is bigger: u or i?
i
Let y(j) = j**2 - 2. Let v(l) = l**3 - 6*l**2 - 6*l - 5. Let s be v(7). Let q be y(s). Let x be (-2)/4 + q/28. Which is bigger: x or -1?
x
Let i be (-215)/(-165) + (-1 - 0). Is 1 greater than or equal to i?
True
Let v = -0.31 - 0.29. Let p = v - -0.2. Is -4 less than p?
True
Let x be 6/(-3)*11/(-2). Which is smaller: 13 or x?
x
Let u = -3 - -3. Suppose 5*t = -2*x + 33, 2*t - 2 = 2*x - u. Let q(m) = m - 2. Let i be q(t). Are i and 3 equal?
True
Let p be ((-9)/16)/((-3)/4). Let y = p + -9/4. Let t = -11 + 8. Which is smaller: y or t?
t
Let b be ((-4)/(-656))/(21/(-6)). Let p = -62569/1722 - b. Let l = -36 - p. Is 1 < l?
False
Let v = -16.57 + -0.43. Let w = -16.8 - v. Which is bigger: w or 6?
6
Let p = -0.3 - 0. Let f = 0.1 - 1.1. Let t = f - -3. Which is smaller: t or p?
p
Suppose -9*x + 52 = -11. Which is smaller: 17/3 or x?
17/3
Suppose 4*x = -2*x + 12. Which is bigger: -0.4 or x?
x
Let s = 