= -0.31 - -0.31. Is -21 <= z?
True
Let v be 1/2*12/21. Let s be (-5)/(-1)*(-2 + -1). Let u be 13/s - 4/(-20). Do u and v have the same value?
False
Let u = 27/4 + -7. Let k be 0 - (-4)/(-18)*-1. Is u at least k?
False
Let l be (-6)/(-9) - (-32)/(-66). Suppose -19 = -2*d + 3. Suppose 2*m = 2*c - 8, -38 + d = -2*m - 5*c. Which is smaller: m or l?
l
Let g = 1.95 + -0.15. Let x = -0.8 + g. Is x > -6/11?
True
Let k = 0.09 + -0.11. Let j = k + -0.07. Let c = -1.09 - j. Which is smaller: -1/3 or c?
c
Let a = -12 - -13.6. Let h = a + -1.9. Which is bigger: h or 0.2?
0.2
Let i = -17 + 17. Suppose 8*f - 6*f - 2 = i. Which is bigger: f or -1/6?
f
Let o(i) = i**2 - 3*i + 2. Let s be o(2). Let k(d) = -d + 1. Let b be k(s). Let u = 124/85 + -18/17. Which is bigger: b or u?
b
Let a(g) = g**3 + g**2 - 5*g + 1. Let d be a(-3). Which is smaller: d or -15/8?
d
Let h = -18 + 71/4. Let d(p) = p - 2. Suppose k - 6*k + 4*n = 5, 15 = 3*n. Let j be d(k). Is h less than or equal to j?
True
Let i = 8 - 3. Suppose -h + 27 = 5*b, -3*b - 5*h + 12 = -3*h. Which is smaller: b or i?
i
Let o be (2 - 0) + (2 - 5). Do -1/120 and o have the same value?
False
Let w = -4 - 10. Let n = -27 - w. Which is greater: 1 or n?
1
Let s be -5*(2 + (-33)/15). Let h = -5 - -2. Let o be (-2 - h)*4 - 2. Which is greater: o or s?
o
Let y = -3 - 0. Let v = -2.9 - y. Which is greater: v or 1/4?
1/4
Let i = 78 - 52. Which is smaller: i or 25?
25
Let o(f) = f**3 - 4*f**2 - 4*f + 5. Let l be o(5). Let z be ((-8)/l)/(2/10). Which is bigger: -3 or z?
-3
Let r = -0.34 + -36.66. Let o = r + 32.1. Let c = -5 - o. Which is smaller: -4 or c?
-4
Suppose 184 = 2*d - 3*r, 4*d - 5*r = -d + 460. Is 92 < d?
False
Let n = 2/473 + 1866/6149. Which is greater: 1 or n?
1
Suppose 3*w - 10 = 32. Let p be 6/9*6/w. Is 1 less than or equal to p?
False
Suppose 0 = -2*n + 6, 0 = -2*o - 3*o - n - 17. Let i be ((-2)/(-6))/(o/(-30)). Is 2 greater than or equal to i?
False
Let f be 2 + 2 + (-12165)/(-27). Let z = 455 - f. Which is smaller: z or -1?
-1
Let g = 0.21 - -7.79. Let d = 6 - g. Let l = d - -1.7. Is 2/3 bigger than l?
True
Let m = -3 - -2.9. Which is smaller: -0.2 or m?
-0.2
Suppose 3*g - 4*g = 4*r + 19, -g - 25 = 5*r. Let h = r - -4. Which is bigger: h or 0.3?
0.3
Let i be ((-5)/(-10))/(-2 - 0). Suppose -3*l + 15 = 0, 26 = -3*n + 2*l + 2*l. Let m = n + 2. Which is greater: m or i?
m
Let z(x) = 3*x - 2. Let r be z(-2). Let o(u) = -u**3 - 9*u**2 - 7*u + 11. Let k be o(r). Is 2 bigger than k?
False
Suppose -7 = 5*o - 27. Suppose 3*z - 4*h = 3, 7 = 2*z + o*h - 15. Let f(l) = l - 5. Let s be f(z). Which is smaller: 0.1 or s?
s
Let i = -0.2 - -0.1. Is i at most as big as 2?
True
Let m be (-1 + 1)/(-1) - -2. Let h = 2 - m. Suppose 2*s + 2*s + 8 = h. Are s and -2 non-equal?
False
Suppose -4*h + 34 + 18 = 0. Let c = 16 - h. Let b = 1 - -1. Is c greater than b?
True
Let u(l) = -l**2 - 5*l - 6. Let i be u(-3). Are 0 and i equal?
True
Suppose -4*o + 16 = -4. Let s = 4 - o. Let i = -2 + 1. Is i greater than or equal to s?
True
Let s be (-1)/(6/(-3))*18. Let p be s*-1 + -2 + 2. Let j be ((-2)/6)/((-12)/p). Are j and 3 equal?
False
Let j be -10 + -4 + 0 + 4. Is -10 greater than or equal to j?
True
Let k(c) = -c - 8. Let b(r) = -r - 7. Let f(a) = -4*b(a) + 3*k(a). Suppose 23 = -5*d + 3. Let g be f(d). Which is bigger: -3/4 or g?
g
Let x = 4 - 8. Let t(n) = -n**3 - 3*n**2 + 6*n + 6. Let s be t(x). Which is greater: -1 or s?
-1
Let o = 3 + -3. Let d = 0.5 + 0.5. Are d and o equal?
False
Let m be (0 + 3/(-2))/((-6)/(-8)). Which is bigger: -8/3 or m?
m
Let h = 24 - 13. Suppose -n - h = -5*q, -4*n = -2*q + 3*q + 2. Which is bigger: q or 3?
3
Let a = -9 + 12. Let n(l) = -l**2 - 6*l + 7. Let f be n(-7). Let p = f + 1. Is a at most as big as p?
False
Suppose -2*q = -5*q - 48. Let f be 1 + (-18)/q - 2. Which is greater: 1 or f?
1
Let v = -2 + 3. Let n = -11 - -9. Which is bigger: n or v?
v
Let z = -41 - -64. Which is smaller: z or 21?
21
Let k = -194/7 + 643/28. Let r = 5 + k. Is 0 at least as big as r?
False
Suppose 4*d = 5*d. Suppose 4*i = i + 36. Let l be 3/i + 1/(-4). Is d bigger than l?
False
Let u = -7 - -6. Let l = u - -4. Suppose 2*g + 2*d + 9 + l = 0, -4*d = -3*g + 17. Which is smaller: g or 0?
g
Let h = -1.75 - -0.75. Is 1/29 at least h?
True
Let n = 1.1 - 0. Let f = 1 - n. Which is greater: -2 or f?
f
Let j = 3 + -1. Suppose j*b - 15 = 3*p, p = -5*b - 0*b - 5. Which is bigger: b or -1/3?
b
Suppose -4*a - 7 = -o - 7*a, 8 = o + 2*a. Which is greater: 18 or o?
18
Suppose 5 = 2*x + 1. Suppose -13*z + 11*z = -x. Let i be ((-3)/(-7))/(6/4). Which is greater: z or i?
z
Let s(m) = 2*m + 1. Let b be s(6). Suppose 3 = -5*j + b. Which is smaller: j or 3?
j
Let f = -7 - -5. Which is bigger: f or -0.3?
-0.3
Let h be -1 + 3 + -3 - 70. Let b be 1/(2/(-141)) - -1. Let i = b - h. Is i equal to 0.1?
False
Let l = 3 - 1. Suppose -2*i + 0 = l. Let u be 7/(-12) - (-2)/8. Which is bigger: i or u?
u
Let r(k) = k**2 - 9. Let z be r(-5). Which is bigger: z or 17?
17
Let z = -12 - -27. Let w be 3/(-4)*(11 - z). Which is greater: 1 or w?
w
Suppose 0 = 7*f - 18 + 116. Which is greater: -13 or f?
-13
Let v = 38 - 37. Is v less than or equal to -2?
False
Let g be (-3)/2*(-56)/((-12)/3). Which is bigger: -20 or g?
-20
Let j = 1.95 + 0.05. Let l = -38 - -40.1. Let y = j - l. Is 0.2 at most as big as y?
False
Let s be (0 + 8/(-12))*3. Which is greater: 4 or s?
4
Suppose 5*s = -5*c, -2*s + 0*s + 20 = -3*c. Suppose 2*z - 3*z = -5. Let n = s - z. Do -2 and n have the same value?
False
Let o = -276/95 - -40/19. Suppose 0 = -3*x + 3*l + 15, -2*x + 2*l + 10 = -3*x. Suppose -n + 0*n - 2 = x. Which is smaller: o or n?
n
Let d be 6 - 63/(-18)*8/(-14). Let z = -11 + 19. Suppose 3*l - 7 = z. Is l not equal to d?
True
Let q(m) = m**3 + 8*m**2 + 2*m + 17. Let v be q(-8). Is 1.1 less than or equal to v?
False
Let s be (-9)/(-7) + 4/(-14). Let u be 8/14 + 110/(-560). Is u < s?
True
Let j = 25 + -57. Let k be -12*((-441)/(-24))/(-7). Let l = k + j. Is l <= -1?
False
Let l = 9 - 11. Which is bigger: -2/3 or l?
-2/3
Let o be 4/(-88)*4 + (-155)/(-550). Which is bigger: o or 1?
1
Let z = -344/77 + 30/7. Let p = 4 + -3. Which is smaller: z or p?
z
Suppose -5 + 7 = -i. Let s be (-1)/15 - i/3. Which is greater: s or 0.4?
s
Let y be (4/(-6))/((-16)/(-18)). Which is greater: y or -1?
y
Let t be 130/35 - 2/(-7). Suppose 3*m + 30 = 3*h, -5 = h - 4*m + 6*m. Is h at least as big as t?
True
Let c = -25 + 20.4. Let p = 0.6 + c. Let s = p - -4. Which is bigger: s or 1/3?
1/3
Let y be (6/(-10))/((-2)/10). Suppose 0 = 2*h + y*h. Which is smaller: h or 1.5?
h
Let b be 2/8 + (-23)/(-4). Let q = b - 4. Let o(m) = -m**3 - 4*m**2 + 3*m - 9. Let x be o(-5). Are q and x equal?
False
Suppose j + 79 = 3*u, -2*u = -5*j + u - 395. Is j at least as big as -77?
False
Let i = -5 + 12. Do -1/2 and i have the same value?
False
Let n = 0 - -0.1. Let r = -105/2 + 54. Are r and n nonequal?
True
Suppose -2 = -3*n + 1. Let f be 4*(66/68 - n). Let y be (1 + -3)*4/8. Is f not equal to y?
True
Let n be 2/5 + (-12)/35. Is 0 at most n?
True
Let c be 9/9 + (0 - 46). Let k be (-6)/c*(-6)/4. Is 0 smaller than k?
False
Let g = -91 - -636/7. Let n(l) = 2*l**2 - 2*l + 1. Let f be n(1). Which is smaller: f or g?
g
Let q be (-9)/6 - (-1 - 0). Which is smaller: -7 or q?
-7
Suppose -f = -o + 20, -3*o - 4*f = -3*f - 40. Is o != 16?
True
Let c = 1 - -4. Suppose 2 = -c*d + 7. Let o be ((0 + d)*1)/1. Is o > 1/5?
True
Let f = 1 - -1. Let h = f - 2. Which is bigger: h or -4?
h
Suppose -5*i + 3*i = -12. Let a = 8 - i. Is a greater than 3/5?
True
Let p = -2/81 + -235/324. Let u be 4/18 - 112/18. Let s = -8 - u. Is p bigger than s?
True
Suppose -9 + 0 = -3*o. Let c be (-1)/(-4)*4 - o. Is 1 smaller than c?
False
Let d = -6 - -7. Let l be 55/30 - 2*d. Are l and -0.1 non-equal?
True
Let h be (-189)/14*2*1. Does h = -77/3?
False
Let f = -6 + 2. Which is greater: f or -13/4?
-13/4
Suppose 9 - 11 = 2*a. Is a greater than or equal to 1/2?
False
Suppose 4*x + 26 = -6. Let s = 14 + x. Let n be ((-2)/s)/(1/(-3)). Is 1 at most as big as n?
True
Let a be 6/(-15) + (-10)/(-25). Do 4/9 and a have different values?
True
Let s be 4 - 63/12 - -2. Is 1 at least s?
True
Let y(r) = 96*r + 81. Let p(q) = -6*q - 5. Let t(i) = 33*p(i) + 2*y(i). Let z be t(-2).