11)/44. Which is smaller: 0 or x?
0
Suppose 4*q + 13 = -5*o, 2*q = q + o - 1. Is -10/9 greater than or equal to q?
True
Let w(o) = -o. Let n be 15/(-4) - (-1)/(-4). Let i be w(n). Let g be (-14)/(-30) - i/12. Are g and 0 equal?
False
Let v = -64 - -62. Which is greater: -20/9 or v?
v
Let t be (0 - -1)/((-3)/(-15)). Let g = 7 + -3. Suppose -o = -4*l + 3, 4*l + g*o - 3*o = t. Is -3/7 < l?
True
Let u = -53 + 60. Is u != 3?
True
Let t = -15 - -14. Which is greater: t or 0?
0
Let k be 1/((-4)/24*3). Let y(i) = i**3 + 8*i**2 - 2. Let o be y(-8). Is o at least as big as k?
True
Let b(d) = d + 6. Let z be b(-6). Let m be (-1 + (z - -2))/(-3). Is m at most -2/3?
False
Let v = -353 + 5297/15. Which is greater: v or -7?
v
Let h = -3.17 - -3.2. Which is smaller: 2/9 or h?
h
Let k be (-3)/((-9)/(-6)) - -6. Suppose 0 = k*p + 3*w, -3*w + 5*w - 11 = p. Suppose -5*c + 2*i = -2*i + 26, -4*c + 2*i - 16 = 0. Which is smaller: c or p?
p
Suppose -3*l + 24 = -2*b, l - 5 = b + 5. Suppose 4*r + 16 = -4*m, 4*r - m - 4*m = -25. Are r and b nonequal?
True
Let z be ((-138)/8)/((-6)/(-18)). Let v = 52 + z. Is 1 bigger than v?
True
Let l(i) = -i**2 + 5*i. Let b be l(5). Is b equal to -2/53?
False
Let u = -27 - -25. Is u not equal to -4?
True
Suppose 6*z - h = 3*z - 19, 2*z = -4*h - 36. Let y be 10*(-10)/(-25) - 11. Is z < y?
True
Let h be (-4)/(-6) - 0/3. Which is bigger: h or 1/3?
h
Suppose 0*b - 2*b = 0. Let g = 106 + -744/7. Which is smaller: g or b?
g
Let n(z) = -z**2 + 9*z - 8. Let r be n(8). Which is greater: -2/43 or r?
r
Suppose 5*u = 35 - 15. Suppose -w - 3*w = 0. Which is bigger: w or u?
u
Let l be (-56)/(-63)*1/(-2). Suppose 8*o - 5 = 3*o. Is o bigger than l?
True
Suppose 0 = 2*m + r + 4*r - 5, m - 4*r = -17. Let v = 3 + m. Let u = v - 0. Which is smaller: u or -3?
-3
Let a = 8 + -17. Let z(w) = -3*w**2 + w + 2. Let b be z(2). Which is greater: b or a?
b
Let y = -3799/42 + 634/7. Which is greater: y or 1?
1
Let l = 52 - 81. Is -30 at most as big as l?
True
Let i(s) = -2*s - 26. Let r be i(-23). Does 23 = r?
False
Let x be 2/3*(-741)/(-38). Let j(q) = -q + 22. Let m be j(11). Is x greater than or equal to m?
True
Suppose -h + 3*j = 14, -5*h - 6 = -3*j + 4. Let k = 11.9 - 6.1. Let c = k - 6. Is c greater than or equal to h?
False
Let i = -3 - 0. Let f be 3*(1 - (-5)/i). Let q = f - 0. Which is bigger: -1 or q?
-1
Let k = -0.7 - -0.4. Suppose 3*r + 9 = -5*v, 5*v - 3*r + 12 = 3*v. Which is greater: k or v?
k
Suppose 0 = -4*q + 15*q + 99. Is q at least as big as -2?
False
Let c be (-18)/(-3) - (3 - 1). Suppose -5*l - 19 = -c. Suppose 5*g = 4*n + 24, 19 = -4*n + 4*g - 1. Which is smaller: l or n?
l
Let k(z) = -4*z - 14. Let t be k(-7). Is t greater than or equal to 13?
True
Let q = -48 - -45. Suppose 0 = -5*u + 4*u - 4. Which is smaller: q or u?
u
Suppose 0 = -b - 4 - 131. Let o be 2/(5/(b/6)). Let l(r) = r + 11. Let u be l(o). Is u at least as big as 1?
True
Let t be 2/(3 + (-57)/18). Is -12 less than or equal to t?
True
Suppose 0 = -3*s - t + 11, -4*t = -2*s - t. Suppose -a - 2*k = -0*k + 1, s*a = 4*k - 33. Let p be 7/35 + a/(-15). Which is smaller: p or 1?
p
Suppose 4*k + 47 = 23. Is -23/4 < k?
False
Suppose 0 = 4*m - 6 + 14. Suppose 3*y = 7*y + 16. Is y greater than or equal to m?
False
Let u = -5433/2068 + 117/44. Let z = u + -339/1786. Is z bigger than -1?
True
Suppose -8*s + 3*s - 10 = 0. Which is bigger: s or -3/4?
-3/4
Suppose -3*d + 4 = d. Let p be 2 - (-12 + 9)/(1 - 2). Let r = p + d. Which is smaller: r or -4/7?
-4/7
Suppose -4*n - 4 = 5*t, n - 2*t + 1 = -0*n. Which is smaller: n or -2/41?
n
Let v = 0.03 + -0.13. Let n = -0.6 + 1.5. Let q = v - n. Which is greater: 2 or q?
2
Suppose 0 = -5*y - 1 + 11. Let w = -2 + y. Let g = -89/3 - -30. Are g and w equal?
False
Let c = 79/150 + -2/75. Does 1 = c?
False
Let q = 7.1 - 7.2. Which is greater: q or 10?
10
Let f = 28/5 + -164/15. Which is smaller: f or -4?
f
Suppose 0 = 5*j + 3*c - 28, 3*c = 5*j - 0*c - 22. Suppose b + j + 8 = -u, 0 = -2*u + b - 11. Is u bigger than -8?
False
Let l = -9 - -8.96. Let r = -0.04 + l. Let a be 1 - (-2)/3*-1. Is r at least as big as a?
False
Suppose -2*a = -2 + 4. Let n be 1/(6/196) - 1. Let f = 31 - n. Which is greater: a or f?
f
Let q = -1 - 0. Let x be (-20)/28 - (-2)/(-7). Is x < q?
False
Let i = -6 + 5. Let l = -2 + i. Suppose 0 = -3*r + 7*r + 8. Is r greater than or equal to l?
True
Let d(h) = -h**2 - 5*h + 4. Let n(j) = -j - 1. Let z be n(4). Let a be d(z). Suppose -2*b - s + 4*s + a = 0, 2*b + 5*s + 12 = 0. Which is smaller: 0.2 or b?
b
Suppose 0 = 3*m - 15, 3*m + 6 = -5*v + 16. Let i = -54.2 + 59. Let k = 0.8 - i. Which is smaller: k or v?
k
Let n = 5 + -5. Let b = 0.03 + -0.23. Do b and n have different values?
True
Suppose 4*b + 8 = 0, -2*b = u + 4*u + 19. Let y be -1 - (2 + (u - 1)). Is y greater than -1?
True
Suppose 3*r = 6*r + 9. Let z(g) = 2*g + 21. Let x be z(-12). Is r greater than x?
False
Let o(t) = -2*t**3 + 2*t**2 - 2*t + 1. Let b be o(1). Suppose 19 = 2*f - 53. Let j be 0 - (f/(-14) + 3). Which is smaller: j or b?
b
Let t be (0 + 6/(-15))*(-30)/48. Does t = 0?
False
Let h be (4/12)/((-1)/(-6)). Suppose -2*k = -h + 6. Let a(z) = z - 1. Let n be a(-2). Which is greater: k or n?
k
Suppose -2 = y - 0. Let s = 3 + y. Let o = -5 - -7. Which is smaller: s or o?
s
Let v be 12/10*(-217)/399. Let z = -20/19 - v. Which is greater: -0.1 or z?
-0.1
Suppose 53 = -0*m + 3*m - 4*c, -2*c + 56 = 4*m. Let i be 64/(-10) + (-4)/(-10). Let q be i/10 + (-6)/m. Is -1 smaller than q?
False
Let u(a) = a**3 - 2*a**2 + 2. Let g be u(2). Suppose 0*r + 4*r + 4 = 0, c - 10 = -2*r. Let d be c/10*4/6. Which is smaller: d or g?
d
Let n(s) = -s**3 - 10*s**2 + 9*s - 9. Let a be n(-11). Suppose 20 = -5*d - 5*l, -2*l + a = 3*d - 4*l. Let b be 34/90 + (-4)/(-18). Which is greater: b or d?
d
Let t(a) = -3*a + 1. Let b be t(1). Let l(j) = -j - 7. Let u be l(-5). Is u >= b?
True
Suppose -3*a + 3 = 15. Let t be a/6*6/1. Let v be t/(-10) - 51/15. Which is smaller: -2 or v?
v
Let h(x) = -x - 2. Let v be h(-5). Let d be ((-21)/(-28))/(v/(-5)). Which is smaller: d or -2?
-2
Let z(x) = x**2 - 2. Let w be z(0). Let o be (3/(-1) - -3) + 2. Let m be (-12)/(-3)*o/(-4). Is m > w?
False
Let n = 164 + -164. Let q = 49/3 - 242/15. Is n > q?
False
Let o(w) = 3*w - 16. Let t be o(14). Let h = 25 - t. Which is smaller: h or -4/5?
h
Let m(d) be the third derivative of -d**4/12 - 8*d**2. Let x be m(0). Which is greater: 1 or x?
1
Let k be 1/(33/(-12) + 3). Let x be 6/18 - k/3. Let z be 2*-1 - 4/(-4). Is x at least as big as z?
True
Let x = 8/9 - 67/45. Let r be ((-1)/(-4))/(4/32). Let l be r/(-7) - 18/(-63). Is l less than or equal to x?
False
Let i = -2/277 - 259/2493. Suppose -5*b + 7*b = 0. Which is smaller: b or i?
i
Suppose 6 = p + 2*s, p = 3*p + s - 15. Suppose p + 8 = 4*d. Let y be 3/(-3)*d/22. Is y at most as big as -0.1?
True
Let t be 4*14/(-35)*115/(-8). Is 22 > t?
False
Let i = 45 + -87. Which is smaller: -41 or i?
i
Let u = 125 - 1133/9. Which is greater: u or 0?
0
Let r(w) = -2*w**2 - 5*w + 2. Let f be r(-3). Which is greater: f or -7/13?
-7/13
Suppose 4*y - 2*o = -0*o - 2, -6 = -2*o. Let d(r) = 6*r - 10. Let a(h) = -h + 1. Let l(f) = 5*a(f) + d(f). Let c be l(6). Is y not equal to c?
False
Let f = 5/143 + -71/143. Let j = 14 + -13.9. Is f < j?
True
Let h(r) = r**2 + 2*r + 1. Let j be h(-2). Suppose -3*i = -u + 3 - 0, 5*i = 2*u - 9. Let o = 38/3 - u. Which is smaller: j or o?
o
Let c = -38.4 - -38. Which is greater: -0.12 or c?
-0.12
Let z = -12 - -10. Let u = -2.4 - z. Is 1 not equal to u?
True
Let z = 145 - 75. Let x be (z/(-40))/(2/8). Which is greater: -6 or x?
-6
Let y = 2.9 - 3. Let i = 0.2 + -0.4. Do i and y have the same value?
False
Suppose 0 = g - r - 10 + 1, -2*g = 4*r. Let t be ((-9)/(-6))/(g/(-16)). Let h = t - -3. Which is bigger: h or -2/5?
-2/5
Let g = -2/5 + 68/145. Suppose 1 = -29*x + 30. Which is smaller: x or g?
g
Let i be (-1)/(0 - (-3)/(-105)). Suppose j = -4*j + i. Suppose 7 = -2*p + s + 19, -2*s + 11 = p. Is j greater than p?
False
Let x(u) = -u**3 + 11*u**2 - u + 16. Let d be x(11). Suppose -5*i = -2*l + 10, 3*l = -d*i + 2 + 13. Suppose i = 3*v + v. Which is greater: v or 4/5?
4/5
Let u = -305 + 4573/15. Is u at most 0?
True
Let i = 75 + -528/7. Let j be -4 + 1/1 + 2. Let l be j