/854 - 1/(-2). Let b = r + -1137. Which is greater: x or b?
b
Let t = -3/874373 + -3118013317/233457591. Let d = 1130/51 + -150/17. Let k = d + t. Which is greater: k or 0?
0
Let p = -38 + 65. Suppose 52*t = -39*t - 182. Let l = t - p. Which is smaller: l or -28?
l
Suppose -237 = 3*m - 423. Suppose -m*o = -69*o + 7. Which is smaller: 2 or o?
o
Suppose -2*t = -4*t + 924. Let q = 20752/7 + -3428. Let o = q + t. Is o not equal to -2?
True
Let y = -8312 - -8916.1. Let i = y + -612. Are 0 and i equal?
False
Suppose -152*t = 168*t - 302*t + 18. Is 8/225 at least t?
True
Suppose -19*b + 4*v - 5 = -20*b, 6 = 5*b + v. Which is smaller: b or 1/902?
1/902
Let w be (-202)/(-1313)*(-26)/(-168). Suppose 0 = -l - 1 + 2. Which is greater: w or l?
l
Let o(z) = 20*z - 108. Let m be o(-12). Is -352 less than m?
True
Let r be 218/(-10) + 6/15. Suppose -8*h - 2327 = 3*h - 2107. Which is bigger: h or r?
h
Let m(g) = 328*g + 2. Let k be m(2). Is 659 >= k?
True
Suppose 50*i - 756 - 9444 = 0. Suppose -5*t + 136 = -889. Is t smaller than i?
False
Let h = 231 - 222. Let o be (-111)/4*(h + (-1156)/132). Are o and -7 non-equal?
True
Let l be ((-8)/2)/(1460/(-695325)). Which is smaller: l or 1906?
l
Let v be (-16)/(-90) - (-6)/27. Let m = 4.209 - 4.199. Which is greater: m or v?
v
Let a be 3 - (60/9 - 4). Let g be 3/(-2) - ((-6)/10 + 3443/330). Is a smaller than g?
False
Let m = 1.9 + -2. Let h = 144369 - 144141. Which is greater: h or m?
h
Let s be 1*(1 + (6 - 8))*8. Let j be (39/(-12))/((-2)/s). Do j and -37/3 have the same value?
False
Suppose -5*l - 3*j = 18, 3*l + 2*j - 7*j = -4. Let r be ((-174)/16)/l - 3. Let s = 67/88 - r. Which is smaller: -1 or s?
-1
Let j = 3.05 - 0.05. Let t = 2/60625 - -121096/4668125. Are t and j unequal?
True
Let z be 199/(-6) - ((-48)/18 - -2). Let j = z - -721/22. Is 1 equal to j?
False
Let p be (270/24)/((-3)/96). Let w be 4/34 - p/2142. Are -5/7 and w equal?
False
Let x(h) = 25*h**3 + 2*h**2 + h - 3. Let n be x(-2). Let a be (-104)/64*n/11. Let k = 259/8 - a. Which is bigger: 2 or k?
k
Suppose -9438*d - 120 = -9458*d. Let q = 0 - 3. Let m(a) = -2*a. Let z be m(q). Is z < d?
False
Let p be (34228/(-154134) + 14/63)/(2/(-3)). Is -1 < p?
True
Suppose -5*t + 4*t = 4*c + 116, 3*c = 4*t - 106. Let p be (-152)/(-10) + 6/c. Let x be (12/p)/(2/5*43). Do 1 and x have the same value?
False
Let z(p) = -p - 1. Let u(i) = i**3 - 17*i**2 - 16*i - 10. Let h(r) = u(r) + z(r). Let m be h(18). Let b be 2/m + (-142)/(-42). Which is smaller: -2 or b?
-2
Suppose -9*d + 35*d - 286 = 0. Suppose -d*v + 5*v - 822 = 0. Is v < -136?
True
Let f = 4.45 + 1.25. Let r = -5375.9 + 5382. Let d = f - r. Which is smaller: d or -6?
-6
Let w = 0.8 - 0.8. Let f = -9331/3306 - 6/551. Which is smaller: f or w?
f
Let h = -3630 + 3662. Does h = 47?
False
Let w be 6*(-3)/6 + 1 + 3. Suppose w = -l - 1. Let p be (2 - (-510)/(-264))*(-2)/l. Are p and -1 nonequal?
True
Suppose 0 = -2*a + 2*p + 752, a - 7*p - 373 = -3*p. Suppose 0 = -4*b - m + 295, -4*b = b + 4*m - a. Suppose 2886 = -72*q + 111*q. Which is smaller: b or q?
b
Let i(b) = -2*b - 20. Let y be i(-10). Let t = 3359 + -1131981/337. Is y at most t?
True
Let g = 265 + -262. Suppose 0 = -n - 3*l - 4, -3*l - g = 4*n - 4*l. Which is smaller: n or -3/22?
n
Let s be (-26)/3 - 1*(-4)/(-12). Let i be ((s/(-5))/((-6)/(-20)))/2. Which is greater: i or -1?
i
Let x(j) = j**3 - 8*j**2 + 7*j - 11. Let v be x(8). Let p = -1348.7 + 1348.9. Which is smaller: v or p?
p
Let b = -37252 + 149011/4. Which is bigger: -2 or b?
b
Let y = 142.896 + -143. Let s = y + 0.086. Is s less than or equal to -1?
False
Suppose -5*v = 5*o, -v - 10 = 4*o - 1. Suppose -t + 73 = v*r, -4*t + 234 = -3*r - 103. Is t at most as big as 82?
True
Let b = -13748 - -13747.56. Let i be (-3)/6*(-14)/21. Is b bigger than i?
False
Let x be ((-4)/108*-3)/(11/33363). Does 331 = x?
False
Let c be (1016/(-6) - 0)*177/(-59). Let y = 509 - c. Let d be 1/(-235)*4*-5. Which is greater: y or d?
y
Let g be (-2057)/(-1275)*-5 + 4. Which is greater: -5 or g?
g
Suppose 0 = m - 2*m + 6. Suppose -3*o + 25 = 5*u, 2*u = -11*o + 13*o - 6. Suppose m*z + 4 = -u. Is z bigger than -5/4?
True
Let v = -27.82 - -30.82. Is 4.29 < v?
False
Let r = 1210 + -1210.03. Let t = 22 + -21. Is t at least as big as r?
True
Let x be (-1)/18*2/42. Suppose 274*y - 249*y = 0. Which is bigger: y or x?
y
Let i = -5195 + 5195.09. Do i and -8/5 have different values?
True
Let p = -453/2 + 11327/50. Do p and -6 have the same value?
False
Suppose -5*k - 4*b = -1031, 5*k + 0*k - 1038 = 3*b. Let s = k + -208. Is -7/5 less than s?
True
Let b = -401 - -566. Let i = b - 203. Which is greater: i or -4?
-4
Let k = -0.86524 + -36.17576. Let h = k + 0.041. Let x be 2/4 + 87/(-174). Which is smaller: x or h?
h
Let o = -8488 + 8303. Which is smaller: o or -2042/11?
-2042/11
Let y = 1010 - 1485. Which is bigger: -476 or y?
y
Let m = 241/87 - 3/29. Let i = m + -17/12. Suppose 5*q = 3*s + q - 18, 2*s - 2*q = 10. Is i equal to s?
False
Let k be 1/(-2) + (-1160)/(-2256). Suppose 24*z + 4 + 0 = 4. Is z > k?
False
Let k = 29242 - 39330494/1345. Which is greater: 1 or k?
1
Let i = -0.6 - -0.3. Let f = 1.27 + -1.509. Let u = 0.199 + f. Which is smaller: i or u?
i
Let f be (-5 + (-91)/(-21))/(6/351). Let q be 544/4380 - (f/45 + 1). Let r(t) = -t**3 + 6*t**2 - 5*t. Let x be r(5). Is x less than q?
False
Let v be (0 - (6 - 7))*1. Let o be (2 - v)/(16/1008). Which is smaller: o or -2/3?
-2/3
Let a(u) = 2*u**2 + 5*u + 17. Let p be a(11). Let s = p + -294. Is s equal to 252/13?
False
Suppose 588 = 31*p + 98*p + 18*p. Which is greater: 312/71 or p?
312/71
Let o = -80 + 84. Let c(a) = a + 1 - a**2 - o + 6. Let p be c(-1). Are -10/23 and p equal?
False
Suppose 13 = 72*o - 30 + 547. Which is bigger: o or 665?
665
Let v = -40671987973/40541 - -1003231. Do -1 and v have the same value?
False
Let n = -57.6 + -224.4. Let s = 282.3 + n. Suppose 5*o = 8*p - 3*p + 25, -4*o = -8. Is s not equal to p?
True
Let i be (-3 - 234/(-4))*(-774)/(-27). Is 1589 smaller than i?
True
Let r(m) be the third derivative of m**6/120 - m**5/10 - m**4/6 - 17*m**3/6 + 13*m**2. Let f be r(7). Suppose 50 = q + f*q. Is 7 at most q?
True
Let z = 188.09 - 216.09. Is z less than -10?
True
Let h be (8 + -7)*(-3 + 8). Suppose -a - 97 = -2*q, h*q + 209 = -2*a + 6*q. Is -109 equal to a?
False
Suppose -x - 259 = -29. Let d = -231 - x. Which is smaller: -9/4 or d?
-9/4
Let w be 6/(-57) - 3978/114. Let n be (-111)/259 + (-29)/w. Let a = -8 + 8.16. Which is greater: a or n?
n
Suppose -z = -3*h + 2, 2*z = -3*h + 7 + 7. Let k = -32.9 - -33.12. Does k = z?
False
Let b be 0 + 2 + 3 + -4. Let o be ((-2)/b)/((-2)/(-1)). Let i be 14/35 - (-5 + 2*(-10388)/(-3840)). Which is bigger: i or o?
i
Let r = 339 - 294. Let g be r/36 - (-1655)/20. Is g smaller than 85?
True
Suppose -289 = 4*x + 3*j, x + 3*x - 4*j = -324. Let b = x + 22. Which is smaller: b or -52?
b
Let c be (36/(-7) - -2)/((-22)/77). Suppose -3 = -4*k + 3*k - 2*n, -3*n + c = -5*k. Is k bigger than 14/15?
False
Let r be 2/(-11) - 6/(-33). Suppose r = -w - 62 + 37. Which is smaller: w or -0.06?
w
Let h = 33.933 + 0.067. Let k = h - 50. Let l = -0.33 + 0.33. Which is bigger: k or l?
l
Let b = -1995167 + 13929100/7. Let x = -5305 - b. Let s = -205/21 - x. Do 0.19 and s have the same value?
False
Let b be (1 - (-412)/(-203)) + -16 + 17. Let a = 1051/1218 + b. Which is smaller: a or 0.1?
0.1
Suppose -3*c - 24 - 30 = 0. Suppose 0 = -6*u - 3*u + 486. Suppose -u*p = -50*p + 76. Is p bigger than c?
False
Let a(j) = -96*j - 7. Let k be a(20). Let g = -21181/11 - k. Let t be 0 + (-12)/(4 + -10). Which is smaller: t or g?
g
Let p be (-46)/((-25)/(-30)*(-2)/(-10)). Let c be ((-1)/(-2))/((p/(-40))/23). Let k(v) = 2*v**3 - v**2 - v + 1. Let d be k(1). Is d bigger than c?
False
Let v(h) = -49*h - 91. Let b be v(-2). Let g be (123/(-82))/(b/(-26)). Which is smaller: 6 or g?
g
Let w be ((-84)/(-360)*15)/(3/70). Are w and 2/5 unequal?
True
Let t = -88958/21 - -4236. Which is smaller: t or -28.5?
-28.5
Let l = 4607 + -4348.1. Is -3 greater than l?
False
Suppose -59*j - 246113 = -50528. Is j < -3318?
False
Suppose 0 = 3*g + 4*v + 175, -2*g - 101*v - 105 = -100*v. Let o be (1/(-1))/(3/147). Is g greater than o?
False
Let m = -125.284 - -0.284. Let k = m + 73. Let