 + 16 = -5. Which is smaller: -21/292 or d?
-21/292
Let h = -10993/5 - -30532/15. Let b = -163 - h. Let m = 13 + -13. Is m at most b?
True
Let c = 3269 + -84987/26. Are 0 and c equal?
False
Let a(l) = -l**3 + 16*l**2 - 14*l + 8. Let p be a(15). Suppose -p*c + 14 = -21*c. Let f be (0 + -1)*(c + 25). Are f and -32 nonequal?
False
Let u = 26 + -18. Let t = 6.75 - -984.25. Let q = 991 - t. Are q and u equal?
False
Let b be (13/(4212/(-513)))/(2/18). Which is smaller: -13 or b?
b
Let x be (52/(-1638))/((-6)/14). Let p be (-2)/5*-5 + -2. Which is smaller: x or p?
p
Let a = -12.1618 - -12.22. Which is greater: 0 or a?
a
Let r = -163 - -165. Suppose -3*c + r*s - 21 = 0, -10*s + 2 = 2*c - 6*s. Which is greater: c or -10?
c
Let h = 1417327949/15120 - 1499817/16. Let n = -3/140 + h. Let q = -7 + 8. Is q greater than n?
True
Let v be -19 - -3 - 1*2/(-2). Let s be (-1)/(v/30*(-4)/(-10)). Let t be (-1)/s*-88 - (-9)/(-15). Are 17 and t equal?
True
Suppose -452*d + 453*d = 2. Let h(v) = 16*v - 1. Let p be h(8). Suppose 3*a + 2*w + p = 0, -d*a + 0*w - w = 86. Which is smaller: a or -46?
-46
Let o be (12/(-477))/(4/6). Let m(k) = -k**2 + 37*k + 1065. Let h be m(-19). Which is smaller: h or o?
o
Let h be -4 + 242/14 + 2/(-7). Let c = -32 + h. Let g(u) = u**3 - 9*u**2 + 10*u + 9. Let p be g(7). Is c < p?
False
Let m = 3/17 + 29/221. Let n = 6203 - 6205. Which is bigger: m or n?
m
Suppose 160*y + 5 = 161*y. Suppose -t = y*o - 10*o - 21, 0 = -5*o - 25. Is t < 4?
True
Let z be (2739/66)/(4/32). Which is bigger: z or 323?
z
Let p = -342.31 - 9.69. Let m = p + 347. Is m bigger than -57?
True
Let z be (3237/(-65))/(9/30). Is -148 smaller than z?
False
Let u = -11086 - -11087. Which is greater: 1/327 or u?
u
Let r(q) = -3*q**3 - 4*q**2 - 3*q - 1. Let l be r(-1). Suppose -6*i = -i + 5*a + 115, 0 = 3*i + 2*a + 64. Is i >= l?
False
Let z = 44 - 31. Suppose 5*j = -4*j + 126. Is z smaller than j?
True
Suppose -954*w + 950*w = -4*k - 24, 0 = -5*w + 4*k + 24. Are 40/127 and w equal?
False
Let s be ((-8)/(-24))/(4/360). Let u be 8/(-16) - (-69)/s. Which is greater: 1 or u?
u
Suppose 63021 = 73*k - 835908 + 71474. Which is bigger: k or 11334?
k
Suppose 225*t + 36*t + 261 = 0. Which is smaller: t or 2/2275?
t
Let s = -159279 - -159280. Let l be -1 + -1 + 226/114. Which is smaller: s or l?
l
Let s(b) = 23*b + 18. Let g(c) = 44*c + 35. Let z(w) = -4*g(w) + 9*s(w). Let u be z(3). Is u less than 115?
False
Let t = 5772/20153 + -2/2879. Do t and -22 have different values?
True
Let a = -323729/13 + 24752. Is -151 greater than or equal to a?
False
Let u(a) = -a**3 + 8*a**2 + 8*a + 2. Suppose -2*q - 10 = 0, 0*i = i + 5*q + 17. Let n be u(i). Suppose -15*g + n = -9*g. Which is smaller: 9 or g?
9
Let x = -155 - -181. Suppose 14 - x = 2*j. Let u(t) = -t**3 + 2*t**2 + t + 3. Let q be u(3). Which is smaller: j or q?
j
Let h = -189 + 32. Let k = -147.1 - h. Is k >= -0.1?
True
Let y = -14.9 + 1.9. Let a = -0.0736 + 427.0736. Let n = a - 426.9. Is y less than or equal to n?
True
Let j(z) = -z**2 + 10*z - 20. Let x be j(6). Suppose 3*w - 21 = -x*w. Suppose -5*q - w = 62. Which is smaller: -10 or q?
q
Let s(i) = -8*i + 4. Let w be s(-3). Suppose r + w = -3*t, r + 1 = 4*t - 55. Let z = 3560097/5 + -712019. Which is bigger: r or z?
z
Let m(c) = -2*c**2 + 24*c - 22. Let z = 518 + -508. Let f be m(z). Is 20 not equal to f?
True
Let q = 3604 - 3604. Which is smaller: 2/623 or q?
q
Let v = 16.0566 - -0.1434. Let d = -21 - -34. Let f = d - v. Which is bigger: f or -1?
-1
Let f be (-12390)/63 + -4 + 11. Is -190 bigger than f?
False
Let j be -3*1/(6/(-8)). Let z be 17/j + 57/76. Suppose 2*y = 6*y - z*y. Which is greater: y or 1/98?
1/98
Let s = 3791/3 + -1294. Let p(f) = -3*f + 17. Let l be p(16). Let x = l - s. Is x less than -2?
False
Suppose 3*d - 3179 = 4921. Let k be 2 - 9/4 - d/(-48). Let w be (-2 - k/(-26))*2/2. Is -1 at least as big as w?
False
Let s = 0.43 - 0.409. Suppose 7*j - 5*j - 62*j + 60 = 0. Which is smaller: j or s?
s
Let r = 9/11 - 3/44. Let k be 11 - (0 + 9) - 35/16. Which is smaller: k or r?
k
Let t be (-4*2/(-20))/85. Let l be (1/2 + 23 + -22)/((-93)/62). Is l at most t?
True
Let m = 0.49 - 6.49. Let v = -1.19 + 1. Let k = v + 0.2. Which is bigger: k or m?
k
Suppose q - 3*q + 3*j = 54, -5*j = 3*q + 100. Let g = 11272 - 540983/48. Let w = -19/16 + g. Is w > q?
True
Let m = 0.17 + 56.33. Let o = -58 + m. Let j = 1 + -0.9. Is o equal to j?
False
Suppose 5*a - 1176 - 494 = 3*w, 5 = -w. Let i = 352 - a. Is 21 at least i?
True
Let j = 67 + -61.4. Let z = -878.8 + 876.4. Let t = z - j. Which is smaller: t or 3/2?
t
Let t(r) = r**3 + 3*r**2. Let j be t(-2). Let m be (j - 2)/((-8)/(-5)). Let y be (-162)/972*-2*1. Is y >= m?
False
Suppose 9246 = 393*d - 390*d. Suppose 966 + d = -22*m. Which is bigger: -182 or m?
-182
Let j = 4997 + -4961. Is 3/40 >= j?
False
Suppose -8*d - 3*t = -5*d - 75, -75 = -5*d + 5*t. Let i(r) = 6*r - 12. Let q be i(d). Is 108 greater than or equal to q?
True
Suppose -1516 = -551*n - 10816 - 10536. Is n > 68/9?
False
Let t be ((-10)/4)/(3/(-24)*2). Let d be (-42)/(-4)*(t - 8). Which is greater: 17 or d?
d
Let n be (-166)/162 + (-1)/(-1). Let k = 1890.1 + -1890.4. Is n <= k?
False
Let u = 849 - 832. Which is smaller: u or 147/8?
u
Let r(j) = 3*j**2 + 9*j - 29. Let i be r(-10). Let k = 195 - i. Which is greater: k or 69/5?
k
Let m(n) = 92*n - 410. Let g(p) = -278*p + 1230. Let o(l) = 5*g(l) + 16*m(l). Let w be o(5). Let u be (-12)/(-22) + (-4)/(-22). Is w bigger than u?
False
Let t be (-4)/(-7)*(-28)/8*-1. Suppose 0*v = 2*v + t*v. Suppose -8 + v = 4*z. Are z and -15/14 equal?
False
Let j(i) = 2*i**2 - 88*i + 85. Suppose 32*o - 33*o + 43 = 0. Let u be j(o). Which is bigger: u or 1/161?
1/161
Suppose 3*u = d + 12, 3*d + 4 = -0*u + u. Let m be (11 - 4 - d) + 3. Let r(k) = k**2 + 7*k - 9. Let p be r(-9). Are p and m equal?
False
Suppose -8*d = -d - 77. Let k = d + -8. Let a be 0/(k/((-3)/(-2))). Which is bigger: a or 1?
1
Suppose -5*d = -4*g + 40, 4*g + d - 17 + 1 = 0. Suppose -g*t = -t + 76. Let k(w) = 87*w - 367. Let q be k(4). Is t smaller than q?
False
Let y = -1329 - -861. Which is bigger: -471 or y?
y
Suppose y - 57 = -71. Let u = y + 32. Let h = 29 - u. Which is smaller: h or 10?
10
Suppose 2*g + 3*q - 92 = 0, 5*g - 4*q - 97 = 110. Suppose -3*w = 2*k - 148, -2*k - 89 = -2*w + 13. Let j = 92 - w. Is j > g?
False
Let q(y) = y - 1. Let r(d) = 8*d - 4. Let z(l) = 6*q(l) - r(l). Let c(v) = -2*v**2 - 33*v + 142. Let t be c(-20). Let j be z(t). Which is smaller: j or -9?
-9
Let x = 692 + -49823/72. Let v be (-32)/(-18) + (-34)/(-153). Suppose 7 = -5*a - 4*z, -4*a - z - 5 = v*z. Which is bigger: a or x?
a
Let l = 5487 - 5485.0166. Let r = l + 0.0166. Which is bigger: r or 42?
42
Let i be (1 + -4)*(-2)/(-2). Let r be ((-18)/(-12))/(i/(-30)). Suppose r*d - 12*d = 195. Is d less than 65?
False
Let f = -96 + 199. Let j = -1224.1 + 1224. Which is bigger: j or f?
f
Let m = 1565/9 - 34528/207. Which is bigger: m or 8?
8
Let n = -2028.2 - -1845. Is n at least as big as -1/7?
False
Suppose -i + 20 = -17*g + 15*g, -3*g - 5*i = 4. Let t be (-876)/112 - (-3)/(-7). Is t at least as big as g?
False
Let g = 613/582 + -114721/41322. Let k = -4/71 - g. Let f = 124 - 121. Is f < k?
False
Suppose 8*t - 55 = 1. Suppose -2*j - 4*k + 11 = t, 5*j - 4*k = -32. Is j >= -5?
True
Let b = -20/189 + 226/945. Let n(f) = 6 - 2*f + 0*f + 0*f + f. Let u be n(5). Which is bigger: u or b?
u
Suppose -30*q - 11 = -41. Are q and 6/43 equal?
False
Suppose -4*w + 6 - 3 = v, -9 = 3*w - 3*v. Let g be 11646/50 + -2 + 3. Let z = g + -234. Is z less than w?
True
Suppose -2*c - 342 = r, -3*c - 234 - 286 = 5*r. Which is smaller: -172 or c?
-172
Let y(s) = -s**2 - s + 1184. Let a be y(0). Let o = a - 53282/45. Let w be 8 + 47/(-5) + ((-224)/(-35) - 6). Which is smaller: w or o?
w
Let i be -11*(-1237)/(-2268) - -2 - (-4)/1. Which is bigger: i or 1?
1
Suppose 75*f = 5*v + 71*f - 260, 0 = 4*v - 2*f - 202. Let o be (3 + 46)*v/56. Which is smaller: 47 or o?
o
Let x = 3324 - 3167. Which is smaller: x or 152?
152
Let m = -1468 - -1467.7. Which is smaller: m or 508?
m
Let o = 7.59 + -9.59. Let t be (224/78)/(28/(-126)). Let n = 7715/598 + t. Which is smaller: o or n?
o
Let h = -0.879 + 0.536. Let u = 2.043 + h. Which is smaller: