z = 34 - 24. Let o be (4/(-2))/(z - 8). Which is smaller: -2 or o?
-2
Let k = -7 + 7.015. Let y = -2.085 - k. Let z = 2 + y. Is 0 <= z?
False
Suppose -2 = -5*c + 3. Let h = -21/8 + 129/40. Which is greater: h or c?
c
Let o(b) = -b**2 - 8*b - 8. Let t be o(-6). Suppose 17 = t*q + 45. Does q = 1?
False
Suppose 96 = h - 7*h. Let n = 16 + h. Is 15 bigger than n?
True
Let f = 151 + -301/2. Suppose u - 1 = -5*t + 17, -3*u = 4*t - 21. Let v be (u - 0)*-1 + 0. Which is bigger: f or v?
f
Let y = 28 + -55. Is -27 != y?
False
Suppose 0 = 3*n + 16 - 7. Suppose 3*v - 4*v - 2 = 0. Which is smaller: v or n?
n
Suppose -4 + 0 = -4*a. Suppose -q - q + 4*f = -36, 0 = -3*q + 2*f + 34. Suppose -q = -l + m + 3*m, -5*m - 10 = 0. Is l >= a?
False
Suppose -88 - 62 = -10*n. Which is greater: 4 or n?
n
Let m be -1 - 6/(288/(-39)). Which is smaller: -1 or m?
-1
Let w = 23.6 - 24. Is w equal to -2?
False
Let j(p) be the second derivative of p**4/12 - 7*p**3/6 + p**2/2 - 2*p. Let c be j(7). Suppose c + 3 = -2*g. Which is smaller: -3 or g?
-3
Let z = -32 + 161/5. Which is smaller: z or -1?
-1
Let a = -16 + 24. Does a = 2?
False
Suppose -2 = 3*d - 5. Let c = d - -4. Suppose -c*z = -29 + 4. Which is smaller: z or 6?
z
Let v = -27 - -27. Which is bigger: 2/11 or v?
2/11
Suppose -3*h + 0*h = -5*m - 35, 36 = 2*h + 3*m. Suppose 5*v - 34 = 2*z + 46, -3*z = -h. Which is greater: v or 1?
v
Let p be (1/4 + (-9)/(-12))/(-1). Which is greater: 6 or p?
6
Suppose -2*f + 0*f = 16. Is f equal to -10?
False
Let n = -0.779 - 0.021. Which is greater: n or 2/3?
2/3
Let y = -33 - -30. Let d be (-4)/10 - (-318)/(-5). Let s = d + 247/4. Are y and s unequal?
True
Let b = -30 - -33. Which is smaller: b or 6?
b
Let s(c) = -c + 5. Let j be s(7). Is 1 > j?
True
Let d(a) = a**3 + 8*a**2 + 2*a + 12. Let b be d(-8). Let z = 7 + b. Let c = 1 - z. Is -2 equal to c?
True
Let i(k) = k**3 + 1. Let f be i(-1). Let n = 95 + -669/7. Which is smaller: n or f?
n
Let f = -5 + 0. Let c = -26 + 21. Is f not equal to c?
False
Suppose u + 2*u + 9 = 0. Which is smaller: u or -5?
-5
Let f = 2 + -2. Let y = f + -1. Is y at least as big as 3?
False
Suppose 3*y = -29 + 32. Let d = -9317/23 + 405. Are y and d equal?
False
Suppose 5*g - 27 = -3*o, 2*g + 2*o = -2*o + 8. Let i be 2 + 1 + g/(-4). Which is greater: i or 1?
i
Let p = -1 + 0.9. Let n = 18 + -18.09. Is n at most p?
False
Let f = 1 + -1. Suppose 4*i - i + 3 = f. Which is smaller: i or 0?
i
Let l = 189 - 197. Suppose 18 = -3*y - 0*k - 3*k, 3*y + 20 = -k. Is l smaller than y?
True
Let w be (-6)/39 - 171/(-13). Let l be -6 + w - (2 + -3). Which is bigger: 1 or l?
l
Let y = -2753/2 + 1347. Let o = y - -29. Let c = 0.3 - 0.5. Is o equal to c?
False
Let a = 33 - 32.98. Which is smaller: -0.3 or a?
-0.3
Let v = 9 + -14. Let s = v - -10. Is 19/4 < s?
True
Let h be (-7)/(84/8)*60. Is -40 < h?
False
Suppose -9*g - 10 = -7*g. Which is greater: -11/3 or g?
-11/3
Let k = -3 + 7. Suppose -82 = -5*v + k*y, 5*v + 4*y - 98 = -0*y. Let z be (-1 + -2)/(v/(-4)). Is 0 less than z?
True
Let i = 32435174/219793 - 1/31399. Let c = i - 147. Which is smaller: 0 or c?
0
Let i = 12656/23 - 550. Let p = -93/92 + i. Which is greater: -1 or p?
p
Let g be ((-8)/16)/(75/6). Is g not equal to 0?
True
Suppose c - 7 = 2*c. Let w be 2/c - (-36)/(-21). Let f = -17 - -21. Which is smaller: f or w?
w
Suppose 2*z + 3*z = -5. Let h be (-28)/1*(z + 0). Let y be (-6)/(-21) + (-15)/h. Is 1 at least as big as y?
True
Let t(n) be the third derivative of n**6/120 - n**5/12 - n**3/6 + 4*n**2. Let p be t(5). Is p at most as big as 2/9?
True
Suppose 4*n + 4*s = 3*n - 9, -s = -2*n + 18. Let r be 10/(-14) - 2/n. Is -0.1 not equal to r?
True
Let c(l) = -2*l**2 + 1. Let u be c(-1). Let b be (-1)/(-140) + 4/(-10). Let j = -1/7 - b. Which is bigger: j or u?
j
Let b = -1174/273 + -3/91. Is -5 greater than b?
False
Let w = 15.4 + -25.4. Which is greater: 0.1 or w?
0.1
Let c = -55 - -381/7. Is c at most 3?
True
Suppose 3*a - 4*h = -36 + 151, 5*a - h = 220. Let d = -21 + a. Is d at most as big as 24?
True
Let a be ((-10)/(-5))/(2 - 1). Let q(h) = 5*h**2 - 2*h - 2. Let x be q(a). Let m be 2/(-3) + x/(-6). Which is bigger: m or -2?
-2
Let z = -1 - -1. Suppose 0*o = 2*o. Is o > z?
False
Let k = -5 + 4. Which is bigger: k or 1?
1
Suppose -3 = t + l, -2*l = 4*t + 3*l + 9. Which is greater: t or -5?
-5
Let i(d) = -2*d - 1. Let x be i(-7). Let u be -1 - 2*x/(-30). Which is bigger: 0 or u?
0
Suppose -5*d + 49 - 16 = -2*t, -3*t - 5*d + 13 = 0. Suppose -i = -5*i - 12. Are i and t nonequal?
True
Let m = 0.4 + -0.35. Let j = -25/34 + 4/17. Which is greater: m or j?
m
Suppose -h - 3*h - 36 = 0. Let n be -3*(-1 - 57/h). Which is smaller: -15 or n?
n
Let a be (-33)/(-90) + 3/(-6). Let o = -0.12 + 0.32. Is a equal to o?
False
Let q be 1/(-2)*6/(-3). Suppose -5 + q = -2*v. Which is smaller: 4/5 or v?
4/5
Let p be (-3 + -2)*(-1)/1. Suppose -5*x - f + 11 - 4 = 0, -4*x - 7 = p*f. Let u = -5 + 7. Is u at most x?
True
Let t be (-1)/(((-266)/(-12))/(-7)). Is t greater than 1?
False
Let h = 1508/835 - 1/167. Is h not equal to 1?
True
Let b be (-3)/6 + (-1)/2. Let n = 1878161/14721 - 26/2103. Let m = n - 128. Is b greater than or equal to m?
False
Let i be -14 - 651/(-49) - -1*1. Let y = 0.4 - 0.3. Let m = -1.1 + y. Which is smaller: m or i?
m
Let g(z) = z**3 + 5*z**2 - 7*z - 5. Let o be g(-6). Suppose -2*c - o = -3*c. Let x(k) = -k**3. Let h be x(c). Which is bigger: h or 0?
0
Let u be 78 - 0/(-3) - -3. Is 81 at most as big as u?
True
Let k(m) = -m**2 - 9*m + 4. Let c(s) = 3*s**2 + 19*s - 7. Let y(r) = 2*c(r) + 5*k(r). Let l be y(6). Let h = 0.11 - 4.11. Is l at most h?
False
Suppose -3*x - 39 = 3*n, 5*n - 39 + 106 = -4*x. Let d = -1 + -15. Is n > d?
True
Let v = 14.03 - -0.97. Which is smaller: -0.2 or v?
-0.2
Let x(d) = 2*d + 22. Let g be x(-9). Which is smaller: 10/3 or g?
10/3
Let d be (-3)/2*(-549)/6. Let j = d - 138. Is -2 smaller than j?
True
Let r(k) = -k**3 + 5*k**2 + 5*k + 8. Let h be r(6). Suppose 3*s = -0*s + 6. Suppose s*g - a = -6, -3*a = g - h*a. Do -7/3 and g have the same value?
False
Let j be (-5)/(-45)*-4*1/(-2). Which is smaller: j or -0.23?
-0.23
Let l = -5.06 + 5. Let y = 0.06 + l. Let d = 19 - 18.9. Is y at least as big as d?
False
Let i = 37 - 71/2. Let b(q) = q**3 - 3*q**2 + q - 1. Let k be b(3). Do i and k have the same value?
False
Let n = 65 - 46. Let i = -33 + n. Let o be 4/i + 0/(-3). Is o bigger than -0.2?
False
Let k = -3 - -4. Suppose -3*j + k = -2. Let p be j + (-17)/5 + 2. Which is smaller: p or 0.5?
p
Let s(b) = b**2 - 7*b + 7. Let x be s(8). Is 14 <= x?
True
Let b(n) = -n**2 + 4*n + 3. Let a be b(6). Let i be 2 - a/3*-1. Let s = 3034/11 - 276. Is s bigger than i?
True
Let d = 99 - 1285/13. Let k be 1 + 15*(-2)/(-3). Suppose 2 = q, -3*y - 3*q + k = 2*y. Is y less than d?
False
Let s(p) = 3*p**3 + 2*p - 1. Let f be s(1). Suppose 2*w = 5 - 3. Which is smaller: f or w?
w
Let f = -67 + 68. Is f less than -3?
False
Let n(c) be the second derivative of -c**4/6 - c**2/2 - 2*c. Let w be n(1). Let i be 1/3*w/(-6). Are i and 0 unequal?
True
Let p(r) = r**3 + 4*r**2 - 5*r + 7. Let k be p(-5). Suppose 4*a - 3*a = -q + k, -5*q - 15 = -5*a. Which is smaller: 6 or a?
a
Let o be (1 + (-219)/12)/(36/(-48)). Which is greater: o or 25?
25
Let s be (-3)/(-2) - 3/6. Let k = 7 - s. Let a be 82/(-26) + k/2. Are a and 1 nonequal?
True
Let z = -282/7 - -40. Is z not equal to 0?
True
Let q(n) = -n**2 - 2*n - 1. Let v be q(0). Is -3/8 not equal to v?
True
Let w(s) = -s**3 + 8*s**2 - 8*s + 10. Let m be w(7). Suppose -p + 4 = 4*a + m, 4*a = 2*p + 10. Which is bigger: 0 or a?
a
Suppose -15 = 6*y - y. Let v = y - -2. Which is bigger: v or -6/5?
v
Suppose 2*m = 7*m + 2*i - 42, -m + 5*i + 30 = 0. Let b be (4/m)/(10/(-100)). Is -5 at most as big as b?
True
Suppose 0 = o - 4*o - 36. Let s be (4/(-6))/(2/o). Suppose 0*u = 4*u - s. Which is smaller: 2 or u?
u
Let k = -0.15 - 16.85. Let h = k + 16.1. Let q = h + 0.6. Which is smaller: q or -2?
-2
Suppose -12 = -4*t + d, -5*d = -4*t + 15 + 13. Is 1 at least as big as t?
False
Suppose 4*o - o = 0. Suppose 4*v + v = o. Is v >= 2/7?
False
Let m be 1*(3/(-3) + 2). Let d be 1/(-4)*(2 - 1). Do m and d have the same value?
False
Let y = 3 + -5. Let h be y + ((-15)/(-2))/5. Suppose -g = -5*u + 7, 5*u + 5*g