 l = -0.211 - 8.389. Let o = 9.6 + l. Which is greater: q or o?
q
Let b = -1.0605 - -0.1605. Is b < 34/5?
True
Let j be ((-8)/3)/4 + (-200)/(-210). Let c = 437 + -454. Which is smaller: j or c?
c
Let w be ((-15470)/55)/26 - (-4)/(-22). Suppose -3*c - 30 = 3. Is c > w?
False
Let m(q) = -6*q**3 + q**2 + 75*q + 214. Let o be m(-3). Are o and -1 equal?
False
Let v be (322 + (-1 - 3))/(142/(-213)). Which is greater: v or -5256/11?
v
Let j be (2 + (-636)/330)/((-2154)/(-630) + -1). Is 1 >= j?
True
Suppose 103*x = -27*x + 225420. Is x < 0?
False
Suppose 3*w = -18*w + 63. Suppose 2*g - 2*m + 3*m = 9, -g - 4*m = -1. Does w = g?
False
Let n be 13/1*60/6. Let o = n - 157. Which is bigger: -30 or o?
o
Suppose -2*g + 12 = -5*k, -2*k + 437 - 455 = -3*g. Is k <= 5/2034?
True
Suppose 55*f - 819 = 76*f. Let v = -31 + -3. Which is bigger: f or v?
v
Let i be 5 - (17 - 54 - (-1 + -5)). Suppose m - 3*z + 25 = 0, 0*m - 3*m + 4*z = 95. Let p = 72 + m. Does i = p?
False
Let i = -61 - -65. Let x = 2 - i. Are x and -0.111 nonequal?
True
Let n be ((-18)/75)/(((-357)/70 - -1) + 2). Which is smaller: n or 5?
n
Let f(c) = -2*c**2 + 4*c - 7. Let t be f(4). Let w = -2 - t. Suppose 19 = -r + w. Which is bigger: r or 3?
3
Let k = -6/13157 + -12617/1184130. Which is bigger: -23 or k?
k
Let f = -1.4066 - -1.8209. Which is bigger: f or -0.2?
f
Suppose -v - 16*v = -5*v - 248004. Which is smaller: v or 20666?
20666
Suppose 0 = 4*o + 20*o - 120. Suppose o*m - 9*k = -6*k + 1132, 0 = -4*m - 5*k + 876. Which is smaller: m or 223?
223
Let r be -15*4/12 - -12. Let y be (95/(-15) - r)/((-22)/36). Which is smaller: y or 22?
y
Let l = -2639 - -2639.6. Which is bigger: l or -38/5?
l
Let h = -369 - -429. Let p be h/(-116)*11/(198/(-24)). Which is greater: 0 or p?
p
Let b be (2 + -23)/(-7)*68/(-6). Let j = b - -11. Which is smaller: j or -10?
j
Let n be (160/2)/(481/156 + -3). Is 960 < n?
False
Suppose -3*z - 2 = -4*t + 19, 5*t - 30 = 5*z. Suppose 3 = 2*a - t. Are -1 and a equal?
False
Let d(b) = -b**2 - 65*b + 3234. Let x be d(33). Is 0.026 > x?
True
Let c = -6206.2 + 6204. Let g = 0.07 + 0.03. Do g and c have the same value?
False
Let t = -0.66 + 750.66. Let j = 750.02 - t. Let p = 0.1 + -0.2. Which is greater: p or j?
j
Let t = 11 + -1. Suppose 7*d = t*d + 165. Let p be d/712*10 + (-3)/(-4). Which is smaller: p or -1?
-1
Let x(q) = q**2 - q + 10. Suppose 7*v - 2*v = -10. Let z be (-16)/88 - v/11. Let p be x(z). Is p at most as big as 10?
True
Suppose 4*s - 13 - 3 = 0. Suppose -1 = s*y + 15. Let z be 471/1788 - y/(-16). Which is smaller: z or -1?
-1
Let n = 232.506 - 6.506. Suppose -3*z + 3 = 4*c, -3*z + 5*z = -c + 2. Which is greater: n or z?
n
Let h = -22649 + 22644. Let w(q) = -q**2 + 3*q + 3. Let i be w(4). Let r be ((-95)/(-10))/(i - 1). Which is bigger: r or h?
r
Let o(h) = 265*h - 1253. Let u be o(9). Is 1128 at least as big as u?
False
Let i be (-2)/((28/(-2758))/2). Are -2 and i unequal?
True
Suppose -59*f + 58*f = 144*f - 584060. Which is bigger: f or 4027?
f
Let i(x) = 8*x - 5. Let z be i(6). Let k(v) be the second derivative of -8*v**3/3 - 42*v**2 - 63*v. Let r be k(-8). Which is smaller: r or z?
z
Let n(x) = -4*x**2 - 46*x + 120. Let y(o) = -3*o**2 - 46*o + 119. Let k(q) = 4*n(q) - 5*y(q). Let v be k(43). Let j be (114/(-9))/(10/(-12)). Is v less than j?
True
Let v = -11411 + 11411.69. Which is greater: 1 or v?
1
Let g(h) = -42*h + 9. Let b be g(0). Let m be 116/12 - 3/2. Is m at most b?
True
Let f = 4653 - 4653. Which is smaller: f or -368/7?
-368/7
Let v be (0 - -1)*(-6 + 1). Suppose -10 = -4*k + 10, k - 9 = -2*z. Suppose 152 = -17*d - z*d. Which is greater: v or d?
v
Suppose v + 15 = 4*v. Let i be ((-4)/v)/(4/(-170)). Let t be -210*((-9706)/276 + 35). Is i != t?
True
Let q = 90 - 88. Suppose 13*l - 99 = q*l. Let t = 11 - l. Which is smaller: 7/10 or t?
7/10
Let p be -6593 + (-3 - -2) - (14 - 12 - -2). Is p at least -6597?
False
Let t = -0.247 + -101.753. Let g = t + 101.9. Which is smaller: -229 or g?
-229
Let l be 188/752*(2 - (-762)/(-385)). Is 0 at least as big as l?
False
Let p = 885087/41 + -21589. Which is smaller: p or -2?
-2
Let x = 6034 - 6034.01. Which is smaller: 78 or x?
x
Let s be (1 - (18/(-4))/9)/(12/(-176)). Which is greater: s or 15?
15
Let n be (-472)/52 - 54/(-702) - (0 - 8). Which is smaller: 1/20040 or n?
n
Let p be (-396)/(-18) + -16 + (-4915)/822. Which is greater: p or 1?
1
Suppose -345598*t + 3363 = -345541*t. Suppose -l + 49 = n + 3*l, 2*l = n - 67. Which is bigger: n or t?
n
Let u(k) = -26*k + 2697. Let t be u(82). Is 2829/5 less than or equal to t?
False
Suppose 4*s - 4*z - 768 = 0, -2*z - 22 - 559 = -3*s. Let y = s - 283. Is y greater than -87?
True
Let n = 3850 + -3856. Which is smaller: n or -488?
-488
Suppose 5*k + 278 = 68. Let w be ((-138)/k - 3) + 4/(-14). Are w and 7/23 equal?
False
Let f = -17.14 + 17. Let s(j) = -j**2 - 6*j - 2. Let a be s(-5). Let o be (6/(-9))/((-2)/(a - 5)). Is o > f?
False
Suppose 73 = -3*y - 5*q, 0 = -2*y - 4*q - 43 - 9. Let h = 61 + -64. Which is greater: y or h?
h
Let g(t) = -26*t + 634. Let m be g(18). Is 3 > m?
False
Let s = 2796775/169 - 16549. Is s bigger than 0.4?
False
Let y(k) = k**3 - k**2 - k - 3. Let a be y(2). Let r(p) = -6*p**2 + 3*p - 3. Let q be r(6). Let l be 199/q + (-1 - -2). Which is greater: l or a?
l
Let t(m) = 95*m**3 + m**2 + 2*m - 2. Let o be t(1). Suppose 5*v - o = 3*f, -2*f + 7*f = 5*v - 170. Suppose 17 = -u + 2*x - 16, 4*x = -8. Are f and u equal?
True
Suppose 0 = 3*z - 2*i - 5, 12 = -4*z + 6*z + 3*i. Suppose 0 = 4*p + z*p - 147. Which is greater: p or 20?
p
Let q be ((-224)/(-288))/(262/(-12)). Is 0 smaller than q?
False
Let o(q) = q**3 + q**2 + 2*q + 3 - 7 - 2*q**2. Let z be o(2). Let v be (3 - z) + 1*(-3)/24. Which is bigger: -2 or v?
v
Let l = -377.8 - -379. Let h = 0.6 + -0.3. Are l and h nonequal?
True
Let g = 0.5682 + -0.6682. Which is greater: g or -1485?
g
Let k = -53.06 - -51.06. Are k and -0.047 equal?
False
Let x be 1/(-1)*0/3. Let g be -8 + (-22 - (-6470)/215). Which is bigger: g or x?
g
Let f be (-253260)/18088 + (15 - 1). Which is smaller: f or 0?
f
Suppose -3*h + 58 = 2*k, -4*k = 4*h - 50 - 22. Suppose -g = g + h. Let y = 34037/44 - 8622/11. Which is smaller: y or g?
g
Let w be ((-4)/3*3)/((-6)/(-309)). Suppose -19*o + 20*o = 2*h + 413, 205 = -h - o. Is w bigger than h?
False
Let w(r) = -r**2 - 25*r + 30. Let u = -52 + 0. Let k be (u/(-2 - 0))/(-1). Let f be w(k). Is 4 at most as big as f?
True
Let o be -9 + (-1 - 1) + 5. Let z(q) = -q**2 - 10*q - 10. Let b be z(o). Suppose -5*g + 21 + b = 0. Is g smaller than 7?
False
Let l = 2691 + -2852.3. Let t = -161 - l. Which is smaller: t or -15/2?
-15/2
Suppose -11*q = -45 + 12. Suppose 0 = 3*s - q*m - 6, 6*m - 5*m + 2 = 4*s. Is s at least 18.9?
False
Let y be (-9379)/21 - (164/123)/(28/(-6)). Is y smaller than -446?
True
Let v = 6222 - 6810. Which is greater: -586 or v?
-586
Let m = -111285/67 - -1661. Which is smaller: m or 1?
m
Let t = -215 - -514. Let u = -148 + t. Let k = u + -271/2. Which is bigger: k or 15?
k
Let z = 0.14 + -7.14. Let y = -5.8 - z. Let i = 14 + -13. Do y and i have the same value?
False
Suppose 1 = v - z, 0 = -2*z + 2 + 2. Let i be -3 - 25/(-30)*v. Is -32.5 != i?
True
Let i be (9/12*-2)/(4/24). Let t be (-106)/i - 34/(-153). Let n be (-3)/(-2) - (2 + (-18)/t). Which is smaller: n or 3/5?
3/5
Let y = -1412 + 1432. Let n(c) be the second derivative of c**5/20 - 7*c**4/4 + 19*c**3/6 + 17*c**2/2 - 2*c. Let b be n(y). Which is bigger: -4 or b?
b
Let k(u) = -u**2 - 482*u - 1911. Let t be k(-4). Is -13/243 < t?
True
Suppose -5*p - 199*k = -198*k - 1106, -3*p + 666 = 3*k. Which is bigger: 1556/7 or p?
1556/7
Let m be -3 - 0 - (-542303771)/58. Let a = m - 9349500. Let r = a + -562. Which is bigger: r or 1?
1
Let z = -324 + 275. Let p = 31 - 78. Let s = p - z. Which is smaller: s or -2/3?
-2/3
Let s = 712.9 - 713. Which is smaller: s or -2113?
-2113
Let r be 20/17 - (-516)/(-2924). Which is bigger: r or -64/719?
r
Let p = -3 - 15. Let n be 1/((-2)/(-9) - 1886/6624). Which is bigger: p or n?
n
Let y = 5238 - 5237.9. Is y greater than 582?
False
Suppose 4272 = -26*z + 23*z + 2*x, 1424 = -z + 4*x. Is -1423 equal to z?
False
Let b be ((-8)/3)/(1979/(-18) - (-18)/(-12)). Which is greater: -1 or b?
b
Let o(l) = -110*l*