-5*b + q, -k + 2*b = -2*b + 25. Suppose -2*l + 34 = -4*v, 0*l - 8 = 3*v + 2*l. Is v greater than k?
False
Let w be (-3 + -3)*(-3)/(-6). Is -15/4 at most as big as w?
True
Suppose 4*l - 5*o = 40, 4*l = 3*o + 26 + 6. Let w = l - 4. Is 2 not equal to w?
True
Let r = 2 + -1. Let p = -0.1 - -3.1. Which is smaller: p or r?
r
Let n(u) = u**3 - 2*u**2 - 2*u + 1. Let i be n(2). Which is bigger: i or -1?
-1
Let q be 24/32 + 0/1. Is q bigger than 0?
True
Let d = 367/28 + -49/4. Which is smaller: d or 0.2?
0.2
Let a = -50 + 70. Is 20 bigger than a?
False
Let s = -0.6 + 0.4. Let r = 2.2 + s. Which is smaller: r or 0?
0
Let y = 15 + -10. Suppose 0 = j - 2*c + y, 2*c - 3 = 3. Is 2 greater than or equal to j?
True
Let b(n) = -n**2 + n + 4. Suppose -5*s = i + 22, -i - 3*s + 28 = -8*s. Let u be b(i). Which is greater: -1 or u?
-1
Let y be 3/(-6) + 116/8. Which is bigger: 13 or y?
y
Let t = -0.04 + 0.1. Is 1/6 <= t?
False
Let n = -12 - -13. Let y(v) = v**3 - 5*v**2 + 2. Let l be y(5). Let z be 1*l*(-3)/60. Which is greater: n or z?
n
Let z = -0.7 - -8.7. Which is smaller: z or 1?
1
Let p(w) = -w**2 + 6*w + 41. Let y be p(10). Let m(f) = -2*f**2 + 5*f - 3. Let u be m(3). Is y at most as big as u?
False
Let f = -1751/15 + 364/3. Is 3/4 at most as big as f?
True
Suppose n - 5*n = -20. Suppose -3 = 4*f + n. Which is smaller: -4 or f?
-4
Let w = -8 - -11. Suppose w*t - 2*j + 3*j = 0, -12 = -4*j. Is -2/3 > t?
True
Let m = -387490/1735987 - -1/14347. Let h = m - 6/121. Does 0 = h?
False
Let r(g) = g - 1. Let j be r(3). Suppose -j*s + 20 = -7*s + 4*t, 5 = -4*s + t. Let b be s/(-2) - 4 - -2. Is b less than or equal to -2?
True
Suppose 6*o = 2*p + 3*o + 2, p + 2*o - 6 = 0. Let z(b) = 4 - 7*b**p - 2*b + 8*b**2 + 9*b. Let k be z(-5). Is -2 at most k?
False
Let c(m) = -m**3 - 2*m**2 - m - 4. Let a be c(-3). Let z be (-5)/((a/2)/(-4)). Is 0.3 less than or equal to z?
True
Suppose 96 = -3*f - 0*f. Is -32 > f?
False
Let o = 523/5 + -105. Let b = 9/4 - 5/2. Which is smaller: o or b?
o
Let h be (-6)/(-15) + (-14)/10. Let b(m) = -3*m**3 - m**2 - m - 1. Let g be b(h). Suppose -g*w + 1 = 5. Is w equal to -5/6?
False
Let v(h) = 449*h**3 + 1. Let s = 8 - 7. Let b be v(s). Let f be (-64)/b + 10/45. Which is bigger: f or -1?
f
Let v be (-6)/27 - 146/(-9). Suppose v = 2*l + 2*l. Which is bigger: l or 5?
5
Let y = -25 + 23.9. Which is smaller: -1 or y?
y
Let j = 6 + -7. Let f be (-6)/(j*6/3). Suppose 0*o + 5*o - 15 = 0. Are o and f unequal?
False
Let q = -38/15 - -524/195. Suppose -5*s = -5*h - 25, s - 2*h - 10 = 4*s. Is q at least as big as s?
True
Let h be 81/2*(-4)/3. Is h at most -55?
False
Let s(l) = 2*l + 6. Let r be s(-4). Let w be (-1)/(2/(-6)) - 1. Let j be w + -2 + -3 + 1. Is j less than or equal to r?
True
Let u = 5 - 3. Let n(h) = h**3 - 2*h**2 + h + 2. Let k be n(u). Suppose k*c + 2 = -2. Is c greater than -2/15?
False
Let n = 0 + -0.1. Let g = -0.2 - n. Let c = 0.3 + g. Is 0.1 <= c?
True
Suppose -2*k - 12 = -4*m, 5*k = 3*k - 4. Is 4 bigger than m?
True
Let s(g) = 10*g**2 - 21*g - 7. Let b(j) = 3*j**2 - 7*j - 2. Let v(n) = 7*b(n) - 2*s(n). Suppose p = -p + 12. Let i be v(p). Which is smaller: i or 0?
i
Let h = 11.3 + -11.2. Is 23 less than or equal to h?
False
Let j = -1098 + 64779/59. Which is bigger: j or 1?
1
Let z = -39 + 25. Which is smaller: z or -15?
-15
Let t(f) = -5*f**3 + f. Suppose 3*r - 4*r = 1. Let m be t(r). Suppose -n + 2*n - m = 0. Is 5 at most as big as n?
False
Suppose -3*x - 120 = 4*p, -2*x - 57 = 5*p + 16. Let j be x/24 - (-2 - -1). Is j bigger than 0?
False
Let l = -49 + 61. Which is smaller: l or 11?
11
Let j(r) = r + 17. Let z(h) = -h - 18. Let y(c) = -6*j(c) - 5*z(c). Let u be y(-11). Is u less than or equal to -1?
True
Let b be -2 - 3/(-1) - 2. Let l be -1 + ((-2)/(-5) - b). Is 1 != l?
True
Suppose 0 = -2*a + 4*f - 18 - 12, a = 5*f - 21. Is a <= 4?
True
Let b = -8 + 10. Suppose -b*p = -p. Is p < -1?
False
Suppose -4 = 4*m + 4*k, 2*m + 4*k = k - 5. Is m smaller than 3?
True
Let w be -5 - -2 - -3 - 19. Let j = w - -21. Which is smaller: 3 or j?
j
Suppose 0 = -2*w - 2*w + 68. Suppose -5 = 4*i - w. Suppose 3*r + 6 = i. Which is bigger: 2/9 or r?
2/9
Suppose -3*o + 0 = -6. Is o >= 3?
False
Let b = -4/11 - -27/44. Which is smaller: -1 or b?
-1
Suppose -21 = 3*s - 8*s + 3*d, 0 = -d + 3. Suppose i + s = 4*i. Which is greater: 0 or i?
i
Let x = 21 - 21. Which is smaller: x or 19?
x
Suppose 7 = 6*r + 1. Let v be (-4)/36 - (-2)/6. Is v smaller than r?
True
Let g = -0.025 - 0.175. Let v = -2832/13 + 218. Which is smaller: g or v?
g
Let m = 87 - 610/7. Let j be (-1 - 2 - 0)*-1. Let d be 2 - (j + -1 + 0). Does m = d?
False
Let f(y) = -y**3 - 2*y**2 - 4*y + 12. Let c be f(4). Which is greater: c or -101?
c
Let c = -0.07 + 11.07. Let o = c + -13. Which is smaller: 0.1 or o?
o
Let j be 4/((-160)/24) - (-76)/10. Is j less than 7?
False
Let j = -12 - -22. Let o be (5/j)/((-1)/(-4)). Suppose -o*n - 2*n = 0. Is -0.1 equal to n?
False
Let k = -112/13 + 1654/195. Let g = 8/15 - k. Let x = -0.07 - -0.37. Which is smaller: x or g?
x
Suppose 0*q - 2*q = -2. Let a = q + 1. Let s(u) = u**2 + 4*u - 18. Let m be s(-7). Is a equal to m?
False
Let w be -3 + (-136)/(-10)*(-4)/(-16). Is w at most as big as -2/3?
False
Let i = 28 + -21. Is 7 at least as big as i?
True
Let i(v) = 4 + 2 - 7. Let f(c) = -c**2 + 6. Let p(n) = -f(n) - 6*i(n). Let m be p(-1). Is m not equal to -1?
True
Let x be 0 - ((-8)/156)/1. Let q = x - -7/117. Which is smaller: q or 1?
q
Let n be 1 - 9/(-6)*-2. Suppose -2*f = -7 - 5. Let u be (-3 - 0)/f*0. Which is smaller: n or u?
n
Let l be (-5)/7 + -2 - (1 + -1). Is -3 at most l?
True
Let s be 3/(-6)*6 + 6. Suppose 0 = 8*z - s*z + 15. Let l be z - -2 - 3/(-2). Is 2/7 greater than l?
False
Let d = 21/34 + -2/17. Let c(a) = -2*a + 1. Let r be c(0). Let w = r - -1. Which is greater: w or d?
w
Let c = -4 + 4. Let m = -3 + -5. Which is smaller: c or m?
m
Let w(d) = -9*d + 25. Let h(j) = j - 1. Let i(u) = 2*h(u) - w(u). Let g(v) = -4*v + 9. Let r(c) = -8*g(c) - 3*i(c). Let y be r(11). Are -1 and y equal?
False
Let a = 2/23 - 33/115. Is a bigger than 1?
False
Let t be (-24)/3 - 2/(-1). Let r = t - -13/2. Is -1 at most r?
True
Let h = 16 - 16. Which is bigger: 0.1 or h?
0.1
Let s = -2 - -2. Let l be (-7 + 10)/((-18)/(-4)). Which is bigger: s or l?
l
Let s(t) = -t - 14. Suppose -v + 40 = -5*v. Let r be s(v). Are -5 and r equal?
False
Suppose -4*f - 10 = 6. Let j be (-9)/f*(-1)/3. Let g = 2 + -2. Which is bigger: j or g?
g
Let s(w) = w**3 - 2*w**2 - w - 4. Let g be s(3). Let v be (4 - 0)*(-18)/24. Let i be ((-14)/(-6) + v)/2. Is g > i?
True
Let n be ((-1)/(-3))/((-1)/40). Let d = 13 + n. Let w be 0*(1/1)/2. Which is bigger: d or w?
w
Let i = -4 - -4. Is -1/28 bigger than i?
False
Suppose 0*v = 2*v - 6. Suppose -4*c = -v*c. Which is greater: c or -1?
c
Suppose 4*c - 2*o = -54, 5*o - 57 = 2*c + 2*c. Let h(i) = -5*i + 6. Let x be h(4). Which is bigger: x or c?
c
Let t be (45 - (2 + 1))*2/4. Is -1 smaller than t?
True
Let s = -60 + 11. Is s at least as big as -1?
False
Suppose -4*c - 796 = 2*a - a, 3*c - 1548 = 2*a. Let x be (-16)/a + (-4)/26. Is x bigger than 2/3?
False
Let t(d) = 2*d - 4. Let p be t(12). Is p bigger than 20?
False
Let c = -143/8 + 18. Let w be ((3 + -3)/4)/(-3). Which is smaller: c or w?
w
Suppose 4*d = 6*d. Which is smaller: d or 2/5?
d
Suppose 0 = -5*a - 5*o + 45, -a = -6*a + 3*o + 69. Let m = 30/127 + 7216/635. Let i = m - a. Which is bigger: i or -2?
i
Let f = 10 + -291/29. Which is bigger: 0 or f?
0
Let u = -0.22 + 3.02. Let x = u - 3. Is 1 >= x?
True
Let v be (6/(-4))/((-3)/2). Which is smaller: -4/13 or v?
-4/13
Let v = 1039/13 - 80. Is v at most as big as 0.1?
True
Let f = -24 + 66. Let j be 4/(-10) + f/(-45). Suppose k - 1 = 0, 0 = -a - k - 0*k. Do j and a have the same value?
False
Let r(t) = t**2 - 3*t**2 + 3 - t**3 - 4*t**2. Let u be r(-6). Let q(a) = a + 7. Let h be q(-5). Are u and h nonequal?
True
Let y be 1*-19 + 5 + -3. Which is greater: y or -16?
-16
Let x = -7 - -18. Suppose -5*l + 20 + 30 = 0. Which is bigger: l or x?
x
Let i(p) = p**3 + 8*p**2 - 7*p + 12. Let a be i(-9). Let y be (-3)/((-9)/a) + -4. Does -6 = y?
True
Let i(h) = -h**3 + 6*h**2 - h - 6. Let n be i(5). Suppose 4*b + 2 = n. Let k = -4 + b. Which is smaller: 0 or k?
k
Let y 