be y(1). Which is smaller: d or 1?
d
Let k = 302/3 - 102. Let t(p) = -p**3 - 6*p**2 + p + 2. Let z be t(-6). Let v = z + 4. Which is smaller: v or k?
k
Let r = -7.1 - -7. Let m = r + -1.9. Let f = 2.2 + m. Is -0.2 < f?
True
Let g(d) = -4*d**3 - 2*d**2 - 2*d - 1. Let t be g(-1). Let o be 8/t + (-2)/(-6). Which is smaller: 4 or o?
o
Let q = 3/601 - -845/71519. Which is bigger: 0 or q?
q
Let d = -116/15 + 25/3. Is 0 less than d?
True
Let p be ((-6)/(-15))/((-22)/(-10)). Let d = -2 + 1. Which is smaller: p or d?
d
Let g = 0 - 0. Suppose g = -3*c - y - 14, -4*y + 4 = -3*c + 15. Let h be (-8)/12 + 1 - 2. Is h < c?
False
Suppose 0*m = -4*m - 24. Let z = 3 - -3. Let h = -11 + z. Which is smaller: m or h?
m
Let u be 2/(-6) + 276/18. Let s be 0 + (1 - u - 0). Is -2/7 smaller than s?
False
Let f = 0 - 1. Let k = f + 1. Let u = 5 + -5. Is k > u?
False
Let j = -1137/340 + 8/85. Let g = j + 31/12. Is g < 0?
True
Let o = -317/1134 + -1/162. Let v = 3 + 0. Suppose -v*g = -g - 2. Is o != g?
True
Let u = 38/11 - 1656/473. Let l = -53/215 - u. Is 0 greater than l?
True
Let d = -386 + 2687/7. Which is greater: d or -1?
-1
Suppose 0 = -y + 2 - 3. Suppose -2*u = 2*u + 24. Let x = 4 + u. Is x at most as big as y?
True
Suppose 3*b + 6 = 6*b. Suppose 10 = -3*z - b*z. Let m be z/(-10)*(-3)/3. Is m != 1?
True
Let k = -87 + 432/5. Is -2 less than or equal to k?
True
Let z be (8/(-6))/((-2)/9). Let k(l) = -l**3 + 5*l**2 + 6*l - 4. Let y be k(z). Let f be y/6*(-6)/16. Which is greater: -1 or f?
f
Let z = 6 - 5.94. Let n = z + -1.06. Do n and -0.2 have the same value?
False
Let d = 21 - 3. Suppose d = -5*i + 3. Let v = 2.1 + -2. Which is smaller: i or v?
i
Let v(i) = 2*i + 14. Let b be v(-7). Is 0 > b?
False
Let a be (-6)/(-1 + 4) + 8. Let r be a + (4 - 0) + -7. Are r and 1 equal?
False
Let v be (56/12)/(-7) + (-24)/(-9). Which is bigger: v or 6/11?
v
Suppose -4*f - 16 = -2*j, -j - 4*f = -9 + 1. Let t be (4/16)/(6/j). Let n = 0.3 - 0.4. Is n < t?
True
Let w = 7.05 - 0.05. Let v = 7 + -3. Let i = v - w. Which is smaller: -2/3 or i?
i
Let j be -1 + 3 + (-104)/56. Is 0 at most j?
True
Suppose 0 = -13*z + 8*z. Let j(i) = i**3 + 7*i**2 + 6*i + 2. Let l be j(-6). Let n = l + -2. Is n at most z?
True
Suppose -3*o = -8*o. Let s = o + -2. Let g be (-2)/(-5) - (-37)/(-30). Which is smaller: s or g?
s
Let l be (16/(-12))/((120/99)/(-4)). Are 0.1 and l nonequal?
True
Let q(r) = -7*r**2 + 5*r - 3. Let a(f) = 15*f**2 - 11*f + 7. Let s(t) = -6*a(t) - 13*q(t). Let g be s(0). Which is smaller: -3/2 or g?
g
Let n be (0 + 0)/(-2) - -1. Suppose 6 = 5*v + 26. Let a be -1 + 0 + -1 - v. Which is greater: n or a?
a
Let p(x) = -x + 0 + 2*x + 3*x + 4 - x**3 - 3*x**2. Let w be p(-4). Suppose w*y = -0*y - 4. Which is smaller: y or 1?
y
Let s(f) = 8*f**2 - 1. Let k be s(-1). Suppose 12 = 22*m - 20*m. Which is bigger: k or m?
k
Let l be (6 - (-87)/(-27)) + 4/18. Is l <= -4?
False
Suppose 0 = -0*y - 3*y - 21. Let w = -8 - y. Which is smaller: w or -2/13?
w
Suppose 3*i = 2 - 5. Which is bigger: i or -11/5?
i
Let o be (30/(-425))/3 - 0. Which is smaller: 0 or o?
o
Let f(l) = 6*l**3 - 2*l**2 + l. Let i be f(1). Suppose -y = -2*w - 2, -w = -5*w + i*y - 16. Is w less than 0?
False
Let x be (12/(-18))/(2/(-63)). Is -1 equal to x?
False
Let n be ((-2)/(-6))/((-2)/(-24)). Let z be (n/(-3))/((-10)/45). Which is smaller: z or 5?
5
Let a = -0.2 - 0. Let c = 2 + -1.8. Let t = a + c. Is t > -0.2?
True
Let l be ((-4)/48)/(1/2). Let s = 13 + -9. Suppose 0 = -s*r - 0*r. Which is greater: l or r?
r
Let c = -1.3 - -1.24. Which is greater: c or -1/3?
c
Let j(t) = -2*t + 51. Let h be j(25). Let a = -24/145 - 1/29. Which is bigger: h or a?
h
Let a = 0.02 + 0.48. Which is bigger: a or -2?
a
Let y(v) = -v**2 + 10*v + 2. Let u be y(9). Suppose 0*j = -j + u. Is 11 at most as big as j?
True
Let o = 4931/24 - 643/3. Let v = 9 + o. Is 0 bigger than v?
False
Let c be 6/27 + 50/18. Suppose -6*j - 3 = -c*j. Which is greater: j or 3?
3
Let z = 41 + -40. Which is smaller: -0.3 or z?
-0.3
Let y = -51 - -562/11. Which is smaller: -1 or y?
-1
Let g(u) = -u**2 - 4*u - 1. Let k be g(-4). Is k less than 0?
True
Let n = -0.6 + 17.6. Which is bigger: -0.2 or n?
n
Let k = -80 - -481/6. Which is greater: k or -1?
k
Let b = 109/1037 + -10/61. Are b and 0 non-equal?
True
Let s(p) = 3*p**2 + p + 1. Let v be s(-1). Let b = 4 - v. Let j be (-5)/2 + b + 0. Which is smaller: -3 or j?
-3
Let j = 1 - -4. Let y(f) = -2*f + 6. Let v be y(j). Let b be ((-2)/14)/(v/8). Which is greater: -1 or b?
b
Let g be (2/6)/((-4)/(-120)). Let j = g + -3. Are j and -0.1 equal?
False
Let k be (-33)/(-18) + 2/12. Let a be 7 - (k + -4 - -4). Which is bigger: a or 4?
a
Let n = 0.2 - 0.4. Let h = -0.5 + 0.2. Is n greater than h?
True
Suppose -2*p + 3 = -7. Let t be (-15)/(-11)*6/p. Which is bigger: 3 or t?
3
Let y = 54 - 30. Suppose -5*q + 17 = 4*w - y, 30 = 5*w + 2*q. Suppose -v - w*v - 8 = 4*l, -14 = 2*l + 5*v. Are 2 and l non-equal?
True
Let d = 2/941 - 4719/6587. Which is smaller: -1 or d?
-1
Let v be 3/(-2)*(-4)/(-3). Let o be (15/21)/(v/(-310)). Let l = 111 - o. Is l > 1?
False
Suppose -3*k + 4*d + 64 = 11, -2*k + 3*d = -36. Let t be 2/(-6) + (-10)/k. Is t >= -1?
True
Let k be (47 - 1) + (9 - -3)/(-3). Is k at least 40?
True
Let v be 4/((-1)/(-3) - 1). Is v != -4?
True
Let b be (-66)/30 - 3/(-15). Let h be ((-1)/b)/((-2)/(-40)). Suppose 2 = 2*p - 2, -2*m = -4*p - 10. Is m smaller than h?
True
Suppose -4*u + 5*b = 25, -20 = 8*u - 3*u - 4*b. Suppose 2*n + 2*n = u. Let c = 2 - n. Which is smaller: c or 8/7?
8/7
Let i(z) = 3*z + 2. Let w be i(-3). Let t = w + 3. Let j(x) = x**2 + 4*x - 1. Let y be j(t). Are 2/11 and y unequal?
True
Let s = -1 - -0.9. Suppose 0 = -4*r - 41 - 175. Let u be (4/r)/((-1)/(-3)). Are s and u equal?
False
Let q = 18 - 12. Suppose 3*f - f = q. Let r = -1 + 3. Which is smaller: f or r?
r
Let s = 25 + -22. Are -2 and s equal?
False
Suppose -14*w + 100 = -40. Is w less than 12?
True
Let j be ((-1)/2)/(6/(-4)). Let z = 17 + -18. Is z at most j?
True
Let w = 42.88 - 43. Which is bigger: 0.2 or w?
0.2
Suppose 30 = -x + 2*z, -3*z + 5*z = 2*x + 52. Is -43/2 greater than x?
True
Let l be -3 - (-1 - (-8)/(-5)). Is -1 less than or equal to l?
True
Let m(o) = o**3 - o**2 - 4. Let q be m(0). Let x be (6/q - -1)*10. Are x and -5 equal?
True
Suppose 5*w = -5*s + 40, 2*s + 4*w = -0*s + 18. Let h = s - 11. Are -4 and h equal?
True
Let w = -24 + -17. Let s = 286/7 + w. Suppose 0 = -3*m - n - 1, 0 = 5*m + 4*n + 11. Is m <= s?
False
Let h = -3 + 5. Which is bigger: -5 or h?
h
Let c = 1/83 - 417/166. Let v = 44 + -134/3. Which is bigger: c or v?
v
Let c(o) = -2*o + 3*o - 3*o - 2*o**2 - 1. Let l be c(-1). Which is greater: -2/33 or l?
-2/33
Let i be 3*5/((-45)/78). Which is smaller: i or 1?
i
Let y = -8 + 2. Let c = 8 + y. Let k be (-2)/(-3)*-2 + c. Which is smaller: 0 or k?
0
Let t = -21 - -20. Which is smaller: t or 3/10?
t
Suppose 5*q - l = -7, -3*q + 3*l + 8 = 17. Let x be 2/(2 + 0)*1. Is q at most x?
True
Let y = -13 + 18. Suppose 0 = -y*k + 4*l - 20, 2*k + 2*l + 2*l = 20. Is -1 greater than or equal to k?
False
Let m = 33.307 - -6.463. Let i = -41.8 + m. Let r = i - -0.03. Is -2/5 at least as big as r?
True
Let z(b) = -b**3 - 13*b**2 + 12*b - 20. Let q be z(-14). Does 0 = q?
False
Let v be 13/(286/(-4)) - 72/(-33). Is -1 <= v?
True
Let c = 5 - 4. Let j = c + -2. Which is greater: j or 2/11?
2/11
Let l be 105/45*(-4)/(-14). Which is smaller: l or 0.1?
0.1
Suppose -2*a + 7*a + 4*i = -24, 0 = -2*a - 4*i - 12. Is -4 not equal to a?
False
Suppose 0*s = 5*s - 5. Let n(j) = 16*j**2 + j - 1. Let p be n(s). Suppose 4*v + 4*c + p = 0, 11 + 12 = -2*v - 5*c. Which is smaller: v or 3?
v
Suppose -4*w + 2096 = -4*m, -2*w - w - 3 = 0. Let c = m - -3697/7. Let z = c - 67/28. Which is bigger: z or 1?
1
Let b(z) = z**2 - 3*z - 3. Let p be b(2). Let o be (-2 + 0)*(-10)/(-4). Is p != o?
False
Let r = 0.9 + -0.89. Let a = r + 0.03. Let i = a - 0.04. Which is smaller: i or -0.1?
-0.1
Let w be 15/(-45) + 10/(-6). Let c be (-3)/(3 + -1 + 0). Which is greater: w or c?
c
Let f = 223 - 219.94. Let j = f - 0.06. Is 2 != j?
True
Let h = -0.5 + 0.4. Let x = -2 - -2. Which is greater: h or x?
x
Let d(z) = z + 7. Let v be d(-6). Let o = v + -4. Which is greater: o or -13/5?
-13/5
Let n be ((64