42)*-1). Is 0.2 <= j?
True
Let y be ((-2)/4 - 1)/(6/(-572)). Suppose -5*q - 2*k + y = 0, -q - 2*k + 26 = k. Are q and 27 nonequal?
True
Let d(i) = -10*i - 2. Let n be d(2). Let j = -663 - -638. Which is bigger: n or j?
n
Let m = -47 - -56. Suppose 0 = -y - 3*h + 16, 2*h = -64*y + 61*y + 20. Is y >= m?
False
Suppose -173*y = -172*y - 13. Let n be 2/36*3*1. Is n not equal to y?
True
Suppose -370*h + 448 = -405*h + 28. Is -225/19 >= h?
True
Let d(o) = 2*o - 1. Let x be d(1). Let l(j) = 2*j**2 + 3*j - 171. Let i be l(0). Let s be ((-3)/i)/(1/3). Is s < x?
True
Let i = -0.56 + -0.04. Let o = 4.48 + -4.28. Is i at most as big as o?
True
Suppose -4*w = 5*q + 3634, -2*q - 6*w - 1449 = -9*w. Let f = 667 + q. Are f and -59 equal?
True
Let h be -6 - (6 + 2 + -11). Let o be (-10 - h) + 4 + 2. Let j = -1345 - -151984/113. Which is greater: j or o?
j
Let c(t) = -t**3 + 8*t**2 - 12*t + 38. Let m be c(7). Suppose -3*n + 2*q - 10 = -n, 4*q - 20 = -m*n. Which is smaller: 3 or n?
n
Let o = 219.23 + -219.23. Which is greater: -1664 or o?
o
Let s(g) = 4*g**3 + 90*g**2 + 46*g - 23. Let v be s(-22). Which is smaller: v or -26?
v
Suppose 5*c - 3*n + 5976 = -7*c, 4*c = -4*n - 1952. Which is smaller: c or -499?
-499
Let f = -592 + 595. Suppose 0 = -4*d + 582 - 226. Is f bigger than d?
False
Let f = 59 - -57. Let l = f + -115. Is l >= -18/41?
True
Let n(r) = -164*r + 34. Let x be n(2). Let u = x + 111. Are -184 and u equal?
False
Let a be 4/42 - (12 + (-36797)/3255). Which is smaller: -546 or a?
-546
Let v(b) = 4*b**3 + 6*b + 14*b**2 - 3*b - 4*b**3 - 18 - b**3. Let o be v(14). Let h be (o*-1)/(2/(-3)). Which is greater: 35 or h?
h
Let u = 4.22 - 9.42. Let c = 0.27 - 5.47. Let d = c - u. Is 9.7 greater than or equal to d?
True
Let w = -0.926 - 0.18. Let q = 459.894 - w. Is -0.1 < q?
True
Let u(r) = -r + 14 - 3 + 25 - 2. Let z be u(10). Is z < 24?
False
Let j be 8/4 - -2 - (-24508)/(-6314). Which is bigger: j or -1?
j
Let o = -6 + -5. Let c(y) = y**3 - 30*y**2 + 3*y - 50. Let x be c(30). Let i be 8/(-10) - 378/x. Which is smaller: o or i?
o
Let t(s) = -s**2 - 3*s + 4. Let f be t(-4). Suppose f = -5*a - 0*a. Suppose a - 3 = -3*u. Which is smaller: 2/27 or u?
2/27
Let d(z) = 7*z**3 - 23*z**2 + 10*z - 67. Let p be d(7). Which is bigger: p or 1281?
1281
Let x = 50 - 60. Let m be (9 + x)*2/((-10)/167). Let k = 1171/35 - m. Are k and 2 non-equal?
True
Let t be 9/(1 - 0) + 26 + -29. Let l = 339 - 3037/9. Let d = l - 37/18. Is d at least as big as t?
False
Let s = 1.7 + -3.7. Let f = 29 + -26. Let r be (-1)/2 - f/18. Which is greater: s or r?
r
Let h(z) = 28984*z + 414 - 127 - 29088*z. Let g be h(3). Suppose 55 = -2*i + 5. Are g and i equal?
True
Let r = 191.6 - 154. Let w = r + -43. Let u = w + 2.4. Is u <= -7?
False
Let s be (-1)/(-8) + (-793125)/1000. Which is greater: s or -794?
s
Let u(k) = 5*k**2 + 5*k - 3. Let n(y) = -23*y**2 - 19*y + 10. Let d(h) = 2*n(h) + 9*u(h). Suppose -3*q = q - 24. Let i be d(q). Is 0 at most i?
False
Suppose -3*w + 10*w - 14 = 0. Suppose -11*m = w*m. Is m less than or equal to -6?
False
Let d(i) = i**2 + 5*i - 31. Let u be d(-14). Let k = u + -169. Let f = -67 - k. Which is smaller: 10 or f?
f
Let w = 9217.17 - 9217. Is w at most 100.2?
True
Suppose -5*y = -10 - 40. Suppose -6*c = y*c + 16. Do -5/6 and c have the same value?
False
Let m be ((-5084)/(-40))/(7/(35/(-4))). Let i = -159 - m. Is i greater than -0.05?
False
Suppose -36*p = -69*p + 15*p - 97002. Is -5389 at most p?
True
Let g = 367/736 + 1/736. Let y be (16/(-6))/(6/72). Is y smaller than g?
True
Let l = -38894.0226 + 38894. Is l less than -0.08?
False
Let x = -55675 - -55620. Let p be -2*(-1)/(1/50). Let o = 47 - p. Is o != x?
True
Let w = 537 + -540. Let v be (-1)/(w*((-21)/(-81))/(-7)). Is -9 bigger than v?
False
Let x = -0.78 - 1.63. Let f = x - -138.41. Is f < -1?
False
Suppose 131 - 41 = -10*y. Let f be 14 + y + (-3 - 0). Suppose -5*l = -3*d + 123, 2*d + 118 = f*l - 7*l. Which is smaller: l or -26?
-26
Let i = 4596 - 4596.0713. Is -3 at least as big as i?
False
Let j = 283884 + -812192116/2861. Which is bigger: 0 or j?
j
Let l = -39/209 + -471/836. Which is smaller: l or -0.063?
l
Let h(y) = 2*y**2 - y. Let z be h(0). Let b(t) = t**3 + 6*t**2 + t + 9. Let l be b(-6). Suppose z = -6*f + 3 + l. Which is greater: 0 or f?
f
Let z = 2607 + -36487/14. Is z at least as big as 1?
False
Let q = 91 - 32. Let u = 0.0325 - 58.7325. Let a = q + u. Which is bigger: a or 0.21?
a
Let z = 2655775/8646 + -1843/6. Which is greater: -1 or z?
z
Let t = 9637/86062 + -9/2326. Which is smaller: t or 8?
t
Let n = -319 + 322. Let z be (n/39)/((-118)/(-4) - -4). Which is smaller: -1 or z?
-1
Let r = -93 - -98. Suppose -2*k + 2 = -r*u + 7*u, 3*k - 5 = -u. Suppose -k*t = -6*t - 12. Is t greater than 6?
False
Let o be -10 + 37392/4014 - 2/(-3). Let g = o + 42605/669. Which is bigger: g or 64?
64
Let m(g) = -g**2 + 21*g - 11. Let z be m(15). Suppose 82*p - 192 = z*p. Is 64 equal to p?
True
Let x = 10.5 + -18.9. Let u = 588.6 - 560. Let q = u - x. Which is bigger: q or -2?
q
Let s(q) = -112*q + 6596. Let l be s(69). Is -1132 >= l?
True
Let f(g) = -g**2 - 15*g + 15. Let x = -69 - -53. Let k be f(x). Which is smaller: k or 3/95?
k
Suppose 0 = s - 0*c - 5*c - 10, -4*s - c = 2. Let p be (-5)/(2*-115)*-10. Let i = -17/23 - p. Is s smaller than i?
False
Suppose 0 = -182*j + 186*j - 148. Suppose 0 = 10*b + 42 - 142. Which is greater: b or j?
j
Let l = -15.13 + 15. Are l and 10 unequal?
True
Suppose -318 = 3*y - 321. Let a = 4/15 + -1/30. Which is smaller: y or a?
a
Let i = -169 + -103. Let c = i - -272.2. Which is smaller: c or -100?
-100
Suppose 3 = -g, 9*o - 4*o + 5*g + 330 = 0. Suppose m - 4835 + 4890 = -2*d, -3*m + d - 172 = 0. Which is bigger: m or o?
m
Let u be 24/(-270) - (-14)/(-105) - (-1210)/18. Is u bigger than -101?
True
Let q = 162 + -166. Let j be 46 + 6*q/(-6). Is 0.1 at least as big as j?
False
Let z be 9/6 - (-3 + 54/12). Let p(a) = -a**3 - 6*a**2 - 5*a + 4. Let m be p(-5). Let r be m/(-6)*(-6)/124. Is z not equal to r?
True
Let r = -0.826 - -0.84. Let m = r - -2.586. Let i = m + -1.6. Which is bigger: i or -3/4?
i
Let m = -88 - -157. Let b be m/(-12) - -2 - 27/(-36). Which is smaller: b or -5?
-5
Let p(x) = x + 22. Let j(u) = 3*u + 66. Let h(o) = 4*j(o) - 14*p(o). Let c be h(-15). Let w = 0 - c. Which is smaller: 12 or w?
12
Suppose 2*q = 5*g + 6, g + 3 = -4*g + q. Suppose -2*b + 2*t = 2*b + 10, -4*b - t - 19 = g. Suppose -20 = 6*p - 32. Is p smaller than b?
False
Let s = 12960 + -12645.97. Let c = -314 + s. Which is smaller: -10/7 or c?
-10/7
Let q(s) = 8*s + 27. Let j be q(-5). Let l = j - -51/4. Which is smaller: -101 or l?
-101
Suppose -5*b + 5*t + 22 - 2 = 0, b = -t. Let o be (10/15*-3)/(4/b). Is o equal to -1/168?
False
Suppose 42 = -3*u - 171. Let c be 123/(11/41 + -2). Let k = u - c. Which is greater: -1 or k?
k
Let v = -2376 - -2376.112. Is v != 8?
True
Let d(o) = -o**2 + 25*o + 13. Let f be d(0). Suppose 0 = 22*y + 31 + f. Is -94 bigger than y?
False
Let i be (-2)/(-6)*8271/15. Let s = -22377710/53 - -2110186/5. Let j = s + i. Is 0 <= j?
True
Let s = 804 + -160. Let b = -1939/3 + s. Which is bigger: b or -18?
b
Let a be ((-9)/7614*-20)/(2/(-6)). Let z = 23.6 - 22.6. Which is smaller: a or z?
a
Let v = 20 + -20. Suppose 2*d + v*d = -4*l + 18, l + d - 4 = 0. Suppose 3*z - l*z = -10. Which is greater: z or 0?
z
Suppose -34 = -5*a + 81. Suppose 24*f = a*f - 105. Are f and -104 unequal?
True
Let i(u) = -u**2 + 2*u. Let z be i(3). Let h = -19847 + 243721/12. Let p = h + -463. Is z greater than or equal to p?
False
Suppose 219928 - 830187 = -154*z + 749869. Which is smaller: 8831 or z?
8831
Let h = 13833 - 55331/4. Which is smaller: 1/805 or h?
1/805
Suppose 0 = -2*h - 5*y + 33, 2*h + 3*y = 3 + 20. Let s(u) = -u + 16. Let c be s(11). Suppose -c + 2 = -l. Is h < l?
False
Let n = -45027 - -182494432/4053. Is 0 < n?
True
Let f = 151 - 315. Let r = f - -1146/7. Let l = -40 - -62. Is r less than or equal to l?
True
Let m = 12842 + -12861. Is m not equal to 79?
True
Let o(u) = u**2 + 28*u + 156. Suppose 9*c - 170 + 332 = 0. Let t be o(c). Is t < -21?
True
Let z be 2*(3 + 32219/(-10703)). Is z greater than or equal to -1?
True
Let x(q) = 7 - 4*q + 0*q - 6*q + 8*q + 2*q**2. Suppose -2*b = -0 - 4. Let f 