Suppose -4*r + 479 = 3*h, 5*r - 886 + 270 = 2*h. Let b be (r/(-1752))/((-3)/6). Let c = 2/73 + b. Which is smaller: c or -2?
-2
Let v(d) = d**3 - 44*d**2 + 2*d - 55. Let l be v(44). Which is smaller: l or 34?
l
Let s be -5*((-9)/(-5) - 2). Suppose 5*n = 5*x + 2780, -2*n + 1672 = -2*x - x. Let f = 6156/11 + x. Do s and f have the same value?
False
Suppose -79*r = -85*r - 402. Which is greater: r or -66?
-66
Suppose 5*f + 4*t - 51 = -171, 3*f + 65 = -t. Let p be 6/f*(-37)/(-1). Let r = -563/30 - p. Do -9 and r have the same value?
False
Let y be (2 + -1)*10/2. Let p(a) = -7*a + 18. Let w be p(y). Which is bigger: w or -19?
w
Let x be 2 + -9 + (-29925)/(-4277). Is x less than or equal to -1/2?
False
Let v = 0.17 + 0.03. Let h = 8.8 + v. Let x = -8 + h. Which is greater: x or 1/9?
x
Let c be -2*(2 + 5/(-2)). Let w be c/(-21) - (-14)/(-49). Is w > 0.2?
False
Let f(w) = -11*w + 3 + 6 - 8 + 1. Let k be f(-3). Which is smaller: 33 or k?
33
Suppose 5*r + 101 = 26. Let a be (-6)/r - 12/55. Let c be (-17 - -13) + 3/1. Is c at least a?
False
Let z = -0.02 - 1.28. Let j = 1.8 + z. Let x = 5 - 3. Which is greater: j or x?
x
Suppose 0 = -j - 4*j + 175. Let c be (5/j)/((-2)/(-34)). Let r = 57/35 - c. Which is bigger: r or -2?
r
Let v(u) be the third derivative of -u**5/30 - u**4 + 13*u**3/3 - 20*u**2. Let m be v(-13). Which is bigger: m or -4.3?
m
Let z = 990 - 957. Which is bigger: 46 or z?
46
Suppose -5 = -4*y - y. Let i be 2 + (144/44)/(4/(-2)). Which is smaller: y or i?
i
Suppose -14*v + 8*v - 66 = 0. Which is bigger: v or -20?
v
Suppose -5*t + 60 = -t. Suppose -2*h = t - 33. Let z be -4 + (-1 - -2 - -13). Which is bigger: h or z?
z
Suppose k = -4*k. Let d = -2181032/11 + 198553. Let w = d - 277. Which is smaller: w or k?
k
Suppose 0 = m - 0*m. Let f(w) = w**2 + 18. Let k be f(m). Suppose 5*n - 3*o - 50 = 0, -5*o - k = n - 0. Is 7 smaller than n?
False
Let o = 1031593291/900 - 1146215. Let h = 1/100 + o. Which is smaller: h or -12?
-12
Let f = 308.9802 - -0.0198. Let v = 212 - f. Are 1/3 and v non-equal?
True
Let z be (-33 - -3)/(0 - 39/6). Which is bigger: z or 6?
6
Let s be 1/((-117)/(-228)) - (-20)/(-10). Suppose -5*x + 3*y + 31 = 0, 4*x - 2*y = 4 + 20. Suppose 0 = x*u - 4*z + 2*z + 5, -5*u - 5 = z. Is u greater than s?
False
Let a be 1 + -1 - (-9 + 0). Let s(x) = 2*x + 17. Let q be s(5). Suppose 4*d - q = d. Is d at least a?
True
Let f = 1240 - 1243. Which is bigger: -50/21 or f?
-50/21
Let s = -27 - -32. Let x be (1 + s)*(-21)/(-18). Suppose -4*i + x*i = 0. Which is smaller: 6/13 or i?
i
Let v be ((-2)/42*-20)/2. Let q(h) = -h**3 + h**2 + 7*h - 3. Let f be q(3). Is f != v?
True
Let o = 1.1 - 0.7. Let l = 15 + -14. Which is smaller: o or l?
o
Let p be (-2)/9 + 249/27. Let l(w) = -3 + 3*w**2 + 2*w**2 + 10*w - 3*w**2 - 3*w**2. Let r be l(p). Is r less than or equal to 6?
True
Let f = -3 + -1. Let p be (10/(-25))/(f/5). Let g be (-98)/2744 - (-4)/14. Which is smaller: g or p?
g
Let g = 0.0279 + 1.9821. Let y = -0.01 + g. Which is bigger: y or 0.2?
y
Let c be (-10)/2 + (-975 - -2). Let q be (1959/c - -2)/(2/8). Is q at most as big as 0?
True
Suppose -11*o + 16*o = -d - 132, 5*d = -o - 780. Which is greater: d or -159?
d
Let d = -921 - -920. Which is smaller: -5/39 or d?
d
Let d = -20 + 17. Let i be ((-20)/6)/(2/d). Which is bigger: -0.5 or i?
i
Let b = 292 - 387. Is b not equal to -92?
True
Let d = 18.59 - -363.41. Which is greater: d or -0.1?
d
Let m = -0.04 - -0.09. Are -0.19 and m non-equal?
True
Suppose -286 = -820*a + 822*a. Is -143 at most a?
True
Let a(u) = -2*u**2 - 28*u + 7. Let f be a(-14). Suppose f + 31 = 2*m + 4*d, -3*d + 38 = 2*m. Which is smaller: m or 14?
14
Let i = -19.4 + 19.313. Let l = -0.037 - i. Is 1/5 greater than l?
True
Suppose 0 = -3*i + 5 + 7. Suppose -10 = i*o + 14. Let t be (o/(-8))/((-36)/8). Is t greater than -0.1?
False
Suppose 5*r = r + 12. Suppose -6*l + r = -9. Suppose -6 - l = -2*j. Is j less than or equal to 2?
False
Let a = -2/17 + -9/68. Let f = 0.36 - 0.37. Is f smaller than a?
False
Let n = -7.4 + -7.6. Let y = 17.22 - 0.22. Let d = y + n. Is -1/2 less than d?
True
Let v = 112 + -77. Is v smaller than 137/4?
False
Let k = 8 - 11. Let z be ((-10)/20)/(k/6). Which is greater: z or 2/67?
z
Let v = 0.4 - -1.2. Let n = -2 + v. Let j = n - -1. Which is bigger: j or -0.2?
j
Let h(v) = -v**2 - 6*v. Let p be h(-7). Let l = -5.04 + 5. Let n = -0.96 + l. Is n != p?
True
Let o = -6706 - -100538/15. Let w = o + 11/3. Suppose -a = a - 2. Are a and w non-equal?
True
Let z be (-2)/(-5) + (-405)/(-775). Let j = z - 10/31. Is 0.1 less than j?
True
Let c(d) = -d + 29. Let s be c(11). Let h be (1 - 27)*s/12. Which is greater: h or -38?
-38
Let a = -4167/2 - -2045. Let r = -38 - a. Which is greater: r or -0.02?
r
Suppose -3 = -w - 10. Suppose -4*f + 190 = f. Suppose 7*n = -f - 11. Is n at most as big as w?
True
Let c = -67.2899 - -0.4099. Let j = c - -67. Is j < -2?
False
Suppose -57 = -d - 4*g - g, -5*g + 285 = 5*d. Let x = -105229/28 - -14803/4. Let p = d + x. Which is bigger: p or 1?
1
Suppose -106*t + 4656 - 1476 = 0. Let j = -20 - -50. Is t >= j?
True
Let m = 27.94 + -0.94. Let j = -26.9 + m. Which is bigger: j or -2?
j
Suppose c - h - 104 = 0, -8*h + 396 = 4*c - 7*h. Do c and 101 have the same value?
False
Let j = -4/847 - -12392/471779. Let h = j - -9870/7241. Which is smaller: 0 or h?
0
Suppose -3*x - 560 = -2*k, 2*k - 193 - 371 = 5*x. Are k and 277 nonequal?
False
Suppose -455 = 4*g + g. Is -91 at least as big as g?
True
Let z = 0.1 - 0.1. Let x(n) = 19*n - 11. Let y be x(-6). Let q = -627/5 - y. Are q and z equal?
False
Let k(a) be the first derivative of -2*a**2 + 8*a - 2. Let m(r) = 21*r - 41. Let n(v) = -11*k(v) - 2*m(v). Let g be n(8). Is g not equal to 10?
False
Let z = -9 - -16. Let s(q) = -q**2 + 8*q + 5. Let d be s(z). Let x be (-4)/(d/9) - -7. Is 4 != x?
False
Let f = 112 + -129. Let v be (-2199)/3*(-2)/(-14). Let m = 105 + v. Which is greater: f or m?
m
Let c be ((-56)/54)/((-1)/82). Let d = c - 85. Suppose -13*u - s = -14*u - 4, 5*s - 25 = 0. Are u and d non-equal?
True
Let m(i) = i**2 - 8*i - 5. Let g be m(11). Let k be (-64)/g - (-4)/14. Let u be (-20)/15*(-3)/(-1). Does u = k?
False
Let f(a) = a**3 + 4*a**2 - 2*a + 3. Let d be f(-4). Suppose -2*i = 3*i - 10, -3*i + d = -5*m. Which is smaller: m or -2?
-2
Let p(s) = 3*s + 42. Let n be p(-18). Let h be (-44)/12 + n/9 + 1. Let t(i) = i**3 + 7*i**2 - i - 9. Let b be t(-7). Is h > b?
False
Let b = -91 - -91. Let j be (-6)/(-15) - 2/5 - b. Is -1/55 bigger than j?
False
Let w = 1.16 - 7.2. Let v = w + 6. Let i = 0.24 + v. Which is smaller: 5 or i?
i
Let s = 56 + -53.1. Let h = -4.3 + s. Let b = -1.1 - h. Which is bigger: b or 0.5?
0.5
Let f be 4*11*3/(-12). Let z = f - -9. Let p be (1 + z)/(2/2). Is p smaller than -1/4?
True
Let u be ((-3984)/51 - 1) + (-4)/(-34). Is -79 bigger than u?
False
Suppose -2*k = -i + 341, -i - 2*k = 4*i - 1717. Let s = -6519/19 + i. Which is smaller: 0 or s?
s
Let p(t) be the third derivative of t**6/720 - t**5/40 - t**4/6 - 2*t**2. Let j(z) be the second derivative of p(z). Let y be j(4). Is y bigger than 2?
False
Let a = 4.3 + -4.36. Let h = 1 + -1.16. Let m = a - h. Is m >= 8?
False
Suppose 2*r + 3*s - 3 = 6, 5*s - 15 = -4*r. Suppose r = -o - 0 + 3. Which is bigger: o or -0.2?
o
Let q be (-2*1)/(6/15). Let b = 9 + q. Suppose -16*y + 18*y - 10 = 0. Is b equal to y?
False
Let z = 50 - -27. Suppose 0 = -5*i + z - 27. Which is smaller: 19/2 or i?
19/2
Suppose 0*l - x - 140 = l, 4*l - 5*x = -569. Is l less than -143?
False
Let r be (4/6)/(6/486). Let n be (-2)/(-10) + r/(-45). Is n equal to -1/46?
False
Let f(b) = -b**3 + b**2 + 2*b + 12. Suppose -9*v + 4*v = 0. Let i be f(v). Is i greater than 13?
False
Let q(p) = -p**2 - 10*p - 10. Let n be q(-8). Let x be 6/4*8/n. Let m = 0.09 + -0.59. Which is greater: m or x?
x
Suppose 2*u + 5*c + 104 = -37, -3*c - 131 = 2*u. Is -113/2 at most u?
False
Let r be (-2*(-9)/(-168))/(21/10). Is 0 bigger than r?
True
Let i = 18 + -18. Suppose -8*r + 11*r = i. Let y(o) = o - 6. Let l be y(4). Which is smaller: l or r?
l
Let o = 8935/13 + -687. Let h be (2 - (-2 + 3))/1. Which is bigger: o or h?
h
Let h = 42 + -42.1. Which is bigger: 1.6 or h?
1.6
Let p = -36 - -34. Let d be p/(15*6/27). Suppose 4*q = -0*q -