 -2 - (3 + -2). Let i be (-2 + 4)/(1 + 1). Let u be 8/(-10) + i/5. Is u bigger than l?
False
Let o be ((-1)/5)/(-1)*5. Do o and -2/61 have the same value?
False
Let g = -31/87 - -2/87. Is g > 0?
False
Suppose 5*w - 12 = 3*r, -2*w - 2*r + 14 = 2*w. Suppose 3*a = c + 9, 0*a - w*c = 2*a - 6. Suppose 6*q + n - 8 = a*q, q = -5*n + 26. Is 0 smaller than q?
True
Let z = 0.1 - 0.2. Is -2/51 bigger than z?
True
Let c be ((-44)/30)/((-16)/(-24)). Let w = c + 2. Which is smaller: -1 or w?
-1
Let d = -4 + 4.4. Let v = d - -1.6. Let f = -5 + 7. Is v greater than or equal to f?
True
Let u = -11 + 8. Is u at least as big as -2?
False
Suppose 6*m + 1836 = -4*j + 2*m, 5*m - 939 = 2*j. Let i be (-2)/5 + j/(-605). Which is smaller: 1 or i?
i
Let n = -0.1 + 0.6. Let v = n - 2.5. Is v at most as big as 0?
True
Let l be ((-2)/2)/(2 + -3). Let n = -1 + l. Let j = n + 2. Is 4 at least j?
True
Let c = 0.033 - -0.967. Is c at least as big as 5.7?
False
Let v = 128/5 - 26. Let l(u) = u**3 + 5*u**2 - 5*u + 5. Let y be l(-6). Do y and v have the same value?
False
Let v be 38/19 - (5 + 4/(-2)). Is v at most -5/11?
True
Let o(u) = -2*u + 14. Let r be o(8). Suppose -2*s + 4 - 6 = 0. Which is smaller: r or s?
r
Let r = -42 + 209/5. Let a be 23/3 - 8/12. Suppose -4*w - 3 = -a. Is r less than or equal to w?
True
Let a = 389/91 - 50/13. Let w = -1 + 2. Which is smaller: w or a?
a
Suppose -3*l = n - 3, -n + l - 1 = -3*n. Suppose n = j - 2 + 6. Let g be j*1/(1 + 25). Which is bigger: 0 or g?
0
Let n be 6/9 - 4/(-12). Are n and -3 equal?
False
Let g(h) = -h**2 - 7*h - 2. Let v be g(-7). Let y = v + 2. Let t be (-2)/(3*6/(-9)). Is t at least y?
True
Let n(u) = u**2 - 4*u - 1. Let h be n(5). Let r be h/(-143) - 18/(-99). Is -1 at least as big as r?
False
Let c(m) = -m**2 - 4*m + 5. Let h be c(-5). Is -3/11 < h?
True
Suppose -2*y = -5*m - 3*y - 32, y - 28 = 5*m. Is -5 > m?
True
Let o = -2/1415 + 5686/18395. Which is smaller: o or -1?
-1
Let w = -19 + 13. Which is bigger: w or -5?
-5
Let a(j) = -3*j - 13. Let w be a(-6). Which is smaller: 3 or w?
3
Let q = 0.3 - 0.2. Let p be (0 + 2)/(6/9). Suppose -p*v = -4*v - 4*o + 5, -v = -5*o + 13. Is q at most v?
False
Let b(v) = v**2 - 16*v + 17. Let t(f) = f**2 - f + 3. Let w be t(4). Let m be b(w). Are m and 1 unequal?
True
Let a = -40.6 + 41. Suppose -4*w + w = -2*h - 14, 5*h - 5*w = -25. Which is greater: a or h?
a
Let v be (-7)/(-21) + 214/24. Is 8 <= v?
True
Let a = 29.22 + 0.78. Is 1 less than or equal to a?
True
Suppose 0 = 3*i - i + 4. Suppose n - 4*n + 5 = -j, -11 = 3*n - 5*j. Suppose n*z + 15 = 6. Which is smaller: z or i?
z
Suppose 2*a - 10 = 5*o, -2*a - a - 2 = o. Suppose 5*r + 2 + 3 = a. Let j = -5/84 - -223/924. Are j and r nonequal?
True
Let g(w) = w**2 - 6*w + 4. Let z be g(6). Suppose z*l - 40 = -5*s, -2*s + 2*l = l - 3. Let n be 2 - (s + -4 + 2). Are n and -2 unequal?
True
Let k = 2/25 - -3/25. Which is greater: k or 0.5?
0.5
Suppose 7*v + 79 = -40. Which is smaller: -18 or v?
-18
Let n(o) = -o**3 - 7*o**2 - 6*o. Let c be n(-6). Suppose u + 0 - 1 = c. Suppose -5 = 4*v - u. Which is smaller: 2/5 or v?
v
Let l = 2.01 + -0.01. Let p = l + -1.6. Let i = p + -1.4. Is 2 at least i?
True
Let t = 6 + -4. Suppose t*m - m - 3 = 0. Let k be 3 + m/30*-26. Which is bigger: 1 or k?
1
Let q = -46/19 + 1451/152. Is 6 at most q?
True
Suppose 2*t - 10 = 22. Let w be ((-3)/2)/(6/t). Which is greater: -5 or w?
w
Let k(t) = -t**3 - 6*t**2 + 6*t - 9. Let i be k(-7). Which is smaller: -4 or i?
-4
Suppose 4*r - 8*r = -8. Suppose 4*u = 7*u - 15, r*j = -2*u + 12. Suppose -2*t = -t. Is j not equal to t?
True
Suppose -2*h + 2*b = 8, 0 = -3*h + 4*h + 5*b - 20. Do 3/10 and h have the same value?
False
Let u = 24 - 9. Suppose 2*m = 3*x + 5, 3*m = x - m + u. Is x smaller than -3/11?
False
Suppose 0 = -4*d - 4*p + 4, 3*p = 3 - 12. Let s = 10 + -3. Let n be d/2 - s/4. Which is greater: n or -0.3?
n
Let p = -1 - -2. Suppose 2*k = 23 + p. Suppose 6*o - 3*o = k. Which is bigger: 8/3 or o?
o
Suppose z = 2*z - 1. Which is bigger: 1/59 or z?
z
Let r = 37/2 - 14. Is 4 less than r?
True
Let o = -14 + 13. Are o and -4 equal?
False
Let d be (-7)/5 + (-2)/(-5). Let g = 199/4 - 2579/52. Is d smaller than g?
True
Let d(f) = 2*f**3 - 2*f + 4. Let r be d(3). Let i be r/(-18) - 3/(-1). Which is smaller: i or 0?
0
Suppose -y = 8*y. Let p = -1 + 0. Let v = p - -5/3. Do v and y have different values?
True
Suppose 5 = -s - 2*g, 0*s - 12 = 5*s - 3*g. Does 21 = s?
False
Let s(c) = -6*c + 19. Let r be s(4). Is -5 at least r?
True
Let r = 1.8 - 3. Do -1 and r have different values?
True
Let m = -171304 - -1539808/9. Let x = -214 - m. Are x and 0 equal?
False
Let d be (-5)/((-10)/(-4)) - -1. Which is smaller: -2 or d?
-2
Suppose -10*a + 3 = -7*a. Is a greater than -2?
True
Let l be (44 - -2)/(3 + -1). Is l at least as big as 23?
True
Suppose 3*b + 4*h - 20 = 4, 2*h - 2 = b. Let i = -12 - -17. Is i at most as big as b?
False
Suppose -j - 4*j + 305 = -4*n, -j + 5*n + 40 = 0. Let f be ((-2)/8)/(j/40). Suppose 3*r + 17 = 4*i, -r + i + 21 = 5*i. Which is greater: f or r?
r
Let b(o) = -o + 4. Let i be b(4). Suppose 4*x + l + 4 = 0, 2*l - 2 = 2*x - 3*l. Let g = i + x. Is g at most as big as 0?
True
Let g be 7/(-4) - (-26)/13. Suppose -2*z = 2*z. Is z != g?
True
Let y(g) = g**3 + 2*g**2 - g - 2. Let d be y(-2). Is 5/9 greater than d?
True
Let r = 6871/17 + -404. Is -1 greater than r?
False
Let j = 7 - 2. Let x = -0.45 + -4.25. Let v = j + x. Is 0.1 > v?
False
Let p(k) = -k**3 + 9*k**2 - 3. Let h be p(9). Let o be 0/(1 + (h - -1)). Is o != -1?
True
Let c = -83/3 - -27. Let m be ((-1)/(-3)*0)/1. Are m and c unequal?
True
Suppose -4*w + 2*m = -9*w - 129, 5*w = 2*m - 121. Is w greater than -24?
False
Suppose -2 + 3 = -j. Let k = -1 - j. Suppose -2*l - 2*l = 0. Is k < l?
False
Let w(h) = -h**2 + 4*h + 4. Let m be w(5). Which is greater: -4 or m?
m
Suppose -7*c + 8 = -3*c, 4*l - 4*c + 28 = 0. Is l greater than -3?
False
Let c(y) = 3*y**3 - y**2 - y + 1. Let z be c(1). Suppose 0 = -5*a + 5*r + 50, -r + 19 = 4*a + 2*r. Suppose 0 = 3*b - a + 1. Is b equal to z?
True
Let h(p) = p**3 + 5*p**2 - 1. Let y be h(-5). Suppose -4*k = m - k - 10, 2*k = 2*m + 4. Let j = m + y. Which is bigger: j or 1?
1
Let c be ((-3)/2)/(6/(-8)). Let n(x) = 0*x - c - 4 - 2*x. Let a be n(-4). Which is smaller: 2/3 or a?
2/3
Let v = -5.7 - 0.3. Let p = v + 4. Let z(i) = i**3 + 7*i**2 - 8*i + 1. Let x be z(-8). Is x <= p?
False
Let t = -74 - -74. Is t > 10?
False
Let s = -2 + 2.18. Let f = s + 1.62. Let l = 2 - f. Which is smaller: l or -1?
-1
Let g = -0.01 - -0.01. Let x = 0.1 + g. Is 5/2 greater than x?
True
Let n = -11 - -10.66. Let z = -55 + 54.96. Let q = z - n. Do -0.1 and q have the same value?
False
Suppose 1 = w - 9. Which is bigger: w or 9?
w
Let l(v) = -v + 2. Let f be l(5). Which is greater: f or 0.4?
0.4
Let h(c) = c**3 + c**2 - c + 5. Let p be h(0). Let i = p + -2. Suppose -i*r + 19 = -2*r + 3*o, -5*o + 25 = 0. Which is smaller: 0.1 or r?
0.1
Let q be (10 - 7) + (-3114)/(-19). Let l = -167 + q. Which is greater: 0 or l?
0
Let u = 14 - -4. Is u less than -0.1?
False
Let l = -3 + 2. Which is bigger: l or 2?
2
Let x = -4 + 2. Let h(q) = -q**2 + 9*q + 8. Let d be h(10). Let r be d - (-2 + 4 + x). Is r less than -3?
False
Let z be ((-30)/8)/(-5)*-12. Let c = z - -9. Suppose -2*q = -x + 1, -5*q - 13 = -c*q + x. Do 0.1 and q have different values?
True
Let c = -0.14 + -4.86. Is c at most as big as 2?
True
Let m be 3/((-45)/6) + 0. Are m and 2/11 nonequal?
True
Let t = 502/3 - 165. Which is bigger: t or 3?
3
Let t = 86463/112 + -772. Which is bigger: 1 or t?
1
Let d be (-2)/(50/135)*(-1)/1. Which is smaller: 6 or d?
d
Let q = 13 - 10. Suppose 0 = b + 4*j + 15, j = 4*b + 1 - 9. Let p be (-3)/(-4) - b/(-4). Which is greater: p or q?
q
Let i = -4 + 9. Suppose -4*r - 3 - i = 0. Which is smaller: -2/3 or r?
r
Let g(k) be the third derivative of k**5/60 - 5*k**4/12 + 11*k**3/6 - 2*k**2. Let q be g(9). Are q and 2 nonequal?
False
Suppose -2*v - 109 = -107. Let s = 10 - 22. Is s != v?
True
Let p = 91.4 + -92. Is 1 less than p?
False
Let o be 6/8 + 2 + -64. Let i = o - -61. Let g = 3.2 - 3. Which is smaller: i or g?
i
Let h be 82/26 + (-30)/195. Is 5 less than or equal to h?
False
Let a = -7.7 - -5.7. Let c be 2/(-6) + 1/12. Wh