p + 6. Let x be 86/6 + p/18. Which is smaller: 14 or x?
14
Let i = 2 - 2.14. Let u = i - -2.14. Let m(t) = -5*t + 46. Let s be m(8). Which is greater: u or s?
s
Let b = 13 + -4. Let n = 8 - b. Which is smaller: -0.1 or n?
n
Let i = 1 - 3. Suppose 3*d - 4*k + 13 + 10 = 0, 2*d + 4*k = 18. Let j be (-30)/(-25) + d + -1. Is i at least as big as j?
False
Suppose p - 2 = 0, 19*p - 17*p = 5*u + 24. Suppose 3*g + 26 = -0*g + 2*z, 0 = g + 3*z - 6. Which is smaller: g or u?
g
Suppose 0 = v - 4*z + 2*z + 11, -25 = 3*v + 2*z. Let t be ((-6)/(v/3))/(-122). Is t > -1?
True
Let q(o) = 2*o**3 + 34*o**2 + 31*o - 15. Let h be q(-16). Which is smaller: -4/111 or h?
-4/111
Let m = -1491 + 1489.6. Which is greater: m or -6?
m
Suppose -5*u + 10 = 2*p, 2*u = -3*p - 3*u + 10. Which is smaller: 2/65 or p?
p
Let u be 105/282 + (-2)/4. Suppose -k + 5*j - 1 = 0, -3*k + 5*j - 12 + 9 = 0. Which is bigger: k or u?
u
Suppose 4*z - 1 = v + 24, z + 5*v = 1. Let o = 0 + z. Let a be 16/o - (0 - -3). Is -4/7 <= a?
True
Suppose 4*b + 2*r + 162 = -0*r, 2*b - 4*r = -56. Which is smaller: -41 or b?
-41
Let v(r) = -r**3 + 6*r**2 - r - 6. Let q be v(3). Let p = -15 + q. Suppose -3 = -p*t - 6. Do t and -1.3 have the same value?
False
Let p = -302 - -299. Do p and -39/20 have the same value?
False
Let m = -67 + 11. Let v = 1295 + -1296. Do v and m have different values?
True
Let u = 624 + -622. Is 21 at most u?
False
Let h be 16/(-24)*(-6)/(-4). Let y be 0 + -1 + 2 + 1. Let x = y + 1. Which is smaller: h or x?
h
Let z = 71 - 70.968. Let y = 6.032 - z. Which is greater: y or 1/4?
y
Let t = -561 + 562. Let h = -5.4 + 4. Which is smaller: h or t?
h
Suppose 3 = -3*f + 3*b, -5*f = -2*f - 2*b. Is 60/67 smaller than f?
True
Let y(a) = -a**3 - 4*a**2 + 4. Let k be y(-3). Let c be (-3 - -2)*(k - 0). Let d = 32 - 32.1. Is d < c?
True
Let t = -44.92 + 29. Let h = t + 16. Is h > -2?
True
Let l = 126.97 + -127. Suppose -2*h = 4 - 12. Which is bigger: l or h?
h
Suppose 0*r = -4*z - r + 192, 4*r = -3*z + 144. Let x be ((-26)/(-13))/(1*z/(-10)). Is 0 != x?
True
Let l be 4/(-24)*(-64)/(-56). Suppose -5*a = -7*a. Which is smaller: a or l?
l
Let l = -43 - -53. Let b be l/25*5 - 2. Which is bigger: b or 2/61?
2/61
Let i = -0.24 - -0.11. Let a = 5.87 - i. Which is bigger: a or -2/7?
a
Suppose n + 3 + 1 = 0. Let o be (-3 - 57/(-9))/n. Is -2 at most as big as o?
True
Let f = -0.196 + 0.296. Is f < 14/5?
True
Suppose 2*f + 1 = -3*u + 10, 0 = -u + 2*f - 5. Is u at least as big as 21/40?
True
Let y = 0.32 - 11.32. Let f = 1 - y. Let b = -15 + f. Is -3/4 at least as big as b?
True
Let c be (-4)/(-5)*-9*(-3)/324. Which is smaller: 6 or c?
c
Let v be 20/(-3)*(87/14 - 6). Let m(f) = f**2 - 3*f + 2. Let k be m(2). Which is smaller: v or k?
v
Let z = 1271/2048 + 100238799/47104. Let d = z + -2129. Which is smaller: d or -1?
-1
Let p(q) = q + 4. Let a be p(-3). Let l be (-14 + -1)*-1 - a. Suppose 3*g = -b, -3*g + 5*b = -4 - l. Are g and 2/39 equal?
False
Let j be (126/(-119))/9 + (-2978)/(-170). Which is bigger: j or 16?
j
Let a(v) = v**3 + 12*v**2 - 12*v + 11. Let u(d) = d - 1. Let k be u(-12). Let s be a(k). Which is smaller: s or -3?
-3
Suppose -5*b + 2*n + 292 = 0, -124 = b - 3*b - n. Suppose 5*y - b = -0*y. Is 13 bigger than y?
True
Let k = 2940 - 2940.04. Is -1/19 greater than k?
False
Let q = -165 + 169. Which is smaller: -0.05 or q?
-0.05
Let u = 33.1 - 11.1. Let r = 22.2 - u. Is r smaller than 1/27?
False
Let u(i) = i**3 - 11*i**2 + 10*i + 4. Let k be u(10). Let f be (-2 - -1) + k + (-16)/4. Let n = -1025 + 7191/7. Is n smaller than f?
False
Let p(s) = s**2 - 11*s - 26. Let a be p(13). Suppose -f + 0 = 1, a = -4*b - 3*f - 67. Are -16 and b unequal?
False
Let t(w) = w + 1. Let u be t(-1). Let m(a) = -a**3 + 4*a**2 - a - 20. Let z be m(5). Which is smaller: z or u?
z
Suppose 26*g = 14*g. Is -227 at most g?
True
Let a be (-45)/117 - 1/(-3). Let q(o) = -o**2 + 1. Let z be q(-1). Which is smaller: a or z?
a
Suppose 4*s - 18 = -2*m, 0*m - 5*m = s - 63. Let g be m/39 + (-19)/66. Which is smaller: g or 0?
0
Let o be (-30*14/(-980))/((-4)/7). Let a = 2 - 2. Which is greater: a or o?
a
Let u be -2*-229*(35/(-10) + 3). Which is smaller: u or 0?
u
Let k = 1718 - 1719. Suppose -3*u + 5*u = 30. Which is bigger: u or k?
u
Let i(d) = -6*d**3 + d**2 - d + 1. Let v be i(1). Are v and -3 unequal?
True
Let t be (-3390)/(-54)*(-6)/4. Let q = t - -181/2. Which is smaller: -3 or q?
q
Suppose 4*t + 36 = -2*t. Let q be 2/6 - 322/t. Let n be (3/(-9))/(6/q). Is n < -15/8?
True
Suppose 0 = -w - 3*s + 736, -4*w + 2944 = -7*s + 6*s. Which is greater: 738 or w?
738
Let j = -10.3 + 1.1. Let k = j + 11. Which is smaller: k or -2?
-2
Let t be (-6 - -8) + (-1 - (0 - 1)). Suppose -2*a - 12 = 4*o, o + 4*a = 13 - t. Which is bigger: 0 or o?
0
Let h be ((-6)/15)/(1/10). Let k be (-182)/(-46) + h + 0. Is k > -1?
True
Let d = -18369/5 + 3689. Are 2/7 and d equal?
False
Let v = -6 + 10. Let s be (3/(-8))/(v/(-80)). Suppose -4*f - 9 - 15 = -4*l, 2*f = -3*l + 33. Is s > l?
False
Let r = 594 + -597. Is -0.5 > r?
True
Let x be -1 + ((-96)/(-44))/2. Is 0.3 equal to x?
False
Let v = -493 - -987/2. Which is smaller: 27 or v?
v
Let z = 1.73 - -75.27. Let f = z - 69. Which is smaller: f or 3?
3
Let g(y) = 4*y**2 - 40*y + 226. Let p be g(5). Which is smaller: p or 127?
p
Let p(q) = q**2 + 12*q - 3. Let m be p(6). Let g be 1/(-2) - m/(-14). Is 4 > g?
False
Let d(i) = -8*i - 119. Let f be d(-29). Which is smaller: 225/2 or f?
225/2
Let g be -1 + -4 - (27 + -13). Is g equal to -19?
True
Let m(i) = -i**3 + 11*i**2 - 8*i + 3. Let s be m(10). Suppose s = 5*p - 22. Let g be -4 - ((-81)/6)/p. Do g and -2 have the same value?
False
Let p be (4 - 255/(-10)) + 5. Which is bigger: 36 or p?
36
Let k = 2/31 + -1027/62. Which is greater: k or -18?
k
Let q = 198 + -992/5. Are -86 and q non-equal?
True
Let u(z) = -z**3 - 7*z**2 + z + 11. Let o be u(-5). Are -37 and o equal?
False
Let b = 0.049 + 0.821. Let k = -0.13 - b. Which is smaller: -0.5 or k?
k
Let q = -4.968 - 2.96. Let g = q + 0.028. Let y = -8 - g. Is y at most as big as -3?
False
Let k = 4/443 - 695/27909. Let o be (-2038)/504 + 5 + -6 + 5. Let q = o - k. Which is smaller: q or 0?
q
Let g = -6 - -6. Let m = 105421/24 + -8375/2. Let x = m + -205. Which is greater: x or g?
x
Suppose -4*z - 4*i = -112, -5*z + 3*i + 47 + 69 = 0. Is z equal to 224/9?
False
Let g(a) = 2*a + 6. Let j be g(-4). Let d = -2 - j. Let o = -20 - -19. Which is smaller: o or d?
o
Suppose -5*i + 1119 - 2709 = 0. Is -318 smaller than i?
False
Suppose -9 = -z - 17. Let j be (z/(-4) + -1)*(-6)/2. Which is bigger: -1 or j?
-1
Suppose 3*c + 55 = -2*c. Let x(u) = -3*u**2 + u - 1. Let w be x(2). Let m = w - c. Is 1 at most m?
False
Let v be 50952/108 - 2/(-9). Are v and 471 non-equal?
True
Let t be (70/4)/((-2)/(-4)). Let f(b) = -b**3 + 9*b**2 - 17*b + 55. Let s be f(7). Which is smaller: t or s?
s
Let i = 14 + -17. Let s be (18/i)/2 + -47. Let m = 449/9 + s. Is 0 at least as big as m?
True
Let l = -43958/3401 + 246/19. Which is bigger: l or 1?
1
Let j = 114 + -47. Suppose 0 = -9*a + j + 86. Is a < 15?
False
Let x be 7 - (8902/(-1270))/(-1). Which is smaller: 1 or x?
x
Let w(l) = -l**3 - 4*l**2 - 4*l - 1. Let r be w(-3). Suppose 15 + 8 = 23*i. Which is smaller: i or r?
i
Let q = 12.61 + 252.39. Which is bigger: q or 1/7?
q
Let x = 7.1383 + -0.1083. Let a = 379 - 386. Let r = x + a. Does -1 = r?
False
Let y be (-7 - -4 - 7)/(-2). Suppose -1 = -4*s + 7. Which is smaller: y or s?
s
Suppose -p + 4*p - 2*v = 10, 25 = 4*p - 5*v. Let i be (0 + -2)/((-2)/7). Suppose -3*l + 11 + i = p. Is l less than or equal to 6?
True
Let h(r) = -3*r**3 - 3*r**2 + 12*r - 23. Let k be h(5). Is k smaller than -413?
False
Let a = 1011 - 991.21. Let q = a - -0.21. Is -1/4 < q?
True
Let p(f) = -3*f - 20. Let d be p(-8). Let w be -3 + 11 + (d - 8). Let i(c) = 2*c**2 + 7*c. Let l be i(-3). Which is smaller: l or w?
l
Suppose 6*y + i = 10*y + 108, 4*i - 12 = y. Does -29 = y?
False
Let b = -0.25 - -0.29. Let f = 59 + -59.02. Is f greater than or equal to b?
False
Let q = 9 - 9. Let a = 24.056 - 0.056. Which is greater: a or q?
a
Let m(k) = k**3 - 5*k**2 + 3*k - 3. Let n be m(6). Which is smaller: n or 54?
n
Let h = 29 - 39. Let t = h + 11. Suppose 0 = -3*a - 2*a. Is a < t?
True
Let n(