w = 6*w - 468. Let u = w - -84. Which is bigger: u or z?
z
Let r be (-127640)/(-12)*(-6 - (-28)/5). Let i = r - -4428. Is i > -0.1?
True
Let o(z) = -z**3 + 61*z**2 + 201*z - 229. Let p be o(64). Which is greater: p or 354?
354
Let i(v) = -603*v - 1546. Let k be i(-9). Is 3881 > k?
False
Let h be (-5)/((-15)/244)*(-855)/68970. Do -1 and h have different values?
True
Let s be 14/(-4)*(-6)/(-140). Let o = 6394 - 6393. Does o = s?
False
Let u be 1 - (-75)/(-20)*332/1182. Let y = u - -38377/734810. Let p = 11216/24245 + y. Is p >= 0?
True
Let v be (2/(-5))/((-2)/(-10) + 0). Let o be (-4 - v) + 10/(-25)*-10. Let s be (-2 + -1)/(12/(-8)). Is s at least o?
True
Let r be 166/6 - (-530)/(-318). Let p(u) = -u**3 - 11*u**2 - 11*u + 8. Let x be p(-10). Is r <= x?
False
Let z = -1606 + 5468. Is -2 > z?
False
Let n be (131502/9)/(-2) - 2/(-3). Let f = -51235/7 - n. Which is greater: f or -15?
f
Let h be ((-204)/96)/(-17)*(-1 - 184). Which is smaller: h or -22?
h
Let s = -0.7579 - -3747.7579. Let l = -3789.026 + s. Let b = -0.026 - l. Which is smaller: b or -0.1?
-0.1
Let k = 1794 - 1933. Is k greater than or equal to -3?
False
Let u be 21/14*(0 - -26). Let g be (-6)/16 - u/24. Suppose -14*t + 20 = -10*t. Is t >= g?
True
Let h = 10703.2 - 10703. Let z(v) = v**2 + 15*v + 7. Let o be z(-6). Which is bigger: h or o?
h
Let w(h) = -31*h**2 + h. Let a be (-6)/15 - 49/(-35). Let z be w(a). Let f be 5/z + 2/3. Is 19 at most f?
False
Suppose 53*h - h + 521 + 4419 = 0. Is -83 < h?
False
Let w = -27/11330 - 18537/49274170. Which is smaller: -1 or w?
-1
Suppose 1362 = -3*p - 3*j, -5*p + 11 - 2288 = -2*j. Let u = p - -323. Is u not equal to -132?
False
Let a(w) = 2*w**2 - 214*w + 1061. Let b be a(100). Which is smaller: -344 or b?
-344
Let w(n) = n**2 - 97*n + 282. Let x be w(3). Is 6/209 greater than or equal to x?
True
Suppose 20*z - 2229 = -2*f + 15*z, 5604 = 5*f + 2*z. Is f < 1121?
False
Suppose -5*s - 12 + 6 = -2*t, 9 = 3*t - 2*s. Let d be (t + -5)/(-2 + 1) - 3. Which is greater: d or -1/240?
-1/240
Let t = -1/9 + 16/63. Suppose -6*l + 165 = -3*l. Let v be 1 + ((-11)/(l/10) - -2). Is v at least as big as t?
True
Let h be -107*(-1)/(3/9*3). Let s = -217 - h. Let p be 2/(-13) + s/(-78). Is 8 greater than or equal to p?
True
Let z = 27 + 27. Let g = z + -263/5. Let d = g - 11/15. Which is greater: -0.01 or d?
d
Suppose 2*d - 22 = -5*f, -5*f = -2 - 8. Suppose -d*k = -11*k - 375. Is 1 <= k?
False
Let n = 9855.1 + -9849. Which is smaller: n or -3?
-3
Let q = -2/519 + -1004/8823. Is 91 > q?
True
Let f be (-1)/8*-2 - (-12857)/92. Suppose -u - 6*u = f. Let r be -3 + (-24)/u*5. Does r = 34/9?
False
Let v = -2726 - -2727. Which is smaller: 3/305 or v?
3/305
Let p be (-8 - -5)*(-6)/(-2). Let m(d) = -d**2 - 9*d - 6. Let j be m(-8). Suppose j*i + 9 = -w, 0*i + w - 33 = 4*i. Is i less than or equal to p?
False
Let j = -2532.5038 - 0.4962. Let s = -2557.82 - j. Let p = -25 - s. Which is smaller: -1 or p?
-1
Let x = -9978368/67 + 148934. Which is smaller: x or 2?
2
Let l = 4608757/5191 + -37215/179. Let f = 680 - l. Are f and 1 non-equal?
True
Suppose 3*x = -3*t - 132, 5*x + 2*t + 188 = -17. Let d be ((-24)/(-20))/((-5)/150). Which is smaller: x or d?
x
Let q = -442750/27 + 16398. Which is smaller: q or 1?
q
Suppose 7*y = 3*y + 48. Let c be -7 + (34 - 0)*(-6)/(-12). Is c at most y?
True
Let h be 567/(-216) - ((-1)/(-3))/((-104)/39). Which is smaller: 0.16 or h?
h
Let p = 0.05 + 0.01. Let t = -82.1 - -82. Let r = 0.2 + t. Is r less than p?
False
Let j = 2899 + -3025.1. Let l = -126 - j. Which is smaller: l or 40?
l
Let k(t) = 2*t**2 - 86*t - 277. Let u be k(46). Is -5/538 <= u?
False
Suppose 11*b + 108 = 8*b. Let l = -31 - b. Suppose -q + 2*n - 2 = 4*q, 3*q - 5 = -l*n. Is q bigger than -4/15?
True
Let n = -1.998 - -2.998. Is -9140 equal to n?
False
Let f = 17844 - 17843. Which is smaller: f or 43/131?
43/131
Let q = -802 - -725. Let b be 497/q + 9 - 2. Which is smaller: b or 1?
b
Suppose 0 = -52*a + 9*a. Is a less than 30/197?
True
Suppose 4*c + 26 = 118. Let b be (-112)/(-49) - (1 + (-5)/7). Which is greater: b or c?
c
Let i be 165488/(-396) + (50/(-18) - -3). Let q = 5951/9 + i. Let o = q - 243. Which is smaller: 1 or o?
o
Let c be (28/(-70)*-1855 + 0 + -5)/(-1). Do -738 and c have different values?
True
Let l(b) = -b**3 - 23*b**2 - 4*b + 74. Let m be l(-22). Let u = m + 158. Are u and 0 non-equal?
True
Let i be (-107490)/(-1231374) - (-36)/(-414). Which is greater: i or 1?
1
Let j = -2161/277602 + -378509702471/80226978. Let s = 4718 + j. Let q = -85 + 84. Is s less than q?
False
Let f be (-1 + (-125)/(-165))*(-11 + (-451)/(-44)). Let q = -11.95 - 0.05. Which is greater: q or f?
f
Suppose 4*r = -5*y + 59 + 25, 4*y = -16. Let i(h) = h**3 - 26*h**2 + 2*h + 6. Let x be i(r). Suppose -n + 52 = -7. Is x bigger than n?
False
Let h(l) = -381*l - 20. Let w be h(-6). Let x be ((-6)/(-4) + -1)/((-11)/w). Let k = -719/7 - x. Is 8 bigger than k?
True
Suppose 0 = -66*t + 67*t + 5*g + 21, -5*t = -4*g - 11. Which is smaller: t or -130/57?
-130/57
Suppose 4*x = x + 5*y + 2, -x + 2 = -3*y. Let r be (-3)/(-30)*38 - x/5. Suppose -4*p = -6*p - r. Is p greater than 34?
False
Let s = -4115 + 4115.2. Are 377 and s unequal?
True
Let c be ((-126)/8)/(3 + (-185)/60). Let u = c + -190. Is u smaller than -11/10?
False
Let s = 43 - 44.3. Let v = s + 4.3. Let i = v - -30. Which is smaller: i or -1?
-1
Let s be 702 + 2 - 1 - (49 - 41). Is 2 > s?
False
Suppose i + 8*l = 7*l - 23, -9*i + 2*l - 251 = 0. Which is smaller: 125 or i?
i
Suppose -5*d + r - 3*r + 22 = 0, 10 = 3*d - 2*r. Suppose -8 = 5*q - 3*x + d*x, 3*x = -9. Let t be 15/(-453)*(-2)/(-5). Which is bigger: q or t?
t
Let x = -551 - -552. Which is smaller: -9/674 or x?
-9/674
Let r = -315125144/369345 - 2/73869. Let i = r + 823. Is i smaller than -31?
False
Let c = 155 + -153. Let k be c*-2 + 2035/506. Which is smaller: k or 1?
k
Let q(j) = j**2 + 165*j + 3725. Let d be q(-138). Let l be (2 - 4)*26/4. Let w = 94/7 + l. Which is smaller: w or d?
d
Let w be 69/(-46) + (-660)/(-8). Is 11 at least w?
False
Let o = -18421 - -18366. Is -19 less than o?
False
Let s be -2 - (2 + -14*10). Suppose 0 = -5*h - 2*y - 638, h + s + 10 = -5*y. Do -127 and h have different values?
True
Let s = 3201 - 16014/5. Is s greater than 3/68?
False
Let d(x) = 2*x**2 + 14*x + 8. Let l be d(-6). Let y be -2*30/l*-6. Is -90 smaller than y?
False
Let m = -2.813 - 3.187. Is 0.5 at least as big as m?
True
Suppose -6*h = -0*h - 18. Suppose 253 = -h*v + s, 0 = -4*v + 4*s - 241 - 91. Let l be v/(-440) - 6/16. Which is smaller: l or 16?
l
Suppose -3*i + 15 = 3. Let f = 90 - 43. Suppose i*j = -3*c - f, 0*c = -2*j - c - 25. Is -13 >= j?
True
Let a = 4.08823 - 0.08823. Are a and 296 non-equal?
True
Let c = 0.085 - 54.085. Let u = 0.172 + 40.828. Let b = u + c. Are -0.1 and b nonequal?
True
Let z(n) = -4*n - n + n - 7 + 0*n. Let c be z(-3). Suppose 5*w + c*r = 100, -w + 4*r = r - 8. Are 17 and w equal?
True
Let i = -32.67 - -32. Let s = -12.33 + i. Let j = -12.9 - s. Which is smaller: j or -1/33?
-1/33
Let m = -10967 + 10963. Let v = -38 - -26. Is m less than or equal to v?
False
Let x = -7022 + 7009. Let g be (-23)/(-7) + 4/(-14). Suppose 3 = g*j - 0*j. Which is bigger: j or x?
j
Let c = 88 - 68. Suppose c*g + 152 = 16*g. Which is smaller: -39 or g?
-39
Let s = 186 - 150. Suppose -5*i + 71 + 99 = 0. Which is smaller: s or i?
i
Let c = -297.32 - -89.5. Let j = c + 207. Which is bigger: j or -2/3?
-2/3
Let t = -51 + 34. Let u = t + -11. Let m be 6 - 8 - 57/u. Which is greater: m or -1?
m
Let c be 9/(-135)*3 + 1/5. Suppose -3*w - 1 = d - 10, -d + 5*w - 23 = c. Suppose 0 = 2*n - 6*n. Do n and d have different values?
True
Let p(s) = -4*s - 33. Let c be p(-8). Let t be c*3 - (680/155 + -7). Is 0 smaller than t?
False
Let u be (-1070)/(-1960) - (-6)/(-8). Suppose -40*q + 11 = -29*q. Which is smaller: u or q?
u
Let v be (-1 - 358)/((-230)/30 + 8). Which is smaller: v or -1078?
-1078
Let m be 8 + 0 - 23/27*9. Is -146 at most as big as m?
True
Let h = 5 + 0. Suppose 3 = h*s - 2. Suppose -g + y + 10 = 0, y + 43 = 3*g + 25. Are g and s equal?
False
Suppose 3750 = -5*c - 9*t, 0 = -5*c + 4*t + 119 - 3804. Is c > -2224/3?
True
Let a(h) = -h**3 + 7*h**2 - 8*h - 14. Suppose -44*z = -40*z. Suppose -n - 5 = z