3*k + 5*h + 10. Suppose 28*q + 662 = 998. Suppose k*j = o - 7, -4*o = j + j + q. Which is smaller: o or -3/4?
o
Let i(n) = 79*n + 77. Let f be i(-1). Let p(j) = j**3 - 6*j**2 - 2*j + 7. Let x be p(6). Let u be x/f*(-40)/5. Are -21 and u equal?
False
Let w = -410.2 - 563.8. Which is smaller: 0.2 or w?
w
Suppose 2*x - 15 = 4*x - 3*k, 10 = 5*x + 2*k. Suppose -2*i - 372 = 5*f, -3*f - 4*i - 27 - 185 = x. Is -76 at least f?
True
Let p(q) = 2*q + 5. Let v be p(-2). Let y be 146/3 - ((-40)/12 + 4). Let w = -51 + y. Which is bigger: v or w?
v
Let j = -7876 + 7862. Which is smaller: j or -473/4?
-473/4
Suppose -3*p + 123 = 4*v, -4*v + 8*v - 118 = 2*p. Suppose -v = 7*w - 12*w. Suppose -2*o = 3*l + 10, -l = o + l + w. Which is smaller: o or -1?
o
Let n(c) = -c**2 + c + 72. Let o be n(9). Which is smaller: 222/5 or o?
o
Let t = -586/175 - -48/25. Let y(v) = -v**3 + 3*v**2 + 6*v - 8. Let u be y(4). Let j be (3/6*u)/(-2). Which is bigger: j or t?
j
Let t = -19136/821625 + 22/2625. Which is bigger: t or 0?
0
Let h = 81 + -43. Suppose h = 6*f + 14. Suppose -f*o - 553 = -11*o. Do o and 79 have different values?
False
Let u be (1676940/(-25))/19 - 4/(-10). Which is greater: -3529 or u?
-3529
Let i(m) = m**3 + 12*m**2 + 22*m + 6. Let h be i(-9). Let z = h - 41. Let q be (6/z + -1)/(72/(-280)). Is 2 at least as big as q?
True
Let y = -12005 + 12082. Which is greater: y or 1375/18?
y
Suppose -25*k + 20*k = -3*h - 7, 7*k - 14 = 0. Which is greater: h or -8931?
h
Let z = -61.2 + 61.5. Let n = -0.1 + z. Let v = -21 + 12. Which is smaller: n or v?
v
Suppose -q - 138 = -266 + 132. Let i = -2.6 + 2.8. Which is greater: q or i?
i
Let t be (-4)/8*8/(-38). Suppose -4*l = -h - 53 - 50, l - 40 = 5*h. Suppose -l*p = -26*p. Which is greater: t or p?
t
Let t(q) = -q**3 + 6*q**2 + 2*q. Let x be t(6). Let g be (-16)/282*9/x. Let u(n) = -2*n**3 - n**2 + 2*n. Let w be u(1). Is g less than or equal to w?
False
Let q = 16 - 11. Let i = -0.171 + -0.509. Let z = -0.18 - i. Which is greater: q or z?
q
Let l = 5931 + -8997. Is l greater than or equal to -3066?
True
Let k(u) = 19*u**2 + u. Let c be k(1). Suppose 8*x = 7*x + c. Let d(y) = -y + 20. Let f be d(0). Do f and x have the same value?
True
Let a be ((-13)/((-273)/(-14)))/(10 + -9). Which is smaller: 7047 or a?
a
Suppose 0 = -n + 2086 - 2090. Are 1663 and n nonequal?
True
Let o be ((-108)/(-111) + -1)*8790/(-858). Let s = o - 2/481. Which is smaller: 2/11 or s?
2/11
Let q = -7757 + 6001. Which is smaller: 0 or q?
q
Suppose -7*g = -4*g - 3*p - 15, -5*g + 61 = 4*p. Let j be 2/(-4)*(-28)/2. Let i be 6/27 + j/g. Do -11 and i have different values?
True
Let h = 6491.6 - 6492. Are 12.41 and h nonequal?
True
Suppose 5*o - 72 = 2*f + 203, 3*o = 3*f + 174. Which is bigger: o or 49?
o
Suppose -1 - 8 = 3*b, 0 = 4*v - 5*b + 49. Let f be (-18 - v)*(1 - -2)/1. Do -6 and f have different values?
False
Let v = -11/14 + 2/7. Suppose 2*f - 19 = -0*m - 3*m, 3*m = 4*f + 43. Let p be 22/99*m + 106/(-48). Which is smaller: v or p?
v
Let i(y) = -216*y**2 + 5*y + 3. Let x be i(1). Are -212 and x non-equal?
True
Let w be (286/330)/13 + (-67)/(-120). Let s(b) = -b + 5. Suppose -2*z - 5*i = -6*z + 11, z - 2 = 2*i. Let m be s(z). Is w at least as big as m?
False
Let w = -86.23 - -60.23. Is w smaller than -2/9?
True
Let f = -467752/95 + 24608/5. Suppose 4*s - 1 = -5. Is s less than or equal to f?
False
Let z = 811.91 - -4.09. Let f = z + -816.2. Is f at least -6.6?
True
Let u be (-192516)/(-58560) + (-72)/20. Let w = -3 - -2. Is u smaller than w?
False
Let o = -2216 - -2229. Which is greater: -102 or o?
o
Let b = 12.63 + 1.87. Let h = b + -53.5. Does h = 2/7?
False
Let f = -33.935 + 34.025. Which is greater: f or 0.39?
0.39
Suppose 4 = f + 9. Suppose 12*v - 2*r + 5260 = 15*v, 2*v - 5*r = 3475. Let o = -1756 + v. Which is bigger: f or o?
f
Let b(p) = -p**3 - 31*p**2 + 34*p - 2. Let y be b(-32). Let r be (-1 - (-88)/12)/(y/9). Is -2 less than or equal to r?
True
Suppose -31*w + 3 = -32*w. Let l be 3/(-27) - 3/(-27)*w. Which is smaller: 4 or l?
l
Let c = 637.9551 + 0.0449. Let h = c + -637.3. Are 27 and h unequal?
True
Let j = -20918/3 + 6971. Is 3/32 smaller than j?
False
Suppose -2*p - 4*a = -36, -p - a + 23 = 8. Suppose -3*d - p = 7*f - 4*f, -3*f - 18 = 5*d. Which is smaller: f or 3/209?
f
Let n = 540.69 - 537. Let g = 3.73 - n. Is g != -33?
True
Suppose -4*w + 2*u - 2 = 0, 0 = w + 2*w - 3*u. Let g be 7 + -8 + 1578/1. Let r be (-4769)/g + -1*(-4 - -1). Is r > w?
True
Let w = 66 - 64. Let v be (-94)/1081*10/(-1). Which is bigger: v or w?
w
Let c = -96 + 33. Let g be (c/18 - -2)*(-8)/26. Is g equal to 1?
False
Let b = -524 + 716. Let t = 162 - b. Which is greater: t or -3?
-3
Let j be 5*48/40*58/(-9). Let s = j - -803/21. Let y = 0.1 - 0. Which is greater: y or s?
y
Suppose 11*j + 419 + 830 - 369 = 0. Which is bigger: j or -87?
j
Let i(y) = -5*y**2 + 7*y + 3. Let a be i(-5). Suppose 0 = 48*w + 1338 + 2111 + 4039. Is w < a?
False
Let f = -14 + 59. Let k be ((-16)/10)/((-18)/f). Suppose n + 3 = k. Is 3 bigger than n?
True
Let l be 24/70*(3 + 9 + -7). Let h(x) = -x**2 - 3*x - 1. Let d be h(-2). Do d and l have the same value?
False
Let o be 2/(-4) - 6895/2618 - (-600)/1100. Suppose 0 = -c - 2 - 2. Is o smaller than c?
False
Let h = -32 - -36. Suppose -15 = -2*r - b - 4, 19 = h*r + 5*b. Suppose 4*x + 5 = -t, r = -2*t - 5*x + x. Which is smaller: 1/73 or t?
t
Suppose -v + 30 = -i, v - 4*i - 32 = -8. Suppose -17*a + 539 = v*a. Which is greater: a or -13?
a
Let n = 28.944 - -0.056. Let o = -28.944 + n. Do o and 0 have different values?
True
Suppose -109 = -4*k + 5*j, 4*j = -k + 2*j + 37. Let o(p) = p**3 - 32*p**2 + 31*p + 2. Let l be o(k). Is l equal to 0.28?
False
Let n be 1/(-8 - (-2 - 7)) + (0 - 3941). Which is greater: -3939 or n?
-3939
Let v(i) = i**3 + 4*i**2 - 6*i - 15. Let s be v(-4). Suppose 6*u - 3 - s = 0. Is u at least 21?
False
Let s = -17.6 - 3.4. Let q be 3/15*-1 + (-594)/30. Let d be q/39 + 144/78 + -2. Do d and s have the same value?
False
Suppose -402 + 405 = 3*u. Is -1/1593 less than u?
True
Let f(k) = 9*k - 3. Let r be f(2). Suppose -3*s + 18 = u, 5*u - 22*s = -26*s + 35. Let t be (-17)/((-102)/36) + 29/u. Which is greater: t or r?
t
Suppose 3*s + 39 = -21. Let o be 114/(-140) + (-12)/s. Let w(j) = j**3 - 15*j**2 - 17*j + 15. Let f be w(16). Which is smaller: f or o?
f
Let i be 86/3*(-24)/(-16). Let n = i - 41. Suppose 4*s - 2*s - 3*w + 46 = 0, 0 = -n*s + 5*w - 54. Is -17 < s?
False
Suppose -167 - 2353 = -35*f. Which is smaller: 71 or f?
71
Let i be 4660/17 - (-186)/(-1581). Which is smaller: 2476/9 or i?
i
Let a = -6.3 - -6.63. Let r = -181877 - -181873. Which is greater: r or a?
a
Suppose -2*x = -5*n - 12, -3*n - n = -3*x + 11. Let b = 2 - x. Let r = 1/187751 + 187733/3379518. Is b <= r?
False
Let o = 15508 - 821972/53. Is o at most 0?
True
Let u(i) = -i + 5. Let y be u(5). Let k be 159/(-2)*(-124)/3. Let w = k - 417320/127. Is w bigger than y?
True
Let h = -1 + 8. Suppose 4*s + 44 = 2*r - 0*s, -4*r - 5*s + 101 = 0. Suppose -17*t = -20*t + r. Which is smaller: h or t?
h
Suppose 5*m - 12 = 33. Let z(k) = k**3 + 9*k**2 - 38*k - 19. Let d = -604 + 592. Let p be z(d). Is p less than m?
True
Let j = -150/19199 + 7327648/932975405. Which is greater: 0 or j?
j
Suppose -11 = 3*s + 25. Let p(w) = 12*w + 62. Let o be p(-8). Let m(d) = d**3 + 34*d**2 + 2*d + 58. Let l be m(o). Which is bigger: s or l?
l
Let x be 9 - 45*12/60. Is x at least as big as 15/251?
False
Let q(p) be the first derivative of -p**4/4 + p**3/3 + 6*p - 28. Let u be q(3). Is u less than or equal to -56/5?
True
Let l = -4.59 - 125.41. Let j = l - -128. Which is smaller: j or -28/5?
-28/5
Suppose 5*x - 5*m - 15 = -55, -4*m - 22 = 5*x. Let h = 47 - 90. Let c = 169/4 + h. Which is bigger: x or c?
c
Let g be 0 + (0 + 5 - 4). Let i be (28/135485)/(((-20)/(-4936))/(-5)). Let q = i + 4/395. Does g = q?
False
Let h(t) = t**3 - 2*t**2 + 3*t - 12. Let l be h(8). Let f = -34454/87 + l. Let i be -8 - (1/(-3) - (-260)/(-39)). Which is smaller: f or i?
i
Let l be 73/(-3)*1*-18*12/66. Which is bigger: l or 80?
80
Let c be -10 - (4 - 224/16). Which is smaller: c or 3/1709?
c
Suppose 0 = 5*d + 3*u + 2*u + 10, -d = 3*u + 8. Let k be (-1 + d)/(-4 + 2). Let z = -23/12 - -61/36. Which is greater: z or k?
k