1. Let j(a) = 7*k(a) - 4*p(a). Let z be j(-1). Suppose 0 - 4 = -4*v. Which is smaller: v or z?
v
Suppose -4 = 5*l + 1. Let v(a) = 6*a**3 + a**2 - a. Let n be v(1). Let g be 9/6*(-1)/n. Is l less than or equal to g?
True
Let v(g) = -5*g**2 + 3*g**3 - 6*g**3 + 2*g**3 - 4 - 4*g. Let u be v(-4). Let x = u + 5. Is x <= -2/9?
False
Let a(u) = 5*u. Let f be a(1). Suppose 8*n = 3*n + 20. Which is smaller: n or f?
n
Let f(q) = -3*q + 1. Let r(z) = 15*z - 4. Let x(j) = -11*f(j) - 2*r(j). Suppose 4*l = 5 + 3. Let b be x(l). Which is greater: b or 1?
b
Let y(i) = 5*i**2 - 3*i - 1. Let j be y(-1). Which is smaller: 1 or j?
1
Let s be 8/12 + 5062/(-15). Let q = 338 + s. Which is bigger: 0 or q?
q
Let t = 26 - 27. Which is smaller: t or 3?
t
Let x = 34.9 + -38. Let c = x - -3. Is -1/2 equal to c?
False
Let p be (-3)/8*(-4)/6. Which is bigger: 1 or p?
1
Let r be 0 + 0 + -1*1. Let k(b) = -b**3 - 5*b**2 + 6*b - 2. Let v be k(-6). Let n be (-6)/14 + v/(-7). Is n at most as big as r?
False
Suppose -8 = -9*w + 7*w. Suppose -5*o = -2 - 8, -w*o + 5 = 3*q. Which is bigger: 1/3 or q?
1/3
Let m = 215/2 - 110. Which is bigger: -4 or m?
m
Let y = -22 - -16. Let k(n) = -n + 5. Let g be k(y). Which is smaller: 10 or g?
10
Let i = 70/27 - 28/27. Let g = 38/11 - 244/77. Which is bigger: i or g?
i
Suppose -96 = 5*z - z. Which is bigger: z or -145/6?
z
Let o be (-5)/3*-3 + -2. Suppose -o*t + t = 2*a, a + 5*t = 0. Which is bigger: -1/2 or a?
a
Let h = 1324 + -5409/4. Suppose -140 = m + 4*m. Let d = m - h. Which is bigger: d or 1?
1
Let j = 2 - -3. Suppose m = j*d - 19, 6 = d + 5*m - 3. Do d and 4 have the same value?
True
Suppose -v - v - 4 = 0. Let r be (v - (-88)/2)/(-1). Let w be (r/4)/(-7) - 1. Is w not equal to 2?
True
Let l = -13 - -14. Which is smaller: -3 or l?
-3
Let y = -0.13 + 12.13. Let o = y + -14. Which is greater: o or -2/9?
-2/9
Let c = -6/37 - -73/222. Which is smaller: -1 or c?
-1
Let g = -1.1 - 0.1. Let x = g - -1. Let b = -4.9 + 5. Does b = x?
False
Suppose -l = 3*l. Let o be (-10)/(-6) + 1/3. Suppose 5*z - 1 = w + o*w, 3*w + 11 = -5*z. Which is bigger: l or z?
l
Suppose 4*d = 5*q + 14, 0 = -q - 0*q - 4*d + 2. Suppose 12 = -5*m + 4*l, m = -4*m + 2*l - 16. Are q and m unequal?
True
Let p(a) = a**2 + 6*a + 3. Let l be p(-5). Let o = -19 + 131/7. Which is smaller: o or l?
l
Suppose 5*t = -2*f - f + 25, 0 = 5*t - 2*f. Suppose -t = -3*m + 37. Is m at most as big as 12?
False
Let h = 1 - -3. Suppose 2*x = -5*w - 0*w - 7, -3*w - h*x = -7. Which is bigger: 3 or w?
3
Let c be 2/9 + 122/18. Is 4 less than c?
True
Let t be ((-9)/27)/(1/2). Which is greater: t or 0?
0
Let o be (3/(-21))/(18/21). Are 0 and o equal?
False
Let g = 0.6 - 15.6. Let k = 14.8 + g. Is -1/18 < k?
False
Let j be 141/156 + 3/(-4). Let h be 4/2 + 1*-6. Let i = -4 - h. Is j at least i?
True
Let i be 6/(2 - 7/2). Let w(s) = s + 5. Let o be w(i). Let u = 1 - 0.7. Which is smaller: o or u?
u
Let u(b) = -b**2 + b. Let c be u(2). Let w be 54/9*8/(-3). Let l = w - -16. Is l greater than c?
True
Let g = 91/18 + -29/6. Suppose -2*u - 1 = 3. Is u smaller than g?
True
Suppose 3*b + 11 = 2*p - 4*p, -15 = 4*p - b. Let s(m) = -8*m + 3. Let a be s(1). Which is smaller: p or a?
a
Let j(d) = -6*d**2. Let v be j(1). Let t(p) = p**2 + 6*p + 8. Let g be t(v). Let c = 7 - g. Which is greater: c or -2?
c
Suppose 3*s + 9*s = -108. Which is bigger: -5 or s?
-5
Let d = 0.28 + -0.28. Which is greater: -8/9 or d?
d
Let g(x) = -3*x - 1. Let n be g(-2). Suppose n*j = -4*c + c - 1, 3*j + 2*c + 1 = 0. Which is smaller: 1/7 or j?
1/7
Let i be -1 - (3 - (-86)/(-22)). Let p(y) = -y**2 + 8*y - 6. Let k be p(6). Suppose -u = -k*u - 5. Which is bigger: i or u?
i
Let w = -2/405 - -974/405. Let s = -11/15 + w. Is 1 greater than s?
False
Let a be (-18)/12 + 2/4. Are -1 and a nonequal?
False
Let y(s) = s**3 - 5*s**2 - 5*s - 4. Let z be y(6). Suppose 2*n - 12 = -n. Suppose 10 = -2*r - 3*u, -4*u + 16 = n*r - 7*u. Which is smaller: z or r?
r
Let q = -170889/140 + 4879/4. Let d = 3/5 + q. Is -2/7 equal to d?
True
Suppose 0 = -2*i + 5*i + 12. Suppose -55 - 85 = -4*z. Suppose 2*p - 4 = -0*q - 4*q, -5*p + 5*q = z. Is i smaller than p?
False
Let y(q) = -q**3 + 9*q**2 - 7*q - 10. Let m be y(8). Which is smaller: m or -0.7?
m
Let o = 13 - 12. Let f be ((-1)/2)/(4/(-10)). Which is smaller: f or o?
o
Let i be ((-3)/(-18)*2)/(1/3). Which is greater: 4 or i?
4
Suppose 5*h - 2 - 3 = 0. Suppose r = 4*d - 13, 3*r - d + h = 5*r. Is r at most -2?
False
Suppose f - 2 = -4*x - 14, 2 = -3*x + f. Is x > -11/6?
False
Let v = -165 - -171. Which is greater: 72/13 or v?
v
Let x be (3 - 0)/((4/(-9))/4). Is x <= -23?
True
Suppose 4*g + 31 = h + 2*h, -g = h - 1. Let a = 50 - 49.9. Is h >= a?
True
Suppose -4*f + 10 = -14. Which is smaller: 8 or f?
f
Suppose -9*y + 50 = y. Suppose -3*s + 3*v = -21, -3*v + 0 = s + 1. Is y at most as big as s?
True
Let n be (4 - 181/46)/(6/8). Is -0.2 greater than or equal to n?
False
Let g = 2390 + -71729/30. Let x = -1/6 - g. Suppose -5 = -l - 4. Which is smaller: l or x?
x
Suppose 0 = 9*d + 32 - 14. Let l = 2 + 0. Let t = l + -3. Is d at least t?
False
Let p = 0.511 - 0.571. Let j = 0 - 0.1. Are p and j equal?
False
Let d be (-1)/(-2)*2 - 1. Let z be (1 - 2 - d) + 2. Is z less than -2/5?
False
Suppose -1 - 2 = 3*q. Let v = 4 + q. Is 3 at least v?
True
Let b be (-8)/16 + 1/2. Which is smaller: b or 2/53?
b
Let l be (-2)/(-3)*10358/(-4). Let h = -1742 - l. Let f = -15 - h. Which is greater: -1 or f?
f
Let x be 284/126 + (-8 - -6). Let n = x + -1/9. Let l(f) = -f + 1. Let s be l(1). Which is bigger: s or n?
n
Let z(p) = p**2 + 4*p - 5. Let l(y) = -4*y**2 - 2*y + 1. Let j be l(1). Let f be z(j). Which is smaller: -6/13 or f?
-6/13
Let i(c) = c**2. Let q be i(2). Let z = 3 + 0. Are q and z non-equal?
True
Suppose -q + 8 = 2*s, q + 0*q = 3*s - 12. Let c(d) = d**2 - 3*d - 4. Let m be c(s). Let u be 2/5 - 2/5. Are u and m equal?
True
Suppose 5*q - 25 = 225. Let a be -3 + 501/9 - 2. Let f = a - q. Is 2 smaller than f?
False
Let i(w) be the third derivative of -w**6/120 + 2*w**5/15 - w**4/3 + 3*w**3/2 - w**2. Let g be i(7). Let z(t) = -t**2 + 2*t. Let f be z(g). Is 0 equal to f?
True
Let s = 0.09 - 0.1. Let g = 1.99 - s. Let d = -1.3 - -0.3. Which is greater: g or d?
g
Let a(g) = -4*g - 1. Let p be a(-1). Is p smaller than 4?
True
Suppose -4*y + 5*y - 3*w + 4 = 0, 5*w = -5*y. Let f be 1/5*(0 - y). Is 1 bigger than f?
True
Let v(n) = -n - 7. Let c be v(-7). Let y be (-40)/22 + 2 + c. Which is greater: y or 0.1?
y
Suppose 0 = 3*a - 4*a + 2. Let q(j) = -6*j - 27. Let n be q(-5). Is a != n?
True
Let n = 5/8 - 9/8. Is 2/65 less than or equal to n?
False
Suppose 2*q + 1 = -2*y + 7, -5*q = -y - 9. Which is greater: -2/21 or y?
y
Let m = -33 + 32. Is m at least -5/2?
True
Let n(v) = -2*v + 1. Let b be n(0). Which is greater: b or -3/13?
b
Let o(f) = f**3 + 4*f**2 - 2*f - 4. Let a be o(-4). Let d be (-36)/19 - (-8)/a. Let i be (-1)/(-4) + (-1)/4. Which is greater: d or i?
d
Let d(h) = 2*h**3 - h**2 - 2*h + 2. Let b be d(2). Suppose -v + 16 = 3*v, -2*l + b = v. Do 3 and l have different values?
False
Let u = -31/40 + 3/8. Is u bigger than 1?
False
Suppose -4*z = -3*i - 5, 4*i + i = 4*z - 3. Let g be i + -1 + 1/4. Let u = -3 + 4. Which is greater: u or g?
u
Let y be (-12 - -5) + (-3)/1. Let l(k) = -k**2 - 11*k - 13. Let c be l(y). Which is smaller: c or -5?
-5
Suppose 0*a + 2*a + 8 = 0. Do -6 and a have the same value?
False
Suppose -w - 2 + 5 = 0. Let t = -17 + 18. Which is smaller: t or w?
t
Let g = 1 + -0.8. Let u = g + 0. Let w = u + -0.2. Is 0 less than or equal to w?
True
Let c = 0.8 + -1. Let w = 16 - 101. Let b = 257/3 + w. Which is smaller: b or c?
c
Let y be (27/6)/1*2. Let r be (-4)/3 + (-6)/y. Suppose -5*d = -d. Is r bigger than d?
False
Let a = -37974/7 - -5405. Let b = -20 - a. Which is smaller: 0.1 or b?
b
Let r(k) = -k**2 - 4*k + 5. Let o be 4/(-18) + 47/9. Suppose l + 0*l - 15 = 2*s, 4*s + 5*l = o. Let h be r(s). Which is smaller: h or -1/3?
-1/3
Suppose 6*a - 20 = 11*a. Is -3 equal to a?
False
Let o be 10*(2/(-4) - -1). Which is smaller: o or 6?
o
Let l(t) = 9*t + 2. Let g be l(2). Suppose 2*s = -2*s - g. Is -5 bigger than s?
False
Suppose p + p = 2. Let g = 0.2 - 0.3. Is p smaller than g?
False
Let b be 3/(-1) - 121/(-44). Is -7 big