+ 2. Let o be k(3). Suppose 4 = -h + o*h. Let p = -285/1076 + 4/269. Is p != h?
True
Let l be 80/(-24)*18/(-10). Suppose -l*c + 2*c + 88 = 0. Suppose 24*n = c*n - 12. Is -16/3 less than or equal to n?
False
Let j = -1/64 - -9/64. Let t = 2 - 0. Suppose -2*d - t + 0 = 0. Which is smaller: j or d?
d
Let l = -56 - -59. Let c be ((-9)/4 + -3 + l)/(-3). Which is smaller: 2 or c?
c
Suppose 0 = -a + 2, 2*a - 1 = 3*u - 3. Suppose 2*o - 4*g = 5 + 11, 3*o - u*g = 16. Is 5 bigger than o?
True
Let a = 1475.5 - 1476. Is 20 at least as big as a?
True
Let k = 0.199 - 0.099. Suppose 4*h + 224 + 4 = 0. Which is greater: k or h?
k
Suppose -37*x + 40 = 3*x. Is x > 28?
False
Let p be (-1113)/(-7) + 52/(-13). Which is smaller: 153 or p?
153
Let q = -6.85 + 39.85. Does 2/9 = q?
False
Let a(m) = 3*m - m**2 + 3*m**2 - 6*m**2 + 5*m**3. Let g(u) = -6*u**3 + 5*u**2 - 4*u + 1. Let c(x) = -5*a(x) - 4*g(x). Let r be c(0). Which is greater: r or -5?
r
Let q = 21.58 + 0.42. Let w = 20.4 - q. Let m = 1.7 + w. Which is bigger: m or 7?
7
Let q be (-5770)/(-1445) - (5 + -1). Let o = 375/12427 + q. Which is smaller: 0 or o?
0
Let g = 532 - 540.98. Let n = -238 + 229. Let p = g - n. Is p at least as big as 0.1?
False
Let p(h) be the first derivative of h**3/3 + 12*h**2 - h - 14. Let n be p(-24). Do n and 2/9 have the same value?
False
Let y = 0.04 - 2.64. Let w = -0.004 - -2.904. Let a = w + y. Is a at most -1?
False
Suppose -49*n = -51*n - 2. Which is smaller: -2/861 or n?
n
Let n = -45185/141 - -961/3. Which is bigger: n or 1?
1
Let b be ((-3)/((-90)/(-20)))/((-3)/(-7)). Is b at most -5/3?
False
Suppose -3*j - 14 = -d + 523, -2*j - 358 = 5*d. Let x = j - -178. Which is smaller: -5 or x?
-5
Let l(c) be the second derivative of -5*c - 1/6*c**3 + 0 + 11/2*c**2. Let w be l(9). Is w != 3/5?
True
Let z = -4 + 4.1. Let p = 14 - 13.91. Is p > z?
False
Suppose -9*z + 4*z + 5 = 0. Let d be 4632/(-32) + 2/(-8). Let i be (-30)/(-12)*4/d. Which is smaller: i or z?
i
Let c be (-12)/(-15)*(-2)/(-32). Let j(z) = 2*z**2 - 17*z**2 - 62*z**3 - 18*z + 63*z**3 - 2*z**2. Let b be j(18). Which is greater: b or c?
c
Let w = -331 - -552. Is w equal to 221?
True
Suppose 0*o - 12 = -2*o. Let a = 8.1 - -15.2. Let p = a - 23. Are p and o nonequal?
True
Let f = -2 + 1. Let k = 22 + -33. Let j be -20*(-1)/k - -2. Is f bigger than j?
False
Let p be (7 - 2)*(1 - (-4)/(-2)). Suppose 4*k + 16 = 2*u, -u - 42 = 5*k + 2*u. Which is greater: p or k?
p
Let b(q) = -q - 7. Let y(p) = -2*p - 13. Let k(c) = -5*b(c) + 2*y(c). Let x be k(-4). Are 4 and x nonequal?
True
Suppose 0 = -g - 4*n - 7, -7*g + 4*n + 37 = -2*g. Suppose 0 = 3*t - 3*k + k - 12, -g*k - 7 = 4*t. Suppose l + l = -t. Is l at least -1?
True
Let z(g) = -12*g**3 - g**2 + g - 1. Let u be z(1). Let b = 1189/10 - 662/5. Let r = b - u. Is r bigger than -2?
True
Let b = 81.9 - 81. Which is smaller: 0.2 or b?
0.2
Let u = -5990690 - -13377210520/2233. Let n = u + -2/77. Which is smaller: -1 or n?
-1
Let w be ((-8)/(-3))/((-18)/(-837)*-17). Which is smaller: -7 or w?
w
Let z = 473 - 1895/4. Does z = -2/73?
False
Let y(m) = 2*m**2 + 22*m + 36. Let s be y(-13). Let t = 93 - s. Is -0.1 less than or equal to t?
True
Let q = 1.4 - 0.9. Let s = -0.9 + q. Let k = 0.4 - 0.3. Is s <= k?
True
Suppose 3*l = 3*f - f + 62, 60 = 4*l + 3*f. Let q be (5 - 4)/((-3)/l). Let k be (-1 + 10/6)*-6. Is q less than k?
True
Let v be 384/176 - 4/22. Let b(a) = -4*a**v + a + a**2 + 5 + 3*a - a**3. Let r be b(-3). Is r at least -8?
True
Let r be ((-922)/48)/((-1)/(-33)). Suppose -8*k + 2881 + 2199 = 0. Let f = k + r. Which is bigger: 2 or f?
2
Let u = -165 + -3. Is -167 less than u?
False
Let x(d) = -3*d - 17. Suppose 0 = 2*y - 5*u, 0 = y - 2*u + 3 - 2. Let c be x(y). Which is greater: c or 0?
0
Let r = -153.64 + -0.36. Let j = 154.2 + r. Let k(o) = -o**3 + 7*o**2 - 8*o + 9. Let q be k(6). Is j greater than or equal to q?
True
Let j = -553/36360 + 2/1515. Let n = j - -37/72. Is n >= 6?
False
Suppose -40 = 3*r - 5*o + 42, r - 3*o = -22. Let h be r/(-8) - 1 - 3. Which is greater: -0.07 or h?
h
Let b be (-2 - (0 + -2))/1. Suppose -2*k + 11 + b = 3*p, 5*p + 3*k = 18. Let c(t) = -t**3 + 4*t**2 - 3*t + 4. Let r be c(p). Is 4 at most r?
True
Let r be -26 - -32 - 4/(-10)*104. Is r < 48?
True
Let d(n) = n**3 - 5*n**2 - 6*n + 5. Suppose -4*v = -4, 0*v - 16 = -3*p + 2*v. Let f be d(p). Suppose -9*x = -f*x - 28. Which is smaller: x or 6?
6
Let f be (25/10)/((-11)/(-2)). Which is greater: f or -1?
f
Let k = -1/109 - -121/1308. Let g be (-236)/(-472)*(0 - (-1 + 1)). Are g and k unequal?
True
Let m(t) = t**3 - 6*t**2 - 3*t - 2. Let p be m(6). Let q = -23 - p. Are q and -2 non-equal?
True
Let y = -2.2 + -13.8. Let v = 15.77 + y. Let k = 10.23 + v. Are k and -0.1 nonequal?
True
Let r = 21076/75 + -281. Let f be 0/((1 + -2)*(-27 + 26)). Which is bigger: r or f?
r
Let u = 26 - 28. Let r be -4 - ((u - -3) + -33). Is 28 less than r?
False
Let b(k) = -k**3 + 4*k. Let c be b(3). Let q = 19 + c. Are q and -2 non-equal?
True
Let f be 3/((-1)/1*1). Let g be -2 + 1 + (-3)/f. Is g at most 37?
True
Suppose o - 68 = -2*j, -5*o - 124 - 76 = -5*j. Which is smaller: 35 or j?
35
Let v(w) = -5*w - 9. Let q be v(-2). Suppose z = 2*l, 0 = 2*z + 4*l + 8 + 32. Let r = -10 - z. Which is greater: q or r?
q
Let w be 136/24 + 1*-5 + 0. Which is bigger: w or 0.084?
w
Let h = -14 + -3. Let n = 16.1 + h. Let i = 1 + n. Which is smaller: 0 or i?
0
Let s = -117 + 117.6. Let n = -2.6 + s. Is n at least 0.1?
False
Suppose 10*d = 8*d + 6. Suppose -d*h - 34 + 1 = 0. Is 0 > h?
True
Suppose 3*z - 6 = s + 4, 0 = 5*z + 2*s - 13. Suppose -5*g + z = -2*u, 2*u - 4 = -2*g - 0*g. Do 1 and u have the same value?
True
Let o(l) = l**2 - 6*l + 9. Let i be o(8). Suppose -2*c + 3*c = -4, 3*a = -4*c - i. Which is smaller: -2 or a?
a
Let b be (-264)/330 + (-9454)/(-11805). Which is bigger: b or 1?
1
Suppose 3*i = -2*w + 17, 0 = i + w - 1 - 5. Let j be i/((-25)/116) + 3/15. Is -22 less than or equal to j?
False
Let g = -0.08 + -39.92. Let m = g - -38.7. Is -1 < m?
False
Suppose 18*j + 14 = 11*j. Which is greater: j or -67?
j
Suppose 12*f - 21 = 11*f. Suppose 126 = -32*x + 38*x. Is f at least as big as x?
True
Let t(i) = i**3 - 6*i**2 + 5*i + 7. Let x be t(5). Suppose 5*b + 3*v + 146 = 563, 81 = b + 3*v. Let p = b + -80. Which is bigger: x or p?
x
Let v = -0.182 - -0.114. Let j = v - 0.032. Which is greater: -2/115 or j?
-2/115
Let t = -20693/3015 + 329/45. Is t less than -1?
False
Let p(l) = l**2 - 29*l - 24. Let b be p(30). Which is smaller: -10 or b?
-10
Let o be (-2 - -3)*3/(-12). Let j be 9/(-15)*(210/36)/(-7). Which is bigger: j or o?
j
Let d be 18/20 - (30/(-5))/60. Which is smaller: d or -2/97?
-2/97
Let p = 443 + -442.941. Which is greater: p or 2?
2
Let h be 4/(-14)*6/4. Let g be -1*-4*27/(-12). Let p be 15/(-6) + g/(-6). Is p at least as big as h?
False
Let h = -2 - 28. Let f = h - -29.6. Which is greater: -0.2 or f?
-0.2
Let b(j) = -j + 3. Let d be b(-8). Let t be (-1)/(((-2)/60)/((-10)/(-25))). Let i = d - t. Which is smaller: i or -12/5?
-12/5
Suppose 0 = 3*p - 5*u + 12 + 2, p - 14 = -3*u. Suppose 24 = p*h - 14. Which is smaller: 20 or h?
h
Let p(d) = -4*d**2 + 5*d - 6. Let s be p(6). Let j be 3569*(112/(-116) + 1) + -3. Let f = j + s. Which is smaller: -1 or f?
-1
Let i be 3 + ((-560)/65 - -6). Which is smaller: 0 or i?
0
Let j = 3/350 + 169/61950. Does 0 = j?
False
Let r = -14 + 10. Let h = -13.4 - -13.7. Which is smaller: h or r?
r
Let z(k) = 6*k + 31. Let p be z(-4). Are p and 21 non-equal?
True
Let y = 11.3 + 1.7. Which is greater: y or 2.9?
y
Let v = -37 + 13. Let g(w) = -4*w**2 - 75*w - 7. Let y be g(-19). Which is bigger: v or y?
v
Suppose j = 5*d - 129, 68 + 3 = 3*d + j. Let k = d - 23. Suppose 3*w - k = 19. Is w at least 8?
False
Let y(p) = 59*p + 2. Let g be y(1). Let v = 1221/20 - g. Which is smaller: v or -0.1?
-0.1
Let j = -2/771 + -127211/1542. Let n = j + 83. Let p(g) = g**3 + 3*g**2 - 3*g + 4. Let x be p(-4). Which is smaller: n or x?
x
Let r = -111 + 111. Suppose 5*z - 15 = -5*p, -z + p + 0 - 7 = r. Which is smaller: -3/5 or z?
z
Suppose 0*j + 2*w = j - 32, 2*j - w - 76 = 0. Let c be ((-35)/(-168))/(2/j). Are c and 4 unequal?
True
Let a(o) = -3*o**2 + 2*o - 14. Let v be a(0). Let i be (2/v - (-20)/(-56)) + 0. Let x = -0.3 - -1.