 2*c + 3. Let m = 0 + -2. Let l be z(m). Which is smaller: 2/5 or l?
l
Suppose -14*g + 15 = -11*g. Which is smaller: 17/3 or g?
g
Let l = 2 - -6. Let v = -4 + l. Suppose -v*x = 11 - 3. Is x at most 2?
True
Suppose 2*f + r = -f + 24, -4*f = -2*r - 22. Let u(l) = -l**2 + 7*l - 1. Let b be u(f). Is b at least 0?
False
Suppose 7*b + 2 = 5*b. Suppose -3*p + 2*p + 105 = 0. Let f be (-2)/7 + 44/p. Are b and f equal?
False
Suppose -4*f - f = 0. Does -4 = f?
False
Suppose 4*o = 14 + 22. Is 9 at least o?
True
Let g(m) = m + 2. Let a be g(2). Suppose 0 = a*x - 2*q + 4, 2*q - 7*q = 4*x - 24. Which is smaller: x or 0.2?
0.2
Let z = -4 + 3.9. Let a = 0.2 + z. Does a = 6?
False
Let f = -1 + 19. Let n = -18.4 + f. Is n less than 1?
True
Suppose 6 = 3*c + 3*i, -2*c + 2*i + 20 = 2*c. Suppose 22 = -2*a + c*f, -2*a + a + 5*f - 20 = 0. Is 2 less than or equal to a?
False
Let c = -224 + 227. Let g(f) = -f**2 - 4*f + 1. Let s be g(-3). Which is bigger: c or s?
s
Suppose 3*a - 4*m = -2*a + 23, 0 = -2*a + m + 8. Let c = 12 - -8. Suppose -5*h + c = -2*g, -4*h + 18 = -0*g - 2*g. Is h > a?
False
Let l(d) = -d**2 - 6*d + 9. Let u be l(-7). Suppose 3*p + u*j = 4*p + 8, 0 = -3*j + 12. Does p = -2/7?
False
Let u be (-1 - -2 - 2)*12. Let a be (-7)/(-21)*u/2. Is a greater than -1?
False
Let p = -82 - -248/3. Let b = -3 + -1. Let t(x) = x**2 + 5*x + 6. Let a be t(b). Is p < a?
True
Let s = 26 + -25. Which is smaller: s or -7/15?
-7/15
Let u be (-1)/((-5)/(-2) - 2). Let p be ((-5)/10)/(1/(-2)). Which is smaller: p or u?
u
Let f = -15 - -18. Which is greater: 2 or f?
f
Let c = -4 + 3.98. Let u = 0.02 + c. Is 1 greater than or equal to u?
True
Let h(u) = -u**3 + 3*u**2 + 3*u - 1. Let o be h(5). Is o less than -36?
False
Let v be (6/4)/((-57)/95). Is -6/11 greater than v?
True
Let v be (-4)/4*0/(-3). Is v >= 1?
False
Let u(s) = -s + 1. Let l be u(-2). Let z(x) = x. Let d be z(0). Which is greater: l or d?
l
Suppose 0 = 5*q + 4*b - 18, 3*q - 12 = -3*b. Let c = q - 2. Which is smaller: -1 or c?
-1
Let n = -2 - 0. Let s = -4 - n. Let a be 0 + (1 - 1) - s. Which is greater: a or 3/5?
a
Let j = 983/7 + -139. Are j and 2 equal?
False
Suppose -4*k = 2*m - k - 25, 3*m - 2*k = 18. Do 8 and m have the same value?
True
Let d(s) = s - 6. Let y be d(3). Are -2 and y nonequal?
True
Let c = 3 + -2. Let b = -11/46 - -270/23. Let u = b - 11. Is c < u?
False
Let i(q) = -q**3 - 3*q**2 - 2*q. Let l be i(-2). Suppose 5*g + 0*v - 5*v + 5 = 0, l = 3*v - 15. Suppose -5*f = -g*f. Is f at most -1/3?
False
Let y = 63 + -63. Is y bigger than 0.29?
False
Suppose 8*b - 3*b + 15 = 0. Let g(i) = 3*i + 3. Let x be g(b). Is -4 >= x?
True
Suppose -19*f + 210 = -14*f. Let b be 8/f*(-9)/(-6). Let p be (-1)/(3/6) - -2. Is p less than or equal to b?
True
Let b = 126 - 125. Which is smaller: b or 0.144?
0.144
Let k be (0 - 1) + 1780/22. Let b = k + -80. Which is smaller: 0 or b?
b
Suppose 0 = i + 5, -2*i + 7*i = 3*v + 302. Which is smaller: -110 or v?
-110
Let t(v) = v**3 - 5*v**2 + 2*v - 6. Let o be t(5). Let a be (-5)/(-10) - o/6. Let j be (1 - 2)/(2 - 3). Is j > a?
True
Let j = 33 - 166/5. Is 0.1 less than or equal to j?
False
Suppose -4*a - 2*h - 84 + 2 = 0, 3*h = 4*a + 107. Let i = -23 - a. Which is bigger: i or -5/9?
i
Suppose -53 = -2*s + 1. Let c be s/(-7) + (-9)/63. Which is greater: c or -5?
c
Suppose -3*u + 0*u = 0. Let s be u*(-2)/(-6) + -1. Is -2/9 smaller than s?
False
Let v(f) = -f + 1. Let c be v(-6). Suppose 15 = 11*n - 8*n. Is c at least as big as n?
True
Let v be 1/4 - 142/(-8). Suppose m - 4*m = v. Is -5 < m?
False
Let w = -95/4 - -24. Let v = -0.6 - 0.6. Let i = 1 + v. Is w > i?
True
Let r(a) = 2*a**3 - 9 - a**3 + 3*a**2 + 10 + a. Let b be r(-2). Is b greater than or equal to 3?
True
Let i = 174/221 - 16/17. Which is smaller: 1/7 or i?
i
Let l = 8 - 6. Which is smaller: l or 5?
l
Let u be 14/(-4)*20/(-35). Is u >= 18/7?
False
Suppose 5*k - 80 = 15. Which is smaller: 18 or k?
18
Suppose -5*x - 5 = -0*x. Which is smaller: x or -4/9?
x
Let y be ((-1)/3)/(2/6). Let c be (1 + (-1)/7)*7. Let l be 2/(-8)*(-4)/c. Is y not equal to l?
True
Let t(i) = 5*i**2 - 11*i - 5. Let j(o) = 3*o**2 - 7*o - 3. Let w(y) = -8*j(y) + 5*t(y). Let v be w(1). Which is greater: v or -1?
v
Suppose 4*r - 3*b = -10, 7 = 3*r - 0*b + 5*b. Suppose 15 = 3*z - 6*z. Let q = z - -5. Is q smaller than r?
False
Suppose -9*v + 6 = -3*v. Which is bigger: v or -21?
v
Let i = -2 - -3. Let q be 0/12*i/(-2). Is q smaller than 2/31?
True
Suppose 0 = y + 1. Let p be 0/(-3 + 2 + y). Suppose 3*m - 2*h + 0*h + 4 = 0, -3*m = 5*h - 10. Is m at most as big as p?
True
Suppose 0 = -3*w + j, j - 2*j = w. Are 2/11 and w unequal?
True
Let b(y) = 10 - 3*y**3 - 4*y + 2*y**3 + 0*y**3 - 9*y**2 - 3*y. Let i be b(-8). Let x(k) = k**2 - 2*k + 2. Let r be x(i). Which is bigger: 4 or r?
4
Let x = -807/7 - -844/7. Let o = 5 - x. Which is smaller: 0 or o?
o
Let n = 17394/35 - 497. Which is bigger: 1 or n?
1
Let i be 2/(-3) - 1064/(-273). Is 4 equal to i?
False
Let d = 505/4 + -127. Is d not equal to -2?
True
Let j = -0.024 - -1.024. Are 4/19 and j equal?
False
Let h be (2/3)/((-34)/66). Let t = h - -276/187. Are -1 and t unequal?
True
Let a = -2.9 - 0.1. Let t = 2 + a. Is t less than 1?
True
Suppose -g + 6 + 0 = -4*h, -4*g = 4*h + 16. Let a(u) = u**2 + 6*u - 4. Let v be a(-7). Suppose -v*d - 12 = -2*d + 2*p, 10 = -2*p. Is g < d?
False
Let d = 8.9 - 8.8. Let v = -2 + 7. Is v smaller than d?
False
Let o(y) = y**2 - 4*y - 5. Let v be o(5). Let j = 87/2 - 431/10. Which is greater: j or v?
j
Let c be -1 - ((-13)/4 + 2). Suppose -3 = -4*x - 7. Do x and c have the same value?
False
Let t(i) be the second derivative of i**3/3 + 3*i**2/2 + 5*i. Let u be t(-2). Let j(m) = -m**2 - m + 4. Let o be j(-3). Is u less than o?
False
Let v = 94/9 - 962/99. Is 1 less than or equal to v?
False
Suppose 0 = s + 2*s - 45. Let k = -31/2 + s. Let n = 73 - 74. Is k greater than or equal to n?
True
Let m be (-69)/(-357)*(-5)/(-2). Let d = -2/119 - m. Which is greater: 0 or d?
0
Suppose 4*m = -38 - 26. Let x be (m/(-50))/(10/25). Which is smaller: x or 1?
x
Suppose -9 = -r + 4*r. Which is smaller: r or -1/3?
r
Let o = -12 - -17. Suppose 4*d + o*m - 51 = 0, -3*d = 5*m - 3 - 39. Which is bigger: d or 10?
10
Suppose 2*s - 83 = -3*i, -3*s = 3*i - 8*s - 55. Suppose -5*a = -i - 20. Suppose -2*c = -5*b - 25, 2*c - 2*b = 5*c - 28. Which is bigger: c or a?
c
Let z = 9 + -18. Let b be 6/26*(-6)/z. Is b at least 4?
False
Let f be (13 + (-4)/2)*1. Which is greater: f or 0?
f
Let v be -1 + ((-8)/20)/(1/5). Is -1 less than v?
False
Suppose -4*m - 28 = -3*w + m, 3*m = 2*w - 17. Is w <= 1/119?
False
Let s(w) = -w**3 - 9*w**2 - 2*w - 11. Let a be s(-9). Which is smaller: a or 8?
a
Let x = 0 + 0.1. Let d = 6.1 - 6. Let v = d + x. Which is greater: -1/3 or v?
v
Let r be 2/(-3)*9/(-2). Suppose -z + 8 = 2*z + k, -4*z + 29 = 5*k. Suppose 4*b + r = -z. Which is bigger: b or -2?
b
Let r be (-2 + 12/3)/(-8). Do 28 and r have the same value?
False
Let v(s) = -s**2 - 4*s + 12. Suppose -2*h = -5*h - 18. Let d be v(h). Is d equal to 5/7?
False
Let s = 20.14 + -17.1. Let d = s + -0.04. Let j = 4 - d. Which is bigger: j or 0.5?
j
Let t be (-288)/6 + -4*3/6. Is t greater than -51?
True
Let h = 25 - 24.8. Is -5 > h?
False
Let q be (800/(-48))/(2/3). Let t = q - -24. Let d(z) = -3*z - 3. Let s be d(-2). Is t >= s?
False
Suppose 11*n + 24 = 90. Is -3 at least as big as n?
False
Suppose t + t - 5*n = 247, -5*t = 4*n - 535. Is 112 <= t?
False
Let o = -7.1 + 6. Let n = -1.2 - o. Let v = -1.09 - -1. Does v = n?
False
Let c be 15/44 + (-2)/(-8). Let o = -7/50 + 677/550. Let t = o - c. Which is bigger: t or 2?
2
Let u be 37/(-70) - 15/(-25). Let d = -4 + 3. Is d less than u?
True
Let o = -8 - -8. Suppose -5*t + 25 + 15 = 4*q, 4*t + q - 21 = o. Let x be t - (-1 + 1) - 0. Is x != 4?
False
Let c = 2 - 2.1. Which is smaller: 0.01 or c?
c
Let k be (1806/(-3))/(-2) + -1. Let v be (-5)/(k/(-8))*3. Is v < -0.2?
False
Let i = 59 + -16. Let s = -127/3 + i. Which is bigger: s or 1?
1
Suppose -2*o = -3*q - 37, 5*o = 2*q - 4*q - 12. Let f(t) = t + 11. Let l be f(q). Are 2/11 and l unequal?
True
Let m(n) = n**2 - 9*n + 9. Let b be m(6). Let z = b - -6. Which is smaller: z or -9/4?
z
Let m(y) = -y + 3. Let i be m(3). Suppose -a + 4 = -4*d - 4*a, 4