 f be s(-2). Suppose 5*z - f*m = -757, -3*z + 6*m - 8*m = 451. Is z > -151?
False
Suppose 61 = 7*w - 9. Suppose 10 + w = 20*q. Which is smaller: q or 1/31?
1/31
Let l = 123 - 37. Suppose t + 15 = 4*t, -349 = -4*v - t. Is l greater than v?
False
Let z = 7274 - 7275. Which is smaller: -1770 or z?
-1770
Suppose -2*r = -7*r + 1540. Let g = -1177797/8 - -146918. Let y = r + g. Is 0 equal to y?
False
Let k(f) = -f - 3. Let a(d) = -d - 3. Let v(x) = 5*a(x) - 6*k(x). Let u be v(-3). Suppose -l = 1 - u. Which is smaller: l or 2/75?
l
Let h = -46750 - -138982/3. Let d = h + 423. Let i be 2*1*(-1)/(-4). Are d and i equal?
False
Let j be (((-64)/(-10))/(-4))/(2/10). Let p be 10*(-6)/9*(-6)/j. Which is greater: p or -15/4?
-15/4
Let t = 374020/13223 + 2/13223. Suppose 5*p = 2*o - 3*o + 139, -4*p = 2*o - 110. Which is bigger: p or t?
t
Let x be 32283/(-357) - (20/(-14) - -1). Let g be x*(2/30)/(1/(-9)). Which is smaller: 56 or g?
g
Let o(x) = x + 22. Suppose -5*j - 4*u = 121, -3*j + 5*u - 1 = -2*j. Let c be o(j). Which is smaller: c or 2/3?
2/3
Let g(l) be the second derivative of l**5/20 + 13*l**4/4 - 19*l**3/3 + 40*l**2 - 14*l - 1. Let n be g(-40). Which is smaller: n or 30/67?
n
Let g = -10434 + 8505. Does -1929 = g?
True
Suppose 4*l + 393*b - 568 = 397*b, 780 = 5*l + 5*b. Is 195 < l?
False
Let x = 68.4 + -65.01. Let l = 2.49 - x. Are l and -4 non-equal?
True
Let m(z) = -4*z**2 + 2*z - 1. Let k be m(1). Let t be (24/36)/((-2)/k). Let p = 871 + -14797/17. Is t > p?
True
Let o(y) = -1 + 0*y**3 - y**3 + 4*y**2 - 8501*y + 8505*y. Let m be o(-1). Which is smaller: -14/15 or m?
-14/15
Suppose 39477*b - 10583 = 39458*b. Which is bigger: 561 or b?
561
Let j = -15831577/73672853 - 2/211097. Is -1 greater than j?
False
Suppose -10*t = 4*t - 252. Suppose 0 = 11*w + t + 15. Let v = -3337/9 + 369. Which is smaller: v or w?
w
Let y be (7 + -3 + -5)*208. Let o be (-6 + 75/10)/((-6)/y). Is 48 > o?
False
Let f = 265659/4 - 71482. Is f greater than -5068?
True
Suppose 12*k - 7 = -55. Let t be ((-165)/21 + 8)*(-2)/k. Let p = 253/348 + 2/87. Which is bigger: p or t?
p
Let y(a) = a**3 - 47*a**2 - 190*a - 31. Let d be y(50). Let l = 2020 + d. Let s be (-1 + 13/3)*-3. Is l less than s?
True
Let h = 13684 + -13683. Which is smaller: h or -23/360?
-23/360
Suppose 13774 = -z + 620*r - 624*r, -2*r = -z - 13786. Does -13783 = z?
False
Let x be (95/(528675/(-212)))/(6/2455). Which is smaller: -16 or x?
-16
Suppose 16*w = 7315 - 7299. Which is smaller: w or -5/499?
-5/499
Suppose 117 + 138 = 5*o. Let h = o - 136. Let y be (-1 - h/10)*(-32)/(-10). Is 24 >= y?
True
Let c(w) = -5*w - 47. Let l be c(-31). Suppose 2 - l = -53*j. Is -29 less than j?
True
Let b = -15 + 0. Let s = -13 - b. Let w be s/4 - (-92)/8. Are 13 and w unequal?
True
Let t = 43073 + -214308/5. Is t greater than 212?
False
Let y = -329 - 1563. Let c = 368938/195 + y. Let k = -279297 - -279298. Which is bigger: k or c?
k
Let p = -56 - -123. Let z(g) = 535*g - 467. Let u be z(1). Let h = p - u. Is -2/5 at least as big as h?
True
Let l = -2 + 2. Let o = -0.2 + l. Let m be (-145)/(-6) - 2/(-48)*-4. Is m bigger than o?
True
Suppose 2*p + 3 = p. Let b be (-4)/p + 24/(-18). Let f be 1 + 0 + 70/(-110). Do f and b have the same value?
False
Suppose 12 = -5*a + 8*a - d, 0 = 4*a + 4*d - 16. Let l be (((-138)/a)/3)/(93/2046). Do -254 and l have the same value?
False
Let t be 6/(-48) + (55/(-200) - 0). Is 78/25 != t?
True
Let x = -7.162 - -6.692. Which is smaller: x or -2/95?
x
Let i be (9/(-12) - -2)*(-6)/(-70). Let a = i - 925/8372. Which is smaller: a or 1?
a
Let b(w) = -3*w**2 + 73*w - 482. Let j be b(10). Is j > -58?
True
Let c = -245.37 - 3.63. Let x = 249.1 + c. Are -8 and x unequal?
True
Suppose -2*f + 8 = -5*s, 3*f + 3*s - 12 = 4*s. Let b be 631/(-210) + (1 - (-6 + f)). Do -1 and b have the same value?
False
Suppose 42*g + 237 - 27 = 0. Let y be -1*g/(-1) - 548/(-84). Which is smaller: 2 or y?
y
Let l(d) = -2*d + 9. Let f be l(13). Let g(h) = -h**3 - 18*h**2 - 14*h + 22. Let m be g(f). Which is greater: -1 or m?
-1
Let k = 20758 + -11436. Let l = k + -9335.958. Let g = -0.042 + l. Which is bigger: 0.2 or g?
0.2
Let t = 27 + -18. Suppose -t = -y - 4*w, 2*y - w = -2*y + 2. Let v = y + -1. Is 1/12 at least as big as v?
True
Let y be (-1)/8 - (-2)/((-48)/(-12387)). Let w be 178/y + (-8)/24. Suppose -a - 4 = -3*h, -5*a = -h - 0*a + 6. Which is smaller: w or h?
w
Let v = -1 - -2. Let n be (((-3)/(-42))/(1/(-3)))/(3105/3591 - 1). Which is greater: n or v?
n
Let q = 1841 - 23937/13. Which is smaller: 1/227 or q?
q
Let f be 170 - 5/(20/12). Let j be (-14)/(-7)*334*(-3)/(-12). Do f and j have the same value?
True
Suppose 4*c - w + 510 = 0, 5*c = -123*w + 128*w - 660. Is -623/5 at least c?
True
Let n = -73577 + 5812589/79. Suppose 5*w = w. Which is greater: n or w?
n
Let r = 13996 + -14399. Which is smaller: -3614/9 or r?
r
Let z = -82721 - -82721. Let v = 4 + -3. Let u(f) = -3*f**3 + f**2 - f + 1. Let k be u(v). Which is greater: z or k?
z
Suppose -5*v + 4*m - 3735 = -m, -5*m - 3705 = 5*v. Let x = -743 - v. Which is greater: x or 3/11?
x
Suppose -4*k - 3*d + 30 = -314, 0 = 2*d - 8. Do k and 6 have the same value?
False
Suppose -218*o - 496905 - 959291 = 768494. Is o smaller than -10204?
True
Let u(f) = -f**3 - 6*f**2 + 24*f + 18. Let z be u(-9). Suppose 3*j - z = 4*a + 58, a = -5*j - 43. Which is bigger: 8 or a?
8
Let f = -237379/1000 + -187/125. Which is smaller: -239 or f?
-239
Let k = 11763/560 + 257/112. Is 24 greater than or equal to k?
True
Let t = -24352 - -24357. Which is smaller: 18/35 or t?
18/35
Let q be 512/20736 + (-292)/(-2754). Is q at most as big as 1?
True
Let a be (8/7 + (-4092)/2772)*11/(-27). Which is smaller: a or 0?
0
Let n = 10369 + -50747/5. Let t = -220 + n. Which is smaller: -9/5 or t?
-9/5
Let z be 2358/(-900) + 5/2. Is -24 at least z?
False
Let i = -4.212 + 0.212. Let o = 27 + -24.9. Let d = o + -0.7. Is d < i?
False
Let u(i) = 5*i - 3*i - 27 - 3*i + 0. Let j be u(-26). Which is smaller: j or -1/39?
j
Let r(q) = q**2 + 147*q - 1208. Let v be r(8). Is 17 <= v?
True
Let f = 2923 - 2934. Do f and 87 have different values?
True
Let c(p) = p**3 + 4*p**2 - 3*p + 13. Let m be c(-5). Suppose -a + 8 = m*l, -4*l + 1 + 7 = 0. Do 86 and a have the same value?
False
Let d = -58 + 72. Suppose 4*u = -2 - d. Let o be (39/(-12) - -3)*u. Which is smaller: -2/119 or o?
-2/119
Suppose 11*l + 192 = -l. Let t be l/(-12)*45/(-1600). Which is smaller: t or -1?
-1
Let o be 3/(0 - -2 - -2 - 1). Which is bigger: 3/22328 or o?
o
Let l = 22218 + -23777. Which is greater: -1552 or l?
-1552
Let k = -132 - -145. Suppose 2*c - 14*c - 4*c = 0. Are k and c non-equal?
True
Let n = -10858 + 10863.9. Which is bigger: n or 43?
43
Let x(q) = 8*q**3 - 227*q**2 - 2355*q + 16. Let n be x(-11). Which is bigger: -12195 or n?
n
Let r be (7 - -6)*(-1 - -3). Let x be ((-39)/r)/(-1 - (-9)/8). Suppose 45 = -5*g + 5*n, g + 3*n = -2*g - 39. Which is smaller: x or g?
x
Let i = 20561 - 19162. Which is smaller: i or 2797/2?
2797/2
Let d = -18 + 23. Suppose -3*z + 21 = -0*z + 2*s, -d*z - 4*s + 35 = 0. Suppose z*t - 2*t + 5 = 0. Which is smaller: 1/43 or t?
t
Suppose -604*b + 410*b + 194 = 0. Are -56/825 and b nonequal?
True
Let i be 0 + 0 + -1 - 35. Let l = i + 54. Let h(x) = -1411*x + 112899. Let n be h(80). Which is smaller: n or l?
l
Suppose 5*x - 3*l - 28 = 0, 2*x = 4*l - 7*l + 7. Suppose 5*o = -x, 0 = -2*i - 0*o + o + 17. Suppose -13 = -5*k - i. Which is bigger: k or -4/5?
k
Let f(g) = 7*g + 60. Let y be f(-13). Let a = -32 - y. Let r be 71/(-316) + 2/8. Does r = a?
False
Let f be (-221752)/(-21730) + -8 + -2. Is f less than 1?
True
Let n = 1 - -3. Let s be (-6)/((-18)/(-1083)) - -2. Let j = 2521/7 + s. Which is smaller: n or j?
j
Suppose -3*q + 880 - 2100 = 4*h, 412 = -q - 4*h. Which is greater: -384 or q?
-384
Suppose 0 = -9*y + 30*y - 105. Let q = 141 + -136. Do y and q have different values?
False
Let q = -87 + 91. Suppose -2*p - 9 = v, 0 = p + 1 + q. Is v < -49?
False
Let s(r) = -2*r**3 + 18*r**2 - r + 7. Let h be s(12). Let l be 8/(-28) - (402065/(-462) - -1). Let g = h + l. Which is greater: -1 or g?
g
Suppose v = -30 + 21. Let x = v - -6. Let d be ((-9)/x)/((-6)/4). Are 3 and d equal?
False
Suppose -4*c + 46 = 18. Let o = 74 - -82. Let i be (1