+ 4*x - 12 = 0. Suppose -2*c - 2 = -6. Let l = c - 3. Which is smaller: l or x?
x
Let l(x) = x + 3. Suppose 2*s - 20 = 7*s, -5 = 5*u + 5*s. Let d(q) = 2*q + 5. Let n(i) = u*d(i) - 7*l(i). Let k be n(-6). Is 1 greater than k?
True
Let u = -12 + 17. Suppose u*m + 62 = -2*p - 19, m = 5*p. Is m bigger than -14?
False
Suppose 4*x = 5*c + 1, -4*c + 3*x + 2*x + 1 = 0. Let w be (-1)/(c + (-14)/(-4)). Is -1 < w?
True
Let k(s) = -10*s**3 + s - 2. Let i be k(-2). Let u = i - 379/5. Which is smaller: 1 or u?
u
Let m be 0 - 4/(-12)*257. Let n = m + -85. Are 0 and n non-equal?
True
Let z = 12 - 21. Let s(r) = r**3 + 10*r**2 + 9*r - 4. Let j be s(z). Does j = -5?
False
Let h be 7 + -29 + (-1 - 1) + 0. Does -24 = h?
True
Suppose -3 = u - 5*y + 4, 3*y - 3 = u. Let k = 0.3 + -0.1. Which is greater: u or k?
u
Let f = 2 - -1. Suppose 0 = -f*q - 20 + 5. Is q equal to -4?
False
Let p(f) = f**3 + 4*f**2 - f - 2. Let q(w) = -w - 11. Let r be q(-7). Let n be p(r). Let o(m) = m**2 + m. Let b be o(1). Is b at most n?
True
Let i(w) = w - 2. Let x be i(2). Which is smaller: x or 2/41?
x
Suppose 0 = 6*p + 40 - 100. Which is bigger: 17/2 or p?
p
Suppose 0 = -2*c - 2*c + 16. Suppose -2*a + 4*o + 26 = 0, 0 - 23 = -a + c*o. Is 3 greater than a?
False
Let j(t) = t**3 + 6*t**2 - t - 2. Let m be j(-3). Let r = m + -169/6. Is 0 less than r?
False
Let g be (-1)/(-1 + (-1)/4). Let m be ((-2)/((-8)/36))/1. Let c = -9 + m. Is g at most c?
False
Let b = 4 + 0.1. Let h = b - 4. Let a = 0.02 - 2.02. Which is greater: a or h?
h
Let q(y) = y**2 - 2*y + 1. Let w be q(2). Which is smaller: w or -1/7?
-1/7
Let f be (-2)/(-42) - (-19)/(-57). Suppose -4*s - 24 + 5 = 5*q, -5*s + 3*q = -4. Which is greater: f or s?
f
Let i be 16/24 + -1*1. Is i > 2/17?
False
Let l(h) = h**2 + 7*h + 7. Suppose 0 = -4*n + 13 + 7. Suppose 13 = -3*r - n. Let k be l(r). Which is smaller: k or 3?
k
Let s be -6*(-2)/(-3) - (-436)/110. Is s smaller than 1?
True
Let s(j) = j**3 - j**2 - j + 2. Let w be s(3). Let r = w - 16. Is 3/4 at least as big as r?
False
Let t = -38 - -47. Are -1/7 and t nonequal?
True
Let o = -18 - -38. Let f be (-6)/(-8) - 15/o. Suppose -x + f = -2. Does x = 2?
True
Let g be 128/1188 + (-4)/22. Which is smaller: g or 0?
g
Let l be ((-2)/(-2))/(2/6). Let g = -10/3 + l. Which is smaller: -2/7 or g?
g
Let n = 7 - 11. Is n greater than -2?
False
Let n(p) = p**2 + 2*p - 12. Let x be n(-4). Is -5 less than x?
True
Let u be (-2)/((-120)/(-123)) - -2. Let r be (-32)/176 - (-4)/22. Is r less than u?
False
Let j be (1 + 0)/(2/18). Suppose -5*i - 18 = -0*i - k, -j = -i - 4*k. Suppose -5*m = -0*m + 10. Which is smaller: m or i?
i
Let v(j) = -3*j + 1. Let s be v(-1). Let x(i) = -i**3 - i + i + 3. Let g be x(0). Which is greater: g or s?
s
Suppose -8*y + 9*y = 0. Let a be 2 - (y - (0 + -3)). Which is smaller: -3/10 or a?
a
Let p be (-4)/15*72/48. Which is smaller: -18 or p?
-18
Suppose -4*b = 5 + 3. Suppose -2*q = -2 - 2. Let u = -6 + q. Which is smaller: b or u?
u
Let n(y) = -y**3 - 2*y**2 - 2*y - 3. Let i be 2*(-2 - -1)*1. Let w be n(i). Is w < 2/27?
False
Suppose -2*m + 2*x = -3*x - 9, -m - 5*x = 3. Let l be (1 - m) + (-11)/(-9). Which is greater: l or -1?
l
Suppose v + 24 - 27 = 0. Let p(g) = 2*g - 5. Let j be p(v). Let x = -1/24 - -53/120. Is x >= j?
False
Let g = 9 - 9. Let r = 0.1 - -0.1. Let s = r - 0.4. Which is smaller: s or g?
s
Suppose 3*x - 31 + 4 = 0. Suppose -x - 7 = 4*i. Is -4 <= i?
True
Let l = -0.71 - 0.19. Which is smaller: 2/7 or l?
l
Let s = -1.023 - -0.023. Let d(p) = p**2 - 6*p + 7. Let b be d(5). Suppose k - 2*n - 4 + 1 = 0, -4*k + b = 2*n. Is s at most k?
True
Suppose 0 = 5*d - 14*d - 261. Is 1/4 less than or equal to d?
False
Let i(m) = -2 - m + 12 - 3. Let x be i(3). Suppose 0*z + 3*c = 4*z, 2*c = -x*z - 20. Which is bigger: -2 or z?
-2
Let j = -47 + 48. Is 0.1 less than or equal to j?
True
Let d(l) = 2 - l**2 + 5*l - 4*l - 1 + l**3. Let v be d(0). Are v and 4/7 equal?
False
Let n(q) = 27*q - 4. Let u be n(3). Let t = u + -387/5. Suppose -3*m - 2*v = -0*v + 7, -3*m = v + 2. Which is bigger: t or m?
m
Let x be (6 - 2 - 5) + 374/378. Is 1 >= x?
True
Let m = 0.45 + -0.4. Let d = m + -5.05. Let g = 6 + d. Does 0.1 = g?
False
Let l = -3.8 - -3.6. Is l at most -2?
False
Suppose -g + 10 = 4*g. Is 8/7 > g?
False
Let n = 2 + -3. Let c = 0.8 + n. Let o = c - -1.2. Which is bigger: o or -0.2?
o
Let k = -4 - -4. Is k > 1/4?
False
Let t = -188/7 + 814/35. Is t smaller than -2/7?
True
Let x = 4.2 - 4. Let f = -6.93 + -0.07. Let k = f - -10. Which is smaller: x or k?
x
Let k = 3 - 4. Let d be 9/(-12)*k/3. Which is smaller: 1 or d?
d
Let l be (-2)/4*3/(-6). Let g = -2 - -4. Suppose i = 3*i - g. Is l at least i?
False
Suppose -3 = -2*a + 5. Suppose -2*x - 2*f + 11 = -f, a*f = -12. Which is greater: 6 or x?
x
Let y = 18 - -123. Let p = 92 - y. Let z be 63/p - 2/(-7). Is -1 equal to z?
True
Let d = 8 + -5. Suppose -5*c = 2*s + 8 - d, 0 = -s - c + 5. Let x be 6/2*(-2)/s. Is x at most -1?
False
Let n = 0.078 + 3.822. Let h = -4 + n. Do h and 1/3 have the same value?
False
Let y be -1 - ((-2)/(-2) - 3). Let f be 2 + y/(14/(-22)). Is f at most -1?
False
Let p(r) = r**3 - r**2 + r - 2. Let v be p(2). Suppose z + v*g + 30 = -g, 36 = -2*z - 4*g. Is -9 at least z?
True
Let h(k) = 8*k**3 + 3*k**2 - 3*k + 4. Let w(j) = 9*j**3 + 4*j**2 - 4*j + 5. Let i(z) = 4*h(z) - 3*w(z). Let u be i(-1). Is u at least as big as 0.2?
False
Suppose -4*i - 24 = t + t, -12 = -2*t + 5*i. Let b be 57/(-11) - 4/(-22). Which is bigger: b or t?
t
Suppose -6 = -2*p + 6. Let m be (p/(-4))/((-6)/(-8)). Let a(f) = f**3 + 5*f**2 - 13*f + 5. Let y be a(-7). Is m greater than or equal to y?
True
Let y(p) = 14*p - 5. Let j be y(4). Which is smaller: 50 or j?
50
Let b be ((-4)/(-120))/((-4)/(-12)). Suppose -2*v = -5*x, 2*v + x + 3*x = 0. Is b >= v?
True
Suppose 5*c = -2*d + 14, -2*c - 2*d - 7 = 3*d. Suppose 3*w = -6, 22 = -0*g - 2*g - c*w. Let l(y) = y - 1. Let x be l(0). Which is bigger: x or g?
x
Let g = 0.5 - 0.44. Let u = g + -0.06. Let j = -1 - u. Which is smaller: -2/21 or j?
j
Let v(j) = j**3 + 4*j**2 - j - 2. Let r be v(-4). Suppose -3*x = 3*y - 24, x + 3*y - y = 9. Let o be r + -1 + -9 + x. Is -3 bigger than o?
False
Let i be (-1)/2*0/(-2). Let q be (-1 + i)/((-3)/9). Is 4 at most q?
False
Let i = -2015655/31868 - -1/7967. Let p = i - -63. Which is bigger: -2/3 or p?
p
Let s = -21 - -46. Suppose 0 = y + 4*y + s. Let a be (-5)/60*-2*(0 - 2). Is y smaller than a?
True
Let r = -3548/5 - -706. Is r > 1/2?
False
Let x(l) = l**3 + l + 5. Let o be x(0). Suppose 5*i - 11 = -4*u + 2, -o*u = -10. Which is smaller: 3/10 or i?
3/10
Suppose -2*k + 3 = -9. Let m = k + -6. Which is greater: -0.1 or m?
m
Let c be 4*57*(-4)/(-1422). Let p = 2/79 + c. Suppose -15*s + 19*s = 0. Which is bigger: s or p?
p
Let l = 35 + -34. Let w = 53/2 + -26. Which is greater: l or w?
l
Let y be (-3 + 0)*(-8)/228. Let u = 7 + -6. Which is bigger: u or y?
u
Suppose -4*h + 0 - 4 = 0. Let a = -3 - -4. Is h <= a?
True
Let r(m) = -m + 6. Let b be r(6). Which is smaller: 3 or b?
b
Let f be 4 - (3 - 3) - 3. Which is bigger: 2/89 or f?
f
Let m = 2 + 1. Suppose -8*x - 5 = -m*x. Let n = -5/9 - 1/9. Are n and x nonequal?
True
Suppose 4*u = -3*o + 3*u - 16, 4*o = 4*u. Let p = -7 - o. Is -3 <= p?
True
Let t be (-8)/(-6)*42/4. Let d be 3/(3 - -27)*-134. Let g = t + d. Which is bigger: 0 or g?
g
Let v(z) = z - 1. Let c be v(1). Let j be -2*(c - 1/(-2)). Which is bigger: j or -2/7?
-2/7
Let u be 2/8 - (-13)/(-4). Let a = 6 + u. Suppose 5*c = 14 - 4. Which is smaller: c or a?
c
Let l = 0.03 + 6.97. Let t = -0.1 + 0.5. Let k = 0.5 - t. Which is smaller: l or k?
k
Let q = -6/6155 + 4222384/55395. Let r = q + -76. Does 0 = r?
False
Suppose p + 2*p = -9. Let j be 3/45*(-6 - p). Is j bigger than 1?
False
Let h be (-1)/(-2 + (-1 - -2)). Let f be 3 + -1 + -2 + -2. Let w be f + (-22)/21 + 3. Which is greater: w or h?
h
Let t be (-42)/189 + (-5)/18. Which is bigger: t or 4/9?
4/9
Let j be (0 - 2532/(-1953)) + -1. Let h = j - 1/93. Let a = -1316/6003 + -2/667. Which is bigger: h or a?
h
Let z be 1 + 8/(-10)*15/6. Which is greater: 4/23 or z?
4/23
Suppose 4*d = -8 - 12, -4*d - 23 = 3*x. Suppose i + 1 = -8. Let y be (-12)/i + -2 - -1. Which is bigger: y or x?
y
Let i = -0.08 - -0.08. Is i bigger tha