+ 81. Suppose 2*a - g = 6*a. Let b = 18 - 34. Is b <= a?
True
Let o = 1721/3 + -624. Suppose -80*k - 2355 - 1645 = 0. Are k and o unequal?
True
Let m be 4 - 1 - (0 + -4)*1. Suppose -m*o = -4*o + 3. Let d be (-77)/25 + 14 + -11. Is d less than o?
False
Let q = -13108 - -12868. Is -1682/7 > q?
False
Let k = 228 + -225. Let x = k - 3.3. Which is greater: 12 or x?
12
Suppose c = 5*k + 43, 0*c + c + k - 61 = 0. Let v = c - 59. Let i = 62 + -193/3. Is v less than or equal to i?
False
Let i = 3835 + -3834. Is i greater than or equal to -3/3056?
True
Let m(n) = -n + 5. Let d be m(-5). Let p(b) = 36*b + 1. Let g be p(-2). Let s = 80 + g. Which is smaller: d or s?
s
Let f be (-1)/(-227)*-3*23. Is f less than -1?
False
Let d = 386.386 + 1.614. Which is greater: d or -3/5?
d
Let d = -0.5579 + 0.5239. Which is smaller: d or 2?
d
Suppose 63*z - 96*z - 7128 = 0. Which is smaller: z or -213?
z
Let b = -89478.4 - -89478. Let j be -1 - 35/(-11) - 2. Is j at least as big as b?
True
Let w be (7/(-5))/(36/(-5) - -7). Let n(a) = 2*a - 18. Let k be n(10). Suppose 4 = -k*m + 4*l - 4, 5*m - 55 = -5*l. Which is bigger: m or w?
w
Suppose 0 = b - 3*b + 42. Let l be 37 - 2 - (73 - 60). Are b and l equal?
False
Let r be (-7*(-2)/2)/(14/(-28)). Suppose 3*x - f + 5*f = -10, -4*x + 5*f - 3 = 0. Let v be -14 - (2 + 0) - x. Is v < r?
False
Suppose 2*v + 4*f + 98 = 0, -314 + 90 = 4*v + f. Are -59 and v non-equal?
True
Suppose 0*r + 2*r - 4*n + 10 = 0, -2*r + 8 = 5*n. Let v = -44 - -47. Let i be (15/126*v)/(3/2). Which is greater: r or i?
i
Let v = -224 + 217. Let q be (8 - 6) + (v - -4). Is q > 2/177?
False
Let b = -3/219401 + -5451017833/877604. Is b greater than -6211?
False
Suppose -4*r + 7*r = 5*w - 64, -3*w = -r - 40. Is w < 67/6?
False
Let f = 0.26193 + 4.64607. Which is bigger: 0.1 or f?
f
Let j be ((-2)/6*(1 + -2))/((-835)/(-10521)). Let a be (-1 + 1)*(-2)/(-2). Suppose 2*t = -a*t + 6. Which is greater: t or j?
j
Let m(b) = 11*b**2 - 503*b - 44. Let u be m(46). Which is greater: 281/3 or u?
u
Suppose -t = 5*n + 27, 4*n - 17*t = -19*t - 24. Let c be (3 - 3) + n - (-5 + -1). Let k be 4/10*5/11. Which is smaller: k or c?
k
Let k(c) = c**3 - 5*c**2 + c + 4. Suppose 8*v - 25 = -1. Let p be k(v). Let a be p - ((-12)/(-30) - 16/(-10)). Is -13 < a?
False
Let y = -245 - -248. Suppose 5*g - 145 = -35. Let c be 6/27*1 + g/63. Which is bigger: y or c?
y
Suppose 3*h + 4*s = 178, -17*s + 13*s = -4*h + 256. Is h at least 62?
True
Let n = -7952 - -4991. Is -2960 less than n?
False
Let y(o) = 2*o**2 + o - 4. Let n be y(2). Let a be (4/n)/((-3)/36). Let x = a - -8. Which is smaller: x or -2/43?
-2/43
Let s = -0.11 - -0.078. Let f be ((-418)/(-11495))/(2/10). Is s less than f?
True
Let x(l) = l**3 - 3*l**2 - 4*l + 6. Suppose -2*h + 68 = 274. Let n = -99 - h. Let k be x(n). Which is smaller: 39/7 or k?
39/7
Suppose -2*m - 1540 = -13*m. Let h = -50 + m. Let l be 1674/h + 6/(-10). Is 18 not equal to l?
False
Let u be (-29)/(28101/(-1445)) - 8/6. Suppose 6*m + 8 = 10*m. Suppose 0 = -m*i - 0*i. Which is smaller: i or u?
i
Suppose 4*t = -5*s - 415, 3*s + 4*t + 71 = -186. Suppose -239 = 35*x + 2596. Is s greater than x?
True
Let q be -5 + 1994/(-1850) - (-18)/3. Are 0 and q non-equal?
True
Suppose -4*o - 5*d = -25, 3 = -o - 3*d + 4. Suppose o*x = 7 - 97. Is -7 < x?
False
Suppose -17*x = -22*x - 160. Let u = 88 + x. Which is bigger: u or 54?
u
Suppose -321*t + 334*t = 1404. Let b = t - 57. Which is greater: 155/3 or b?
155/3
Let k be (7 - 2) + 13 + -12. Let q be ((-10200)/(-63) - 5) + k/63. Is q smaller than 156?
False
Let v(h) = -5*h**3 + h**2 + 5*h + 5. Let s be v(-2). Suppose j = -5, -s = -4*m + 5*m + 4*j. Let o be (-1 - 1) + (-23 - m). Is -5 at most o?
False
Let s(o) = o**2 + 20*o - 20. Let d(f) = f**3 + 17*f**2 - 17*f - 3. Let u be d(-18). Let r be s(u). Which is smaller: 0.065 or r?
0.065
Let i = -15.22 - -0.22. Let a = -15.336 - -0.136. Let v = a - i. Is 6 at most v?
False
Let s be 442/455 - 8/14. Let t = 742 + -753. Is s less than or equal to t?
False
Let c(n) = -126*n - 3978. Let z be c(-24). Which is greater: z or -955?
z
Let i(a) = -89511*a + 89507*a - 34 + a**2 + 120. Let x(z) = z + 1. Let g be x(-1). Let r be i(g). Which is smaller: 85 or r?
85
Let g = 25332 + -25310. Which is bigger: g or 6/17?
g
Let r(a) = a**2 + 9*a - 18. Let s be r(-12). Let u = s + -18. Suppose 9 = -4*m + 3*v, -m + 4*v + u*v + 1 = 0. Is m equal to -0.04?
False
Suppose s - 2*p + 4 = 0, -p + 6 = 3. Suppose -6 = -5*j + 3*j - 5*w, 0 = j + 5*w + s. Suppose -a = -2 - 7. Which is bigger: a or j?
a
Let h = 400 - 1613/4. Let s(c) = c - 6. Suppose 2*l - 32 = -4*u - 3*l, -4*l + 19 = u. Let o be s(u). Is h bigger than o?
False
Suppose -13 = w - 0*w, 4*j + 1196 = 4*w. Suppose 5*k - 1297 + 353 = 3*s, -3*s - 934 = 5*k. Which is smaller: s or j?
s
Let p be 7 + (-184)/32 + 473258/472. Let k = 1004 - p. Is k greater than or equal to 0.1?
False
Let a be (-5)/2*((-84)/10)/7. Let x(i) = 32*i - 86. Let s be x(a). Do 11 and s have the same value?
False
Let l = -612.478 + 613. Let d = -0.516 + l. Do 1 and d have the same value?
False
Suppose -y + 6*y = 3*g - 18, 2*g + 1 = -y. Let o be g - 0 - -3 - 2. Let n be (o*4/(-5))/(8/(-140)). Is 28 less than or equal to n?
True
Suppose 5*m - 1 = 3*u + 11, -2*u = -m + 8. Let x = -465 + 467.2. Are u and x equal?
False
Suppose 3 = c + 5*n, 7*n = 5*c + 2*n + 45. Let u = 7162 - 64528/9. Is u greater than or equal to c?
False
Let l(r) = r**3 - 49*r**2 - 157*r + 46. Let s be l(52). Let d = -0.041 + 2.041. Is d equal to s?
False
Let c = 12076.3 - 12078. Is -51 > c?
False
Let c = 7/5896 - 73413/51902488. Is 1 <= c?
False
Let h = 6188.7 - 6242. Which is greater: h or -1?
-1
Let i = -12351 + 14108. Is i less than or equal to 1757?
True
Let f = 107.031 - 107. Let k = -0.269 - f. Suppose 0*g = -3*g + 21. Which is smaller: g or k?
k
Let j(v) = v**3 - 6*v**2 - 15*v - 5. Let r be j(8). Suppose r*o + 110 = -d, -2*d = 2*o - 0*o + 80. Let y = 35 + o. Are 7/3 and y nonequal?
True
Suppose -138 = -2*k + q - 5*q, 3*k = -q + 197. Let j(b) = 11*b. Let y be j(6). Let x = k - y. Does x = -1/119?
False
Let n be 2 + (-2)/(-10)*0. Let o be -4*(22 + -20)*(-19)/n. Let z = o + -79. Is z at least -4?
True
Suppose 8*m - 9 = 23. Suppose y = 2*h - 0*h - 1, -m*y = -2*h - 20. Is 2 greater than y?
False
Let c = -67 + 835. Let y = c + -777. Which is greater: y or 28?
28
Let a be 2/7 + 246/21. Let p be 2*(-10 - (24 - 35)). Which is bigger: p or a?
a
Let l = -2095/6 + 350. Let t = 107/2 + -551/6. Let x = t + 38. Which is smaller: l or x?
x
Suppose -5*v + 5*b + 10 = 0, -b - 2*b = -4*v + 9. Suppose -6*z = 5*c - z - 45, 0 = -v*z - 12. Let w = 101/122 + 712/61. Which is greater: w or c?
c
Let k be (4 + 0 + 4)*(-9)/(-6). Suppose 2*w - 90 = k. Let m = -201/4 + w. Is m bigger than 1/2?
True
Let b(k) = k**2 - 8*k - 2. Let l(j) = -j**3 + 4*j**2 - j + 7. Let i be l(4). Let c be b(i). Suppose 6*y - 75 = 11*y. Which is greater: y or c?
y
Let b = -0.11 - -0.11. Let a = -322 - -322.01. Which is smaller: b or a?
b
Let i = -177 + 174. Let b be 72*(i/(-6))/1. Which is greater: b or 260/7?
260/7
Let r = 849/7 + -4266/35. Suppose 0 = 3*f + 2*c + 1, -2*f - 3*c + 3 + 3 = 0. Let l = f - -2. Is l < r?
True
Let q = -6665 + 6292.68. Let z = q + 372. Is z greater than or equal to 0.05?
False
Let y(i) = i**2 - 205*i + 2495. Let x be y(13). Which is smaller: -26/953 or x?
x
Let m = -38 - -30. Let a = 16 + m. Let y = 0.023 - 0.083. Which is smaller: y or a?
y
Let i = -122326/244369909 - 4/68317. Which is smaller: 0 or i?
i
Let g = 29/27 - 937/864. Let k be 3/(-33) + -4 + 510/165. Is g greater than k?
True
Let w be (10 - (-436)/(-44)) + (-3870)/(-22). Let o = -261 + w. Is o > -86?
True
Let t = -49435/9061 - 4/697. Is -6 equal to t?
False
Let r be 10*2*(2 + 1). Let x be (-228)/r - (0 + -4). Is x >= -4?
True
Suppose 0 = -0*m + 4*m - 4. Let k = 18671351/480 + -116695/3. Let g = 9/32 - k. Which is smaller: m or g?
g
Let s = -4220 - -4220.1. Which is smaller: s or 324?
s
Suppose 668 = -2*l + u, 5*l - 42*u + 45*u = -1703. Which is smaller: -4 or l?
l
Let u = 0.743 + -0.68. Let m = 25.937 + u. Let t = -26.3 + m. Is t at most as big as -0.07?
True
Let v = 2/4901170747 - -10027074876261709/1181182150027. Let k = v + -8489. Which is bigger: k or 0?
k
Let c = -367562/17 + 21