1.7. Which is greater: i or z?
i
Let x = -1 + 0.88. Which is greater: x or 1?
1
Suppose -13*o - 297 = -2*o. Which is bigger: 2/5 or o?
2/5
Suppose -30 + 2 = -5*z + 3*w, -3*z - w + 28 = 0. Which is bigger: z or 6?
z
Let k be 10/(-4) - 2/(-4). Which is bigger: k or 2/19?
2/19
Let z be 2/1*98/4. Suppose 3*l = -9, 3*l = v + 3*v - z. Suppose -d - d = v. Which is bigger: -6 or d?
d
Let j(y) = -15*y**3 + 6*y**2 - y + 4. Let h(d) = 29*d**3 - 11*d**2 + 2*d - 7. Let o(q) = -4*h(q) - 7*j(q). Let l be o(1). Do -9 and l have the same value?
False
Suppose 4*z + 3*k - 32 = 4*k, 3*z - 24 = 5*k. Suppose 0 = -7*m + z*m - 3. Is 3 at least m?
True
Let a(o) = -o**2 - 4*o + 6. Let y be a(-5). Are -1/5 and y non-equal?
True
Let t be (1/(-2))/((20/8)/(-5)). Let s(f) = f**3 - 4*f**2 - 4*f - 2. Let d be s(5). Which is smaller: d or t?
t
Let v be (-32 - -2)*(-2)/5. Suppose 0 = 4*f + v - 0. Let a be (f - -4)/(30/(-4)). Is a equal to 1?
False
Suppose -x + 4 = -5*x. Is x <= 1/3?
True
Let m be ((-8)/(-12) - 1)*-33. Is m > 8?
True
Suppose -d + 2*h + 38 = -3*d, -2*d + 3*h - 23 = 0. Let w = -22 - d. Let r = 4 + w. Is -2 greater than r?
False
Let c = 1 - -2. Suppose 3*r - c = 3*x, 4 = -3*x - x. Which is bigger: 2/3 or r?
2/3
Let y = -2 + -3. Let j(q) = 0 + 3*q - 2*q + 5. Let u be j(y). Are -1 and u equal?
False
Suppose -6*v - 16 + 22 = 0. Which is smaller: -3/7 or v?
-3/7
Let i be ((-3)/9)/(40/3). Let t = -43/120 - i. Let m be (0 + -2)/(16/(-24)). Is t bigger than m?
False
Suppose -75*r = -71*r - 48. Do r and 32/3 have different values?
True
Suppose -2*p - p = 9. Which is bigger: p or -5/2?
-5/2
Let n(w) = 2*w - 19. Let r be n(11). Let g be 2/6*18/8. Is g bigger than r?
False
Let w = -9 - -25. Let n = w - 12. Do 2 and n have the same value?
False
Let b = 77 - 76. Is 4 >= b?
True
Let w = 5.3 - 5. Are w and 1/2 equal?
False
Suppose -3*o + 0*o = -3. Let v(r) = -r + 15. Let n be v(16). Which is bigger: n or o?
o
Let j = 1 + 2. Let f be 3/(-1) - (j + -6). Is f >= 1?
False
Let k = 9 + -5. Let l = -2 + k. Let b = 4.1 - 4. Which is smaller: l or b?
b
Let g be (1/(-5))/((-1)/(-13)). Is g bigger than -2?
False
Let v = 18 - 5. Suppose -a + v = -4*o, -6 = o + 2*a + 4. Are o and -4 equal?
True
Let t be 46/(-5) + (-1)/(-5). Let k = t - -18. Is 7 greater than k?
False
Let q = 1 + -1.8. Let o = q - -0.87. Let d = o - -1.93. Which is smaller: -0.2 or d?
-0.2
Let n = -5 - -8. Let g = -0.11 + 0.01. Is n > g?
True
Let c = 42/13 + -392/65. Does -4 = c?
False
Let r be 22/(-6) - 6/(-9). Suppose 3 = k - 4. Suppose 0 = -9*c + k*c - 6. Is c > r?
False
Let d be (-12)/105 - ((-120)/(-28) - 4). Which is smaller: 0 or d?
d
Let o(n) = -n**3 + 6*n**2 - 4*n - 3. Let v be o(5). Let u be (v/6)/(4/(-12)). Let d be (u/2)/((-4)/(-2)). Which is greater: 1 or d?
1
Let y be (5/((-50)/14))/((-4)/(-10)). Which is smaller: 0.6 or y?
y
Let z = 25 + -24.9. Which is greater: -12 or z?
z
Let t(y) = -y - 1. Let x be 7/3 + (-3)/9. Let u be t(x). Let v be -1 - (u - (-21)/15). Which is smaller: 0 or v?
0
Let i be 1/(-3) - (2 - 2). Which is smaller: 2 or i?
i
Suppose 0 = 2*i - 2, -3*i = 4*x + 4 - 19. Let m be 5/(-5)*(-1)/x. Does m = 3?
False
Let o = -74.6 + 75. Are 0.1 and o non-equal?
True
Let n(u) = u - 3. Let o be n(3). Is o at most -1?
False
Let f = 16 - 15. Is f <= -1/2?
False
Let i be -1*(-1 + (-4)/(-5)). Let p(u) = u**3 + 2*u**2 - u. Let w be p(-3). Let d(z) = -z**2 - 5*z + 6. Let m be d(w). Which is greater: m or i?
i
Let d = -71/9 + 8. Is 0 at least d?
False
Let o = 179/76 + -2/19. Is o at least as big as 1?
True
Let q be (-8)/(-24) - ((-52)/6)/(-2). Is -4 at most q?
True
Let i = -0.042 + -4.958. Which is smaller: -9 or i?
-9
Let d(g) = g**3 + 8*g**2 + 1. Let z be d(-8). Which is smaller: z or 2/13?
2/13
Let b = 1.27 + -0.27. Let o = -0.2 + 0.3. Which is smaller: b or o?
o
Let u be 2/(-15)*(-4 - -7). Is u greater than or equal to 0.1?
False
Let f = 118 + -471/4. Which is bigger: 49 or f?
49
Let l be -3 + 14 + 3 + -3. Let r = l + -23. Which is smaller: r or -11?
r
Suppose -18 = 12*u + 6*u. Let q be 1 - (0 - 0)/2. Which is smaller: u or q?
u
Let p be 1/(6/(-18)) - (-134)/40. Let h = -1/410 - 4/41. Let l = h + p. Which is smaller: l or -1?
-1
Let g be 30/8*8/3. Let j be ((-8)/g)/((-2)/5). Let a = j + -5. Which is smaller: a or -2?
a
Let u be (-3)/1*((-10)/6)/(-5). Which is greater: u or 3/10?
3/10
Let r be (2/6)/(0 + -1). Let u = -15 + 15. Is r <= u?
True
Suppose -3*q + 65 = s, 3*s - 210 = -s - 2*q. Suppose 0 = 7*i - 2*i + s. Let o be i/(-4)*(-6)/5. Is o at least -3?
True
Suppose 3*q = 4*j + 11, 5*q + 14 = 2*j + 37. Let k = 464 + -9746/21. Is j at most as big as k?
False
Let r be -2*1*(12 - 13). Are -1/6 and r nonequal?
True
Let a(o) = -o**2 - 7*o - 5. Let x be a(-6). Let i = -262/27 - -64/27. Let r = 8 + i. Is x less than r?
False
Suppose -13 = -4*j - 1. Suppose j*m = -2*m - 15. Do -5 and m have the same value?
False
Let i = 23 + -17. Is i greater than or equal to -2/7?
True
Suppose -2*v + l + 1 = -v, -1 = 2*v - 3*l. Let j be 4*(-9)/(-12) - 0. Suppose j*r - 2 = 7. Is r at most v?
True
Let n = -30 + 50. Let u = n - 79/4. Let v(b) = -4*b + 28. Let o be v(7). Do u and o have different values?
True
Suppose -x - 3*l = -2*x - 33, 16 = -2*x - 4*l. Which is greater: -115/6 or x?
x
Let m(h) = -h**2 + 14*h - 10. Let j be m(14). Let p be 26/(-40) + j/(-25). Are 0 and p non-equal?
True
Let d(h) = h**2 - 11*h + 2. Let u be d(11). Suppose u*r - z = 5*r, -2*r - 5 = -z. Which is greater: r or -4/7?
-4/7
Let a be 2/(-4)*(-4 + 0). Let f be 70/147*7/3. Which is smaller: f or a?
f
Let n = 3.8 - 5. Let l = 0.2 + n. Let y = 0.1 - 0.1. Is y at least as big as l?
True
Let t(b) = b**2 + 8*b + 13. Let q be t(-7). Let x = 2 + -4. Let i be (q + x)*2/(-4). Is i != -2?
False
Let l = 1163/2 - 567. Let u = -15 + l. Is -5 less than u?
True
Let q = -18 + -2. Is -20 < q?
False
Suppose -5*h + 14*h = 54. Which is smaller: h or 1?
1
Let a = 23/3 - 70/9. Suppose s = -3*s + 4. Let j be s*(-3)/(-3) - 2. Which is smaller: j or a?
j
Let g = 41 + 9. Let b be 12/(-5) + 20/g. Let x = -0.3 - 0.7. Which is smaller: b or x?
b
Let l = 11 - 12. Is 17 >= l?
True
Suppose -3*w + 3*s = 3, s + 4 - 3 = 3*w. Let n = -424/9 - -47. Which is bigger: n or w?
w
Suppose -2*t = u + u - 4, u = -2*t + 1. Let r(j) = j - 6. Let i be r(8). Let m = i + t. Is m at least -1/4?
True
Let j = -0.06 + -4.84. Let u = j - -5. Let s = 2/409 + 800/3681. Which is greater: s or u?
s
Let s = -2 - -1. Let r = -2 + 5. Which is smaller: s or r?
s
Let h = 60/53 + -1056/371. Is h >= -2?
True
Suppose 2*i = 6, 0*i + 6 = 3*y - 3*i. Let h be (1 - y/3)*3. Let j be ((-3 - -2) + 0)*1. Is j < h?
False
Let r be 41/(-5)*(5 - 94). Let s = r + -727. Is 4 <= s?
False
Let x = -51.1 - -51. Is x at most 0.9?
True
Suppose 0*r + 3*r = 5*l - 49, -47 = -4*l + 5*r. Is l smaller than 8?
False
Let m(j) = -j**3 + 9*j**2 - 1. Let l be m(9). Let z be l*1*(-10)/14. Is 1/2 < z?
True
Suppose 0 = 6*k - 3*k. Is 0.08 > k?
True
Let g = -17252/5 + 117814/35. Let i = 84 + g. Which is greater: 0 or i?
0
Let i(g) = -g**2 + 4*g + 45. Let t be i(9). Is -1/57 smaller than t?
True
Let u = -1453/9 - -161. Does u = 1?
False
Let x be (-4*(-2)/(-12))/(6/72). Suppose 0 = -j - q - 11, 2*j + 30 = -4*q + 4. Which is greater: x or j?
x
Let d be (-52)/21 - 36/(-27). Which is bigger: d or 0?
0
Let s be (-19 - -8)*(-2)/2. Suppose 3*c + 14 = -5*y - s, -4*c = 2*y + 24. Do -1 and y have different values?
True
Let w = -1 - -1. Let g = -1.8 + 2. Which is bigger: g or w?
g
Let d be 5/(-2)*(-126)/(-35). Is -8 less than or equal to d?
False
Let b = 11 - 16.1. Let y = b + 5. Is -0.4 at least y?
False
Let a(k) = -k**3 + 11*k**2. Let j be a(11). Which is smaller: j or 7/10?
j
Let o = 7.1 + -7. Which is greater: 28 or o?
28
Let y be (-8)/16 + 3/(-2). Is y bigger than -30/11?
True
Let x(m) = m - 9. Let u be x(6). Let q = u - -6. Let s be (0 - 1)/(3 - 56/16). Is q >= s?
True
Let l(u) = u**2 - u - 2. Let d be l(2). Suppose d = -6*i + 3*i - 6. Suppose 4*v + 5 = -3. Is v at most as big as i?
True
Suppose 2*z + z - 5*w = -12, 5*z = w - 20. Which is greater: 2 or z?
2
Let v = 0.41 - 0.41. Is -2/31 greater than or equal to v?
False
Let i be 1 + -2 - (-22)/11. Let g be (15/100)/(2/4). Which is smaller: g or i?
g
Let d = -0.9 + 1. Let h(f) = f**2 + 21*f - 4. Let q be h(-14). Let