12). Is u bigger than 1/169?
False
Let p = 6817/2772 - 69/28. Which is smaller: p or 0?
p
Let y = 6.1 + 37.9. Let v = -53.5 + y. Let x = v - -1.5. Does x = -2/5?
False
Let x(d) = -3*d**3 - d**2. Let u be x(-1). Suppose 3*f - 2*g - 68 = 0, -3*g + u*g - 64 = -3*f. Is f bigger than 21?
False
Let r = -137 - -148. Suppose -r*k + 6*k + 5 = 0. Which is smaller: -1/155 or k?
-1/155
Let z = 9 + -9.07. Let s = -28.1 + 27. Let f = s - -1.2. Which is bigger: z or f?
f
Let j be 40/(-24)*9/147. Let w = 2/26309 + 815383/2578282. Let y = w + j. Which is smaller: y or 1?
y
Suppose -108 + 4 = -s. Let v be (-2)/13 - (-744)/s. Which is smaller: 8 or v?
v
Let s be 0 + -1 + (-40)/5. Let n = s - -11. Suppose u - n*u = -3. Do 3 and u have different values?
False
Let a be (-356)/52 + 4/(-26). Let m = -60 - -99. Suppose -3*l - m = -3*c, -6*l + l + 2*c - 50 = 0. Which is smaller: a or l?
l
Let h(g) = -5*g**2 - 3*g + 2. Let n be h(-4). Let p = -66 - n. Which is smaller: p or 1/106?
p
Let j = 956.4 + -956.4. Let f = 58 + -10. Is f equal to j?
False
Let s(t) be the third derivative of t**5/60 - t**4/12 - 2*t**3/3 + 11*t**2. Let j be s(3). Let x be (3 - j) + 0 + 23. Is x <= 27?
True
Suppose 27*f + 13 = 67. Let w = -7/6 - 1/3. Is w >= f?
False
Let s = -2.81 - -3.01. Is 46/5 at least as big as s?
True
Let b(q) = q**2 - 6*q + 2. Let l be b(4). Let p = -444875/90999 + -1/10111. Is p greater than or equal to l?
True
Let l(g) = 6*g**2 - 3*g - 2. Let r be l(-1). Suppose -1 + 8 = r*i. Is 1.2 at most i?
False
Let y(d) = -d**3 + 5*d**2 - 4*d + 5. Let z be y(4). Suppose -z*b = -b. Suppose -t + b*t + 2 = 0. Is t bigger than 2?
False
Let g(y) = 3*y**2 - y. Let w be g(1). Suppose -656 = -10*f + 384. Let c be -2*w/f*-6. Is 1 at least c?
True
Let r be (-1)/(1 - 17/18). Let h(w) = w - 11. Let y be h(10). Is r smaller than y?
True
Suppose 0 = -s - 3, 2*a - 3*s - 5 = 14. Suppose 0 = -a*h - 0*h. Are 1/13 and h nonequal?
True
Suppose 0 = 4*o - 5*g - 144, -2*o - g + 78 = 6. Let u be (288/(-432))/((-2)/108). Is u greater than o?
False
Let t(v) be the second derivative of -v**5/20 - 7*v**4/12 + v**3/6 + 3*v**2 + 15*v. Let s be t(-7). Is s > 2/57?
False
Suppose 23 = 11*v - 12*v. Let o = v + 22. Is -3/35 > o?
True
Let a be 2/(-6) + (-4)/(-3). Let g = 9.7 - 7.7. Are a and g equal?
False
Let x(q) = 2*q**2 - 2*q + 39. Let l be x(8). Which is smaller: l or 149?
149
Let i(y) = -y**3 - 26*y**2 + 30*y + 66. Let b be i(-27). Let o be (-13)/b + -1 + 28/510. Which is smaller: -1 or o?
-1
Let g(u) = -2*u - 10. Suppose 5*f + 10 = c - 9, c = -2*f - 16. Let d be g(c). Suppose -18 = d*q - 3*n, 0*q + 3*n = -2*q - 6. Are q and -6 non-equal?
False
Let q = -66 - -34. Let c = q - -23. Let m = -11 - c. Which is smaller: -1 or m?
m
Let x be (18/(-555))/(6/30). Are 0.1 and x non-equal?
True
Let z = -2211/5 + 440. Let l = -1 - 1. Which is bigger: l or z?
l
Let x be (0 + (-3)/2)/(27/(-180)). Let a be (1 + x)/((0 - 1) + 0). Is -4 smaller than a?
False
Let x(t) = t**3 - 13*t**2 + 11*t - 8. Let g be x(12). Let f = g + 19. Is -6/11 < f?
False
Suppose -6*j - 273 - 873 = 0. Which is smaller: j or -192?
-192
Let v = 3.04 - 0.04. Suppose 3*z + 36 = 21. Let j be (-4)/8*4/z. Is j >= v?
False
Let n = 0 - 0. Let v = -26/79 - -181/790. Which is smaller: v or n?
v
Suppose -4*l + 9 = -3*l. Let s be 1 - -1*(30 - 3). Suppose -2*h + 5*t = -1, 0*h + 2*h = -4*t + s. Is l < h?
False
Let u be 48/(-20) + 3/(-5). Let q = 3604106/2203 - 1636. Let a = q + -44046/15421. Which is smaller: u or a?
u
Suppose -2*g - 12 + 16 = 0. Let t be g/(-4) - 9/2. Let w(n) = n**2 + 7*n + 4. Let u be w(-5). Is u less than t?
True
Suppose -303*v = -305*v + 160. Is v smaller than 81?
True
Let w = 166 - 165.93. Which is greater: w or -1?
w
Let o = -223 - -209. Which is greater: o or -2/19?
-2/19
Let l = 0.15 - 0.05. Let k = -41.8 + 42. Let z = l - k. Which is greater: -2 or z?
z
Suppose 45*s = 47*s + 5*n - 147, 0 = 5*n + 25. Which is smaller: 256/3 or s?
256/3
Suppose 15*m - 21*m = -90. Suppose -6 = g - m. Is g > 3?
True
Suppose -3*w + 5 + 20 = y, -2*w = -2*y - 30. Let r be w/(-36) + 4/(-18). Let t = 2 + -0.2. Is r > t?
False
Let b be (-81)/(-15) - (-4)/(-10). Suppose -8 = 2*j - 4*x, -3*x - b + 18 = -5*j. Let r = -3908 + 7815/2. Is r > j?
True
Let s(h) = -70*h**2 - h + 2. Let u be s(1). Let v = -31 - u. Which is greater: 37 or v?
v
Let l(x) = 3 + 4*x + 3*x + x - 16 - x**2. Let t(b) = -b**2 + 7*b - 14. Let w(m) = 4*l(m) - 3*t(m). Let s be w(10). Which is bigger: -1/42 or s?
s
Let l(o) = 178*o + 394. Let j be l(-2). Let a be (-3 + 7)*(-74)/(-8). Is j at least a?
True
Let v = 1817 + -1816.9705. Which is smaller: v or 0?
0
Let c = 283/2414 + 21/284. Let g = c + 1/17. Let y be 4/28*7*1. Which is greater: y or g?
y
Let x = -1.82 - -2. Are -2/3 and x nonequal?
True
Let g be ((-6)/(-26))/((-1)/(-2) - 1). Let j be (0/(-2) + 1)*-5. Let t(y) = -y**3 - 6*y**2 - 6*y - 5. Let h be t(j). Is h != g?
True
Let p = -173/20 + -631/60. Is -18 less than or equal to p?
False
Let o = -628 + 439. Which is smaller: o or -0.2?
o
Let d = -244/13 + 706/39. Which is bigger: d or 9.42?
9.42
Let k = 51 - 559/11. Which is greater: -4 or k?
k
Let x(j) = -j**3 - 8*j**2 - 10*j - 3. Let n be (-6)/(-33) + 553/(-77). Let u be x(n). Suppose -6*o = -3*o - u. Is o != 5?
True
Suppose 0 = -4*f - 5*u - 0*u + 27, -f + 3*u - 6 = 0. Let o(i) = -f - 12*i + 121*i**2 - 5 - 134*i**2 - i**3. Let t be o(-12). Is -9 > t?
False
Suppose -4*u = -j - 5*u + 1, -2*j + 4*u = 28. Let g be (126/45)/(j/(-15)). Which is greater: 12 or g?
12
Let q = 1.264 + -1.234. Is -18 smaller than q?
True
Let x be 65/(-152) + ((-95)/(-40) - 2). Let u = 2 - 2. Which is smaller: x or u?
x
Let b(r) = -r**3 + 5*r**2 + 3*r - 3. Let x be b(5). Let s = x - 47/4. Let a = 0.29 - 0.39. Which is greater: a or s?
s
Suppose 0 = 3*u + 5*p - 61, 3*u = 4*p - 6*p + 46. Let k be ((-2 - -2)/(-2))/(u - 10). Are k and 7/8 equal?
False
Let y(a) = -a**3 + 2*a + 125. Let t be y(0). Suppose -5*p + 10*p - t = 0. Suppose 5*g - 5*o + p = 0, -2*g - 3*o + 2*o = -5. Is -6/5 not equal to g?
True
Let x = -0.013 + -0.987. Which is greater: x or -27?
x
Suppose 9*c - 1163 = -785. Which is bigger: 41 or c?
c
Let m = -2609 + 2651. Is 23 <= m?
True
Let g(j) = -11*j + 4. Let b be g(-6). Suppose 3*o + b = 5*l - 2*o, 0 = -4*o. Let c = 8 - l. Is -6 not equal to c?
False
Suppose -3*m - m = 3*p + 304, 364 = -4*p + 5*m. Is p greater than or equal to -96?
True
Let w be ((-8)/(-10))/(6/30). Let m be w - (-7)/((-14)/(-4)). Suppose 5*r + 1 = m*r. Is 2/31 less than r?
True
Let p = -9.6 - -11. Let k = 3 - 4.3. Let l = p + k. Is l greater than -1?
True
Let d be 6/39 + (-5739)/39. Is d at most as big as -149?
False
Let m be (-2)/(-16) + (-16)/((-1664)/(-8957)). Is -88 equal to m?
False
Let y = -1668 - -81737/49. Is -1 > y?
False
Let k = 100 + -299/3. Let t be (-2)/(-50)*(-150)/(-20). Are t and k non-equal?
True
Suppose -10 = -2*x - 0. Let o be (-67)/x + 0 + -3. Let g = o + 17. Which is greater: g or 1?
1
Let f = -1750 - -1747.92. Are f and 2 non-equal?
True
Let b be (0 + 3)*1 + (-480)/40. Which is smaller: b or -28?
-28
Let q = -901/36 + 101/4. Let x be 3 + (2 - (-3 - 1)). Let f(j) = j - 11. Let w be f(x). Do w and q have different values?
True
Let x(p) = 5*p**3 - p**2. Let g be x(1). Let l be (23/(-69))/((-22)/(-12)). Which is bigger: l or g?
g
Let x = -0.068 + -0.232. Which is smaller: x or 13/2?
x
Let k be (-580)/(-330) + 45/(-27). Is -2 smaller than k?
True
Suppose 14*z + 123 = 683. Is z at most 121/3?
True
Let i(n) = 4*n**2 + 14*n + 12. Let f be i(-6). Which is bigger: 3 or f?
f
Let k = -419.09 + 405. Let w = k - -14.2. Which is greater: 2 or w?
2
Let x be (20 + -4)*(8 - 1645/205). Which is greater: x or 1?
1
Let o(i) = 3*i + 10. Suppose -3 = 4*l + 1. Let d be (l - -3)/1 - 8. Let s be o(d). Is -7 != s?
True
Suppose c = x - 159, -28*x - 4*c + 149 = -27*x. Which is smaller: 162 or x?
x
Suppose -5*w = -6 - 9. Suppose w*l + 28 = -2*n + 4*l, 28 = -2*n - l. Let g = n + 14. Which is smaller: -8/9 or g?
-8/9
Let j be -6*7/56 - 830/(-8). Let s = j - 104. Is s <= 1/97?
True
Let r = 848.248 + -848. Are r and 2/5 unequal?
True
Let x = -3430651/2934165 + -1/45141. Let y = x - 16/13. Which is greater: -1 or y?
-1
Let c be (-2)/3*18/(-4). Let f be ((2 - c)*0)/(-1). Is 25 <= f?
False
Let o be -6 + 2 - (-2)/(