h is smaller: i or 1?
i
Let x(z) = -z - 1. Let y be x(-3). Suppose l = s + 1, -3*s + 2*l - 2 = -4. Let j = s - y. Which is smaller: 4 or j?
j
Let x be 4/(4/50 + 0). Let i be ((-568)/x)/((-78)/15). Let u = i + -18/13. Which is smaller: 0 or u?
0
Let g = -47/168 + -3/56. Is -2.3 less than g?
True
Let u = -14.4 - -1.4. Let i = -22 - u. Let c = i + 8.8. Is c < -1/3?
False
Let n = -14 + 14. Let h = 1 - n. Is 1 at most h?
True
Suppose 3*w = 3*j + 6, 2 = 3*w - j - 0*j. Let n be ((-2)/(-4))/((-1)/2). Let v be (n - 0)*1/4. Which is smaller: v or w?
v
Let a = 1/12 - -2/3. Suppose 0 = -45*x + 48*x - 6. Is a equal to x?
False
Suppose -2*i - 7 = -3*y, -18 = -3*y + y + 4*i. Let x(j) = -j**2 + 6*j + 4. Let d be x(7). Does y = d?
False
Let q = 22 + -20. Which is greater: q or 5?
5
Let v = 679 + -30557/45. Which is smaller: v or 0?
v
Suppose 0 = -5*x + 2*a + 30, 0*a - a = 4*x - 11. Let t(b) = -3 + 3*b - x*b**2 - b**3 + 0*b**3 + b**2. Let s be t(-4). Which is smaller: 5/6 or s?
5/6
Let v = 92/5 + -17. Let a(g) = -g**2 - 11*g - 8. Let q be a(-10). Which is greater: q or v?
q
Suppose -3*y = 5*m - 6*y + 39, -2*m = -2*y + 18. Let i(z) = -z - 5. Let x be i(m). Is 3/8 <= x?
True
Let g = -844/9 - -4154/45. Let i = -89/30 - g. Which is bigger: i or -3?
i
Let o be (-45)/(-34) + (-8)/6. Which is smaller: o or -1?
-1
Suppose -5*w = -w + 40. Is -8 <= w?
False
Let p be (-15)/12*42/(-35). Is -4 at most p?
True
Let f be 24/3 - (8 - 6). Which is smaller: f or 14/3?
14/3
Suppose 2*l = 2*k - 30, 0 = -3*k - 0*l + 2*l + 48. Suppose 3*u = -0*u - k. Let n = -7 - u. Is -1/3 smaller than n?
False
Let q(h) = -2*h - 1. Let v = -4 - -3. Let t be q(v). Let p(o) = -o + 2. Let i be p(t). Is i > 1?
False
Suppose -42 = -3*t - 0*t. Which is greater: 15 or t?
15
Suppose -5*c = -3*c. Is c at least as big as -1?
True
Let b = 109.21 + -113. Let z = 0.21 - b. Let g be 2/(-3)*6/16. Is g > z?
False
Let x(i) = i**3 - 7*i**2 + 7*i - 6. Let d be x(6). Let a be (-1)/((-12)/35) + d. Let w = 5/4 - a. Is w > -2?
True
Let i be 1/(52/(-8))*11. Which is bigger: i or -1?
-1
Suppose -p - 5*y - 11 = 0, p - 6 + 1 = 3*y. Let b be (-4)/p*(2 - 0). Is b at least as big as 8?
True
Suppose -3*v + v = -16. Let k be (-6)/(-16) - 2/v. Which is smaller: k or 1?
k
Let i(r) = -r**3 - 8*r**2 - r - 3. Let q be i(-8). Which is bigger: q or 6?
6
Let r(k) = 6*k + 1. Let i be r(-1). Let j be (-2 + 1)*1 - 2. Is i at least j?
False
Let u be (-15)/6*(-18)/30*-8. Is -5 greater than or equal to u?
True
Let x(d) = d**2 - 11*d - 22. Let h be x(9). Which is smaller: -41 or h?
-41
Let l(n) = -n**2 - n + 6. Let j be l(6). Let c be 7*(0 - j/21). Is c less than 12?
False
Suppose p + 3*r - 14 = 3*p, -3*p - 2*r = 8. Is -5 not equal to p?
True
Let g be ((-2)/3)/((-7)/21). Suppose -g*c = f + 2, 2 = f + 5*c + 1. Is -4 at most as big as f?
True
Suppose 2*p = -0*p + 4*p. Is 7/9 at most as big as p?
False
Let v = -2 - -2.6. Let z = 0.77 - 0.07. Let r = v - z. Is 0.2 <= r?
False
Let i(m) = 5*m - 4. Let z(q) = 9*q - 8. Let v(j) = -7*i(j) + 4*z(j). Let c be v(4). Let t = -31 - -123/4. Is c smaller than t?
False
Let n = 4 + -2. Let b(d) = d**2 - d + 0*d**n + 0*d + 4. Let k be b(0). Which is smaller: 2 or k?
2
Let l be 21/35 + 7/5. Suppose l*w - 4*w - 4 = 0. Are -18/11 and w equal?
False
Let o(u) = u**2 + 7*u + 8. Let f = 0 + 1. Suppose 0 = l - 2*k + 6, l - k - f = -7. Let d be o(l). Is d equal to 2?
True
Let x = 301/363 + 1/242. Let f = 1 - 1. Which is bigger: x or f?
x
Let v = -1/4090 + 1623733/12270. Let z = v - 137. Let l = z + 25/6. Is 0 less than l?
False
Let n = -1549/11 - -141. Let l be (-32)/8 + (2 - 1)*3. Is l at most as big as n?
True
Let g = -7 + 12. Let o = g - 6. Is o > -1?
False
Suppose 0*n - j = -n + 1, 4*n - j = 1. Let m be ((-1)/2)/((-6)/(-4)). Does n = m?
False
Let f be (-1 - (1 + -3)) + -13. Let q be ((-2)/(-3))/(f/18). Let w be (1 + 0 + q)*1. Is 0 at most w?
True
Let o = 46 + -45.3. Is o < -2/3?
False
Let h(r) = -r**3 - r**2 - 2*r - 1. Suppose 4 - 1 = -3*b. Let n be h(b). Are n and 1 unequal?
False
Suppose -11*f + 16*f - 10 = 0. Is 4 < f?
False
Let b = -3757/9 + 417. Which is bigger: b or -1?
b
Suppose 0 = -2*v + 4*v - 8, v = -3*i + 13. Suppose 9 = 3*n + a, -5*a = -3*n - i*a. Is n at least as big as 5/7?
True
Suppose 3*i - 5*z - 165 = -2*i, -4*i + 3*z + 127 = 0. Suppose 4*h + 4*q - 4 = 0, 4*h + i = 5*q + 5. Is -2 at most as big as h?
True
Let n be 7*-2*2/4. Let f(l) = -l**3 + 6*l**2 - 7. Let z be f(6). Let v = n - z. Which is greater: 2/3 or v?
2/3
Suppose 5*q = -2*d - 3, 2*d - 3*q = 2*q + 47. Which is smaller: d or 12?
d
Suppose 0 = 4*q - 4*b - 516, 3*q - 6*b - 387 = -b. Which is smaller: q or 128?
128
Suppose 3*k + 0*v + 26 = v, -k + 5*v - 18 = 0. Let q be -2 + (-2)/k*14. Is 3 less than q?
False
Let z(j) = 2*j**2 - j - 2. Let b be z(2). Suppose 3*i + 16 = b*l - 9, i - l + 7 = 0. Which is bigger: i or -5?
i
Let l be ((-45)/4 - 0)*(-4)/(-6). Which is bigger: l or -7?
-7
Let u = 4 - 21/4. Is u greater than or equal to -2?
True
Let z = 68 + -69. Let u = 2 + -1.92. Which is bigger: z or u?
u
Let l = -0.13 - 5.87. Let u = -1 - l. Which is smaller: u or -1/4?
-1/4
Let u be (-132)/(-24) - 1/2. Let s = u - -6. Which is smaller: s or 2?
2
Let r = -12 + 12. Suppose r = w + w. Which is greater: 2/5 or w?
2/5
Suppose -n = -2*t + 16, -2*n - 3*t - 2 - 2 = 0. Suppose 3*z + z - 4 = 0. Let c be (10/n + z)*-1. Is c less than or equal to 1?
True
Let i be (-3)/4 + 9/4. Let g = -1 + i. Which is smaller: 1 or g?
g
Suppose 4*q - 3*t - 384 = 0, q - 4*q = t - 301. Is 101 smaller than q?
False
Suppose -2*f = 4*f - 156. Do 26 and f have different values?
False
Let y = -1 + -0.5. Let n = 1.4 + y. Is n smaller than 0.2?
True
Let l = -0.32 - -0.3. Let h = 92 + -94.02. Let o = h - l. Which is greater: o or -0.3?
-0.3
Let a(o) = o**3 + 14*o**2 - 14*o + 14. Let m(s) = s**3 + 13*s**2 - 13*s + 13. Let q(y) = 5*a(y) - 6*m(y). Let h be q(-9). Which is smaller: h or 3?
h
Let v(s) = s**3 - 7*s**2 + 7*s + 3. Let k be v(6). Suppose 2*n - k = -n. Suppose 16 = -4*a + 8*a. Which is bigger: a or n?
a
Let l be ((-1)/(-3))/(-1 - (-21)/18). Suppose -4*h + 2 = -2*h + 2*d, -4*h - 3*d + 5 = 0. Is h > l?
False
Let t = -127/5 - -25. Let d = -154.2 - -154. Is t > d?
False
Let a = -36 + 49. Is a <= 15?
True
Let q = 4 - 4. Let u = q - 2. Does -1 = u?
False
Suppose 0 = 2*h + 101 + 45. Let u = h + 469/6. Let t = u + -9/2. Is 2 > t?
True
Let l = 54483/35 - 1557. Which is smaller: 1 or l?
l
Let p = -7.97 + 8. Let k = p - -0.27. Let w = -0.2 + 0.1. Is k less than w?
False
Let d(k) = k**2 - 19*k. Let r be d(11). Do r and -88 have different values?
False
Let o = -13 + 15. Which is smaller: o or -33/4?
-33/4
Suppose -3*f = -d - 28 + 149, 5*f - 220 = -2*d. Let m = 807/7 - d. Let n be (-4)/(-2) + 4/(-8). Which is smaller: m or n?
m
Let a = -5/9 - -2/9. Is a <= -56?
False
Let c be (-156)/44 - (-6 - -3). Which is bigger: -2 or c?
c
Let x(c) = 2*c + 1. Let z = 3 - 4. Let l be x(z). Let k = 36/205 - -1/41. Is k greater than or equal to l?
True
Let q be (-20)/6*(-48)/(-10). Is q greater than -15?
False
Let b = -313 - -314.29. Are 0 and b equal?
False
Let z(i) = 4*i**2 - 2*i - 8*i + 7*i + i**3 - 6. Let b be z(-4). Is 6 less than b?
False
Let z be 16/(-72) + (-2)/72. Suppose -4*p - p = 0. Let q = p + 0. Which is smaller: z or q?
z
Let l = -1.5 - -0.6. Let w = -0.8 - l. Is 0.1 < w?
False
Let o = -26.8 + 24.53. Let l = o - -0.17. Let j = l - -0.1. Which is smaller: j or 1/2?
j
Suppose 0 = 2*t + 5*r + 23, 0 = -4*t + r - 3*r - 86. Which is smaller: t or -26?
-26
Let c(i) = i + 5*i - 7*i + 3. Let w be c(3). Is w smaller than 0?
False
Let i = -26256/65 + 1992/5. Is i at least -6?
True
Let v = 148 + -149. Suppose 0 = -0*k - 4*k. Which is smaller: v or k?
v
Let m = 10 + -7. Suppose -2*n + 4*n = 2, m*w - 8 = -5*n. Is w > 1/4?
True
Let m(w) = w**3 - 7*w**2 - w + 9. Let j be m(7). Let y be (-2)/(-6)*-5 + j. Are y and 0 equal?
False
Let w = 0.12 - -0.08. Let m = -0.1 + 0. Let o = w + m. Which is bigger: -0.2 or o?
o
Suppose -w + h - 1 + 10 = 0, 5*w + 2*h = 52. Suppose 8 + 2 = -2*v - 2*c, 4*c + w = -2*v. Do v and -7 have different values?
True
Suppose 3 = -4*r - 2*k - 1, -5*r = -5*k - 25. Is r < 12?
True
Let h(q) = -q**3 + 4*q**2 - 3*q - 2. Let r be h(3). Let a = 11 + -7. Suppose -3*f + 23 = -3*b + 2, a*b = 5*f - 