 t be 1/6*20*s/(-24). Let m = 0.8 + 3.2. Which is smaller: m or t?
t
Let m(p) = -p**2 + p. Let h(k) = -3*k**2 - 11*k + 11. Let y(q) = -h(q) + 2*m(q). Let r be y(-14). Let g be r/3 + 1 + (18 - 1). Are g and 19 non-equal?
False
Let r be (-16)/3*15/(-10). Suppose 4 = -2*n - 4*t - r, -3*n = -t + 11. Let k be 18/(-216)*3/n. Is -1 not equal to k?
True
Let h = -103316947/66 - -1565447. Let t = h + -229/6. Which is smaller: t or 3?
t
Let z(o) = -78*o**2 - 213*o - 1211. Let s be z(-6). Is s at least as big as -2740?
False
Let n be ((-90)/(-250))/(6/15). Suppose -2*g + 2*b - 1 = -3, 0 = 2*g - b - 3. Suppose 0 = -0*u - g*u + 4. Is u less than n?
False
Let f be (25/250)/((-2)/1012). Suppose -1648 + 424 = 24*u. Which is greater: f or u?
f
Let a(z) = -9*z**2 - 28*z - 150. Let h be a(-18). Is h greater than -2561?
False
Let c(a) = 67*a - 67. Let o be c(1). Which is bigger: -21/155 or o?
o
Let d = 197 + 67. Let q be 2 - 3 - -37*6/d. Is q > 0?
False
Suppose 0 = 4*z + z + 1965. Let f = 618 - 1010. Is f equal to z?
False
Let t(p) = 12*p**2 - p - 4. Let o be t(3). Suppose -2*l - 4 = 2*l, -5*l = -3*z + 242. Let v = o - z. Is 19 greater than v?
False
Let t be 2*(11 + -3 + -2*(-221)/(-52)). Which is greater: -10/1567 or t?
-10/1567
Let h be (-18)/(1*(-3215)/10*4). Are 0 and h nonequal?
True
Let n = 3 - 17. Let v be (-119)/(-745)*n/63. Let l = 4/447 - v. Which is bigger: l or -1?
l
Let g = -4410/19 + 428948/1843. Which is smaller: 0 or g?
0
Suppose 166*z - 162*z = -3*j - 37, -45 = 5*z + 4*j. Let y(m) = -3*m**2 - 2*m - 1. Let w be y(2). Which is bigger: w or z?
z
Let a = -143/9 + 1940/117. Suppose -45 + 71 = 3*l - z, -5*z + 23 = 2*l. Let p be -3*((-8)/l + (-34)/(-153)). Is p greater than or equal to a?
True
Suppose -2*s - 29*s - 1960 = -3*s. Are s and -66 equal?
False
Suppose -11*c + 20*c + 162 = 0. Let m be c*(-2)/(-28) - (-4)/14. Which is bigger: m or -5/27?
-5/27
Let g(q) = -q - 8. Let x(m) = 1. Let l(h) = g(h) + x(h). Let a be l(7). Let c be -4 + (-82)/7 + (-64)/224. Which is smaller: a or c?
c
Let n = -781/2 - -411. Suppose 3 - 4 = -x. Let s be x*2*-5*-2. Which is bigger: n or s?
n
Let u(z) = -z**3 - 76*z**2 + 246*z - 236. Let w be u(-78). Which is greater: w or -7257?
w
Let c = -6920 + 6919. Let m = -466 + 23297/50. Which is greater: c or m?
m
Let r = 16925.1 - 16925. Which is smaller: -0.9668 or r?
-0.9668
Let j = -64 - -60. Let s be (1/j)/((-129)/(-5848)). Is -11 > s?
True
Let a be 9/((2/2)/(-3)). Let f = -14884 + 14854. Which is smaller: f or a?
f
Let t be 0 + 2/(-6) + 170/(-30). Let j(n) = 3*n**2 + 5*n - 14. Let f be j(t). Suppose 0 = -8*z - 0*z - f. Is -8 less than z?
False
Let m = 4901 + -7278. Is m bigger than -2380?
True
Suppose -1218 = -5*h + 3*c + 1807, 2*h - 3*c - 1210 = 0. Suppose 6*a = 4*b + a - h, -a - 152 = -b. Are 154 and b non-equal?
True
Suppose -5*u + 19*u + 22 = -8*u. Which is smaller: -2/2031 or u?
u
Suppose -78*g + 72669 + 82105 = 15466. Which is greater: g or 1788?
1788
Suppose 0 = 85*f - 11367 - 11753. Which is smaller: 276 or f?
f
Let g(z) = -z**2 - 15*z + 59. Let j be g(-19). Let l = -19 - j. Let w = 0.2 - 17.2. Which is bigger: w or l?
l
Let m = 43038 - 989688/23. Which is smaller: 9 or m?
m
Suppose 0*w = -3*w + 6, -2*v = -3*w + 6. Suppose -4*a - 4*z - 24 = v, -5*z = -9*a + 5*a + 21. Which is smaller: -1/410 or a?
a
Let u = -66 - -68. Suppose u*g = k - 4, -2*k = -k. Let b be ((-5)/(-15))/(g*(-2)/(-156)). Is -14 < b?
True
Let m(y) = -y**2 + 48*y + 868. Let a be m(62). Is a at most -1/5035?
False
Let i(a) = -13*a**2 - 27*a**2 - a - 29*a**2. Let t be i(-1). Suppose -5*p - 5*g = 325, -5*p - 327 = -2*g + 6*g. Which is bigger: t or p?
p
Let x = 10574 + -9756. Is -2/13 >= x?
False
Let m be (-5573310)/(-389250) + (-2)/(-25). Let q = 1/519 + m. Is q at most as big as 15?
True
Suppose 6 - 62 = 2*k. Let o = k + 30. Suppose -o = -6*a + 7*a. Is a smaller than -5?
False
Suppose -4*y + 13 = -3*p + 18, -4*p + 9 = -3*y. Let g be (p/(-4))/((-15)/(-300)). Which is bigger: -12 or g?
-12
Let y = 1289/3 - 492. Let k = 751/12 + y. Is -120 less than k?
True
Suppose 0 = f - 2, 4*f = -n - 110 + 375. Which is smaller: n or 1790/7?
1790/7
Let r be (42/24)/(-3*1/(-2844)). Suppose 5599 = 20*t + r. Which is smaller: 196 or t?
196
Let n(o) = o**3 - 37*o**2 + 30*o - 38. Let k be n(36). Let j = k + 302. Is 47 greater than or equal to j?
False
Let d = -6.99 + 7.33. Is d < -5/3?
False
Let h = 6.6 + -6.21. Let k = h - -0.51. Let g = k - 0.5. Is 17 > g?
True
Let l(m) = -2*m**2 - 25*m - 15. Let c be l(-12). Let w be (-45)/(-3)*-2*c/18. Suppose w*u + 11 = -g + 30, 23 = 2*g + 5*u. Do g and 14/3 have different values?
True
Let l = 3.1 + -3. Let t = 463553 - 463554.5. Which is smaller: l or t?
t
Let q = 2222 - 2238. Suppose -2*k = 3*s - s + 108, -4*s = 0. Let u be (k/8)/((-15)/(-40)). Do q and u have the same value?
False
Suppose -4*r - 3*b = -2*b + 10, 3*b - 4 = 5*r. Let f(p) = -p**3 - 3*p**2 - 3*p - 3. Let i be f(r). Let l = -2892 + 115677/40. Which is smaller: i or l?
i
Let v = -2721 + 2721.3. Which is bigger: v or 147?
147
Let t(a) = 23*a + 70. Let q be t(-4). Let r be 7 - (-276)/q - 1. Which is smaller: r or -7?
-7
Let v(s) = s - 20. Let j be v(18). Let u(x) = -x**3 + x**2. Let d be u(j). Let l = d - 10. Is l equal to -1?
False
Let p = -1.67 - -1.7475. Let h = p - 2.0775. Is 1/120 less than h?
False
Let h = -373 - -256. Let d be (-10)/(-15) - ((-294)/h + -2). Let m = -6 + 7. Does d = m?
False
Let t(g) = -g**3 - 40*g**2 + 48*g + 251. Let p be t(-41). Is -858/23 less than or equal to p?
True
Let s(v) = 2*v**2 + 15*v + 32. Let m be s(-2). Let i be (-38)/50 - m/(-25). Which is greater: 1 or i?
1
Let d = -13.1 + 0.1. Is d < -13?
False
Let u = 48 + -47.664. Let x = u - -184.664. Is 2/7 greater than or equal to x?
False
Let r = 769.14 + -773. Let m = 3.81 + r. Let d = 0 - 0.2. Which is greater: m or d?
m
Suppose 3*t + 3 = -3*j, -35 + 39 = 4*j - 4*t. Let i = -3 + 1. Let b be i/(-11) - 32/418. Is j at most as big as b?
True
Let r = -0.6367 - -0.0867. Let c = -0.05 + r. Let a = -0.6 - 2.4. Is c > a?
True
Let g(r) = r**2 - 11*r + 12. Let k be g(14). Let o be ((-6)/(-153))/(3/k). Let n(s) = s**3 + 38*s**2 - 36*s + 118. Let d be n(-39). Which is smaller: o or d?
o
Suppose -13*l - 90 + 142 = 0. Suppose -h - 10 = l*z, -h - 4*h = -5*z - 25. Which is smaller: h or -50/3?
-50/3
Suppose -29*d + 315*d = 6864. Is d at most as big as 2?
False
Let c = 10214437019/2091 - 4884953. Let z = c - 5/41. Suppose -4*t + 2*u + 2*u = -8, 4*u + 9 = 3*t. Is z greater than or equal to t?
True
Let x = 3.94 + -4. Let y = -921 - -921.24. Let n = y - x. Are 0.8 and n non-equal?
True
Let m(i) = -249153*i**2 + 13*i + 3. Let t be m(-6). Let n = t - -24137147261/2691. Let q = n - 2/897. Is q smaller than 1?
True
Let p(z) = z - 1. Let h(j) = 20*j**2 - j - 6. Let m(n) = h(n) + 2*p(n). Let k be m(3). Let u be (-276)/66 + 4 - k/66. Are 1 and u nonequal?
True
Let h = 2104 - 2103. Which is smaller: h or 17/20?
17/20
Suppose 9 = -3*a, 4*p - a - 505 = 370. Let h(b) = 2*b**2 - 70*b + 70. Let x be h(37). Is x less than or equal to p?
True
Let f = 19 - 20. Let j be -4*(12/8 + f)*1. Let k be j - (-10)/6 - (-33)/126. Is k less than or equal to 0?
True
Let j = 39.27 - -1784.73. Is -1/2 equal to j?
False
Let z = 363.6 - 229.6. Which is bigger: -1/8 or z?
z
Let n = 15 + -2. Let a be (-8)/(3/((1/(-6))/(8/48))). Which is greater: a or n?
n
Let n be -5 - -12 - 6 - -31. Suppose 46*p = 14*p + n. Is p bigger than -6/19?
True
Let l be ((-34190)/526)/((-15)/27). Let i be (3 - -9)*58/6. Which is smaller: l or i?
i
Let k be (-4*19/(-76))/((-12)/(-1)). Suppose -2*t + 4*v + 14 = 0, -4*v + 7 = -t + 22. Does t = k?
False
Let a = -9239 - -9239. Is 102/211 > a?
True
Suppose 239*h - 235*h = 0. Suppose h = -3*a + 2*a - 11*a. Is a >= -8/31?
True
Let n = 0.101 + 3.699. Let p = n + 8.2. Is p equal to -1?
False
Let n = -0.11 + 54.11. Is n greater than or equal to 13?
True
Suppose o - 5*i = -8 - 4, -o - 5*i + 8 = 0. Let a(y) = 8*y - 29. Let p be a(o). Are p and -44 nonequal?
True
Let k be (-47)/235 + (-192)/(-10). Let r = -11 + 29. Which is greater: k or r?
k
Suppose -o + 22 = 3*u, 0 = -5*o - 0*o - 3*u + 110. Let l be ((-4)/6)/(o/297). Is 7 less than or equal to l?
False
Suppose 83*z = 25 + 58. Which is greater: z or -7/690?
z
Let w = -220.1 + 224. L