be n(6). Is v > -51?
True
Suppose 41 + 161 = 2*k. Do 102 and k have the same value?
False
Suppose 2*b + 5*z = -8, 3*b - 4*z = -z + 9. Is -1/3 less than or equal to b?
True
Let f be (365/70 + -5)*(-14)/(-120). Let a be (1 + -1)/(3 - 1). Is f less than a?
False
Suppose -4*q - 2 = 6. Let c be q*(-3)/(-6)*5. Let d be 2/(-30) - 2/c. Which is smaller: 0 or d?
0
Let a be 12*((-2)/9 + 0). Suppose -7*d = -0*d + 14. Are d and a equal?
False
Suppose -271 = -q + 5*f, 4*f = -12 - 0. Let d = 1796/7 - q. Is 1 smaller than d?
False
Let b = 33 - 33. Which is bigger: 2/37 or b?
2/37
Let n = 9 - -25. Suppose -16 = -2*x + n. Let o be 2/(-10) - (-3)/x. Which is smaller: o or 1?
o
Let o be -2*1 + 14/8. Suppose 2*i + 10 = -4*p, 2*p - 4*i - 4 = 6. Which is bigger: p or o?
o
Let s be (4 - 0/1)*(-38)/(-3496). Is s at most as big as 0?
False
Let o = 4 + -3.99. Let j = -0.1 - 0. Let h = 0 - j. Are h and o unequal?
True
Let h = 33 + -22. Is h smaller than -1/5?
False
Let b = 0.25 - 0.25. Is b != -17?
True
Let s be (-3 + 33/15)*-5. Suppose -4*c + 3*w = 7*w - 12, 4*c = -2*w + s. Suppose 4*n + 2 = 6*n, -z + 2*n - 2 = 0. Which is smaller: c or z?
c
Let t(u) = -2*u - 10. Let w be t(-12). Let d = 13 - w. Which is greater: d or 2/7?
2/7
Suppose 2*m + 2 = -2. Let w = 18 + -25. Let d = w + 5. Are d and m unequal?
False
Let a be (-2 - 0/1) + 4. Let t = -8 - -13. Let m(z) = -z**2 + 5*z. Let i be m(t). Is i > a?
False
Suppose -4*u + 20 - 84 = 0. Let p be ((-18)/u)/((-42)/8). Which is smaller: p or 1?
p
Let u = -511/2 - -244. Suppose 8*m - 8 = 4*m, 56 = -4*i + 4*m. Let p = i - u. Is 0 at least p?
True
Suppose a - 3*s - 174 = 0, -3*s + 296 = 2*a - 79. Let z be (-1)/(-2) + a/(-6). Let n be (-16)/z*15/(-20). Is n smaller than -1?
False
Let m(s) = -s. Let p(t) = t**3 + 3*t**2 + 3*t - 2. Let r = 2 + 2. Let h(j) = r*m(j) + p(j). Let g be h(-3). Which is smaller: g or 2?
g
Let j(w) = -w - 3. Let z be j(-4). Let i = -21/17 - -211/102. Which is greater: i or z?
z
Let y = 24 + 20. Let u = y - 30. Which is smaller: 2/3 or u?
2/3
Let d = -7/13 + -16/91. Is d < 0?
True
Let s be (-1)/65*17870/25. Let c = s + 144/13. Is c less than or equal to 1?
True
Let c = 2 + -2. Let z(r) = r**3 + 5*r**2 - 5*r + 7. Let v be z(-6). Let f be 1/v - c - 2. Is -1 equal to f?
True
Let t be -3 + 0 - (-33)/4. Which is bigger: 4 or t?
t
Let k be 26/2 + (4 - 7). Let z be (-45)/6*(-16)/k. Is z smaller than 12?
False
Let b = 4 + -3.6. Let m be -4*10/(-15) + -3. Which is smaller: m or b?
m
Suppose 0 = 2*q, 3*q + 180 = -2*i - 2*i. Which is bigger: 0.1 or i?
0.1
Let c(i) = i**2 + 1. Let a be c(2). Suppose 0 = 3*s + 4*j, 0*j = a*j. Which is smaller: 1 or s?
s
Let s be 4/(-3)*(-45)/6. Let z = 9 + -4. Let d = z - s. Is d at most -6?
False
Let b be 3/9*1*-3. Let r = 80 - 82. Which is smaller: r or b?
r
Let j(l) = l**2 + l + 1. Let y = 0 + 0. Let v be j(y). Let m be -2*((-18)/10 + 2). Is v greater than m?
True
Let u = 18 + -16. Suppose d = -u*d + 9. Is 3 smaller than d?
False
Let w = 0.9 + -12.9. Let g = w + 11. Is -1 < g?
False
Let a(h) = -h**2 - 7*h - 7. Let w be a(-5). Suppose -w*n = -2*n - 4. Is 4 greater than n?
False
Let f = 184/7 - 26. Let x(v) = v**2 - 3*v + 3. Let j be x(2). Let w = -2 + j. Are f and w nonequal?
True
Let v = 0.3 + 0.7. Which is smaller: v or -10?
-10
Let i(h) = h**3 - 3*h**2 + 3*h - 4. Let b = 3 + 0. Let s be i(b). Which is greater: 6 or s?
6
Suppose u + 5*c + 5 = 0, 3*u - 57 = -0*u + 3*c. Suppose -5*j - u + 1 = -2*i, i = j + 4. Let t(g) = -g + 5. Let m be t(4). Which is bigger: m or i?
i
Let r be (-3 - -1)/(9/((-999)/(-6))). Which is smaller: -1 or r?
r
Suppose -1 = -r + p, 0*r - r = p - 11. Suppose -l - 4*l + q = -r, -q = -4*l + 5. Is 0 greater than l?
False
Let u be (3/15)/(12/(-50)). Suppose 4*y - 15 = -y. Suppose 5*p = -5*b - 10, b - 7 = 5*p - y. Which is smaller: u or p?
p
Let f be (12/(-15))/((-9)/1605). Let y = f + -145. Is y smaller than -3?
False
Suppose 4*w - 5*w + 19 = -2*k, 2*w + 61 = -5*k. Let u = -7 - k. Let n(m) = -m**3 + 5*m**2 + 2*m - 6. Let p be n(5). Is p != u?
False
Let n = -19 + 18.73. Let u = 0.08 + -0.15. Let s = n - u. Is s at most as big as 0?
True
Let u = -6 + 4. Is u less than or equal to -2/5?
True
Let l = -46 + 47.98. Let x = l + 0.02. Let j be -1 - 1/5*-7. Are x and j equal?
False
Let a(h) = h**3 - 8*h**2 + 8*h - 5. Let n be a(7). Is n <= -2?
False
Let q(w) = -2*w**2 + 3*w - 1. Let v = 5 - 3. Let u be q(v). Let z = -5 - u. Are -2 and z non-equal?
False
Let t(j) = -j**2 + 5*j + 4. Let h be t(6). Is -10/7 at least h?
True
Let o(t) = -t**2 - 8*t - 8. Let p be o(-7). Let v = 1523/7 - 218. Is p smaller than v?
True
Let n(m) = 3 + 2*m**3 + 3 - 4 - 3*m**3 - 5*m**2. Let q be n(-5). Let z = 1.1 - 1. Is q at least z?
True
Let k = 5 + -29/7. Is 2 > k?
True
Suppose 4*h - 21 - 15 = 0. Let g(j) = j**3 - 9*j**2 - j + 10. Let t be g(h). Which is smaller: t or -1/8?
-1/8
Let g be (-12)/(1/(-4)*8/(-6)). Is g >= -36?
True
Let b = -15 - -16. Let r = 6 - 3. Let q = -2 + r. Is b smaller than q?
False
Suppose 5 = 2*r - 1. Suppose -n = -4*n + r. Let m be (-6)/(-48)*(-2 - 1). Is n at least as big as m?
True
Let h be (72/33 - 4) + 2. Is 0 <= h?
True
Let c = 339/290 - 60/29. Is -2 != c?
True
Let p = -4103 + 635963/155. Which is greater: p or 1?
1
Suppose d + w = 3*d - 14, w = -2*d + 6. Suppose -d*g = 2*n - 8, -n + 4 = -5*g - 0*n. Is 4 greater than g?
True
Let n(g) = 2*g**2 + g**3 - 2*g**2 - 2*g. Let a be n(-2). Let r = 6 + a. Which is smaller: 1 or r?
1
Let r be ((-3)/(-108))/(105/1542). Let n = r - 1/126. Which is greater: n or 1?
1
Let l be 1305/(-1836) + 6/8. Are l and -1 equal?
False
Let y be 8333/42 - (-3)/6. Let p = y - 199. Is p greater than 0?
False
Suppose 2*l + 6 = 2. Let a = 8 - 8. Is a not equal to l?
True
Let x be 1/(5/(-2))*-10. Let t = -53 + 57. Are t and x non-equal?
False
Let c = -0.3 + 12.3. Let u = c + -17. Which is greater: -1 or u?
-1
Let j be (-4)/6*6/(-8). Suppose -y - 6 = -3*q, -2*q = 2*q + 4*y + 8. Let z be -3 + 2 + 0 + q. Is z >= j?
False
Let g = -6 - -4. Let u be ((-1 - -2) + g)*0. Is 0 equal to u?
True
Suppose 0 = 3*m + 4*a - 8 - 2, -5*a + 7 = m. Suppose -2*v - 13 = -y, 5*v - m*y = -y - 31. Is -6 equal to v?
True
Let c be (-1 - (-3)/2)*-2. Let s = -8 + 5. Which is smaller: c or s?
s
Let j = -13/99 - 1/11. Let l be 7 - (-1 - -1)*-1. Let x be (-4)/14 - 5/l. Which is greater: j or x?
j
Suppose 2*t = -3*w + 5, -w + 6*w - 5*t + 25 = 0. Suppose -2*i + 3*x - 29 = -2*x, 5*i - 15 = -5*x. Is i >= w?
False
Let d(l) = -l**3 - 3*l**2 + 2. Let s be d(-3). Suppose 3*a + 0*a + 5*n - 12 = 0, s*n = -3*a + 12. Suppose -11 = -3*t - m, -a*m - 1 - 3 = 0. Is 0 > t?
False
Let x = 0.8 - 0.78. Let c = x + 0.18. Do c and 0.2 have different values?
False
Let t = 142/301 - 8/43. Suppose -2*x - 10 = 0, 2*p - 29 = 4*x - 7. Are p and t non-equal?
True
Let h(x) = 3*x**2 - 7*x + 5. Let s(j) = -j**2 + 2*j - 2. Let c(r) = 4*h(r) + 11*s(r). Let k be (-26)/(-4) - (-2)/(-4). Let n be c(k). Are -3 and n equal?
False
Suppose 10*c - 4*c = 6. Which is smaller: c or 0.081?
0.081
Let g = 8 - 7. Let w = 2 - g. Is w greater than -2/13?
True
Let v = 114/25 - 1054/275. Let m = v - 62/55. Is 2/13 != m?
True
Let f = 5.98 - -0.02. Is 2/3 smaller than f?
True
Let i(t) = -4*t**3 + 2*t + 1. Let w be i(-1). Suppose w*x = x - 10. Is -6 less than x?
True
Let b = 188/15 + -37/3. Which is smaller: b or -4?
-4
Suppose -7*p = -4*p - 18. Which is greater: 15 or p?
15
Suppose 3*r - 6*r + 9 = 0. Let i(a) = r*a - 4 - 5*a + a. Let v be i(-3). Is 0 > v?
True
Suppose 4*n + 4 = -a, -2*a + 3*n - 23 = 7. Let k be 158/100 + 18/a. Which is bigger: 1 or k?
1
Let c = -1 - 0. Let d = c + 0. Let i = -1209/7 - -173. Is i smaller than d?
False
Let o = 29 - 30. Which is greater: -3/4 or o?
-3/4
Let j = -4/5 + 54/55. Which is greater: -1 or j?
j
Suppose -2*f + 8 = -22. Suppose 5*k + 3*l = 6 + 41, 31 = 3*k - l. Let y = k - f. Which is bigger: y or -4?
-4
Let d(q) = -26*q**3 + q + 1. Let t be d(-1). Let w be (-714)/(-30) + (0 - -2). Let c = w - t. Is 0 <= c?
False
Let j be 12/9 - 14/(-3). Is 5 less than or equal to j?
True
Suppose 4*i = 5*w + 23, -2*w + w = -4*i + 11. Suppose 4*k = i*k. Which is greater: k or -3/11?
k
Let l = -8 - -8. Let q(g) = -g**2 - 3*g - 1. Let a be q(-2). Let w be -2 - (a - l)*-2. Which is greater: 2/9 or w?
2/9
Let v be (2/(-3))