= 135 - w. Let g = 9 - 6. Is a <= g?
False
Let l(f) = 633*f - 5066. Let d be l(8). Which is bigger: 17121 or d?
17121
Let f = -1.1 - -1. Let j = -408 + 407.845. Let p = j - -2.755. Is p less than or equal to f?
False
Let p(u) = 4*u**2 - 4*u - 56. Suppose 0 = -3*j + 13 - 28. Let t be p(j). Is t less than 127/2?
False
Let q = 148 + -120. Let l = q + 8. Which is smaller: -2 or l?
-2
Suppose 12*f = -43*f - 37*f - 166244. Is -9033/5 smaller than f?
False
Let d = -1908652271021/463601 - -4117015. Let v = -8068511174/48678105 + d. Let k = v - -1164/7. Is k greater than 1?
False
Let a(v) = 12*v - 1. Let y be a(7). Let z = y + -84. Which is bigger: z or 3/56?
3/56
Let p be 48/(-71406)*((-25)/(-20) + -2). Let f = -35645/115043 - p. Which is greater: f or 1?
1
Let o(q) = 2*q**3 + 3*q**2 - q + 1. Let f be o(-2). Let m be (0 - f)/((-5)/50). Is -9 < m?
False
Let z be (-3)/((-2)/((-50)/(-15))). Suppose 4*r + z = 5*r. Suppose 2*d - r = -3*d. Is d at most as big as 2/125?
False
Suppose -1450 = 21*f - 22. Let g = -135 + 63. Let n = g - f. Which is bigger: n or -5/2?
-5/2
Let b = 11.12 + 3.58. Let q = -1.981 + 3.981. Which is bigger: q or b?
b
Let h(f) = -3225*f**2 - 57*f + 5. Let y be h(2). Are y and -13009 equal?
True
Let q = 7 - 2. Suppose -q*j - 1 = -6*j. Let x be 9*(22/18 - j). Which is smaller: 8/13 or x?
8/13
Let d = -7390 - -15223/2. Let r = 221 - d. Let h(a) = -a**2 + 5*a + 5. Let n be h(6). Which is greater: r or n?
r
Let g(k) = -2*k**2 - 381*k + 5073. Let b be g(13). Which is smaller: -2403/11 or b?
-2403/11
Let h be ((-8)/(-10))/((-9213)/(-103335)). Is h not equal to 10?
True
Let t be 2*31/744 - (-1)/4. Is 2634 bigger than t?
True
Let p be 0 + 224562/(-28071) + -87 + 95. Which is smaller: 0 or p?
0
Let t = -335 + 340. Suppose -t*r + 262 = -863. Does r = 226?
False
Let y = -2.421 + -0.779. Is -17 greater than y?
False
Let y = 138.8 + -134.9. Let t = 4 + -0.2. Let v = y - t. Which is smaller: v or -2/21?
-2/21
Suppose -d + 4*t - 7917 = 0, -2*d + 2*t - 9529 = 6299. Which is smaller: d or -7912?
d
Let j(w) = 46*w + 632. Let i be j(-13). Is 33 <= i?
True
Let a = 6292 - 6291. Is a at least as big as 2/1909?
True
Let q = 256.1 - 232. Let r = 24.239 - q. Let x = -1.461 - r. Is x at least 1?
False
Suppose -2*s - b = -35, -2*s - b = -5*b - 40. Let a be s/(-162) + 2086/(-18). Do -115 and a have the same value?
False
Suppose -25 = 2*q + 27. Suppose -m + 50 = -3*u - 31, 54 = -2*u - m. Is q bigger than u?
True
Let c be (-9 - 143/(-7))/((-128)/(-448)). Let s(g) = -4*g**3 + g**2 - 2*g - 1. Let r be s(-2). Which is greater: c or r?
c
Suppose -y - 94 = 5*d, -21*y + 6 = -20*y. Let w(s) = s**2 - s. Let a be w(1). Suppose -42 = -a*u + 2*u. Which is smaller: d or u?
u
Suppose 6*x + 33*x + 2*x + 17548 = 0. Is x at least -427?
False
Let o = 12945 + -12945.03. Is -1328 at least o?
False
Let s be (14/(-6))/(35/6615). Let f = -441 - s. Is f at least -6/55?
True
Let x be (0 + 3)*14*3*1. Suppose -8*v - v = x. Let j be 2/7 + 32/v. Which is bigger: j or 4?
4
Suppose -4*p = 2*x - 4*x + 38, -35 = 4*p - 3*x. Let s be (-1)/(176/180 + -1). Suppose 2*d = s - 63. Do d and p have the same value?
False
Suppose -w = -5*b + 12, 828*w - 831*w = 5*b - 4. Which is bigger: 28/43 or b?
b
Let b(s) = -3*s**2 + 10*s - 30. Let g(q) = -8*q**2 + 29*q - 89. Let x(l) = 11*b(l) - 4*g(l). Let r be x(-9). Let m = -1 + 0. Is r less than or equal to m?
True
Let v = -644.5077 - -1.5077. Is -0.08 greater than or equal to v?
True
Let z = -258 - -261. Suppose 0 = -z*o - 2 - 7, -m - 5*o = 23. Let f be 10/((2 - 1) + -2). Which is smaller: f or m?
f
Let t(n) be the third derivative of -3*n**4/8 + 73*n**3/3 - 142*n**2. Let s be t(8). Which is smaller: s or 73?
73
Let y = 8.028 - 9.028. Is y > -243/7?
True
Let o = -77.2 - -94. Let n = o - 71. Let q = -54 - n. Which is smaller: 0 or q?
0
Let z(n) = n**2 + 7*n + 8. Let i be z(-6). Suppose -7*l + i*l + 140 = 0. Let p(r) = 2*r**3 - 27*r**2 + 3*r + 157. Let s be p(13). Is l > s?
True
Let n = -2.96 + -9.64. Let w = -10.6 - n. Is 7.1 equal to w?
False
Let w = -2 - 0. Let d = 3670.9 - 3667. Which is smaller: d or w?
w
Suppose 19*x - 10 + 31 - 40 = 0. Which is smaller: x or -63/313?
-63/313
Let j be 22*-5 + (49 - 54). Suppose 0 = l + 3*l + 464. Is l less than or equal to j?
True
Let f = -208053/73 + 2850. Suppose -5*c = -14*c - 27. Let q(d) = d**3 + 2*d**2 - 2*d + 4. Let o be q(c). Which is smaller: o or f?
f
Let k(l) = -5 + 1 + 21*l + 16*l - l. Let r be k(-2). Let j be (4/18 + r/18)/2. Which is bigger: j or -3/2?
-3/2
Let j(g) = -8*g + 50. Let h be j(6). Suppose h*w + 4*i = -12, w - i + 0 = 3. Let d = -62 - -135/2. Is d not equal to w?
True
Let s(c) = -c**2 - 17*c - 51. Let m be s(-4). Which is smaller: 1/2792 or m?
1/2792
Let n = 12856 - 12856. Let c = -1133/23478 - -10/273. Which is greater: c or n?
n
Let z = 0.218 + -682.218. Let b = 682.323 + z. Which is greater: -2/7 or b?
b
Let q(i) = -186*i - 16. Let m be q(-4). Let r be m/(-70) - 3/5. Suppose 7*j + 48 = 3*j. Which is smaller: r or j?
j
Let o(q) = -7*q**2 - 15*q - 2. Let c(f) = f**2 + 1. Let z(v) = 6*c(v) + o(v). Let k be z(-15). Is -14 less than or equal to k?
True
Let c be (5628200/367145)/4 - (1 + 3). Let p = -16/97 - c. Which is greater: 0 or p?
p
Let d(p) = p**3 - 13*p**2 + p - 11. Suppose 9 + 4 = w. Let u be d(w). Suppose 0 = -5*t + u*a, 0*t = -3*t + 4*a. Do t and 1/76 have the same value?
False
Let b be -6 - 66/(-9) - (-19)/(-48). Let h = b + -13/48. Which is smaller: h or 0.5?
0.5
Suppose 5*r = 2*g - 565, 5*g - 28 + 3 = 0. Let y = r - -121. Suppose 5*h + y = -3*q, 4*q = -0*q + 2*h + 4. Which is smaller: 3/8 or q?
q
Let z(q) be the second derivative of 5*q**3/2 - q**2/2 + 2*q. Let l be z(1). Let h = -348900 - -348902. Is l less than h?
False
Let v be -1 - 4/(20/(-15)). Let z be 37 - -6*1/v. Suppose -5*w = r + 40 + z, 0 = -4*w - 5*r - 43. Which is smaller: w or -3?
w
Let f = -696 + 855. Which is greater: f or 160?
160
Suppose -129 = -12*m + 63. Suppose 3*h - m = 2*h + 3*f, -3*h = -3*f - 18. Is -1/257 < h?
True
Let b(d) = 18*d - 24. Let p be b(0). Let r be (-9 - p) + (-1 - 1). Which is smaller: r or 11?
11
Let p = 5 + 0. Let o = 14.7262 + -2.7262. Is p equal to o?
False
Let d be (-3 - (-114)/42)*(-3129)/16920. Let v = 47524/350385 + -66/497. Let u = v - d. Is u at most as big as 0.1?
True
Suppose -2*o - 29 = 101. Let b = -78 - o. Which is bigger: 2/13 or b?
2/13
Suppose -20*u + 244 = 224. Do -1/3579 and u have the same value?
False
Let b = 61 + -57. Let m be 1 + b + (-56)/12. Suppose -48 = -62*z + 66*z. Which is smaller: m or z?
z
Let u be 6/(-12)*(7 + -7). Is 2/25733 bigger than u?
True
Let j be 4/((-48)/60)*11. Suppose 0 = 3*q - 7*q - 216. Which is smaller: j or q?
j
Let l be (-2 + (-35)/(-14))/(4/(-288)). Let y be (-18)/l + 46/(-36). Are y and 2/7 equal?
False
Let u be 6 - (9 + 1164/414 + -6). Which is bigger: 0 or u?
u
Suppose 2*l = -3 + 3. Suppose -4*u + 268 = -l*u. Suppose 5*s = -g + 6*s + u, 0 = -s. Is g > 0.1?
True
Let a be (-17 - 1)/(1/(-2)). Suppose a - 360 = 5*y + t, -4*y - 264 = 2*t. Let v = y - -58. Which is bigger: v or -3?
-3
Let q be -86*(-1 + 993/6 + -9). Is q > -13373?
False
Let h = 13148 - 13145. Which is bigger: 0.1383 or h?
h
Let s = 7.71 + -7.7658. Let z = -81.0558 - s. Which is smaller: z or 1/3?
z
Let f(o) be the third derivative of 7*o**4/6 - 38*o**3 - 168*o**2. Let u be f(8). Is 5 at least as big as u?
True
Let a be (18/10)/(12 - (-351)/(-30)). Let m be ((-34)/a - -6)*15. Which is smaller: m or 2/27?
2/27
Let w = -2981 + 2942. Which is smaller: w or -2.6?
w
Let x = 2583 + -2572. Let u = 731/2 + -355. Which is smaller: x or u?
u
Let v = -38 - -42. Suppose 0*g = -v*g + 20. Suppose g*n + 2*n = -14. Which is bigger: -4/7 or n?
-4/7
Let n be 6838/14 + (0 - 1). Suppose 25*c + 982 = -2*b + 22*c, 12 = -3*c. Let s = b + n. Which is bigger: 2 or s?
s
Let l = -28.6 - -30.7. Let o = -0.1 + l. Which is bigger: o or -0.18?
o
Suppose 7 = -4*o - 1. Let b be 0 + ((-4)/o - -24). Let w be 4/16*b + -3. Which is smaller: 4 or w?
w
Suppose 5*t = -5*c + 270, 3714*t - 3718*t + 266 = 5*c. Which is smaller: 40 or c?
40
Let j(w) = -w**3 - 8*w**2 + 41*w + 28. Let y be j(4). Is y smaller than 4/487?
True
Suppose 4*f = 3*s - 28, -2*f - s - 4 = -0. Let a be -1 - (4 - 8/4) - f. Let l be (22/165)/(a/(-12)). Which is