ppose 2*h - j = -4*f, -7*h = -2*h + f - 63. Which is greater: h or 12?
h
Suppose 4*u = 3*u + 1. Let x be -4 - -6 - 0/(-3). Is x at most as big as u?
False
Suppose 0 = 6*h - 11*h - m + 102, -h = 4*m - 28. Which is smaller: h or 31?
h
Let l = -42 + 42.002. Let p = l + -1.002. Is 7 > p?
True
Let i(p) = 21*p. Let x be i(1). Let y = x + -22. Is 32/3 greater than y?
True
Let m(t) = t**3 + 9*t**2 + 17*t + 12. Let i be m(-5). Is 29 greater than or equal to i?
True
Let b = 1059/10 + -106. Let p be (18/21)/((-5)/70). Let m be 3/p + 28/(-16). Is m not equal to b?
True
Let h(b) = -b**2 - 15*b - 1. Let v be h(-15). Let l be 141/45 - ((3 - -1) + v). Is l smaller than 2?
True
Let w = 98.26 - -1.74. Let t = -95 + w. Are t and 0.1 unequal?
True
Suppose -35*n + 62*n = -837. Is -30 at most as big as n?
False
Let a be 76/(-129) + (-58)/(-87). Let p = -2512/2451 + a. Is -1 at most as big as p?
True
Let u(t) = 0*t + 2*t + 3 + t - 4*t. Let z be u(7). Let k(i) = -i**3 - 2*i**2 + i. Let s be k(-2). Does s = z?
False
Let z = -1118/9819 - -3/1091. Let r(v) = -v + 6. Let t be r(5). Which is smaller: t or z?
z
Let z = 16 - -21. Let g be (-54)/(0 - 9/6). Which is smaller: g or z?
g
Suppose 2*y = -4*h + 53 + 77, 0 = -h - 5*y + 37. Are 27 and h non-equal?
True
Let i = -132 - -124. Let h = -45 + 34. Which is bigger: i or h?
i
Suppose -37 + 67 = 15*y. Which is smaller: 16/5 or y?
y
Let n be 2/9 + 35440/(-720). Are n and -49 nonequal?
False
Let y = 0.0525 + -5.3525. Is y <= 6?
True
Let u(g) be the third derivative of g**6/360 + g**4/8 + 4*g**2. Let l(v) be the second derivative of u(v). Let k be l(4). Which is greater: 9 or k?
9
Let m = -34 - -43. Let s(y) = 2*y - 19. Let i be s(m). Which is smaller: i or -3/10?
i
Let s be -1*(2 - 174) + 1. Is s greater than or equal to 172?
True
Let x be 4/7*630/(-540). Which is greater: -170/3 or x?
x
Let l = -6.87 - 0.13. Let f = l - 1. Which is smaller: f or -0.2?
f
Let k(p) = 2*p**2 + 17*p + 12. Let x be k(-8). Suppose 2*b = -x*b - 30. Is b greater than or equal to -5?
True
Suppose 5*g - 3*g + v = -5, -v - 5 = 0. Let x be ((-3)/(-9))/(5/(-27)). Is x less than or equal to g?
True
Suppose 3*r + 10 = -107. Let t = r - -46. Let g(v) = -v**3 + 6*v**2 - 4*v + 3. Let n be g(5). Is t equal to n?
False
Let s be 67/(-5 + 12 - 16). Which is bigger: -8 or s?
s
Let r = 38.4 + -33.4. Let z = 2.1 - 2. Is r <= z?
False
Suppose -3*l = 2*d - 56, -6*d + 2*l + 58 = -3*d. Let h(g) = -g + 32. Let v be h(d). Are 10 and v non-equal?
False
Let b be 1 + 28/(-16) + (-714)/(-24). Is b < 28?
False
Let s = -152 + 1978/13. Suppose -2*j - 9 = -13. Suppose -5 = j*b + 5, 0 = -2*y - b - 7. Is y at most as big as s?
True
Let y = -17.7 + 18.03. Is y <= -4?
False
Let a = 0.2 + -0.2. Let r = -23.403 - -23.3. Let t = r - -0.043. Which is smaller: t or a?
t
Let t be 1/(-2) + 117/222. Suppose 4*f - 5*z + 7 = -6*z, -5*f + 5*z + 10 = 0. Is f bigger than t?
False
Suppose -3*z + 25 = -2. Suppose -4*r = 19 - 7. Let b(g) = -g + 6. Let v be b(r). Does z = v?
True
Suppose -3*q + 4*i + 53 = 0, -2*q - q - 2*i + 41 = 0. Suppose w - 18 - q = 0. Suppose -3*o - 4*d + 136 = o, -5*o - 4*d + 168 = 0. Is o at least w?
False
Let l = -1593 + 1587. Which is bigger: 126 or l?
126
Suppose -2*c + 3*t - 522 = -4*c, 0 = 5*c + 3*t - 1296. Let w = c - 7739/30. Suppose -i + 4*i = 0. Which is smaller: w or i?
i
Let m be 1*1/5 + 18463/185. Is 97 smaller than m?
True
Let s = 135 - 79. Let c = 37 - s. Which is bigger: c or -17?
-17
Suppose 20 = -2*j + 4*t, -j - 2*j + 3*t = 15. Let y be (4 + -9 - -4)*j. Which is greater: y or -1/4?
y
Suppose 2*q + 0*k - k = 8, -k = 0. Is q <= 4?
True
Let w = 1105 - 1141. Which is smaller: w or 3?
w
Let l = -686915338/3224235 + -12/153535. Let v be 26 - 30 - (-217 + 0). Let y = l + v. Is y less than 0?
True
Let i = -48.38 + 48. Let k = 0.62 - i. Is k at least 14?
False
Let s(i) = -i**2 - 8*i - 4. Let x be s(-4). Let q = 91 - 71. Let k = q - x. Is 8 bigger than k?
False
Suppose -z = 3*z - 4. Let t = 542/7 + -4273/56. Is z less than t?
True
Let z = -355.4 - -352. Which is smaller: z or 2/9?
z
Let q(c) = -c**2 - 4*c - 2. Let y be q(-3). Let k be (1 - 8/(-4))/y. Suppose 0 = -4*f - 3*r + 52, 4*r + 60 = k*f + r. Is f at least 16?
True
Let t = -5/221 - -1381/2431. Let z = -15.14 + -1.76. Let s = z + 17. Are t and s nonequal?
True
Let p = -1771 + 1771. Let o be 8/36 + (-2)/4. Is o < p?
True
Let p be 0/(0 - (-2)/(-1)). Let c be (p - -2)/(7/14). Let b be (-5)/(-7) - c/(-14). Which is smaller: 3/2 or b?
b
Let d be -13 - (-15)/(90/48). Let a = -3 - 1. Does d = a?
False
Suppose -70 = 5*f + 4*v, -v + 23 = f - 2*f. Let t(k) = 30*k + 4. Let z be t(2). Suppose i + 39 = -i + 5*y, 4*i + z = -4*y. Which is smaller: f or i?
f
Let g = 0.9 + -0.5. Let l = 445.1 - 445. Is l <= g?
True
Let m(z) = -z**3 - 8*z**2 + 7*z - 29. Let j(n) = -7*n**2 + n - 1. Let b be j(-1). Let o be m(b). Which is smaller: o or -9?
o
Suppose 11*x - 858 - 264 = 0. Suppose -36 + 137 = n. Do n and x have different values?
True
Let j = -217 + 219. Is 0.218 equal to j?
False
Suppose -2*k + 45 - 7 = 0. Let a = k - 14. Suppose a*t = -3 - 32. Which is greater: -6 or t?
-6
Suppose 6 + 9 = 5*f. Let n(b) = -b + 4. Let w be n(f). Let v = -4/91 + 167/1729. Is v < w?
True
Let a = -3/80 - 37/80. Let w = a - 29/14. Which is greater: 0.1 or w?
0.1
Suppose 143 = -3*v - d, -2*d + 42 - 34 = 0. Is -49 equal to v?
True
Let r be 2/7 + (-2 - (-255)/(-35)). Is r < 2?
True
Let m be 34*4/24*-3. Let r = m + 16. Which is smaller: -4/5 or r?
r
Let h = 0.7 + 0.3. Let f = 5.8 - 5. Let c = f - -5.2. Which is smaller: h or c?
h
Let k be -35 - -41 - 4314/(-8). Which is smaller: k or 545?
545
Let l(a) = -2*a**2 - 6*a + 7. Let w be l(-6). Are -2/9 and w nonequal?
True
Let x = 9 + -9. Suppose 0 = -a - 3*s + 2*s + 7, -5*a - 2*s + 41 = x. Suppose -3*g + a = -6. Is g < 5?
False
Let c be ((-9)/(-96))/(3/(-24)*-2). Let l = 0 + 1. Is c > l?
False
Let c be -7 + 4 - 2/(4/(-122)). Let v = 146 - c. Is 87 at most as big as v?
True
Let o be (-2)/(-4) - ((-63)/6)/3. Suppose -5*w = 4*i + 11, 4*w + 18 = 2*i + o. Which is greater: -22 or w?
w
Let s be 1 + 0 + 2664/(-32). Let c = 82 + s. Which is smaller: 0.51 or c?
c
Let a be (9/3)/(3/2). Let f = 648 + -651. Is a less than f?
False
Let s = -3.1 - -3. Suppose 159 - 187 = 14*k. Which is bigger: k or s?
s
Suppose 2*v - 76 = 2*q, 4*q + 4*v - 114 + 290 = 0. Let i = q + 119. Is i equal to 78?
True
Let j = -3 - -3. Let g(f) = -4*f**2 + 6*f + 4. Let y be g(5). Let b be ((-16)/y)/((-2)/6). Which is bigger: j or b?
j
Let r = -880880 - -9681591/11. Let z = r - -734. Which is bigger: 0 or z?
0
Let i(y) = -y**3 + 5*y**2 + 20*y - 41. Let s be i(7). Does s = 0?
False
Suppose -69 = -p - 38 - 32. Let b = 31/5445 + 2/121. Is p at least as big as b?
False
Let a = -20643 + 103754/5. Which is smaller: a or 108?
a
Let n = 6 + -12. Suppose -4*h - 10*j + 15*j = 61, -3*j + 6 = h. Are n and h non-equal?
True
Let p = -0.76 - -38.76. Let x = -38.1 + p. Does x = -1.7?
False
Let f be -5 - (0 + 4)/(-4). Let q be (-6)/(-4) - 2/f. Suppose k - 6 = q. Which is bigger: k or 7?
k
Suppose -1147 = -5*i - 3*k, 2*i + 5*k = -0*i + 474. Which is smaller: 229 or i?
i
Let p = -98 + 97. Let w(k) = -k**3 + 8*k**2 - k - 10. Let f be w(7). Let s = 19 - f. Are s and p non-equal?
True
Let l = -458.042 - 0.958. Which is smaller: 1/4 or l?
l
Let v = -245 - -395. Suppose -4*b = v + 118. Are -66 and b equal?
False
Let r = -18 - -22. Suppose 0 = -19*a + 21*a - r. Are a and 1 non-equal?
True
Let t = 2 + -1.9. Let d(i) = i**3 - 14*i**2 - 36*i + 15. Let h be d(16). Let m = -39 - h. Is t at most m?
True
Let v(u) = -u**2 + 6*u - 5. Suppose 7*i = 2*i - 15. Let w be i/(-21) + 68/14. Let f be v(w). Which is smaller: 1 or f?
f
Suppose 4*r - 26 = 22. Let k be (-15)/4*2/(-12)*8. Which is smaller: k or r?
k
Let p(y) = y - 15. Let o be p(5). Let l(g) = 4*g**2 + 4*g + 2. Let z be l(-2). Let m be (-4)/z + (-4)/o. Which is smaller: 1/7 or m?
m
Let p = 2157/5 + -2583/5. Is p less than or equal to -85?
True
Let g(j) = j**3 - 6*j**2 + 17*j - 12. Let d be g(12). Suppose -x - 3*x - d = 0. Let l be 4/(-6) + x/(-72). Do l and 3 have different values?
False
Let v(p) = 4*p**2 - 5*p - p**3 - 5 + 0*p**3 - 4*p**2 - 5*p**2. Let w be v(-4). Which is smaller: -11/6 or w?
-11/6
Let s be 3/(-2 - -5) + 0. Let j be (-