(7 - 1). Suppose 0*u = -4*u - 180. Let w = u - f. Which is smaller: -14/13 or w?
-14/13
Suppose -68*g = -59*g + 603. Let f = g + 90. Is f > 24?
False
Let r be 3/289*(-264)/396. Is -3 at most as big as r?
True
Let m = -191 - -213. Suppose 12 = -h - m. Is -33 equal to h?
False
Let x = 1073/385 - 14/5. Suppose -5*a = -10*a - 4*r + 22, 4*r = a + 10. Let b(k) = k**2 - k - 2. Let d be b(a). Is x > d?
False
Let d be 1/(-2*(-4)/1368). Let y = -4658 - -4828. Is d >= y?
True
Let d be 5820/40*12/(-18). Is -105 > d?
False
Let v = -1336 - -1289. Let j = -48.95 + 0.95. Let h = j - v. Is h smaller than 5/3?
True
Let t be 17 - 38/77*35. Which is smaller: 384 or t?
t
Suppose 61*s - 27*s + 76122 + 684 = 0. Is s greater than -2256?
False
Let z = -1024 - -710. Let g = 288 + z. Let j = 0.3 - 0.5. Is j equal to g?
False
Suppose -18*t + 1572 = -14*t. Suppose 0 = -o + 3*w + 94, -5*o + w + 63 = -t. Let c = 120 - o. Which is greater: c or 27?
c
Suppose 0 = -187*s + 235*s - 384. Which is smaller: s or 14?
s
Let k be ((2 - 2)/(-1))/(-1 - -2). Suppose k = 6*l + 3 + 219. Let w = 35 + l. Which is bigger: -3 or w?
w
Suppose 3*g - r - 8385 = 0, 0 = -3*g + 5*g - r - 5590. Suppose g + 2917 = 8*o. Which is smaller: 715 or o?
o
Let w = -0.756 + 623.756. Let a = w - 622.8. Is 69 <= a?
False
Suppose -41*f + 40*f = -q - 1, 0*f = -4*f. Is q greater than or equal to 8?
False
Suppose 3 = -c, c = 152*l - 150*l - 379. Let p = -189 - -379. Is l >= p?
False
Let r = -8135 - -24406/3. Which is greater: -58.16 or r?
r
Suppose 5*c - 15 = 0, -6*p + 2*p = -5*c + 3. Suppose p*u - 78 = 39. Suppose -3*r = 4*r + 14. Which is smaller: u or r?
r
Suppose 5*w - t + 22 = 19, -w + 33 = 4*t. Are w and 4/121 unequal?
True
Suppose 0 = 5*f + 3*s - 9959, f - 79*s + 83*s - 2002 = 0. Which is bigger: 1989 or f?
f
Let g be 6/27 - (-10)/(-18) - (-6325)/19866. Which is greater: 0 or g?
0
Suppose -4*f = -2*h + 1730, 5*f + 4330 = -h + 6*h. Is h < 867?
False
Let v = -6825 - -10192. Which is bigger: -0.2 or v?
v
Suppose 0*b = -2*b + 2*l + 12, -5*b + l = -22. Suppose 16*o + b = -252. Which is smaller: o or -9?
o
Let v be -1 - 60/8*(-70)/3. Let a be 84/v*(2 - 4) - -1. Let b = 9 - 8. Which is smaller: b or a?
a
Suppose -128*n = -698 + 1594. Is -14 bigger than n?
False
Let n(b) = -4*b - 32. Suppose -50 = 7*s + 13. Let r be n(s). Is r at most as big as 2/7?
False
Let q = 10247 - 10246. Let f = 32/17 + -1150/629. Which is bigger: q or f?
q
Let s = 16.01 + -15.98. Is 0.1039 != s?
True
Let t(y) = -y**3 + 6*y**2 - 7*y - 7. Let g be t(4). Let u be -1 - g - (4 + (-10 - -8)). Which is bigger: u or 1/890?
1/890
Let g(v) = v**3 + 8*v**2 - 3*v - 20. Let a be g(-8). Suppose -a*m = 225 - 65. Let c = -1106 + 1067. Is m at least c?
False
Let d be ((-132)/2316)/((-1)/(-8)). Let w = -10374/3281 - d. Which is bigger: w or -2?
-2
Suppose -u + 347 = -15. Suppose u = -4*d + 2*n, 5*d + 192 = -n - 250. Are d and -89 equal?
True
Let w = -4 - -2. Let c be 1 + 0 + 4/w. Let k = -1292312/11 - -117482. Is k != c?
True
Let q = -2701 - -2744. Let p = 167 - 115. Let z = p - q. Is z smaller than -0.2?
False
Let h = 13161/188 - 70. Suppose 4*z = -p + 1, 5*z = p - 7 + 6. Is h > z?
True
Suppose -8*v - 8*v - 64 = 0. Let j be v/6*(24492/1278 - 7). Let m = j - -134/71. Which is bigger: m or -6?
-6
Suppose 0 = 2*o - 0*y + 2*y - 16, y - 18 = -3*o. Let p be (-1)/(-4) - o/((-2220)/(-99)). Is 0 smaller than p?
True
Let q be (4 + (-381)/94)/(148/(-111)). Which is smaller: q or 1?
q
Let i = -8202/11 + 262453/352. Let k = 2 + -3. Is k > i?
False
Let m = -1194 - -828. Are -364 and m nonequal?
True
Suppose 0 = 5*c + 4*r + 543, c + 459 = -3*c + 5*r. Let l = 114 + c. Suppose -a - 5*q = 9, -l*a = -q - 2*q - 9. Is a greater than 0.18?
True
Let q = -2085.06 - -2085. Are 2/873 and q unequal?
True
Let x = -57587365/388484 - -28629/197. Let z = -84/29 - x. Let j = z - 73/340. Which is bigger: j or -3/7?
j
Let l be 0/(2 - (-1 + 4)). Let n be (l - -1)/((-7)/(-35)). Let m be n + (-215)/45*1. Which is smaller: m or 0?
0
Let p = 691.0005 - 691. Let k = -9.0005 + p. Is -0.12 at most k?
False
Let u = 198 + -118. Suppose 0 = 9*g - u - 46. Suppose -g*p = -13*p + 34. Is p bigger than -34?
False
Let i(q) = 74*q**3 - q**2. Let t be i(-1). Let m be 60/t - (-8)/10. Let s be 12/(-5)*50/110. Which is greater: m or s?
m
Let a be (-61)/(-10) + (-6)/60. Let r(z) = -9*z - 6 - 4*z**3 - 2*z - 3*z**3 - 4*z**2 + 8*z**3. Let s be r(a). Is 1 greater than or equal to s?
True
Let o = -181 + 183. Let p be (2/3 + (-2 - -4))/o. Is -19/4 < p?
True
Suppose 4*x + 45 = 49*x. Which is bigger: x or -3/415?
x
Let j = 10737 - 8150. Are -1 and j nonequal?
True
Let x = 10 + -5. Let d(q) = -6*q**3 - 3*q**2 - 5*q + 3. Let z be d(3). Let w = 203 + z. Which is smaller: x or w?
w
Let m = -3292/1105 - -214/85. Let g = -7.04 - -0.04. Which is smaller: g or m?
g
Let b(l) = l**2 + 7*l - 2. Let o be b(-3). Let a be o/(-161) - (-228)/(-506). Let n = 2 + -2. Which is smaller: n or a?
a
Suppose 0 = 5*q + 5*f - 35, 3*q + q - 2*f + 2 = 0. Suppose 19*j = -61 - 91. Let b be ((-2)/j - q)*(-2 + 6). Is b < -9?
False
Suppose -2*a - 42 = -5*q - 124, 3*a - 2*q = 145. Suppose 3*p + 4*t - 109 = 0, -3*p + t + 220 = 2*p. Let s = p - a. Is -10 greater than or equal to s?
False
Suppose 5*k + 25 = 0, -4*c = 3*k + 2 + 1. Suppose 7*j - 102 + 131 = -3*n, j = -4*n + 3. Which is smaller: c or n?
n
Let j(k) = -2*k**2 + 25*k - 75. Let o be j(7). Suppose -q + 2*p = 32 - 30, 4*p = -o*q - 20. Which is greater: q or 4?
4
Let y be ((-1081)/(-92) - 12)/(2/4550). Which is greater: y or -570?
y
Let z be (-390320)/784 + 6/(-1). Let g be 501 + (2/1)/1. Let n = g + z. Is n at most as big as 2?
True
Suppose -835 - 2117 = 18*z. Which is smaller: -181 or z?
-181
Let s = -21/472 + 352045/7933848. Does s = -1?
False
Let i be 3 - (51/(-3))/(-1). Suppose -2*z - 2*z + 5*f + 47 = 0, -2*z - f = -13. Let a = z + -23. Which is smaller: a or i?
a
Suppose -113*m + 1472 = -4630. Which is greater: -3 or m?
m
Let w = -38249 + 82120601/2147. Do w and 2/3 have the same value?
False
Let t be (-10 + (-1638)/(-162) - 1508/(-534)) + -3. Which is bigger: t or 0?
0
Suppose -7*y - 12*y + 190 = 0. Suppose -5*h + y = 0, h = 4*m + 6*h + 62. Which is greater: -53/3 or m?
-53/3
Suppose 14*b - 9504 = 46*b. Let l = b - -2080/7. Do -20 and l have the same value?
False
Let s be -2 - -151*((-78)/(-77) - 1) - (-28)/154. Let c = 0.2 - 0.8. Is s smaller than c?
False
Let h = -5/17168356 + -3660327835247/2283391348. Let p = h + 1603. Which is bigger: 0 or p?
0
Let t be (3/(-18))/(10/(-120)). Suppose -a + 0*l + t = -2*l, 3*l = -a + 22. Which is smaller: 31 or a?
a
Let b = -25.632 + 0.532. Let a = b + 24.84. Which is greater: -2 or a?
a
Let y = 168708 - 1210142486/7173. Is -1 bigger than y?
False
Let l = 73.9 + -73.99. Which is bigger: 172 or l?
172
Suppose 20*l - 3160 = -25*l + 35*l. Are 313 and l non-equal?
True
Let o = -5 - -6. Suppose -3*z = -3, -5*h + 10*z = 13*z - 38. Let k be 35/(-481) - (186/(-26) + h). Is o != k?
True
Suppose 24*s = 5*s - 148*s + 1906472. Which is smaller: s or 11415?
11415
Let i = 6787/1002 - -10/167. Which is smaller: i or 0.05?
0.05
Let b = -12 + 661/55. Let k(h) = 3*h - 36. Let x be k(13). Suppose -x*c = 4*c + 4*c. Is c >= b?
False
Let p(y) be the first derivative of -2*y**2 - 42*y + 47. Let j be p(-10). Let b be (-30)/(-12)*j/20. Is b greater than or equal to 0.022?
False
Let z = 0.06 + 1.94. Let y = -1096 + 323. Let p = 773 + y. Is z equal to p?
False
Suppose -48 = 250*a - 262*a. Let s be 42/2*-2*2/a. Is s greater than -24?
True
Let p(s) = -s**3 - 4*s**2 - 4*s - 6. Let b be p(-4). Suppose 15*v = b*v + 20. Suppose -o = -4*y - 10, 0 = o + 3*y - 4 + 1. Do o and v have the same value?
False
Let a be -2*(-2)/(-10) - 2468/(-20). Let f be 10/6 - (-12996)/54*3/6. Which is bigger: f or a?
a
Let i = -0.995 - -525.995. Let o = i + -530. Which is smaller: 17 or o?
o
Suppose 0 = -7*z - 1920 - 908. Let s be z/(-16) - (-2 + (-36)/(-16)). Let x be s*((-6)/2 + 2). Which is smaller: -24 or x?
x
Let r(l) = -l**3 - 26*l**2 + l + 18. Let f be r(-26). Let x be -2*((-108)/f + 3) - -3. Is -32 at most as big as x?
True
Suppose -39 = -12*h - 3. Let v be -48 - (3 + (h - 3)). Let r = v - -48. Are r and -3 nonequal?
False
Let b = -23 + 28. Suppose -5*t = -b*z - 270, -3*z - z - 5*t = 252. Let g = z +