 be (-2)/(-2*1/v). Which is smaller: s or l?
s
Suppose 4*z - 32 = -0*z. Suppose 3*b = -12, -2*b = 3*h - 3*b + 245. Let d = -74 - h. Which is smaller: z or d?
z
Let z(h) = -305*h - 52. Let b be z(-3). Suppose 8*u + 2215 = b. Are -169 and u nonequal?
False
Let g be (1 - (-8)/2)*1. Suppose 4*p = -2*r + 20, 3*p - 8 = -4*r + 22. Suppose 54 = r*c + 48. Is g less than c?
False
Let w(q) = q**2 + 21*q + 87. Let a be w(-15). Let l be (47/9 - 7)*a/(-28). Let i be (-3)/6 - 1/2. Do i and l have different values?
True
Let h(i) = -87*i + 2501. Let b be h(28). Is b at least as big as 64?
True
Suppose -4*i - 7 = -3*b, -3*i - 11 = -b - 6*i. Is 5 at least as big as b?
True
Suppose -2*p - 3*t = -2*t - 24, 5*p = t + 74. Suppose 24 = 3*k + 3*u, 4*u + 109 = -k + 102. Let v = p - k. Which is smaller: 2 or v?
v
Let b = -93/26 - -1/13. Suppose 4*x + 18 = 5*f, 0 = -3*f - 2*f - 3*x + 4. Suppose 0 = -f*o + 4*n + 28, -4*o = -o - 3*n - 27. Is o bigger than b?
True
Suppose 0 = -3*j + 35 - 14. Suppose 3*s - 366 = 2*n - j, 0 = -2*s - 5*n + 214. Which is smaller: s or -1?
-1
Let f be (-1 + (-2860)/(-85))*(-284)/(-213). Is f < 43?
False
Let j = 1.8 - 1.6. Let o = -2911 + 2927.21. Let x = 1.21 - o. Which is bigger: j or x?
j
Let z = 10046 + -79353/8. Which is bigger: z or 126?
z
Let z be 2/(-8) + (2299/44 - 10). Let d be 4/(-14) - -9*6/z. Is 7/6 less than d?
False
Let y = 5615 - 17068/3. Is y less than -74?
True
Let f(o) = o - 12. Let h be f(7). Let d = -55011 + 55014. Are d and h nonequal?
True
Let b = 40 + -134. Let g = 93.896 + b. Let a = -0.004 - g. Which is smaller: 2.7 or a?
a
Let i = 20.96 - -0.04. Let j = -18.938 + -2.082. Let q = i + j. Is q less than 2?
True
Suppose -15*k + 16720 = 4*k. Suppose -64*h + 56*h = -k. Which is bigger: h or 111?
111
Let w = 25296 - 32087. Is w less than or equal to -6791?
True
Suppose 7*u + 14*u = 24*u. Let i be (454/102 - (-10)/(-85))/19. Which is bigger: i or u?
i
Let m(g) = 2*g**3 + 35*g**2 + 18*g + 17. Let l be m(-17). Let n be ((-658)/330 + 2)*3. Is n at least l?
True
Suppose m - 4*v = -28, 0 = 5*m - 3*m + 4*v - 4. Let a be (-24)/(-144)*(-30)/m. Which is smaller: a or 0?
0
Let b be (2/(-13))/(5 + -6) - (-4036275)/195. Is 20699 at most b?
True
Suppose 0 = g - 7*g - 222. Let j = -29 - g. Suppose 0 = -5*n - r + 151, n + 10*r = j*r + 23. Which is bigger: n or 32?
32
Let a be 1164/60 + (-3)/15*-3. Suppose 5*y = -3*x + 2*y + 12, a = 4*y. Which is smaller: x or 2/243?
x
Let s = -3904 - -3926. Is s < 546/25?
False
Let d = 6700 + -33493/5. Which is bigger: d or -101?
d
Suppose -2*z + 12 = 6. Suppose 657 = -11*m + 7*m - q, 2*q - 490 = z*m. Is m != -163?
True
Suppose -7*n + 30 + 75 = 0. Let g(j) = -j**3 + 15*j**2 - 2*j + 12. Let h be g(n). Is -13 less than or equal to h?
False
Let d(c) = 2*c**2 + 36. Let z(i) = -4*i**2 + i - 73. Let t(r) = 5*d(r) + 2*z(r). Let l be t(-5). Are 72 and l nonequal?
True
Suppose -5*i = 15, -51 = -5*p + 7*p + i. Let x(g) = 2*g - 3. Let n be x(2). Let b be (1/2)/((2/p)/n). Is b <= -28/5?
True
Let g(o) = 2*o - 43. Let f be g(22). Suppose 0*b = b + 4*z - f, 2*b = 2*z + 2. Let l be 1*(687/231 - 3). Which is bigger: b or l?
b
Suppose -n - 52 = -5*n - 2*l, -5*l = 4*n - 40. Suppose -1629 + 321 = 2*j. Let w be (-3)/(-5) + j/n. Which is smaller: -45 or w?
-45
Let z be (((-700)/21)/(-25))/((-1)/3). Which is smaller: z or 51?
z
Let r = 10465 + -6121. Does -2 = r?
False
Let r(k) = -k**3 - 7*k**2 - 2*k + 14. Let i = 1 + -23. Let p = i - -16. Let l be r(p). Is l bigger than -9?
False
Let u = -505 - -1011/2. Let k be -6*((-14)/(-4) + 2). Is k smaller than u?
True
Suppose 0 = -0*u + u - 46. Suppose 2*f - r - 18 = 0, 5*r - 9*r + 8 = 2*f. Let n be 12/f*(-368)/(-12). Is u greater than n?
False
Let c(r) = -r**2 - 13*r + 2. Let m be c(0). Let d be (24/18 - m)/(39/90). Suppose 4*b = 5*y + 27 - 1, 22 = -3*y + 4*b. Do y and d have the same value?
False
Let n = 138 - -37. Is 187 <= n?
False
Suppose 5*r - 3 = 4*p, 50 = -p + 48. Is 1/678 at least r?
True
Let r = 47 - 65. Suppose 0 = -4*z + 3*u - 82, 3*z + 4*u = 47 - 121. Which is smaller: r or z?
z
Let d(c) = 5*c + 2. Let n be d(-2). Let f be ((-105)/n)/(3/4). Suppose -80 = 48*o - 115 - 829. Are f and o equal?
False
Let a = 2375 - 7126/3. Suppose 2*y + 4*f = -1380, -4*y + 347 = 3*f + 3092. Let z be (-1)/2 + (-366)/y. Is z at most as big as a?
False
Let u(r) = 23*r - 119. Let n be u(5). Let j be ((-51)/n)/(177/(-472)). Are -38 and j nonequal?
True
Let p = 6.17 + -271.37. Let g = p + 265. Which is greater: g or 2.9?
2.9
Let s = 4427 - 7662. Which is smaller: s or 3?
s
Let m be (-124)/(-434) - (1 + (-87)/63 + 0). Which is bigger: m or 841?
841
Let l be (16 + 2674/(-168))/(4/(-69)). Is 0 less than or equal to l?
False
Let q be (-3008)/(-7070) + 1722/(-105) + 16. Which is smaller: q or 0?
0
Let s = -6 - -2. Let a be -6*(-1 - 19/s). Let h be (660/(-30))/(3 + -2). Which is smaller: h or a?
a
Let n = 1/3999 + -19107/2666. Let u(j) = -3*j**2 - 9*j + 6. Let d be u(-4). Is d not equal to n?
True
Let t = 1008 - 1017. Which is smaller: -77 or t?
-77
Suppose -5*o - 9*k - 100 = -4*k, 2*k - 35 = 3*o. Which is smaller: o or -213/14?
-213/14
Let w = -65 - 387. Let z = -418 - w. Are 3 and z unequal?
True
Let r be (-105)/10*(-24)/(-75). Let m = 16 + -18. Is r at least as big as m?
False
Suppose -3*w - 24 = 4*o, 2*w + 13 = -o + 3*w. Suppose -k + 2*k = -5*h - 155, -h - 4*k = 12. Let v = o - h. Which is smaller: 0 or v?
0
Let x = -96.086 + 96. Let k = x - 0.914. Which is smaller: -1/45 or k?
k
Let h be (-1)/5*(-11895)/(-12). Let s = -117637 + 117439. Is h at least s?
False
Let m = -127.216 + 0.216. Let w = 4082 + -3955.1. Let t = m + w. Is t greater than -4/13?
True
Suppose -w - h - 12 = -0*w, 2*h + 39 = -3*w. Let p = w - 6. Let j(t) = t + 21. Let y be j(p). Is y at least -6/49?
True
Let b = -280988119/3281 - -85641. Is 1 at most as big as b?
False
Suppose -12*f - 2*p = -15*f + 6495, -2224 = -f - 19*p. Which is smaller: 6497/3 or f?
6497/3
Suppose -7*a + 32 = -3. Suppose 0*q + a*y - 65 = -q, -325 = -5*q - y. Suppose -q - 13 = 13*p. Is -1 at most as big as p?
False
Let b be 54*(-15)/10*(-4)/(-6). Let o be 1*9/b*0. Which is smaller: o or -6/349?
-6/349
Suppose 0 = r - 3*p + 4, -2*p + 12 = -5*p. Let u be (-126)/r + (-4 - -4). Which is bigger: 7 or u?
u
Let p = -8.5 - -133.5. Let a = -126 + p. Is 4 > a?
True
Let g be (-3804)/(-108) - 2/9. Let u = -32 + g. Suppose -5*l + 0*c - c = 30, 0 = -3*l + u*c. Which is bigger: l or -3?
-3
Let c = -28/103 - -261/1339. Let y(i) = -i + 13. Let r be y(9). Suppose r*n - 2*n = 0. Is c at most n?
True
Suppose l = 13 + 3. Suppose 169 = 2*h - 171. Suppose h = -s + 11*s. Which is smaller: s or l?
l
Let q(a) = -a**3 - 103*a**2 - 100*a - 260. Let l be q(-102). Which is bigger: l or -482?
l
Let d(k) = -84*k + 3098. Let c be d(37). Let x be 1/5*15/(-4). Is c less than x?
True
Let a(o) = 369*o - o**2 - 2 + 0*o**2 - 2*o**3 - 365*o. Let u be a(1). Are u and 11.6 nonequal?
True
Suppose 0 = -3*q + 17*q + 14. Let w be 1 - q - (49/(-28) - -5). Which is greater: 0 or w?
0
Let w be (63/2)/9*6. Let z = -431 + 1641/4. Let g = z + w. Which is smaller: g or 3?
g
Let m be 0 + 129*(-1)/(-3)*1. Suppose -4*x = -2*v - 170, 2*v - 178 = -5*x + 12. Which is smaller: x or m?
x
Let u(b) = -b**2 - 33*b + 114. Let s be u(-31). Let h = s + -236. Is -59 >= h?
True
Let h(i) = -4*i**2 + 3*i**2 - 4 + 3*i**2 + 4*i - 6*i**3 - i**2. Let m be h(2). Let x be (-9)/24 + 385/m. Which is smaller: -12 or x?
-12
Let f(d) = -d**3 - 10*d**2 + 15*d + 2. Let v be f(3). Is -5 at least v?
True
Suppose 90 = -3*h + 8*h. Suppose 298 = 4*d - h. Let i = 80 - d. Which is smaller: -1/8 or i?
-1/8
Let i be (-4)/(-62) - (-1020)/527. Let g(j) = -j**3 + j**2 + 4*j - 10. Let k be g(i). Is k equal to -13?
False
Let u(h) = 134*h - 4007. Let i be u(18). Which is greater: -1597 or i?
i
Let l(v) = 4*v**2 + 65*v + 97. Let r be l(-17). Do 1614/11 and r have the same value?
False
Let r = 36 + -23. Suppose -r*d = -474 + 110. Let m = 30 - d. Which is smaller: m or 17?
m
Suppose -52*n - 106362 = -152*n - 623562. Are -5174 and n nonequal?
True
Let t be (-88)/8 + 7 + (-47348)/(-11838). Is t at most as big as -1?
False
Let p be (-3087)/(-42)*-8*(-14)/(-732). Which is bigger: p or -11?
-11
Let s(u) = u**3 - 86*u**2 + 172*u - 280. Let x be s(84). Which is bigger: x o