) = o**3 + o + 8. Let k be v(0). Suppose 4*n + 3*y - k = -2, -2*y = n - 4. Are n and c non-equal?
False
Let w be 2*7/(-4) - -2. Suppose -j - 3*a + 9 = 0, -j - 17 = -2*j - 5*a. Which is smaller: j or w?
j
Let r be 1/(-2)*(-32)/27. Let a = 122/297 - r. Suppose m - 4*v = -21, -3*m = v - 5*v + 23. Is m smaller than a?
True
Suppose 3*n + 2 - 5 = 0. Let m be (-6)/(-9) + (-8)/(-6). Is m bigger than n?
True
Let k = 97 + -95. Is 0.11 greater than k?
False
Let w(n) = 2*n**2 + 4*n + 3. Let d be w(-2). Suppose -d*s = -s. Which is smaller: s or -1/5?
-1/5
Let y = 8 - 13. Let a be ((-52)/y)/(-4) + 2. Is -1 at least as big as a?
False
Let q = -0.75 + 0.8. Let y = -0.05 + q. Let v = -0.7 + -0.3. Which is smaller: y or v?
v
Let z = -16 + 18. Which is smaller: z or 3?
z
Let r(j) = j - 8. Let h = 20 - 13. Let f be r(h). Which is greater: -2 or f?
f
Let f be 9/2 + 2/(-4). Suppose -4 = -f*j - 0*j. Is j bigger than -2/17?
True
Let n(z) = z**2 + 6*z + 6. Let q be n(-5). Let y be (((-6)/(-4))/q)/6. Is y less than or equal to 0?
False
Let n = -30 - -50. Suppose -3*b = -5*b + n. Is 10 bigger than b?
False
Let y(q) = q**2 + 4. Let p(n) = -n**2 - n + 1. Let b(x) = -2*p(x) - y(x). Let i be b(-6). Which is greater: i or 17?
i
Let g = -0.84 + 0.7. Is 0.1 at least g?
True
Let f(i) = -i**3 - i - 1. Let t(n) = 3*n**3 + 6*n**2 - 6*n - 4. Let m be (-6)/(-8) - (-4)/16. Let b(y) = m*t(y) + 2*f(y). Let a be b(-7). Is -1/4 at least a?
False
Suppose 34 = 4*v + 18. Let r = 0.3 + -0.2. Which is bigger: r or v?
v
Let b(s) be the second derivative of s**4/12 - s**3 + 3*s**2 + 2*s. Let h be b(6). Do 4 and h have the same value?
False
Let c(z) = -z - 8. Let k be c(-6). Is k < -1?
True
Let c be ((-18)/(-315))/((-8)/(-10)). Is c greater than or equal to 0?
True
Let s(v) = -2*v**3 + 2*v**2 + v - 2. Let r be s(2). Let j be -2 + 3 + r/10. Is 1 <= j?
False
Let s be (-29)/(-5) + (-2)/(-10). Let q be (-27)/s + 6/(-4). Let h be q/(-4)*(-1)/(-3). Which is greater: 1 or h?
1
Suppose 2*m - 4 = 3*t, 0*t - 2*t = 5*m + 9. Let k(p) = p**2 - 1. Let y be k(t). Let n be (-18)/15*y/12. Which is bigger: n or 0?
0
Let l = 12 - 11.8. Is l not equal to -1/5?
True
Let c = 602 - 5410/9. Suppose -3*x = -0*x. Is c greater than or equal to x?
True
Let a = -14 + 16. Which is bigger: 5/2 or a?
5/2
Suppose 5*g + 3*v = -12, -4*v - 20 + 4 = -g. Let c = 6 + -8. Let k be (-7)/5 + c + 4. Which is bigger: g or k?
k
Let g(d) = d**2 - d - 20. Let s be g(5). Which is bigger: 5/9 or s?
5/9
Let v = -1 + 11. Let m = v + -6. Let s be ((-1)/m)/(4/(-8)). Which is smaller: -3 or s?
-3
Suppose m - 3*m = -5*l + 7, -2*m + 2*l = 4. Let q be (-2)/13 + 20210/2925. Let f = -68/9 + q. Is f < m?
False
Let a = -1209/5 + 241. Suppose -n = 4*f - 4, -3*n + 3*f = -n - 8. Suppose -b + 3 = n. Is a != b?
True
Let f(b) = -2729*b - 1. Let q be f(-2). Let k = 38302/7 - q. Let j = -15 + k. Is 1 at least j?
True
Let a = 12 - 12. Is a at least as big as -9?
True
Suppose 2*n = -3*n + 5. Suppose 3 = m - n. Suppose -m*s + 40 = s. Which is greater: s or 7?
s
Suppose -3*w - 2*s = -7*s + 26, 4*w + 20 = 3*s. Let m be (-17)/(-4) - (-2)/(-8). Suppose -j - 4 = -4*y - 2*j, 0 = -m*y - 2*j + 8. Which is bigger: w or y?
y
Let u(c) = 6*c**2 + c. Let a be u(-1). Let z be ((-2)/a)/(1/(-5)). Is z not equal to 4?
True
Let r = 42.4 + -46. Let j = r + 2.6. Which is smaller: j or 1?
j
Let b be (-4)/18*-6 + -1. Let c = 0.02 + 2.98. Let u = c - 5. Which is bigger: b or u?
b
Let i = 12.2 + -11. Let g = i + -0.2. Suppose -3*l = -z - 14, 10 = -3*z - 0*l + l. Which is greater: z or g?
g
Let i be (10 + -9)/((-1)/(-2)). Suppose 0*m = -m + 3*f - 12, 4*f - 16 = i*m. Suppose -4*v - 25 = 5*z, 0 = 4*v - 3*z - 11 - 4. Is m > v?
False
Let z = -0.02 - -3.02. Let f = -1 + z. Let m = 1.7 - 1.8. Which is smaller: f or m?
m
Let f = 35 + -12. Let o = f - 24. Which is smaller: -6 or o?
-6
Let a = -2.4 - 0.6. Let u = 2.9 + a. Are -0.06 and u equal?
False
Let r = -81 + 80. Which is greater: 21 or r?
21
Suppose -3*x = -0 - 24. Let q = x - 10. Are -7/5 and q equal?
False
Let h(q) = -q**2 + 9*q. Let p be h(8). Suppose 3*s + s = -p. Is s at least -2?
True
Let s be 36/(-16)*(-8)/3. Suppose 0 = i - s + 5. Which is greater: i or -2/7?
i
Let f = 40 - 39.9. Is 0.59 less than f?
False
Suppose 2*x - 2*g - 1 + 5 = 0, -2 = -g. Let l = 0 - -5. Suppose 0*d - 5*d = l. Is d smaller than x?
True
Let j be (-3 - 25/(-10))*2. Let x(u) = -u**3 - u**2 + u + 3. Let s be x(0). Suppose 2*o = -s*o. Which is greater: o or j?
o
Let q be (170/57 - 3)*3. Is q < 1?
True
Let z(j) = 2*j + 10. Let h be z(8). Let c = h - 79/3. Is 0.4 at least c?
True
Let x(v) = -v**3 + 21*v**2 + 2*v - 92. Let q be x(21). Which is bigger: q or -49?
-49
Suppose -p = -2*d - 31, -d = -0*d + 5*p - 1. Suppose 0 = -5*g - 31 - 39. Is d greater than g?
False
Let w(j) = -j**3 - 7*j**2 - 2*j - 10. Let t be w(-7). Suppose t*v = -4*l + 8, 12 = -2*l + v + v. Let b = 1 - l. Is b bigger than 3?
False
Suppose -4*u - 5*w - 14 = 0, 3 = -4*u - 3*w - 7. Let y be (-3)/6 + u/2. Suppose 5*x + 2 + 1 = q, 0 = -5*x - 4*q + 12. Which is greater: x or y?
x
Let f(y) = 2*y - 4. Let t be f(3). Let m be (-2)/((-88)/25) + 10/55. Is t > m?
True
Let z = -0.172 + 3.272. Is 3 bigger than z?
False
Suppose -6*x + 7*x - 3 = 0. Suppose g + 9 = 5*g - 5*m, 4 = g - x*m. Which is greater: g or 4/15?
g
Suppose 0 = 3*f - 7*f - 4. Let n be -1 - (0 + (-1)/(-5)). Which is bigger: f or n?
f
Let f be (-1 + 0 - 0) + 2. Suppose 4*k - 4 = 2*k. Let d be k/(-5) - (-8)/30. Is f != d?
True
Let a be (-24)/(-35) + (-4)/10. Let r = -7.3 - -0.3. Let g = r + 7.1. Is a smaller than g?
False
Let p = 1/213 - -809/9159. Let v = 98/129 - p. Which is smaller: v or -0.04?
-0.04
Let a = 10 - 4. Let d be 30/4*2/3. Which is greater: d or a?
a
Let o be (2 - -1) + 38/(-16). Is 2 less than o?
False
Let k = 128645/103 + -1249. Which is bigger: k or 0?
0
Let w be (3/(-3))/((-2)/(-30)). Let u be (-2)/(-5) + (-24)/w. Suppose 2 = 4*b - u. Is 3 at most as big as b?
False
Let g = 25 + -24. Which is smaller: -1/14 or g?
-1/14
Let f be (-26)/6*-3*1. Suppose -f*k = -10*k + 9. Which is bigger: k or -2?
-2
Suppose -3*h - 5*b = -0*h + 30, -2*b - 24 = 2*h. Is h less than 4?
True
Let c = -771/340 + 36/17. Are c and -1 equal?
False
Suppose 0 = 5*l - d - 38, l + 3*d - 19 = 7*d. Let y = 6 - l. Which is smaller: 2/37 or y?
y
Suppose 10 = -2*m + 5*n, 2*n - 22 = 3*m + 4. Do -10 and m have different values?
False
Let m = 2 - 2. Let o = 127 + -633/5. Is m >= o?
False
Let k(s) = s + 7. Let c be k(-8). Is 2/11 less than or equal to c?
False
Let h = -108 + 109. Is 4/67 equal to h?
False
Let r = 6.01 + -0.01. Let q = -6 + r. Which is bigger: q or -2/9?
q
Let t = -4/9 - -17/18. Is t greater than 2?
False
Let d = 2722/9 + -302. Is 1 at least as big as d?
True
Suppose 3*o + 18 = 5*g, g - 5 = -o - 3. Let w = 8 - 4. Suppose -5*c - w = 1. Is c < o?
False
Let q = 213105/53 + -4021. Let i = q + 194/583. Which is smaller: i or 1?
i
Let u = -1.37 + 0.27. Let o = 1 + u. Let k = 11 - 23/2. Is o greater than k?
True
Let u = -7.9 + 8. Let c = -3.1 + u. Do c and 2/9 have different values?
True
Let n = -3 + 2.9. Let w = 0.2 + n. Let g be 1/(1 - (0 - -2)). Do w and g have the same value?
False
Let t be 1 + -3 - (0 + 1). Let q = t - -4. Is q >= 0?
True
Suppose -3*t + 2*u + 12 = -0*u, t + 4*u + 10 = 0. Let y be 4/(-14) - (-16)/7. Is t > y?
False
Let r be (0 - (-10)/(-4))*(-104)/130. Suppose 0 = 4*v - 4 + 8. Is v smaller than r?
True
Suppose 12 = -a + 5*a. Let g be -1 - (-1)/a*-3. Let b be 36/(-44) + (-2)/g. Which is smaller: b or 0?
0
Suppose 3*z = -2*y - 57, -y - 6 = z + 21. Let j be ((-3)/(-12))/((-27)/y). Is 0 equal to j?
False
Let i = 1310494 - 508471389/388. Let d = i - -2/97. Which is smaller: 0 or d?
0
Let y = -31 + 14. Is y at most -18?
False
Suppose 2738 - 533 = 5*p. Let h be 3/((p/(-12))/(-7)). Let u = -0.4 - -0.3. Is h less than or equal to u?
False
Suppose 3*f - m = 8, -4*f - m - 14 = -9*f. Suppose 2*c - 17 = -3*u, -4*c = -0*u - f*u - 7. Suppose -15 = 3*a + 2*a, 6 = 4*b + 2*a. Is u at least as big as b?
True
Let i = 22.5 - 23. Which is greater: 0 or i?
0
Let y = 26 + -39. Which is smaller: y or 0.1?
y
Let g = 24 + -25. Let x = 1.7 + -5.7. Is x bigger than g?
False
Let i = -5 + 7. Suppose -4*o = 5*b + 3 + 4, o - i*b - 8 = 0. Let f be 4/6*3/o. Is f less than or e