j + 12*j - 25 - 249. Let w be k(-21). Let x = -64.022 + 0.022. Which is bigger: w or x?
w
Let a(k) = 2*k + 26. Let j = 4 - -26. Suppose -6*w + 3*w - j = 0. Let n be a(w). Is n less than 5?
False
Let h = -81 - -233. Suppose -3*o = -2*t - 214 - 64, 5*t = 2*o - 178. Let l be (-38)/h + (o/56)/1. Which is bigger: 0 or l?
l
Let z = -12.1 + 12. Let s = 23.2 - 28.32. Let r = 0.12 + s. Which is smaller: r or z?
r
Suppose 2*f - 17 = -3*k, f - 4*k = 4*f - 24. Suppose -4*a + f*z + 16 = z, a + 3 = -z. Which is smaller: a or 7/11?
7/11
Let z = -5/1593 - 72833/141777. Is -1 < z?
True
Suppose -27*v - 13*v + 108975 = -222665. Is v <= 8291?
True
Let b = 32 + -38. Let p be (-5)/((-10)/b) - -1. Let t(n) = -n**2 - 2*n + 14. Let y be t(-5). Which is bigger: p or y?
y
Suppose 3*f = -c + 3, 2*f - 2*c - 2 = c. Let y = -28916 - -25301498/875. Is y at most as big as f?
True
Suppose 20 - 15 = 5*d. Suppose -5*p + 12 = -4*b + 40, -p = -3*b - d. Let q be 3/(-267)*(p + 9). Which is greater: q or 1?
1
Let j = 1 - 10. Let t be -2*(j + -3 + 5)/2. Let g be (-2)/t + 3/((-42)/38). Which is smaller: -0.4 or g?
g
Suppose 4120 = 6*a + 790. Suppose -21*j - a = -58*j. Which is greater: 16 or j?
16
Suppose -48*q + 14*q = 30*q - 7296. Let k = 7 - 4. Suppose k*v + q = 126. Is 7 bigger than v?
True
Suppose 0 = -p + 4*p - 33. Let k(m) = -5*m - 13. Let u be k(p). Let b = 59 + u. Which is smaller: b or -8?
b
Let p be -1*(-3 + 2)*-444. Let n = p - -10213/23. Let v(q) = q**3 + 3*q**2 + 4*q + 3. Let y be v(-2). Is n greater than or equal to y?
True
Let x = 8271 + -8232. Is 7 at least as big as x?
False
Let h = 98 + -107. Let r be (-1253)/14 - (-5)/(30/h). Let x = r + 75. Is x at most -12?
True
Let v be (-53)/(-7) - (-57)/133. Let r(m) = 2*m - 18. Suppose 2*n + 28 = 2*w, w - 5*n - 5 = 21. Let f be r(w). Which is smaller: v or f?
f
Suppose -7*r = -35*r + 336. Let p be (2 - 5/(-4))/(3/r). Is 18 at least as big as p?
True
Suppose -53 = -2*r + 3*r. Let b = r - -60. Suppose b*x = 11*x + 52. Which is greater: -8 or x?
-8
Suppose -9*w + 5*w = 1272. Let g = w - -410. Is g at most 91?
False
Let w = 130 - 125. Suppose w*b = 66 - 46. Which is greater: b or -3/5?
b
Let x be (22/(-6) - -2)/(151/453). Let p = -9311/2585 - -1/517. Which is smaller: p or x?
x
Let r be (-3627)/234*(266/35)/(2/(-20)). Which is bigger: 1185 or r?
1185
Let s(p) = 442*p - 304. Let k be s(-3). Is -1632 at least as big as k?
False
Let w = 1234 + -1212. Let x be (3644/2070 - 2) + w/99. Let d = 1 + -1. Is x < d?
True
Let z be (8/2)/(-1) + -7 + 2126. Let m = z + -25361/12. Which is greater: 2 or m?
2
Suppose 4*g + 285 = -5*t + 119, g + 42 = -t. Let h = g - -34. Is -5 equal to h?
False
Let c be ((-4 - -2) + 2)/2. Let k = -60 - c. Which is smaller: k or -61?
-61
Let w be (10/(-18))/5 + 68320/(-720). Which is smaller: -3 or w?
w
Let i(v) = v**2 - 2*v - 2. Let h be i(-1). Let b be ((-2)/(-15)*1)/(h/(-3)). Is b smaller than -1/26?
True
Let v = 12.1 - 12.2. Let b = -791.88 + 792. Is b > v?
True
Let b = 2365/14 - 1179/7. Is b not equal to 7/2187?
True
Let z = 8558 - 8553. Which is smaller: z or 6?
z
Let i(o) = -5*o**3 + 2*o**2 - 2*o - 5. Let v be i(5). Let b = 555 + v. Let k = -81 + 47. Is k equal to b?
False
Let j = -1068.1 - -1007. Let w = 28 + 33. Let p = w + j. Is -7 greater than p?
False
Let j be 0 + -2 - 15/(-5). Let c be (237/(-48))/(1/(-146)). Let y = 722 - c. Is y bigger than j?
True
Let c(t) = -t**2 - 133*t - 3798. Let q be c(-41). Suppose 8*h = 5*h + 405. Suppose -5*w + 2*w - 5*o - 81 = 0, 5*w - o = -h. Is q smaller than w?
False
Let q(k) = -k**3 - 5*k**2 - 34. Let w be q(-6). Suppose 2*b = w*f - 107 - 173, 2*b = f - 143. Which is bigger: f or 136?
f
Let g = -58873/1742 - 151/134. Is -36 at most g?
True
Let o = 51.17 + -50.17. Which is smaller: -56/3 or o?
-56/3
Let q = -0.04 + -5.96. Let v(o) = -o**2 + 18*o + 16. Let g(u) = 2*u + 1. Let n be g(9). Let i be v(n). Is i not equal to q?
True
Suppose 495 = -2*r - 491 + 984. Is -66/613 smaller than r?
False
Suppose -i - 2*z - 20 = -6*i, -2 = 4*i + 2*z. Suppose l + 0*l = -2*n - 21, i*l - 5*n = -6. Suppose 2*w - 5*u = 3*w + 27, -15 = w + u. Which is smaller: w or l?
l
Let d(u) = -u**2 + u + 8. Suppose 3*f = 4*f. Let l be d(f). Suppose -297*w = 181*w - 814 - 3966. Are w and l non-equal?
True
Suppose -40*s + 43*s - 15 = 0. Suppose -s*x - 54 = 6. Let v be (-8)/10*(7 + x). Is v bigger than 22/7?
True
Let x be (40 - 13) + (-4)/(-6)*-3. Suppose 2*c = 5*u + 12 + x, 2*u - 5 = -c. Is 9 at least as big as c?
False
Let y = -1230 + 1761. Which is bigger: 1597/3 or y?
1597/3
Let a be (-3)/(-12)*-10*(-42)/(-21). Let w be (4 + 580/(-105))*3. Does a = w?
False
Suppose 5*t + 19 - 34 = -4*v, -4*t - 24 = -4*v. Suppose -w + 5*n = 31, -33 = 8*w - v*w + 5*n. Let y(q) = -4*q + 7. Let m be y(5). Which is smaller: m or w?
w
Let t(y) = -303*y**2 - 2*y. Let d be (0 + 1)*(0 + 1). Let l be t(d). Is -305 < l?
False
Suppose -30 = -3*x + 51. Let y be (2 + -1)/((-3)/x). Let n be -2 + (-32)/y + -2. Which is smaller: -1 or n?
-1
Let v = -1121.694 + 8.694. Is -1 < v?
False
Suppose 0 = 5*f - 1166 + 1146. Suppose f*k = -1143 + 1187. Let o = 40 - 28. Which is bigger: o or k?
o
Let s be 49 + -50 + 2/(4/334). Let r be ((-2)/s)/(6/(-12)). Is r >= 0?
True
Let n be (134/510)/(5*(-10)/219225). Let k = -1152 - n. Which is smaller: k or 0?
0
Suppose -5*s + 687 = 341*x - 348*x, -5*s + 768 = 2*x. Suppose 0 = -2*t + 5*c + 304, 420 = 3*t + c - 36. Is t <= s?
False
Let s be (14 + -18)/(-1*4/6). Let y(x) = -6 - 4*x - 4 - 5 - s. Let u be y(0). Is -22 less than u?
True
Suppose 2*s = -2*m - 84 - 36, -3*s = 4*m + 239. Let t = -61 - m. Let z be (t/90)/(35/(-15)). Is 1 at most z?
False
Let m(a) = -407*a + 378. Let u be m(-4). Is u at most as big as 2?
False
Let s = 0.158292 - 524.422292. Let w = s - -520. Let y = w - 0.036. Which is smaller: -0.1 or y?
y
Suppose 14*w - 11*w - 9 = 0. Suppose -w*z = -5*y - 42, -2*y = -2*z + 2*y + 26. Let r be 1 + z + (-24)/(-8). Is r at most 2?
False
Let s = -196 - -357. Suppose -3*o - 4*q + 64 = -s, 3*q + 9 = 0. Is 78 smaller than o?
True
Let q = -15 - -5. Let t be 6/(-15)*q + -1. Suppose -2*o + t = 13, -4*s + 27 = 5*o. Is 1/4 less than or equal to s?
True
Let q = 7723 + -7734. Suppose -w = -6*w - o + 19, 4*o = -4*w + 12. Suppose 2*v - 14 = w*v. Is v equal to q?
False
Let z = 6 - 54. Let f be 72/34 - z/(-408). Suppose 0 = 2*q + n, -f = 2*q + q + 2*n. Which is smaller: 3 or q?
q
Suppose -144*u + 10878 = 115*u. Let t = -18 + 17. Which is smaller: t or u?
t
Let o(j) = 46*j**2 + 364*j - 34. Let u be o(-8). Is 199/2 <= u?
False
Let k(l) be the first derivative of l**4/4 + 2*l**3 + 3*l**2 + 5*l + 105. Let y be k(-6). Do y and -31 have the same value?
True
Let w = -5864 + 64440/11. Suppose -i + 7 = -3*f, 4*i + f + 8 = 4*f. Which is smaller: w or i?
w
Let g = 168 + -165. Let i = -191 - -205. Is g at least as big as i?
False
Suppose 11*x + 8 = 9*x - 4*r, 2*x + 8 = r. Let k(q) = q - 1. Let d(a) = -a**2 - 7*a - 9. Let n(y) = -d(y) + 6*k(y). Let j be n(x). Is j greater than -34?
True
Let h = -18809 + 3065882/163. Is -1 at most h?
True
Let i(c) = 2*c + 18. Let x be i(-9). Let k be (-455)/36946*(-6)/(-5). Do k and x have different values?
True
Let q be 236 + 0/(30/(-6)). Let f = 235 - q. Which is smaller: -10/69 or f?
f
Let h = -0.021 - -6.021. Let y = 5.994 - h. Let c = y + -0.094. Do 0.01 and c have different values?
True
Let c = -603 + 610. Let f = 4 - c. Is 62 smaller than f?
False
Suppose 93*s - 180 = 90*s + 2*b, 3*b - 18 = 0. Which is smaller: -0.15 or s?
-0.15
Let u = -12 - -3. Let z(i) = -25*i + 2544. Let g be z(103). Which is bigger: u or g?
u
Let m be (-5)/10*6 - 42434/(-14146). Let d = m - -84998/431453. Which is smaller: d or 1?
d
Let w(z) = z**3 - 7*z**2 + 5*z + 3. Let j be w(6). Let u be 1/((1/6)/(5/30)). Let b be (j + 1)*u*4/(-8). Is -3 bigger than b?
False
Let u = -588.1332 - -588. Let k = 3.8668 - u. Let i = 9.04 - 0.04. Which is smaller: i or k?
k
Let n = 9156/5 + -1831. Which is bigger: 47/2 or n?
47/2
Let j(a) = a**2 + 271*a + 538. Let m be j(-2). Is 1501 > m?
True
Let m = -3488.951 - -3489. Is m equal to 0?
False
Let m = -621 - -6071/10. Which is greater: -13 or m?
-13
Let z = -648 + 656. Suppose -12 = -2*g - z*t + 12*t, -3*g - 15 = 5*t. Let c = -146 + 2349/16. Is g != c?
True
Let b = 303 + 32. Let n = b 