Does 1 = u?
False
Let v = 9.3 - -30.7. Let k = -164 - -124.1. Let h = k + v. Are h and 7 non-equal?
True
Let x(o) = -o**3 + 36*o**2 - 171*o - 270. Let u be x(30). Which is smaller: u or 3695?
u
Let g = 14394 + -14393.7. Which is smaller: 110.7 or g?
g
Let d(s) = s + 2. Let o be d(1). Suppose -68 = o*q - 68. Which is bigger: -3/29 or q?
q
Let p = -1179 - -1244. Do p and -9 have the same value?
False
Let j = 25 - 14. Suppose 0 = 4*d + 2*l - 44, -3*d + 3*l = -24. Suppose 118 = -d*t + 248. Are j and t non-equal?
True
Let o be (-4 - 250/(-75))/((-2)/846*1). Is 0.15 less than or equal to o?
True
Let f be 1/(-4) + ((-3465)/(-12))/11. Suppose f*w - 24*w + 2 = 0. Let c be (-29 + w)/(-5) + -1. Which is bigger: 0.09 or c?
c
Suppose 37*z - 979 = 649. Suppose -114 = -z*k + 678. Are k and 36 equal?
False
Let i = -54 - -36. Let v(l) = -l + 2. Let g be v(1). Let t be 0 + g - (-455)/(-26). Which is greater: i or t?
t
Let y be 104/(-780) + (-53106)/(-45). Do 1180 and y have the same value?
True
Let x = -9453 + 9469. Suppose 2*a = -f + 6*f - 56, -4*f + 37 = a. Which is smaller: x or f?
f
Let p(v) = -2*v**2 - 11*v + 46. Let k(x) = -x**2 - 5*x + 23. Let q(i) = -11*k(i) + 6*p(i). Let g be q(-10). Let f = 83 - g. Is f at most 51?
True
Let l = -1466033/984368 - 1/20944. Is l bigger than -2?
True
Let o = -4876.5828 + 4877. Which is bigger: o or -1?
o
Let n = 1289.44 + -1267. Let y = n + -22.4. Which is smaller: y or 13?
y
Let s be (2/2265)/(-6 - 29/(-5)). Let y = 4987/906 + s. Are -3 and y equal?
False
Suppose -16 = 4*o - 4*y, 2*y = 28*o - 31*o + 13. Is -1/7943 < o?
True
Let h be -1 + 60216/8602 + (15 - (43 + -22)). Is h not equal to 1?
True
Suppose 5*g = 2*j - 5*j + 956, 932 = 3*j - g. Let w = j - 314. Which is bigger: w or -21/40?
-21/40
Let u = 1438/155 + -96563/5580. Let d = -70/9 - u. Which is smaller: 0.55 or d?
d
Let j(f) = -f**3 + 5*f**2 + 9*f - 11. Let s be j(6). Suppose 11*p - 8 = s*p. Let a be ((-3 - -4)/p*0)/2. Which is bigger: a or 3/5?
3/5
Suppose -3*v + 171 = 2*w, 0 = -4*v + 3*w + w + 208. Let h = 294 + -294.176. Let p = h + 0.076. Is v not equal to p?
True
Let y be 4/22 + 14229/(-106029). Let f(i) = -i**3 + 7*i**2 + 9*i - 5. Let h be f(8). Let g be (6*2)/h + -3. Which is smaller: g or y?
y
Let p be 72/936 - (-259)/13. Let y(z) = z**3 - 20*z**2 - 2*z + 39. Let h be y(p). Are -2/1737 and h nonequal?
True
Suppose -2*n - 10 = 4*g, 5*n + 7 + 0 = -g. Let t be g - (-7 - 0) - 2. Suppose 0 = v - t*y + 17, 3*v - v = 2*y - 18. Which is smaller: -7 or v?
-7
Let v(a) = -a**2 + 6*a + 11. Let z be v(8). Let s be z + (-44)/(-10) + (-894)/10. Let h = s - -86. Which is smaller: h or -2?
h
Let d = 9238 - 8515. Which is smaller: d or 720?
720
Suppose 3*r + 191 = 5*o, 8*o - 4*o - 146 = -r. Suppose 10*z = 4097 - o. Which is greater: z or 407?
407
Let r = 255.7 + -255.9. Is -18 equal to r?
False
Let u(s) be the second derivative of -s**4/12 - 13*s**3/6 + 99*s**2/2 + 151*s. Let h be u(-19). Is h less than or equal to -14?
True
Let g = 3693 - 92311/25. Let z = g - 148/175. Do -0.2 and z have the same value?
False
Let w = 3597 + -5110. Let o be ((-20)/(-8) - 3)*114928/38. Let a = o - w. Is a <= 0?
False
Let b = 6171 - 6171.54. Are b and -2/19 equal?
False
Let y = -46 + 34. Let f = -0.0176 - -52.8176. Let t = 53 - f. Is t greater than y?
True
Let o be (-4 + (-104)/(-20))/((-4)/(-70)). Let z be (18 - o) + (-23)/(-11). Let p(n) = -n**3 - 7*n**2 - 5*n + 5. Let r be p(-6). Is z smaller than r?
False
Let g = 0.0462 - -9.8338. Let k = g + -10. Let x = -0.02 - k. Is -2 smaller than x?
True
Let x(v) = v**3 - 23*v**2 + 24*v - 27. Let m be x(22). Suppose 21*k = m*k - 112. Let y = 28 + k. Is -1 != y?
True
Let z = 11962 + -11947. Let u(d) = 2 + 2*d - d + 5*d**2 - 4. Let p be u(-2). Which is smaller: p or z?
z
Let a = -284 - -287. Suppose -5*c - a*m = 8, -4*m + 9*m = -5. Which is bigger: 1/136 or c?
1/136
Let r(o) = -2*o**3 - 9*o**2 + 221*o - 24. Let g be r(-13). Are g and 71 nonequal?
True
Suppose -4*m - 2*h - 313 = -h, -5*m - 4*h - 383 = 0. Let q(i) = -621*i + 4270. Let s be q(7). Is m >= s?
False
Let d = 187 + -232. Let q = 54 + d. Which is greater: q or 2/7?
q
Let i(l) = -1901*l - 9505. Let b be i(-5). Which is bigger: b or 49/64?
49/64
Let d(q) = q**2 - 6*q - 15. Let m be d(16). Let x = m - 25. Let t be ((-6)/(-52))/(x/(-32)). Is -2 at least as big as t?
False
Let b = -4130 - -70209/17. Are 0 and b equal?
False
Suppose 12*k - 896 = -1052. Which is bigger: k or -2?
-2
Suppose 2*a + 15*p - 13*p = 74, 0 = a - 3*p - 13. Which is bigger: 161/5 or a?
161/5
Let g = 24376 + -24252. Is g smaller than 124?
False
Suppose 38*r - 195 = 24 - 2043. Let u(o) = -7*o**3 + 2*o**2 - 2*o. Let g be u(2). Are g and r equal?
False
Let w be ((-10)/8)/(-5)*2324 - 2. Let x = -643 + w. Does x = 0?
False
Let o be ((-24)/14)/(171/(-798)). Let k(s) = -18*s + 143. Let r be k(o). Which is bigger: r or -3/97?
-3/97
Let i be 7/(-28)*1/(-1). Which is smaller: i or 73?
i
Let w(q) = -q**3 - 5*q**2 + 9*q + 43. Let j be w(-7). Suppose 90*s - 12 = j*s. Let d be 3/2*(-1)/54. Is d >= s?
False
Let k = -25.08 + 54.08. Let d = 18 + 10. Let w = k - d. Is w < 2/11?
False
Suppose 3539*x + 2240 = 3529*x. Which is bigger: -147 or x?
-147
Let t be ((-6 - -5) + -223)*(-36)/16. Let p = t - 229. Is 274 at least p?
False
Let h be (-21306729)/3043860 - ((-14)/(-63) - (-65)/(-9)). Which is smaller: h or -1?
-1
Suppose 0*m + 5*m - 430 = 0. Let d = -15.81 + 15.81. Which is smaller: m or d?
d
Let m be (-17973)/14 - 6/96*40. Which is greater: -1285 or m?
-1285
Let j = -7.37 - 299.63. Let b = 309 + j. Which is smaller: 48 or b?
b
Suppose 0 = 155*w + 53*w + 624. Which is bigger: -30.56 or w?
w
Let z be 4/(-18) + (-54460)/(-1260). Let b = 2 - -7. Let v = b - -36. Are v and z non-equal?
True
Let w be (-18)/(-39) - 91/(-169). Which is bigger: w or 2/5465?
w
Let f(d) = -d**3 + 56*d**2 + 110*d + 346. Let a be f(58). Which is smaller: -1/88 or a?
a
Let a(b) = 2*b**2 + 12*b + 32. Let d be a(-3). Suppose -d*v = 27*v + 2460. Is 0 bigger than v?
True
Let m be ((-2)/(8/(-78)))/(51/(-476)). Let k = m + 131. Is k smaller than -51?
False
Let d be (165/(-10) - 2)/(2/4). Suppose o + 5*n = -26, -2*n - 34 = o - 2. Do o and d have different values?
True
Let a(o) = 2*o - 28. Let d(y) = 2*y - 12. Let b be d(6). Suppose 0 = 2*r - b - 28. Let t be a(r). Is t > 1/18?
False
Let r = 4679/2 - 2275. Let d = -108 + 173. Which is bigger: d or r?
d
Suppose -10*v - 9 = -19. Let y be v/3*-4 - (2 - 2). Let m = 22 + -22. Is y greater than m?
False
Let p = 285 - -386. Suppose -5*k + p = 4*q, 0*q - 2 = 2*q. Is k equal to 136?
False
Suppose 10*u + 6 = -4. Is 1/1871 greater than or equal to u?
True
Let t(f) = -f**3 + 2*f**2 + 1. Let n(a) = -3*a**3 - 18*a**2 - 24*a + 14. Let b(r) = n(r) - t(r). Let v be b(-8). Is -53 less than or equal to v?
True
Suppose -128*w + 12 = -129*w. Is w greater than -4?
False
Let a = 412.823 + -413. Let w = -2.177 - a. Which is smaller: 229 or w?
w
Let s(h) = -26*h - 7. Suppose m = -6 + 4. Let w be s(m). Let o(d) = d**3 - 12*d**2 - 21*d - 52. Let z be o(14). Is w at least z?
False
Let x = -2/110483 + -464581011/220966. Which is smaller: -2103 or x?
-2103
Suppose -3*r - 8*t + 63 = -4*r, 105 = -5*r + 5*t. Which is smaller: 71 or r?
r
Let o = 83 - 83. Suppose -3*m + l - 143 = o, m + 2*l - 3*l + 45 = 0. Let x = -43 - m. Is 4 > x?
False
Let j = 417 - 225. Suppose -7*w + j = 5*w. Suppose 13 = h + c - 5*c, -w = 4*h + c. Which is bigger: h or -2?
-2
Let m = -4 - -16. Suppose 0 = 2*v - 3*y - y - m, v - y = 5. Suppose v*p + 182 = -3*p. Which is bigger: p or -27?
p
Let l(w) = 12*w**2 + 526*w - 61. Let f be l(-43). Is f not equal to -491?
False
Let m = 2231 - 3064. Are m and -2 nonequal?
True
Let z = 366.8 - 363. Let m = -0.07 - -1.87. Let v = m - z. Which is greater: v or 3/7?
3/7
Let f = -8215 - -7722. Is f less than or equal to -505?
False
Suppose -44 = -m - 30. Suppose 5*a + 24 = 2*r, 2*a + 5*r = 3*a + m. Let w be (-6)/(-36)*15/a. Is w >= -2?
True
Suppose -i + 3 = 2. Suppose -5*f + 146 = j, -f - 3*f = -4*j + 488. Let s be (-42)/112 + j/400. Which is smaller: s or i?
s
Let p(m) = -m**2 + 40*m - 141. Let b be p(36). Is 287 greater than or equal to b?
True
Let h be (6 - -6)*((-1)/3)/((-6)/(-30)). Let d be 0*(3/1)/3. Are h and d equal?
False
Let n = 3 + -1.7. Let o = 