 - (-1)/4. Is f at least w?
False
Let g = 2.25206 - 0.25206. Is -7/82 smaller than g?
True
Suppose 24*n - 23*n + 4 = 0. Let v be (-48)/488 + n/18. Let a = 6/61 + v. Which is bigger: -0.18 or a?
-0.18
Let q be 2 + (-2060)/6 + 0. Let c = q + 338. Suppose 8*v - 236 + 123 = -137. Is c less than v?
True
Let d = 314 + -314.0165. Which is smaller: d or 2?
d
Let n(g) = -g**3 + 25*g**2 - 45*g - 208. Let b be n(22). Which is smaller: b or 244?
244
Suppose 29 = -4*c + 3*y, c - 2*c = -3*y + 5. Let p be (c + (-840)/(-104))/((-2)/(-16)). Which is bigger: p or 0?
p
Let y(u) = u**3 - 6*u**2 + 2*u - 8. Let m be y(6). Let r = 262 - 203. Suppose m*q = d + 7, 4*d + 39 + r = 2*q. Is -26 smaller than d?
False
Suppose -3*m + 4*s + 3 + 0 = 0, 2*m - 5*s - 2 = 0. Is m >= 2640?
False
Let d(l) = 1 - l - l**2 - 5*l + 2*l. Let h be d(5). Let s = 196645 - 196689. Is h at most s?
True
Let u(y) = -11*y - 2. Suppose -o + 3*v - 196 = -6*o, v + 74 = 2*o. Let n = 37 - o. Let b be u(n). Which is greater: b or 31/3?
31/3
Let m(z) = 2*z - 38. Let v be m(31). Let l be (-24)/v*31*2. Which is smaller: -125/2 or l?
-125/2
Suppose -47853 - 68650 = -113*k. Let m = -45703939 - -4067558814/89. Let g = k + m. Which is bigger: g or -1?
g
Suppose -4*b = -b - 258. Let l = b + -165. Let f(p) = -28*p**2 + 34*p + 452. Let d be f(5). Do d and l have the same value?
False
Let j = -13584 + 13582. Which is smaller: j or -26/421?
j
Let v be 88/(-20)*((-25)/10)/1. Suppose 0 = -31*y - v*y + 10710. Do 254 and y have different values?
True
Suppose -8*j + 19*j + 66 = 0. Let x(h) = -6*h**2 + h. Let k(w) = -w**2 - 13*w + 1. Let s be k(-13). Let p be x(s). Is p at most as big as j?
False
Suppose -6*k = 13399 + 14405. Let j = -23266/5 - k. Which is smaller: -19 or j?
j
Let v = -5.012 - 9.988. Which is smaller: v or 36?
v
Let d(n) = 4*n**3 + 46*n**2 + 28*n - 31. Let l be d(-11). Are l and -90 equal?
False
Let u be -2 - 1 - (0 + 987 + 1). Is u at most 3/5?
True
Suppose 0 = 68*o - 688 - 944. Let l(m) = 2*m**3 - 47*m**2 - 23*m - 20. Let h be l(o). Which is greater: h or -45?
h
Let p be (3/(-2) - -2)*(6 - 2). Let s(y) = y. Let u be s(-1). Let x be 33/(-15) + 4 + 1/u. Which is greater: x or p?
p
Let d = 6468 - 6468.6. Is 0.6 not equal to d?
True
Let m = 153.2782 + -0.1782. Let r = m + -131. Let s = r + -22. Is 0.4 != s?
True
Let g(b) = -201*b - 1214. Let q be g(-6). Which is greater: q or -316/37?
q
Let z = -104 + -585.8. Which is greater: 0 or z?
0
Let p = 19330 - 18524. Which is bigger: 803 or p?
p
Let n(b) = -4*b**2 + 236*b + 742. Let r be n(62). Which is bigger: r or 1579?
1579
Let g be (-115)/690 - (-2 - 151/6). Is g <= 495/19?
False
Let k = -0.076 - 3.954. Let s = 0.03 + k. Let d = 2 + s. Which is bigger: d or 4?
4
Let d = 1279 - 47319/37. Let g = -89 + 99. Suppose -4 = g*b - 4. Is d not equal to b?
True
Let s be (6/4 + -4)/((-3)/474). Which is smaller: s or 406?
s
Let s(v) be the second derivative of v**3/3 + 6*v**2 - 10*v. Let h be s(-4). Suppose 0 = -3*g - 0*g + i + h, 8 = -3*g - 2*i. Is -2/33 at least as big as g?
False
Let v(i) = i**2 + 6*i - 20. Let k be v(-10). Suppose -15*l + k*l + 475 = 0. Is l >= -96?
True
Let m = 2875 + -2914. Which is smaller: m or 54?
m
Let k = 3.92 - 3.9337. Let h = 0.9863 - k. Which is smaller: 1.04 or h?
h
Let u = -22 - -15. Suppose -167 + 76 = 13*z. Is z >= u?
True
Let a be (-45905)/(-14973)*1 - (-2 + 5). Let i = -8/217 + a. Is 0 < i?
True
Let j = -12916 + 12873. Suppose -k - 39 = 2*i, 5*k + 63 = -2*i - 148. Is j equal to k?
True
Let g be 78/320 + (-18)/45. Let q = g - 241/96. Let z(b) = b + 33. Let a be z(-36). Which is smaller: a or q?
a
Let x(f) = -f**2 + 6*f - 4. Let s be x(7). Let r = 18 + s. Let y be r/(21/9) + 0 + -2. Is y greater than 2/137?
True
Let z = 18 - 19. Let l be 22/(-6)*(-2476)/(-40). Let h = 227 + l. Which is smaller: z or h?
z
Suppose 315*v - 229*v = -1290. Are -42 and v non-equal?
True
Let p = 1130 + -1322. Which is bigger: 0 or p?
0
Let a(q) = 4*q + 14. Let u be a(-3). Let i be (-9 - (u - 0)) + (10 - 7). Let x be i/24*-3*1. Which is greater: -2/43 or x?
x
Let k = 111 + -112. Let q be (-7*46/(-1449))/(3/5). Is q < k?
False
Let z be ((-336)/(-896))/(3/41278). Which is bigger: 5161 or z?
5161
Let f = -224 - -222. Let d = 33.49 - 4.39. Let x = -29 + d. Which is greater: f or x?
x
Let t = 808 + -807.9541. Let i = t - 1.0459. Which is bigger: -10 or i?
i
Let v = -0.1558 + 0.0658. Which is smaller: v or 0.4?
v
Suppose 33 = -5*o - 7. Let f be 3514/70 - (o/10 - -1). Suppose 10*m = 351 + 149. Is f bigger than m?
False
Let t(i) = i**2 - 8*i + 2. Let z be t(3). Suppose 10*p - 6*p - 8 = 0. Suppose p*q = -5*x - 70, -x + 0*q = 2*q + 22. Is x < z?
False
Let n(d) = 662*d**2 + 6*d. Let b be n(1). Let t be b/(-3) - (-51)/(-153). Are t and -223 equal?
True
Let d be (1 - 9/6)/(7/42). Suppose 2*z - 5*v = -5, 2*v + 1 = -z - 6. Let o be z + (-2 - -1) - (1 + -3). Which is smaller: d or o?
o
Let m = -23 + 19. Let x be ((-4)/36)/(m/(-12)). Let w be (-4)/18 + 40/(-468). Is w <= x?
False
Let c = -241 + 113. Suppose -p + 386 = 3*t, t - 107 + 5 = 5*p. Let n = c + t. Are -13/7 and n unequal?
True
Let z be 98/(-190) + ((-24)/5 - -5). Let d = -163/95 - z. Which is smaller: -1/4 or d?
d
Let i be (52178/35)/((-8)/10) - 6/12. Is i < -1864?
False
Let f be (8/(-24))/(-1 - (-146)/36). Let m be -2 + -2 + -13 + 16. Which is smaller: f or m?
m
Suppose -5*v - 11 = x + x, 5*v + 5 = -5*x. Let t(n) = -n**2 + 10*n + 260. Let z be t(22). Let y be ((-736)/94)/z - x*1. Which is bigger: 0 or y?
0
Let q be (-3 - ((-168)/18)/7)*-6. Suppose u - 6 = -8*v + q*v, 5*v + 6 = -2*u. Do 62/19 and u have different values?
True
Suppose 0 = 8*s + 11*s - 57. Suppose 7*a - s*a = -4*a. Is a equal to -2/23?
False
Suppose -32*u - b = -38*u - 9661, 3*u = -3*b - 4848. Is u smaller than -1612?
False
Let r(n) = 3*n - 78. Let f be r(5). Let u = 85 + f. Which is bigger: u or 162/7?
162/7
Let r be 14/10 - 4779/3435. Which is greater: -4/7 or r?
r
Let u(z) = -z**2 - 2*z - 101. Let i be u(-19). Let y = -411 - i. Is y less than or equal to 69/5?
True
Suppose -2*b - 3*b = z - 12, 2*b - 12 = 2*z. Let p(g) = -g**3 - 6*g**2 - 8*g - 3. Let a be p(z). Let o be (16/24)/(16/a). Do 1 and o have the same value?
False
Let x be -579 - 0 - -13 - (3 + -4)*5. Is -563 not equal to x?
True
Suppose -42 = 6*i - 13*i. Suppose 9*c + 60 = -i*c. Which is smaller: c or -58/13?
-58/13
Let g(n) = 2*n**2 + 8*n + 80. Let j be g(0). Let a be 32/j*10/(-1474). Does 0.1 = a?
False
Let r = 87/307 + -26311/20262. Which is bigger: r or 0?
0
Suppose h - 6*h - 6360 = 0. Let a be (h/317)/(-2) - 2. Suppose 9*s - 4*y + 35 = 10*s, 5*s + 2*y = 13. Is s bigger than a?
False
Let c be -933*(438/(-18) - -25). Is -616 less than or equal to c?
False
Suppose -16 = 10*i - 18*i. Let p be (i - (-3 + 7) - 2) + 230. Which is bigger: 225 or p?
p
Let u = -2057/103 - -1395679/69731. Which is smaller: u or -1?
-1
Let d = 50279 - 39267890/781. Is -1 greater than d?
False
Let u = 41 - 40.72. Let c = u - -0.778. Let s = c + -0.058. Is s bigger than -2.5?
True
Let b(s) = -s**2 - 29*s - 205. Let h be (6 + -5)*-30*(-3)/(-6). Let z be b(h). Which is bigger: 8 or z?
8
Let c be (4/(-10) - (-184)/(-10))/((-1251)/(-35445)). Which is smaller: c or -533?
-533
Let q be 2/(40/220)*497. Is q at most 5465?
False
Let d = 243/64 + -498457/131264. Which is smaller: d or -1/5?
-1/5
Suppose -i - 10 = -37. Let z = 73 - 42. Which is greater: z or i?
z
Let c = 47/5 - 433/45. Let a(n) = n**3 + 2*n**2 - 1. Let y be a(1). Suppose 5*q = 0, 2*m - 2*q - y = -3*q. Which is greater: c or m?
m
Let y = 5 + -8. Let j be (-1 - -6) + (-153)/30. Let q = -103/30 - j. Which is greater: y or q?
y
Let t(k) be the second derivative of -k**3/2 - 23*k. Let z be t(-4). Suppose -z = 2*w - 14. Is 1/7 at most as big as w?
True
Suppose -2*g + 647*f - 2201 = 642*f, -g = 5*f + 1138. Are -1113 and g equal?
True
Let z(p) = p - 49 - 22 - 12*p + 44. Let o be z(-9). Let h be (-10)/45 - (-34)/o. Is h not equal to 0?
True
Suppose -11*d + 78 = -461. Suppose 10*t - 17*t + d = 0. Which is smaller: t or 9?
t
Let a be (-2)/(-1)*(181530/12970 + -14). Is a at most 1?
True
Let f be 22/55 - ((-340101)/(-15) + -4 + 3). Is f at least as big as -22673?
True
Let a = -11705507/325 - -36017. Is 0 > a?
False
Let g = -5476/42159 - -2/897. Let v(i) = i**3 - 16*i -