/5
Let b(l) = -l**3 + 2*l**2 + 6*l + 7. Let s be b(-5). Suppose 0*c = 4*c + 16, c + 16 = -4*z. Let m be (-2)/(s/(-220)) + z. Is -1 > m?
False
Let h = 35 + -32. Suppose 2*t + h = -1. Which is bigger: -3/2 or t?
-3/2
Let y(l) = l**3 - 5*l**2 - l + 7. Let n be y(5). Suppose -9*d = -11*d + n. Let k = -3/2 + d. Is k greater than -1.5?
True
Suppose -3*z = -5*z + 2*a + 8, 4 = z - 4*a. Suppose -j + 0*j - 4*u = -15, z*u = 3*j + 19. Which is smaller: j or -5/4?
-5/4
Let t(v) = 33*v - 4. Let d(f) = 66*f - 7. Let r(n) = -3*d(n) + 5*t(n). Let a be r(-1). Is a less than or equal to 34?
True
Let y be 0 - (212/(-2) + (-144)/(-24)). Is 99 >= y?
False
Suppose 2*j = 2 + 16. Let l = j + -7. Let k be (-2 - -1)*l/8. Which is greater: k or 6?
6
Suppose 25 = -6*o + o. Let s be 20/25 - (-24)/o. Is s less than or equal to -3?
True
Let g = -2174/495 + 46/55. Which is bigger: -3 or g?
-3
Let v(d) = 6*d**2 + 5*d - 101. Let y be v(-8). Are 243 and y unequal?
False
Let m = 178 + -186. Is -41/5 > m?
False
Let h be (18/8)/3*-2. Let t(m) = m**2 + 11*m - 30. Let k be t(-14). Suppose -23*a + 19*a - k = 0. Which is bigger: a or h?
h
Let f = -68/13 - -149/26. Which is smaller: f or 0.11?
0.11
Suppose h - 318 = -2*n, -4*n + 2*h - 39 + 675 = 0. Is 158 != n?
True
Let x = 28 - 28. Let c be -2 - ((x - -2) + -3). Let r = 2 + -2.2. Which is greater: r or c?
r
Let z be (-2)/12 - 242/(-12). Let h = -17 + z. Suppose 6*k - h = 3. Does k = 4/13?
False
Let n(a) = -a**3 + 4*a**2 - a - 6. Let f be n(4). Let d be (-24)/60 - 4/f. Suppose -4*v + v - 27 = d. Is -6 less than or equal to v?
False
Let u(g) = g**2 + 8*g + 2. Let h be u(-8). Suppose f + 3*q - 34 = -q, h*q + 10 = f. Let m = -19 + f. Which is smaller: m or 0.2?
m
Let o = -0.774 + 0.874. Which is smaller: o or -8.6?
-8.6
Let s be -6*(7/2 + 0). Suppose 19 = l - 4*n, -n - 12 = -l + 4. Let w = s + l. Is 1 greater than or equal to w?
True
Let i = 446 + -8468/19. Let r = i - 68/95. Let n be (-1)/(-4) - (-17)/(-36). Which is greater: r or n?
n
Let k = 37 - 31. Let u = 514 + -507.98. Let p = k - u. Is p > -1?
True
Let o = -6 - -11. Suppose o*y = 7 - 17. Let i be y*1/(6/5). Is -2 greater than or equal to i?
False
Let p = 0 - -184. Is 182 bigger than p?
False
Let f be (-474)/(-189) - 8/36. Let h = 57/28 - f. Is h < -10?
False
Let n be (-4)/(-4) - (-2)/1. Let z = 36.33 + -36. Let q = -0.03 + z. Is q > n?
False
Let g = -10.8 - -81.8. Let v = g + -72.1. Is -2 less than or equal to v?
True
Suppose 8883 = 54*g - 7*g. Which is smaller: g or 188?
188
Let g be 9/60*(-3 - 127/(-45)). Which is smaller: g or -0.1?
-0.1
Let p = -0.4 - -0.5. Let y = 0.1 - -2.5. Let v = 14.6 - y. Which is smaller: p or v?
p
Let o be ((-8)/6)/((-10)/15). Let c(m) = m**2 + 13*m - 14. Let u be c(-14). Suppose -x + o*x + 1 = u. Which is smaller: x or -2/23?
x
Let s be 1 + ((-14)/(-49) - 24/(-14)). Let u be 3/((-9)/(-6)) - (s + -6). Is 0.02 bigger than u?
False
Let m(b) = 3*b - 3. Let i be m(2). Let s = 21 - 16. Which is greater: s or i?
s
Let j be 22/(-77) - (-4)/14. Are -10/33 and j equal?
False
Suppose 316 = -5*t - 4*a, 3*t + 28*a + 196 = 24*a. Which is greater: t or -61?
t
Suppose -b = 2*a - 16, 3*a - 40 = -2*a - 5*b. Suppose 4*g = a*g - 8. Let d = -429 + 3015/7. Which is smaller: d or g?
d
Let c be (-44)/(-198) + 212/18. Suppose -2*x + 0 = c. Which is smaller: 1 or x?
x
Let w be (-3)/2*136106762/429. Let j = -476136 - w. Let s = -238 - j. Which is greater: s or 0?
s
Suppose 2*q + 145 = -3*q - 4*s, 145 = -5*q - s. Are q and -15 equal?
False
Let g = 382 + -384. Suppose -q + 4*o - 23 = 0, -q + 5*o = q + 31. Is g bigger than q?
True
Let i be (-15 - 3)*(-3 + 1). Let a be ((-3)/(i/88))/(-1). Does a = 7?
False
Let r(h) = -11*h**3 - 2*h**2 + h + 2. Let q be r(-1). Let y be 5*4/q + 3. Let a be (-4)/10*3*-5. Which is bigger: a or y?
a
Let i = -143.993 + -0.007. Let c = -140 - i. Is c less than or equal to 6?
True
Let g be 1 + ((-10)/3 - -2). Suppose 4*w = 5*f - 85, 59 = 4*f - 3*w - 8. Let x = -37/3 + f. Which is greater: g or x?
x
Let w be (-7)/((-21)/6) + 2. Suppose -w*t - 53 + 5 = 0. Let u = -26 + 14. Are u and t unequal?
False
Suppose 3*j - 7 = -2*z, j + 43*z - 19 = 39*z. Are 3/67 and j nonequal?
True
Let v = 0.3132 - 4.4152. Let i = v + 0.102. Which is bigger: -0.03 or i?
-0.03
Suppose -8*i + 3*i - 4*c + 54 = 0, -5*c + 25 = 2*i. Suppose -2*o - 38 + i = 0. Suppose h - y = -0*y - 18, 3*y = -2*h - 11. Is h less than o?
False
Suppose -71*y = -79*y. Which is bigger: y or -237/5?
y
Let o(g) = -3*g + 30. Let s be o(12). Let j be (-8)/6 - 2/s. Is -2/21 > j?
True
Let q be -9 - ((-328)/(-16) + 2). Is q at least -32?
True
Let b(y) = -y**3 - 2*y**2 + 2*y + 2. Let a be b(-3). Suppose -z - a*q + 8 = -2, -5*z + 10 = 5*q. Is 1/169 at most as big as z?
False
Let r be (-12 - -7)/((-2)/(-2)). Which is greater: -26/7 or r?
-26/7
Let x = 5 + -11. Let b be (-1)/x + (-23)/(-6). Suppose 9 = 3*y - 6. Is y > b?
True
Let o = -240 + 238. Let f = 3 + -5. Let l be (f - 0)/(4/2). Is o > l?
False
Let y = -756.15 + 774. Let j = y + -18. Let i = -0.05 - j. Do i and -0.1 have different values?
True
Suppose -132 = -s - 2*s + 2*b, 5*b - 61 = -s. Suppose -49*r - 3 = -s*r. Which is smaller: r or 8/21?
r
Suppose 0 = -8*w + 9*w - 11. Let q(y) = -y**3 + 10*y**2 + 11*y + 2. Let s be q(w). Suppose h - k = 2*k - 17, 0 = 5*h + s*k + 68. Which is smaller: h or -15?
-15
Let l be (2/(-3303))/(120/(-18) + 6). Which is smaller: 1 or l?
l
Let f be (-9)/(-39)*(-35990)/(-15). Let y = f + -554. Which is bigger: -1 or y?
y
Let r(m) = m**2 - 3*m. Let t be (-1 + 4 - 6)/(3/(-1)). Let a be r(t). Let d = -758/5 - -149. Which is greater: d or a?
a
Let q be 6 - -4*175/(-40)*-6. Is 112 at least q?
True
Let u(m) = 17*m - 4. Let v be u(2). Let r be (20/v)/(4/6). Suppose 2*o + 2*f = 0, -2*o = 2*o + 3*f - r. Which is smaller: 8/7 or o?
o
Let x = 2/515 + 39106/8755. Which is bigger: 5 or x?
5
Let i = 206 + -274. Is -67 less than i?
False
Let c be ((-54)/315)/(1/(10/(-52))). Is 1 at most c?
False
Let y(n) = n**2 - 6*n + 5. Let d be y(6). Let q = 5 - 0. Is d > q?
False
Let v be 2/(-4)*(39 - 39). Which is bigger: 5/48 or v?
5/48
Let s = -6.95 - -5.45. Let t = -0.3 - -0.2. Which is greater: s or t?
t
Let u(d) be the first derivative of -d**3/6 - d**2/2 + d + 10. Let q(n) be the first derivative of u(n). Let f be q(0). Are -1/15 and f unequal?
True
Let b = 24 + -18. Suppose 8*q = 3*q, q + b = s. Suppose 7*h - 3*h = g - 27, -2*g = -s. Which is smaller: -7 or h?
-7
Suppose 0 = -4*t + o - 29, 0*t - o + 22 = -3*t. Let l be 5145/6636 - (t/(-4) - 1). Which is bigger: 1 or l?
1
Let x(l) = l. Suppose -4*n = -6*n - 8. Let y be x(n). Let j be ((-516)/430)/(1 - 3/5). Which is smaller: y or j?
y
Suppose -i + 3 - 2 = 0. Suppose 0 = 4*s + i - 9. Let t be s/(-6) - 22/33. Which is smaller: t or 0.2?
t
Let v(p) = p**3 + 14*p**2 + 13*p + 8. Let w be v(-13). Let t be (2 - 3)/(1/(-10)). Is w at most as big as t?
True
Let z = -5 + 7. Let q be (-38)/546 - 9/(-21). Let h = q - -4/13. Is h bigger than z?
False
Suppose 2*u - h = 19, u + h = -2*h + 13. Let w be 52/u + -2 + (-5)/25. Is w not equal to -15?
True
Let w be (-1)/2*532/(-56). Which is smaller: 4 or w?
4
Suppose 6*j = 4*j + 2. Suppose -2*m - j - 1 = 0. Let y be -1*(-29)/(-27) - m. Are 0 and y equal?
False
Suppose 0 = -2*d + 6*d. Let a = 1619/740 - 47/20. Which is bigger: a or d?
d
Let p = 228/545 - 2/109. Let x be (2 + -3)*-2*(-2)/18. Is x >= p?
False
Let x = 1 - 1. Let d = 0.0646 + 0.1354. Which is smaller: x or d?
x
Suppose 3*c = 9*c + 228. Which is bigger: c or -4?
-4
Suppose 7 + 20 = 3*n. Suppose -p = -t + 2*t - 99, -10 = -2*t. Let z = -86 + p. Which is smaller: n or z?
z
Let s be 1144/(-22)*(-26)/(-6). Let i = 223 + s. Which is bigger: -2 or i?
-2
Let x(u) = -54*u**2 - u. Let g be x(-1). Let v = 69 + g. Which is smaller: -0.1 or v?
-0.1
Let r = 545/85932 + -3/868. Let u = r + 2005/25641. Which is smaller: 1 or u?
u
Let n be 3 - 50/(3 - 42/12). Is 105 greater than or equal to n?
True
Let b be (1/(-2))/((-8)/3). Let s = 33 - 27. Suppose -4*x = -2 + s. Is x != b?
True
Let j = 78009/145 - 538. Which is smaller: j or 0?
j
Suppose -3*b + 5*y = -17, -3*y = b + 4*b - 17. Suppose -2*v - b*c + 16 = 0, 3*v - 3*c - 35 = 25. Suppose 14*m = v*m - 6. Which is smaller: m or 4?
m
Suppose 3*q + 2*h + 2 = 0, 6*q = 5*q - 4*h + 16. Let