0)/7)/((-2)/2). Let i be 197/w + (-3)/18. Which is smaller: i or j?
j
Let b(q) = -q**2 - 7*q + 32. Let l(k) = k**2 - 23*k + 78. Let o be l(18). Let x be b(o). Suppose 2*h = 4*h. Is x equal to h?
False
Let y = 6/167 + -759/7181. Suppose -151 = -31*g - 49 - 71. Is y at most as big as g?
True
Let j be ((-2)/9)/(17/(-51)). Let r = 0.085 + -119.085. Is j equal to r?
False
Let n = -4428 + 4434. Does 19 = n?
False
Suppose -341 + 349 = 2*c. Suppose 4*l + 164 - 5 = 5*t, c*l - 120 = -4*t. Let h(o) = 14*o + 2. Let x be h(2). Which is smaller: t or x?
x
Suppose -9*r + 1107 = -0*r. Let b = 1.004 + -0.004. Which is smaller: r or b?
b
Let d(b) = 3*b - 26. Let y be d(16). Suppose -v - 4*r = -4*v + 31, -2*v + 3*r + y = 0. Suppose 0 = x + v, 4*x - 26 = 3*m + 113. Which is greater: m or -52?
-52
Let d be (-2)/3 - (-1050)/(-45). Let j be 2/3 + (-32)/d. Let k be ((-44)/8)/((-28)/8). Is k not equal to j?
True
Suppose 5*o + 6 = 2*h - 11, 3*h - 4*o - 15 = 0. Which is greater: h or 3/6796?
h
Suppose 77*q - 13 = 78*q. Let s(y) = 2*y**2 + 29*y + 25. Let d be s(q). Which is smaller: d or -19?
-19
Let k = 9516 - 9514. Which is bigger: k or 721?
721
Let g be 52/528 + (-4)/22. Let j = -0.016 - -0.046. Is j at most g?
False
Let s = 182 - -329. Let n = 470 - s. Are 0.03 and n non-equal?
True
Let p = 19881 + -19879.75. Is -2/5 smaller than p?
True
Let r = 60 - 70. Let z = -10 - r. Which is bigger: z or -1/33?
z
Let s = -104.90822 - 0.11178. Is s < 2/3?
True
Let m(q) = -96*q - 945. Let g be m(6). Which is bigger: g or -1520?
-1520
Suppose -w + 4 = -3*y, 5*w = -5*y + 2*y + 110. Let i = -9804 + 9826. Which is smaller: i or w?
w
Suppose 4*n - 2*j + 1054 = 0, n + 9*j + 256 = 7*j. Is -244 less than n?
False
Let j be (-9)/(90/(-8))*(-10)/(-2). Let a be 30/3 + j/(1 - 5). Let r = 4 - 3. Which is bigger: r or a?
a
Let z be (-4452 + -1)*(1 - (10 - 8)). Suppose 0 = 15*l - z + 103. Which is smaller: 289 or l?
289
Let a = 66230/3 - 22076. Which is bigger: -2/1803 or a?
a
Suppose 2*q + 3*m - 13 = 0, 0*q - 3*m + 17 = 4*q. Suppose q*b + 336 = -2*b. Is b at most -85?
False
Let u = 17232 + -6413. Which is smaller: u or 10818?
10818
Let w(o) = 21*o + 298. Let n be w(-14). Which is greater: -608 or n?
n
Let h = 85.11 + -495.01. Let m = h - -410. Which is greater: m or -0.3?
m
Let m = 2234429/185 + -12078. Let f(d) = -d + 11. Let l be f(10). Which is smaller: m or l?
m
Let x = 100220359/4431 + -22618. Is -1 less than x?
True
Let s(a) = a**2 + 15*a + 10. Let h be s(-14). Let m be 16/300*(10/4 + h). Let t(f) = 2*f**2 - f. Let c be t(1). Is c < m?
False
Let p(s) = 4*s**2 - 11*s + 52. Let a be p(4). Which is smaller: 68 or a?
68
Let w = -1810 + 1808. Which is smaller: w or -7.51?
-7.51
Let y be 66/9*345/(-10). Let k = y + 222. Is k less than or equal to -29?
True
Let w = 166 + -94. Suppose 0 = 33*p - 15*p - w. Is p at most 28/11?
False
Let y be (6 + -3 - (1 + -1)) + -3. Let f be (-917)/(-1820) - (21/(-15) - -2). Is f greater than y?
False
Let z = -21287 - -21281. Are -12 and z unequal?
True
Let y be (-4)/(-15*(-6)/(-9)). Let x = -0.0687 - -0.1987. Are y and x non-equal?
True
Let c be (-48)/(-357) - (-4)/(-14). Let l be -12 + 11/(-6*(530/60 + -9)). Which is smaller: c or l?
l
Let g = -1.2701 - -1.3701. Is -92.2 at most as big as g?
True
Let y = 434 + -222. Suppose 1086 - 10792 = -46*m. Which is bigger: m or y?
y
Let m(h) = 6*h**2 + 5*h - 13. Let t be m(6). Suppose t*c - 231*c = -282. Which is bigger: c or 2/3?
2/3
Let q(n) = -16*n**2 + 5*n - 2. Let m be q(-5). Let p(r) = 311*r + 656. Let v be p(-4). Let d be 1/(-4)*3 + m/v. Are -1 and d nonequal?
True
Let q = 0.7262 + 0.5238. Does q = 14?
False
Suppose 0 = -2*l + 6 - 2. Suppose 9 = -3*p, -4*d + l*d - 69 = 5*p. Is -28 at most as big as d?
True
Let w = -70 + 70. Let a = 55 - 23. Let n = -13 + a. Is w not equal to n?
True
Suppose -48 = 2*v - 68. Suppose -2*d + 8 = -2*t, 5*d - 2*t - v - 7 = 0. Is 22/5 <= d?
False
Let x = 7/53 + -278/901. Suppose -5*m = -47*u + 48*u + 21, -m - 7 = 3*u. Which is smaller: u or x?
u
Let g = -46399 - -46396.3. Which is smaller: 45 or g?
g
Suppose 3*h = -3*o - 9, -h + o + 9 = -2*o. Let y = 84294/79 - 1067. Let p = -173/1185 + y. Which is smaller: h or p?
p
Let m = 32443/168 - 31/42. Which is smaller: m or 192?
192
Let y be (1 - 15)*(5 + (-185)/35). Let o be (-5)/205*y*(-1)/(-10). Does o = 0?
False
Let b be (8/10)/((-642)/(-14445)). Which is bigger: -291 or b?
b
Let d be 1400/600 + 17870/48. Which is smaller: d or 375?
d
Let r(b) = b**3 - 16*b**2 - 15*b - 45. Let y be r(17). Let k be y/3 + 24/(-36). Is -5 > k?
False
Let w = 0.06173 - 0.06173. Is -6.05 > w?
False
Let w = -30/211 - -1169/9706. Is w smaller than -4?
False
Suppose -8*f - 4*f = 14650 - 3694. Which is smaller: -914 or f?
-914
Suppose 2 = 9*c - 7. Let r be 4 + -6 - (c - 4 - -2). Let p be (12/312)/(r/4). Which is smaller: p or -9?
-9
Let h be 5 + -4*(0 + 5/4). Let d = -35 + 33. Let c be (-10)/(-35)*(-1)/d. Which is smaller: c or h?
h
Let k(m) = m**2 - m - 3. Let o be k(-2). Suppose n = o*n + 2*n. Let i be 106/(-56) + 2 + n. Is i at least as big as 1?
False
Suppose -2*c + 3*w = -123, -w - 407 = -5*c - 93. Suppose -3*n - c + 309 = 0. Is n at most 86?
True
Let d = -0.08 + -41.72. Let t = 42 + d. Let k be (21 + -23)*2/(-3). Is t bigger than k?
False
Let s be (-87 - -4) + ((-6)/10 - 13/(-5)). Do s and -51 have the same value?
False
Let j = 4543 + -4542. Is j greater than or equal to 168.4?
False
Let b be -174 + 178 + (-236)/13 + -2 + 2. Is b bigger than -14?
False
Suppose 27 = 3*l + 3*a - 30, 2*a + 22 = 2*l. Suppose -2*c + 25 = 3*n + 2*n, -3*n = 5*c - l. Is -4/361 bigger than c?
False
Let y(n) = -n**3 - 2*n**2 + 4*n - 10. Let b be y(-5). Let u be (b/16)/((-10)/(-180)). Let l = u - 51. Which is bigger: l or 0?
0
Suppose -8470*j + 8367*j + 2081115 = 0. Which is bigger: j or 20204?
j
Let r = 180 + 131. Let m = r + -342. Is m at least 10?
False
Let f = 17/1372 + -90/343. Which is bigger: f or -3143?
f
Suppose -15*m - 29*m + 44 = 0. Let d = 150 - 255. Let w be 10/d*9/(-51). Which is bigger: m or w?
m
Suppose 136*t = 137*t - 136. Suppose -134*s = -t*s - 2. Is 9/62 not equal to s?
True
Let m = 3193 - 2747.7. Is -1 bigger than m?
False
Let b = -17 - -21. Suppose -b*n + 0*n + 2*p - 24 = 0, 0 = -3*n - 2*p - 18. Let f be n/4*20/645. Which is smaller: 0 or f?
f
Let j = -1.29 + -1.65. Let t = j + 2.84. Which is smaller: -0.058 or t?
t
Let m be (5 - -11 - 4) + -3. Suppose m*q = 11*q - 3*g - 82, -q + 4*g + 41 = 0. Is q not equal to 39?
True
Let q = -244 + 166. Let p = q - -82. Is -8 < p?
True
Suppose -5*i + 57 = -y, 2*i - 21*y - 28 = -18*y. Suppose 42*o = i + 31. Is -2/191 less than or equal to o?
True
Let d(f) = 42 - 9 - 3*f - 2*f + 9. Let a be d(8). Suppose 5*s = 3*s + c + a, c = s - 2. Which is smaller: s or -1/47?
-1/47
Let d be 1/(1/(-19)) - 0. Let m(v) = -v + v - 24 + 28 + 4*v. Let h be m(-6). Is h less than or equal to d?
True
Let z = 45 + -34. Suppose -1612 = 51*h - 1714. Which is greater: z or h?
z
Let h = -0.13 - -0.75. Let j = h - 0.5. Let r = 0.6 - j. Is 0 bigger than r?
False
Let g = -43021/163 - 7658905/2771. Let r = 3030 + g. Which is bigger: 1 or r?
r
Suppose 5 - 1 = n. Let z be (n/(-5 - -3))/((-4)/27). Is 15 <= z?
False
Suppose 3*s = s + o - 1, -s = 4*o - 22. Let g(f) = -31*f**2 + 2 + 2*f + 30*f**s - f. Let i be g(-9). Which is smaller: -89 or i?
-89
Suppose -40773*v = -40781*v - 8. Is v bigger than -21/488?
False
Let v = -3.69 + 3.59. Is 659 less than or equal to v?
False
Let x = 1521.4 - 1503.4. Which is smaller: x or -118?
-118
Suppose -4*t + a + 131 = 2*a, -5*t + 151 = -3*a. Let w = t - 25. Let v = w - 6. Which is bigger: -2.8 or v?
v
Let g be 9283/10 - (-14)/(-28)*-3. Are g and 929 equal?
False
Suppose 3*u + 5 = 15*i - 14*i, 25 = 4*u + 5*i. Suppose -6*h + 71 + 61 = u. Suppose 0 = -4*p + r + 81, -p - 3*r = -r - 27. Which is smaller: p or h?
p
Suppose 2*b + 0*b = p + 31, 4 = 4*p. Suppose 0 = -u + 3*f - 9, u + 5*f = 2*u + 15. Suppose u = y + y + b. Is y smaller than -1?
True
Let k = 18313 - 17477. Which is bigger: k or -2?
k
Let a be 34/8 + (156/16)/13. Suppose -l = -3*y + 33, -l + 0*l - 25 = a*y. Let x = -56 - l. Is -26 less than x?
False
Let v(y) = y**3 + 6*y**2 + y - 4. Let g be v(-5). Suppose -g*c + 22*c - 78 = 0. Let t = -19 + 32. Is c < t?
False
Let p be 62*((-8