17.2. Which is smaller: 0.2 or i?
0.2
Let h be 5 - 1 - (15 + 0). Suppose 10*j = 4*j - 60. Which is bigger: h or j?
j
Let u be (-34)/(-51) + 2/42*37. Is -3 greater than u?
False
Let z = 1055 + -39043/37. Which is greater: z or 0.1?
0.1
Let t be 58/8 - 1/4. Suppose t + 20 = 3*n. Let k be ((-3)/n)/((-1)/(-9)). Are k and -4 non-equal?
True
Let r = 75.2 - 139.4. Let c = r - -64. Is 7 at most as big as c?
False
Suppose 1328 = 16*j - 0*j. Which is smaller: j or 0?
0
Let t(r) = 46*r**3 + 2*r**2 - r. Let p be t(1). Let k = 28 - p. Which is smaller: k or -20?
-20
Suppose l - 2 + 1 = 0. Let i be ((0 - -2) + 65)*(-294)/(-77). Let t = i - 256. Which is greater: l or t?
l
Let x = -25003/48 + 3127/6. Is x greater than -1?
True
Let b = 465 + -3250/7. Let l(i) = -i + 3. Let u be l(0). Let v = u + -2. Which is smaller: v or b?
b
Let f = 1439 + -1446. Which is smaller: 2 or f?
f
Suppose -8*r - 4 = 28. Let b be (r + (-55)/(-10))*(-8)/3. Is b > -5?
True
Let x be 3/2 - -69*(-2)/90. Let f = -17/10 - x. Which is bigger: -2 or f?
f
Let w = 22 - 15. Suppose 0*m = m - 8. Which is smaller: w or m?
w
Suppose 3*h - 5 = 3*t - 2, -5*t + 7 = -2*h. Suppose -2*m + 2*l + 8 = 0, 0 = -m - 0*m + t*l + 4. Let f be 4/5 - m/6. Which is smaller: f or -0.1?
-0.1
Let t = 2.91 - -0.09. Let h = t - -3. Let b = h - 6.2. Which is greater: b or -0.04?
-0.04
Suppose 5*c + 3*n = -0*n - 5, 4*n + 28 = 4*c. Let x be (c/114)/((-4)/12). Which is bigger: -1 or x?
x
Let n be 10/(-45) - 1270/(-126). Is 10 not equal to n?
True
Let p(v) = 1 - 1 + 10*v - v**2 - 2 - 7*v. Let r be p(2). Is -1/34 > r?
False
Let h be 0 - -2*(-4)/8. Let i be (-5)/h + 6/3. Let g be (-2)/8*(6 - i). Which is smaller: 1/3 or g?
g
Let b be (71/355)/(((-2)/(-10))/1). Are 1/156 and b non-equal?
True
Let a = -232/45 - -69577/13680. Let y be (-6)/(-12) + (281/570)/(-1). Let q = y + a. Are q and 1 nonequal?
True
Let l be ((-2)/18)/((-1)/(-3)). Let q(w) = -w**3 - w + 2. Let x be q(0). Suppose 3*o = -x*o. Which is greater: l or o?
o
Let b be 9/12*384/(-540). Are b and -2 unequal?
True
Let s = -1749 + 1582. Is -173 less than s?
True
Let x(o) = -2*o + 19. Let z be 3/(-5) + 192/20. Let h be x(z). Let m be ((-2)/(-2))/(-4 + -5). Is h <= m?
False
Let o be 2 + 63/(-27) + (-6)/9. Which is smaller: o or -3/43?
o
Let t be (((-108990)/(-24))/(-15))/1. Is -302 bigger than t?
True
Let z be (-46)/(-10) - (-2)/5. Let g be 36 + -1 + z + -4. Let m be ((-9)/g)/((-1)/(-2)). Which is greater: m or 2/103?
2/103
Suppose 2*p + 5*q + 566 = q, p - 2*q + 263 = 0. Let x = 3551/13 + p. Is x at least -0.05?
True
Let s be 0/3*((-28)/(-8))/7. Let a be -5 + s + 55/(-35). Is -7 not equal to a?
True
Let t be (5 - (8 + -4)) + -18. Is t at least as big as -5?
False
Let d(r) = -r**2 - 15*r + 36. Let w be d(-17). Suppose -2*i = 0, w*i - 3*i - 1 = u. Which is smaller: 3/43 or u?
u
Let n be (46/8 - 4/(-16)) + -6. Which is greater: 4/903 or n?
4/903
Suppose -5*g = 20, -17 + 47 = 2*s - 2*g. Let o(c) = 2*c - 16. Let f be o(s). Let k = 17/3 - f. Which is greater: 0.2 or k?
0.2
Suppose 3*r - 15 = 3*v - 0*v, -3*r - 5*v + 15 = 0. Is r equal to 10?
False
Let t = 4/179187 - -1439767481/2866992. Let g = -502 + t. Let d = 0.95 - 0.95. Is d >= g?
False
Let z(f) = -f**2 - 19*f + 120. Let k be z(-24). Let m = 15 - 15.24. Let p = -0.06 + m. Which is smaller: p or k?
p
Suppose -532 = -86*m + 90*m. Which is smaller: -132 or m?
m
Let w = 58.9 + -24.9. Which is greater: -1 or w?
w
Let c(n) = -n**3 + 8*n**2 - 5*n - 9. Let l be 0 + (11 - (-1 - -5)). Let s be c(l). Suppose 0 = o - s*x - 9 - 18, -13 = -3*o - 2*x. Which is smaller: o or 8?
o
Suppose -s + 120 = -2*d + s, 3*d + 156 = -3*s. Which is smaller: d or -394/7?
-394/7
Let p = 8 - 7.9. Let r = 1.66 + -22.06. Let t = -21 - r. Which is smaller: t or p?
t
Let f(g) = 70*g + 4. Let i be f(1). Is 73 at most as big as i?
True
Let m be (-28)/240*-2 - 6/15. Is m <= 8?
True
Suppose 4*q + 0*p - 28 = p, q = 5*p - 12. Suppose -5*y - q = -3. Let i be (1 + -2)/(y/2). Is i > 0.2?
True
Let u = 504 - 506. Is u <= 69?
True
Suppose 2*o + 3*o + 115 = 0. Let w = 39 + o. Let c = 17 - w. Is 2 <= c?
False
Suppose 59 = -3*l + 71. Suppose 0 = s + 5*r - 4, s = -3*s - l*r. Which is bigger: s or 1/42?
1/42
Let k be -61 + 0 + (5 - (9 - 6)). Let i = k + 60. Which is smaller: i or -10?
-10
Let u be 26/(-21)*3 - (-3 + -1). Is u <= 105?
True
Let d(j) = 3*j + 30. Let u be d(-12). Let s be -5 - (u - 8/(-4)). Is -6/41 greater than s?
True
Let o = -32 + 66. Is 27 greater than o?
False
Let u(n) = 2*n**3 - n**2 - 7*n + 7. Suppose 3*k = -4*r - 4, 0 = 3*r - 4*k - 18 - 4. Let l be u(r). Which is bigger: l or 2?
l
Let t be 3/2 + (-599)/26. Which is smaller: -22 or t?
-22
Let f = -44 + 36.8. Let s = -7 - f. Which is greater: -1 or s?
s
Let s be ((-1)/(-4))/((-44812)/136). Are s and 1 unequal?
True
Let c be 6/6 - (34 - 0). Let t = c - -167/5. Which is smaller: -2/69 or t?
-2/69
Let d be ((-18)/30)/((-3)/77). Suppose 0*c + 40 = 2*c + 2*f, 12 = 3*f. Are c and d non-equal?
True
Suppose 2*z - n = 3*n + 50, 4*n = 3*z - 67. Let q = -14 + z. Suppose -q*b = -5*b - 6. Which is smaller: b or -4?
-4
Let y = 0.6 + -4.9. Let r = y - -19.3. Is r at least as big as -0.2?
True
Suppose -n + 0*n - 51 = 0. Is n bigger than -50?
False
Let m(n) = n**2 + 2*n + 3. Let d(t) = -2*t + 9. Let s be d(6). Let k be m(s). Suppose 5*b - k*b = 0. Is 1/5 smaller than b?
False
Let l = -2 + 1.8. Let y = 0.4 + l. Let h = 0.59 - -0.41. Which is bigger: y or h?
h
Let s = 6 + -9. Let d = 6.8 - 2.8. Let u = d + s. Which is smaller: 0 or u?
0
Let c = 13 - 23. Suppose 0 = 5*x - 5, 5*s - 5*x = -68 + 8. Which is smaller: c or s?
s
Suppose 61*d - 65*d = -52. Suppose -d*t = -17*t - 200. Does t = -50?
True
Suppose -16*t + 13*t + 3 = 0. Which is greater: 4 or t?
4
Suppose -2*f - 6 + 10 = 0. Suppose f*z = -z + 8*z. Do z and 0 have the same value?
True
Let k = -8.58 + 8.38. Suppose 0 = i - 0*i - 2*t, -t = -4*i - 14. Let b(o) = -o**2 - 4*o. Let z be b(i). Is z greater than or equal to k?
True
Let j(b) = b**3 + 18*b**2 - 18*b + 21. Let s be j(-19). Suppose 0 = s*f + 5 + 3. Let u be (-26)/(-40) - (-1)/f. Do 3 and u have the same value?
False
Let t be ((-57872)/(-290))/(26/65) - -1. Let x = 500 - t. Is 0 smaller than x?
True
Let x = -411 - -470. Which is greater: x or 404/7?
x
Let n = -2/143 + 147/286. Is 25 <= n?
False
Suppose -w - 69 = -2*h + 2*w, -h + 33 = -w. Which is smaller: 0.04 or h?
0.04
Let d = -375 - -267. Let u = -109 - d. Is 2/11 != u?
True
Let r = 1082 - 1079. Which is smaller: 0.98 or r?
0.98
Let l = 39 + -44. Suppose 0 = -y + 4*y - 3. Which is smaller: y or l?
l
Let g = -1 + -6. Let m(z) = 2*z - 33. Let v be m(14). Let p = g + v. Is -11 > p?
True
Let w be ((-66)/88)/(9/(-12)). Which is bigger: w or -1/6?
w
Let n = -0.02 - 0.78. Let c = -1 - n. Let h = -357 - -358. Which is smaller: h or c?
c
Let u(s) = 3*s - 18. Let f be u(4). Let g = f + 21. Is 1/2 less than g?
True
Let r be -5 + 4 - (-4 + 0). Suppose 26 = -r*h - 46. Let x = -383/16 - h. Is 1 equal to x?
False
Let w = 228 + -246. Which is smaller: -19 or w?
-19
Suppose -8*k + 138 = -2*b, -k - b + 19 = -3*b. Are k and -9 non-equal?
True
Let d be 63/546*(-10)/(-9). Which is bigger: d or -1/4?
d
Let u = -103 - -99. Let k(j) = 20*j + 59. Let f be k(u). Which is greater: -23 or f?
f
Let w(g) = -g**3 + 2*g**2 + 6*g + 3. Let x be w(4). Let a be ((-460)/8)/x*(-4)/2. Are -23 and a unequal?
False
Let x = 135 - 136. Which is greater: x or -30/17?
x
Suppose -3*b + 6 = 2*l, -b + 15 = 2*b + 5*l. Is -2/25 not equal to b?
True
Suppose 0 = -2*f - 2*x + 6, 5*x - 29 = 5*f - 4. Let r be 3/(-1) - -77 - -1. Let k be ((-10)/r)/((-24)/10). Which is greater: f or k?
k
Let q be 8*(-4)/64*-4. Let p be (2/4 - -1)*2. Suppose -p*v + 8*v - 2*o - 17 = 0, 3*v + 5*o = 4. Is q at least v?
False
Let r be 9*((-17121)/2853 + 6). Is r at least 1?
False
Suppose 0 = 31*y - 5*y + 3718. Which is greater: -144 or y?
y
Suppose -4 = -x + 3*x. Let k = -33/178 + -2775/2314. Is k less than x?
False
Let w = 1392 - 599. Is w at most as big as 794?
True
Let z(l) = l**2 - 2*l - 1. Let o be z(6). Suppose -6*m = -2*h - 10*m + 36, h + 3*m - 17 = 0. Does h = o?
False
Let o be (-99 + 0 + 1)*1. Let z = o + 59. Is z bigger than -39?
False
Let q be 33/(-6) + (-1)/(-2). Let y(z) = z**2 + 11*z - 12. Let c be y(-11). Let r be 48/(-9) -