q + 295 + 28. Let h be ((-17)/(-3))/(1/(-3)). Which is smaller: h or q?
q
Let h be ((-1)/92)/((-2)/(-4)). Let n(m) be the first derivative of -m**2 - m + 25. Let k be n(-1). Which is greater: k or h?
k
Let i be (5002/(-37515))/((74/3)/(2/163)). Is i less than 1?
True
Let b = 4339/275 + -174/11. Let r = -4 + 40. Let k = 36 - r. Which is greater: b or k?
k
Let o = -0.078 + 8.078. Let x = -8.2 + o. Let i = -0.232 + 0.022. Do x and i have the same value?
False
Let k be (-42)/(-4) - (-14)/28. Let r = k - 54. Let p = r + 44. Which is greater: 2/11 or p?
p
Let t be 2*(-1)/(-22)*2. Let f be (206/3090*(-5 - 1))/(3/270). Is f greater than or equal to t?
False
Let m be (-9 + 1)*(-29)/(1450/275). Is -14.3 less than m?
True
Let l = -232 - -231.9. Let v be -3 + 15/(-6)*-2. Let d be (1/v)/(85/60). Is d >= l?
True
Let t be 0/1 - (-2 + 2). Let f = 11 - t. Let g(j) = -j**3 - 16*j**2 - 13*j + 429. Let b be g(-12). Is b equal to f?
False
Let l = -8662 - -8476. Which is bigger: l or -199?
l
Suppose 3*n = 5*n - 82. Suppose 2*j = -n - 173. Let z = j - -106. Do z and 0 have the same value?
False
Let t(a) = -2*a**3 + 3*a**2 - 3. Let i be t(2). Let o be 285/665 - (-149)/(-21). Is o greater than i?
True
Let w = -9121 + 9120. Which is smaller: -954 or w?
-954
Suppose p + 3 = -4*h - h, 0 = -2*p + 4*h - 6. Let k(y) = y**2 + 10*y + 13. Let l be k(p). Which is greater: -2 or l?
-2
Suppose -119*j = -117*j + 268. Let s = j + 134. Is 6/215 <= s?
False
Suppose -3*d = -3*i - 351, -10*i + 369 = -13*i - 3*d. Let k be (-2244)/i - 9/6. Is 17 != k?
True
Let a(i) = i**3 - 24*i**2 - 4*i + 36. Let r be a(24). Is -64 less than or equal to r?
True
Suppose -2*j + r - 63 = -43, 3*r + 18 = 0. Does j = -134?
False
Let g = 4691 + -4694. Is g greater than or equal to -1/66?
False
Let w(b) = 32 + 41 - 2*b**3 - 2*b**3 + b - 75. Let l be w(1). Is -4 less than l?
False
Let s(o) = o**2 + 21*o - 12. Let v be s(-22). Suppose 0 = 3*z - 8*z + 2*w + 15, 3*z - 5*w = -v. Suppose 0 = 2*n - 5*j - 11, -z*n + 160 = 5*j + 45. Is 18 < n?
False
Let j = 59 + -156. Let l = -97.2 - j. Let v = -37.9 + 38. Which is smaller: l or v?
l
Let x(n) = -n**3 + n**2 + 2*n + 49. Let t be x(0). Let i = 69 - t. Let z be (i/(-25))/(4/(-10)). Which is smaller: 3/16 or z?
3/16
Suppose 6*n - 5*n + 10 = -5*r, 3*n = 4*r + 27. Suppose -n*f + 13*f = -9*f. Is f equal to -1?
False
Let j(r) = r**3 - 35*r**2 + 95*r + 2. Let l be j(3). Which is bigger: 17/143 or l?
17/143
Let x = 24 - 24.099. Let d = x + -0.001. Are d and 0.083 nonequal?
True
Let o = -203/27 + 1675/54. Which is bigger: 24 or o?
24
Let u = -78 + 76. Let c = 453683/1887 - 58/629. Let m = c - 243. Is m at most u?
True
Let o be (-3997024)/248 + 51/1581. Are o and -16119 equal?
False
Suppose 0 = 4*j - 5*s + 1 + 4, -4*j - 5*s = -5. Let r = 1091/15695 + -12/215. Is j less than r?
True
Let x be (4 - (3 + -2))*(-10)/(-38). Let d = -49/38 + x. Which is smaller: d or -6.1?
-6.1
Let o be (4/(0 - 1))/((-142)/497). Let x be 7/o - 483/12. Which is greater: -41 or x?
x
Let w(t) = 14*t**2 + 2*t + 1. Let n be w(7). Suppose -515 + 102 = 3*o + 2*u, 5*o - 3*u = -n. Is o <= -140?
False
Let c = 79691 - 40061. Is c at most as big as 39630?
True
Let z be 9 - (-8 - -32) - (-4 - 0). Let c be 826/(-72) + (-4)/(-18). Let a = c - z. Is a bigger than -1/7?
False
Suppose -11913 = 20*y - 50*y - 81633. Is -2325 bigger than y?
False
Let d(q) = -5*q - 27. Let t be d(-6). Suppose 72 = -2*c + 5*z, -2*c - 129 = c + t*z. Which is smaller: 3 or c?
c
Suppose 0 = -3*p - 5*y - 42, -3*p = 4*y + 29 + 10. Let b(l) = -l - 10. Let h be b(-8). Let t be h/((-5)/((-50)/5)). Which is bigger: p or t?
t
Let s = -17762/9 + 1979. Is s smaller than 4?
False
Suppose 5*j + 6*j + 22 = 0. Let y be j/(-7) - 17208/252. Is y less than -70?
False
Let o = -12.3 + 1.3. Let q = 32 + -21. Let p = o + q. Are p and -4 equal?
False
Let j be 84/(-9) + (-3 - -6). Suppose 6*f = 957 - 939. Which is smaller: f or j?
j
Let t = -4 + 1. Let p be t + (-192)/(-68) - 0. Let c be (3/15 + 16/(-80))/(-1). Is p bigger than c?
False
Let l(v) = -1736*v + 7. Let u be l(-1). Which is smaller: 1744 or u?
u
Suppose n + 5*w - 27 = 0, 2*n + 7 = 3*n + w. Let q(z) = 61*z + 6. Let g be q(n). Let r = -379/3 + g. Which is greater: r or 1?
r
Let x = 917 + -918. Which is smaller: -27/230 or x?
x
Let m(j) = j**2 - 8*j - 52. Let r = 132 + -120. Let y be m(r). Is y > -0.1?
False
Let y = 167 - -109. Let z be (((-27)/18)/1)/(39/y). Which is smaller: -10 or z?
z
Let r = -726.43 - 1.57. Let i = 339 + r. Which is smaller: 0.1 or i?
i
Let l(u) = -2*u - 6. Let r be l(-3). Let d be 4/10 - (-64)/(-10). Is r > d?
True
Let m = -34.76 + 0.96. Let n = 33.8 + m. Are 0.182 and n equal?
False
Let b be (-2 + 1)*-4 - 2*760/(-208). Which is greater: 10 or b?
b
Let x(b) = 6*b**2 + 6*b + 13. Let a be x(4). Let n = 128 - a. Suppose 0 = -4*p + 3*p + 5*z - 17, -3*z - 1 = 5*p. Is p not equal to n?
True
Let u be (351/26 + -14)/1*-2*1. Which is smaller: -15/253 or u?
-15/253
Let q(o) = 33*o + 74. Let r be q(-2). Let y be ((165/r)/(-5))/((-87)/58). Which is smaller: 1 or y?
1
Suppose 6 = 2*d + 2*v, d - 2*d + 1 = 3*v. Suppose -r + d*q - 35 = 0, 3*r - 34 = 2*q - 129. Which is greater: r or -1/5?
-1/5
Let m = 75 + 50. Let p(l) = 110*l - 536. Let v be p(6). Is v equal to m?
False
Let c = -95 + 112. Suppose 2*t + 2 - 12 = 0, 3*w - c = -t. Suppose 0 = -v + w*v - 15. Which is bigger: v or 6?
6
Let s = 41901.2 - 41901. Suppose -c - 12 = c. Let x be 4/c*6/(-16). Is s greater than or equal to x?
False
Let g = 20 - 36. Let t be (-1 - -1)/(g + 13). Let l be 1 - (t - 2) - 9. Which is smaller: l or -27/4?
-27/4
Let l = 1760/7839 - 2/871. Let z be 24/(-30) + 38/95. Is z < l?
True
Let u be (-5 - -24)/(2/104). Let k be 4/(-10) + u/20. Is k at most as big as 49?
True
Let c(r) = r**3 + 30*r**2 + 29*r + 8. Let h = -541 - -512. Let u be c(h). Let s(i) = -i**2 + 7*i. Let o be s(6). Is o greater than u?
False
Let i = 620123 + -620123. Let s = 2961 - 476719/161. Which is bigger: i or s?
s
Let q(s) = -s**3 + 6*s**2 - 3*s - 5. Let m be q(4). Let h = -250 + 254. Suppose -h*c + f + 59 = 0, -3*c + 54 = -0*c - 4*f. Which is smaller: c or m?
c
Let j = -858 - -857.8. Let l = 0.01 - 0.51. Let o = 6.5 + l. Is o at most j?
False
Let y = 1359 - 1352.3. Does y = -0.01?
False
Let d be 329 + (-20 - -41 - 5). Is 324 greater than d?
False
Let r be (2 - 32)*(-3 - (-36)/15). Suppose -139*l + r = -138*l. Let b be (2/(-3))/((-4)/102). Are l and b nonequal?
True
Let a = -18 - -86. Let r = -196 + a. Let i = r - -127.896. Is 0.1 bigger than i?
True
Let o = 3583 + -10747/3. Which is smaller: o or 2186?
o
Let m = 30867/7 + -4410. Does -179.8 = m?
False
Suppose 978*g + 2*u = 979*g - 1020, 0 = g - 3*u - 1024. Is 0.2 at least as big as g?
False
Let b = -10825 - -302. Which is smaller: b or 1?
b
Let y = 75 + -71. Let s be 40 + (y/(-1) - -6). Let t = s - 42. Which is greater: t or 3?
3
Let u be (-7)/(819/(-3713)) + (-39)/(-351). Which is smaller: u or 33?
u
Let z(l) = -44*l**2 + l + 1. Let b be z(-1). Suppose 3*q + 27 = -50*g + 49*g, -5*q - 195 = 5*g. Are g and b nonequal?
True
Suppose 36*p + 206 = 34*p - 4*d, 5*p + d = -443. Which is smaller: p or -2?
p
Let h = -12531491631 + 5451202453892/435. Let t = -8263 + h. Which is smaller: t or -1?
-1
Let z be 6 + (-225)/36 - 13/(-4). Suppose -6*t + 1 = -4*d - 11*t, -z*d - t + 2 = 0. Which is smaller: -1/228 or d?
-1/228
Let m(u) = -3*u**2 - 51*u - 47. Let a be m(-16). Let z be a/(-1) + 5 + 1762/(-6). Is -289 bigger than z?
True
Let x = 218 + -386. Let r = -506/3 - x. Is 29 > r?
True
Let d be ((-160)/(-12))/(-8)*(-6)/(-28). Let r = 112 + 11. Let u = r - 123. Which is bigger: d or u?
u
Let s = 6038/657 - 22/73. Let z be (-1 - (-17)/5)*73/(4599/210). Is s equal to z?
False
Let f be (-91)/7 - 6/(-2). Let n be (225/(-42))/(-3)*(-30)/5. Which is smaller: f or n?
n
Suppose -69 = -2*l + a - 18, 3*a = -2*a + 25. Let t = 55 - -19. Let n = 103 - t. Which is smaller: n or l?
l
Let o = -190/23 + 691/92. Suppose 3*x + 6 = 2*x. Which is smaller: o or x?
x
Let z = -35.752 + -6.248. Is z less than or equal to -15?
True
Let x(u) = u**3 - 3*u**2 + 20*u - 18. Let w be x(1). Which is bigger: -2/7331 or w?
w
Let t = 316403/6 + -52851. Let n = t + 353/3. Is -2/439 at most n?
True
Let b be (-12 + (-294)/(-21))*-312. Which is smaller: -62