8)/(0 - 5/10). Let y(r) = 4*r**2 - 18*r - 12. Let c be y(5). Which is bigger: d or c?
d
Let g(h) = -2*h - 1. Let q be g(-3). Suppose 0*l + 3*l = -2*x + 37, q*x = -2*l + 32. Which is smaller: l or 12?
l
Let p = -34 + 39. Let z be (-1)/p - ((-534)/5)/(-6). Which is bigger: -17 or z?
-17
Let v = -1297 + 1299. Is v at most 2.18?
True
Suppose 16*x + 20*x = 0. Which is greater: x or 2/13?
2/13
Suppose -4*l + 3*q - 35 = 0, 5*q - 2 - 3 = 0. Let r = 14 - l. Let v be r*(15/18)/5. Are 3 and v non-equal?
True
Suppose 61*z = 94*z - 5940. Which is smaller: z or 178?
178
Let s = 556 - 565.13. Let c = -0.13 - s. Let w = -8.9 + c. Is w >= 1/3?
False
Suppose 0 = -5*l - 5*o + 55, 4*l + 3*o - 4*o = 54. Let t = -7 + l. Let r be (9/t)/((-17)/2). Is r at most as big as 0?
True
Let u(q) = -q**2 - 6*q - 5. Let b be u(-5). Suppose -2*y - 300 = 260. Let n be 6/2 - y/(-104). Is n != b?
True
Let s be 8/(4 - 2)*(-52)/(-299). Which is greater: s or -1?
s
Let r(v) = -2*v - 8. Let g be r(-11). Let i(y) = -y**3 + 14*y**2 - y + 16. Let w be i(g). Is w greater than or equal to 0?
True
Suppose -99 = -486*k + 475*k. Which is smaller: k or 13?
k
Let c(a) = 4*a**2 - 14*a + 10. Let v be c(6). Let h be 168/v + (1 + -1 - 2). Do 6 and h have the same value?
False
Let k = -92.8 + 92. Is 13 at least k?
True
Suppose 4*i = -5*g + 4*g - 9, 2*g - 3*i + 73 = 0. Let h = g + 34. Suppose 0 = -q, 0*r + 2*r + 5*q - 8 = 0. Are r and h equal?
False
Let n be (6/4)/(36/48). Let k be 2195/(-20) - n/8. Are k and 2/5 unequal?
True
Let h = -0.055 - 0.045. Let d = h - -4.1. Let j = -4 - -7. Which is greater: d or j?
d
Let g = 2/1757 - 12331/28112. Is g <= 1?
True
Suppose 192 = 2*m + 4*m. Let n = -40 + m. Is n not equal to -8?
False
Suppose 0*v + 2*v = -t + 2, 5*v - 20 = -4*t. Let q be (-4)/t - (-54)/(-15). Suppose 2*m = 9*k - 4*k + 25, 4*k + 3*m = -20. Which is bigger: k or q?
q
Let k = 160 - 164. Which is smaller: k or -11?
-11
Let p(n) = -n**3 + 5*n**2 - 10. Let o be p(5). Let d be (-178)/o + (25 - 28). Which is greater: d or 16?
16
Let m = -4 + 7. Let w = 1.64 + 9.66. Let v = -11.5 + w. Which is smaller: v or m?
v
Suppose 5*a - 58 = -18. Suppose h + 5*r - 7 = 0, 3*r + 11 - 4 = h. Suppose 0 = 5*t + 5*y - 20, -h = 2*t - 2*y + 7*y. Do a and t have different values?
True
Let t be ((-3)/39*-13)/(-1 + 0). Do -12/37 and t have different values?
True
Let y be (8/82)/(-3 + 1). Let q = -15521/3731 - -64/13. Let l = y + q. Do l and 0 have different values?
True
Suppose 4*m - 19 = -5*q + 6, 5 = -m + q. Suppose -5*o + 2*l + 13 = 0, -4*l = -m*l + 16. Let a be 105/15 + ((-6)/(-1))/(-1). Do a and o have different values?
False
Let s(h) = 64*h + 115. Let m be s(-17). Is m less than 0.1?
True
Let q = -0.726 - -0.261. Which is smaller: -0.1 or q?
q
Suppose 13 = b + 11. Suppose 2 = -4*t - b. Which is bigger: -1/2 or t?
-1/2
Let r(u) = -7*u - 4. Let g be r(-6). Suppose -55*n + g = -57*n. Which is smaller: 3 or n?
n
Suppose -4*m = -2*f + 10 - 16, -3*f + 2*m - 1 = 0. Which is smaller: -3/385 or f?
-3/385
Let z = -2 + 1. Which is smaller: -20/9 or z?
-20/9
Let g = -954 - -3817/4. Which is smaller: -698 or g?
-698
Suppose 0 = -283*s + 347*s + 128. Suppose -3*m - b = -2*b - 87, b = 4*m - 117. Is m greater than s?
True
Let z(o) be the first derivative of o**6/120 - o**5/15 - o**4/4 + o**3 - 2*o**2 + 1. Let k(c) be the second derivative of z(c). Let i be k(5). Is -2/19 <= i?
True
Suppose 4*x - 218 = 2*n, n - 6*n - 580 = -3*x. Let k = 113 + n. Is k > 5?
False
Let b be (2*1)/(12 + -10). Suppose 8*o = -b - 15. Let m be 3/o - 0/(-3). Which is smaller: -1 or m?
m
Let l = -16749/5 + 3369. Which is bigger: 18 or l?
l
Let z(x) = -x**2 - x. Let u be z(-4). Let p = -40 + 28. Is u equal to p?
True
Let z be (-8)/(-18)*(-1)/(-6). Let q be (2/(5/(45/6)))/(-3). Which is greater: z or q?
z
Let u = 1/213 + 841/2343. Which is smaller: 8 or u?
u
Let p be 2/(-4)*(2 + (-40)/15). Suppose 12 = -3*g, -2*r - 2*g - 32 = -6*r. Suppose 0 = -2*c + r*c. Which is bigger: p or c?
p
Let a be ((-6)/141)/(184/(-3100)). Let u = a - 16/23. Which is greater: u or 1?
1
Let n = 18 + -88/5. Let v = 4.9 + 1.1. Let h = v - 6. Which is greater: n or h?
n
Suppose 7*l - 360 = 3*l. Let u(q) = 47*q + 41*q - 7 - l*q - 8. Let s be u(-7). Is -1/50 <= s?
False
Suppose 6*m + 16 = 46. Suppose 2*q - 8 - 7 = -s, m*s + 5*q - 50 = 0. Suppose 4 = -4*v - 2*i, 2*v + 4*i - s + 19 = 0. Which is bigger: 1/4 or v?
v
Let b be (-17)/(-119) + (-11415)/70*2. Is -324 less than b?
False
Let d = -2/663 + 157/1326. Is 8/5 bigger than d?
True
Suppose -y = -2*g - 0 - 3, -5*g + 15 = 2*y. Let w be 1*(-4)/(112/158). Let p = 64/7 + w. Which is smaller: g or p?
g
Let z = -400.9 - -376. Let i = -0.2 - -25.2. Let v = i + z. Do 1/22 and v have the same value?
False
Let o = 13331 + -13344. Let x = 8 + -18. Which is smaller: x or o?
o
Let b = 17.03 - 17. Let g = 0.07 + b. Which is smaller: -1/4 or g?
-1/4
Let a = 2774 - 2781.908. Let y = -0.092 + a. Let f = 0.2 + -2.2. Is f at least y?
True
Let s be 4 - ((-95)/(-25) - 0). Suppose -4*p + 0*p = 0. Let t = p - 0. Is s < t?
False
Let i = -598 + 586. Which is smaller: i or 4?
i
Let j = 20 + -27. Let y = -5 - j. Let i be (y/(-32))/(4/24). Which is smaller: i or 0?
i
Suppose 3*c - 44 + 89 = 0. Let m = 7 - 21. Which is smaller: c or m?
c
Let y = 8509/11 - 773. Are -1.4 and y non-equal?
True
Let k = 29 + -27.7. Let m = -3.3 + k. Is -7 at least m?
False
Let k be ((-14)/(-24))/((-678)/(-669) - 1). Let o = 514/9 - k. Is o at most 0.1?
False
Let q = -0.046 + -0.026. Let j = q - 2.628. Which is smaller: j or 1/4?
j
Suppose 29 = 17*n + 1542. Is n bigger than -85?
False
Suppose q - 5 = -3*o - 1, -5*o + 40 = -5*q. Let b = -52 - -49. Which is smaller: b or q?
q
Let g = -240640/1309 + 2022/11. Is g equal to 1/9?
False
Suppose -13*l - 8 = -21*l. Is 4/197 at least as big as l?
False
Suppose 3*v = -22 + 67. Suppose -10 = -v*j + 5*j. Is -1/21 at most j?
True
Suppose -354 = 3*k + 216. Let s be 15/(-2 + 1) + 0. Let l be ((-8)/k)/((-2)/s). Is l equal to 1?
False
Let k = 2220 - 2229. Let p(z) = -3*z**2 - z. Let v be p(-2). Is v not equal to k?
True
Let b = 968 + -935. Which is smaller: b or 1?
1
Let t = -7.33 + 0.33. Let z = t + 3. Let y = -3 - -3.1. Is y smaller than z?
False
Let y(o) = -2*o**3 + 4*o**2 - 2*o - 4. Let t = -82 + 84. Let b be y(t). Is -6 <= b?
False
Let i = 14 + -15. Let f = -99/13135 + 4/185. Which is greater: i or f?
f
Let x = -266.2 - -266. Which is greater: x or -6?
x
Suppose 5*u = 2*o + 6365, -9*u + 4*o = -13*u + 5092. Which is greater: u or 1274?
1274
Let o = -223 - -222.91. Which is greater: 0.3 or o?
0.3
Let m be (16/(-12))/(2/(-3)). Suppose 4 - m = o. Suppose o*y = 3*y. Is y < 7/5?
True
Suppose 7*y - 58 + 16 = 0. Suppose 0 = -3*k - 2*q + 18, -q = 3*k - y*k + 18. Suppose 31 = k*d - 131. Are d and 28 nonequal?
True
Let v(i) = 6*i. Suppose -l = 4*f - 8, -20 = -0*f - 4*f + 2*l. Let j be v(f). Suppose 3 = 3*x - 3*k - 36, 3*k - 97 = -5*x. Which is greater: j or x?
j
Let z be 5/(-15) - 23/3. Let h be (z/(-24))/((-2)/12). Let w be 2 + (198/(-51) - h). Which is smaller: w or 1?
w
Suppose -279 = 14*u - 23*u. Is 29 at most u?
True
Let n(o) = o + 8. Suppose 5056 = -4*r + 3*d, 0*r - 3*r - d - 3779 = 0. Let p be (-2)/9 + r/117. Let y be n(p). Which is greater: -4 or y?
y
Let t = -6.07 + 5.98. Is -0.16 != t?
True
Let d = 9460 - 4039418/427. Is 1 at least d?
True
Let s = 87.8 - 88. Is 1.7 bigger than s?
True
Let u = -14.03 + 14. Let m = u + 0.23. Let s = -17.7 + 17. Do m and s have the same value?
False
Let v = 114 - -7. Is 120 bigger than v?
False
Let f = 6514/17 - 383. Let i(y) be the first derivative of -y**3/3 + 9*y**2/2 - 7*y - 5. Let z be i(8). Is z greater than f?
True
Let c = -0.03 + -1.17. Let v = c + 2.2. Let q = 2 - 4. Does q = v?
False
Let g be (3 - (-42)/(-15))/(84/40). Let c = g - -236/21. Is c at least 10?
True
Let w = 350695/17247 + -2/5749. Let p = 27 + -8. Is p at least as big as w?
False
Let f(q) = 5*q**3 + 17*q**2 - 13*q - 7. Let j(n) = 14*n**3 + 50*n**2 - 38*n - 20. Let s(o) = 17*f(o) - 6*j(o). Let t be s(10). Which is smaller: -28 or t?
t
Let y = 18.8 - 114.8. Which is smaller: y or 2?
y
Suppose 5*l + 3*p = 16, l - 3*p + 2 + 2 = 0. Let z = -1606 + 14480/9. Which is smaller: z or l?
l
Let k = -18.916 + -0.084. Let b = -41 + k. Is -1/2 at most b?
False
Let i