ose -61*i + 52*i = -927. Let d be i/(-31) + (-24)/(3 - 9). Is 1 >= d?
True
Suppose v = 8*q - 5*q - 5, -2*v - 6 = -4*q. Is v <= -3/1624?
False
Let k be (6264/144)/((-3)/2). Is k not equal to 40/21?
True
Let n be (-57)/(-4) + (-32)/128. Suppose 15*j + 3 = n*j. Is j at least as big as 27?
False
Suppose 0 = -s + q - 82, q - 3*q = -4*s - 330. Let x(v) = 7*v + 23. Let g(h) = -h + 2. Let b(w) = -2*g(w) - x(w). Let j be b(11). Which is smaller: j or s?
s
Let y(k) = k**3 + 13*k**2 - k - 12. Let t be y(-13). Let s be (28/56)/(1 - 34/36). Suppose -s*h + 15 = -3. Is h at least t?
True
Let h = -0.227 - 0.773. Suppose -i + 3*x + 2 = 0, 7*x - 12 = 4*i + 5*x. Do i and h have different values?
True
Let x = 1.61 + -1.7. Suppose -15*r - 40 = -25. Let d be (3/27*r)/(2/(-9)). Do d and x have the same value?
False
Suppose -12*j = 10*j - 66. Let u(i) = 5*i + 41. Let r be u(-6). Which is smaller: r or j?
j
Let r = 1.5 + 0.5. Let a = -143 - 148. Let j = a + 292. Does r = j?
False
Suppose 0 = 12*p - 241 - 191. Let s(n) = -p + 17 - 11*n - 6. Let r be s(-3). Is 6 >= r?
False
Suppose 779*v - 778*v + 4*p + 1169 = 0, -2*v = p + 2282. Are -1141 and v nonequal?
True
Let k = -897/5 - -2444/15. Which is greater: k or -17?
k
Let i(x) = 2*x**2 - 86*x - 85. Let y be i(44). Are 26 and y equal?
False
Suppose -600067*p + 600397*p = 0. Let v = -0.02 + 2.02. Let k = -2.08 + v. Which is bigger: p or k?
p
Suppose 4676 - 199 = -37*u. Is u at least -118?
False
Suppose 2*q = -0*q + 64. Suppose -24*g = -7*g - 102. Suppose 22 + 164 = g*x. Which is greater: x or q?
q
Let b be (-10)/4*(440817/715 + 2). Let f = -1546 - b. Which is bigger: 0 or f?
f
Let b = 15.9 - -1.1. Let a = 81 - 62. Let x = a - b. Is 0.01 <= x?
True
Let o = -4128 - -4137. Which is bigger: 189 or o?
189
Let k = -0.6386 - -6.6386. Which is greater: k or 1700?
1700
Let y = 16351 - 18252. Which is smaller: y or -1902?
-1902
Let x = -36 - -37.07. Let c = x - -17.93. Which is bigger: -2 or c?
c
Let t = -144.2 + -29.8. Let u = t - -183.9. Let x = -14.9 + u. Is 9 less than or equal to x?
False
Let m = -2102 + 2048. Is 24 smaller than m?
False
Let g = 2509735/6174 - 2/3087. Which is smaller: 407 or g?
g
Let u be -1 + (2 - (-88)/6) + -2. Suppose 0 = 4*s - 5*v - 80, 7*v - 12*v - 20 = 0. Are u and s unequal?
True
Let k be ((-64)/100)/((-16)/4360). Is k greater than or equal to 175?
False
Suppose 4*f = 4*h + 16, -f + 0*h = 2*h + 2. Suppose 2*c - 6 = -f. Let o(l) = 3*l - 33. Let r be o(12). Is r less than c?
False
Suppose 727 = 2*k - 0*k - f, 3*k - f - 1089 = 0. Suppose 470 + k = -13*j. Is j >= -1?
False
Let u = 18794 + -8785. Is u <= 10009?
True
Suppose -656 = 4*a - k, 5*a + 4*k = 6*a + 164. Let g be (1/9)/(738/a). Which is smaller: -1 or g?
-1
Let z = -11/158 - 817/8690. Let f = 1/5 - z. Let y = 225 - 228. Is y greater than f?
False
Let j = 18.367 - 0.167. Let q = -13 + j. Let a = q + -5.1. Which is bigger: a or -16?
a
Let t = 222 - 5107/23. Let l = -8865.2 + 8116. Let o = l - -749. Which is smaller: o or t?
o
Let h = -1290.6 + 330.6. Does -1 = h?
False
Let r be ((-255)/20)/(-17) + (-86)/8. Let f be 2 - -3*(-159)/45. Are r and f non-equal?
True
Let j(x) = -x**3 + 7*x**2 + 10*x - 19. Let b be j(6). Let z = b + -90. Let a = 6 + -17. Is z > a?
False
Let d be ((-435)/70 + 6)/((-12)/(-72)). Which is greater: d or -41?
d
Let x(d) = -7*d - 14. Let t be x(5). Let y be (0/2 - -2) + (-4 - -49). Let s = y + t. Are s and -3/5 nonequal?
True
Let y(j) = j**3 - 7*j**2 + 15*j - 25. Let x be y(5). Let o = -2929191/532 - -5506. Which is smaller: o or x?
x
Let s = 42467 + -26978. Suppose -2*w - 7920 = 2*i - 158, -3*w + s = -4*i. Let b be i/(-45) - (-12)/(-90). Which is greater: b or 85?
b
Let r(j) = j**3 + 3*j**2 - 4*j - 3. Let p be r(-2). Suppose 0 = 6*g - p*g - 3. Let y be ((-44)/(-16))/(g/(-4)). Is -2 <= y?
True
Let v be (-47)/(-1034) - (-23)/(-22). Is v > 6/2159?
False
Suppose -203*d + 233*d = 0. Is -2/17019 less than d?
True
Suppose -5*r + 11*r = -936. Let z = r - -157. Let u = 586/15 + -150632/3855. Which is smaller: z or u?
u
Let a be (-3328)/(-320) + (-13)/(-5). Which is bigger: a or 5?
a
Let m = -20.25 - -20.347. Which is bigger: m or 15?
15
Let c = -13979 - -13978.9225. Which is bigger: 2/7 or c?
2/7
Let z(i) = -2*i**2 + 17*i + 1 + 16*i + 23*i**3 - 49*i + 15*i. Let b be z(1). Let o be 21 + -1 + 2/2. Is o greater than b?
False
Let p = -534/173 - -1607355/520903. Which is greater: 1 or p?
1
Suppose 0*g - 3*g - 18 = 0. Let c = 410 - 419. Is g smaller than c?
False
Suppose -3*f + 4*d - 17 = -8*f, 5*d - 15 = 0. Suppose f = -4*y - 3*j, 7*j - 3*j + 12 = 0. Which is greater: y or 14/15?
y
Let o = -11.041 + 11. Let g = 30.279 - 30.3. Let c = o - g. Which is smaller: 3 or c?
c
Let g = -2.5 - -2.3. Let d be (-2774)/(-8360) - (-2)/(-11). Are g and d equal?
False
Let o be 9786/35*(-3)/36*4. Which is smaller: o or -94?
-94
Suppose 0*a + 99 = a - 2*d, 4*d - 509 = -5*a. Let i = a - 79. Let n = i + -22. Which is greater: -2/201 or n?
n
Suppose 8*d - 159 = 201. Let c be (42/d)/((-40)/(-24)). Suppose 2*s + k = 8, 13 = 2*k + 5. Is s at least as big as c?
True
Suppose 0 = 26*g + 30*g + 11*g + 8308. Does g = -24?
False
Suppose -116 = 4*t - 2*g, 0 = -4*t + 5*t + 2*g + 24. Let r be 23 - t - (-18)/2. Is r > 59?
True
Let x = -0.0251 - -0.3191. Let h = -0.294 + x. Let u be 2/4 - 2/(-4). Which is greater: h or u?
u
Let b = -8 + 21. Suppose -b = -2*q + 7. Let o = 1434 - 1421. Which is bigger: q or o?
o
Let f = -520/249 - -383948/184011. Is -1 less than f?
True
Let y = 11956 - 83696/7. Which is bigger: 50/11 or y?
50/11
Let i(g) = -2*g**3 + 6*g**2 + 3*g - 10. Let o = 15 + -12. Let x be i(o). Let r be (-1 + 3)/(10/(x - -6)). Which is smaller: 1/36 or r?
1/36
Let a = 22 - 22. Suppose 0 = -i + 2*i - g - 70, a = -i - 4*g + 80. Let y = i + -59. Which is bigger: 3 or y?
y
Let g = 1588 - 1907190/1201. Which is smaller: g or -1?
-1
Let s = 131234/7 - 18734. Is 15 >= s?
True
Let z = 1707 - 1019. Which is smaller: -1/2 or z?
-1/2
Let s be (-616 - -616) + 24 + 1. Which is bigger: s or 782/31?
782/31
Suppose 4*n - 4*l - 216 = 0, -5*n + 3*l = -6*n + 74. Suppose 3*b - 4*b + 60 = 0. Which is smaller: n or b?
n
Let u = 0.2148 - 0.2518. Is 40/11 greater than or equal to u?
True
Let r = 20327 - 20367. Which is smaller: -682/17 or r?
-682/17
Let c = 337441/490 + 367/98. Which is bigger: c or 692?
c
Let r = -3676 + 7740. Are 4063 and r equal?
False
Let b be -32*((-3)/9)/((-14)/21). Let f be 21/(-18) - (-3 - b/6). Is f less than -7?
False
Let q = -1306213/8016 + 8888/167. Let b = -323/3 - q. Which is smaller: 3 or b?
b
Let g = -8101 - -8101. Is g smaller than 57?
True
Let p = -112604 + 563022/5. Suppose 5*g - 157 = a, g - 132 = -3*g + 4*a. Let u = g - 55. Which is smaller: p or u?
u
Let d = -699/8 + 103983/1192. Do d and -0.1 have different values?
True
Let a(k) = -5*k**3 - 14*k - 8. Let q be a(10). Let g be (4/(-14))/1 + q/63. Are g and 2 nonequal?
True
Let n(y) = 2*y**3 - 28*y**2 + y + 5. Let s be n(14). Is 7 at most s?
True
Let l be -5 + 35*8/20. Suppose -4*j - m = l, 2*m = -5*j + 2*j - 13. Which is smaller: j or -14/41?
j
Let w = -1428107/108 - -52997/4. Is 26 less than or equal to w?
True
Let h = 232559/250 + -4651/5. Are h and -2/7 nonequal?
True
Suppose 168 = -3*l - 4*j, 0 = 2*l + 2*l - 2*j + 224. Let u(k) = 16*k - 23. Let y be u(11). Suppose -3*n = 3*g + y, -5*n + 5*g = 274 + 31. Is l != n?
False
Let q = 118 - 113. Suppose -q*v = 9*v + v. Is v >= 4/13?
False
Suppose 306*f - 313*f = -539. Suppose f*l - 29*l = -144. Let j be (-1 - (-1 + 0))/2. Are j and l nonequal?
True
Suppose 21*m - 3*m = -114*m + 34452. Which is greater: m or 1837/7?
1837/7
Let m = 5.4939 - 5.4939. Let q = 245.07 + -247. Is q at least m?
False
Suppose 0*u + 12 = -2*u. Let o be 27/6*2/u. Let r be (-68)/(-85)*(-205)/82. Is r greater than or equal to o?
False
Suppose 17*l = 22*l - 865. Let i = l - 1213/7. Let t = -5 - -6. Which is greater: i or t?
t
Let n(f) = f**2 - 10*f + 26. Let j be n(17). Let t = -113 + j. Which is bigger: t or 63/2?
t
Suppose -211 = -6*z - 175. Suppose -z*m = -8*m - 4*s + 20, -s = 3*m - 5. Which is bigger: 1/541 or m?
1/541
Let x = 620475/525008 - 1/47728. Let w(l) = l**2 - 2*l + 1. Let j be w(1). Which is smaller: x or j?
j
Let p = -98 - -93. Let w be (-60)/(-9)*(p - 312/(-66)). Is w less than -