-m + 3*k = 32 + 25. Let s = -54 - m. Let x be (-9)/(-12) - 0 - s/12. Are -4/63 and x nonequal?
True
Let i(x) = 17*x**2. Let r be i(-1). Let o be (-97)/(-6) - (-9)/(-54). Which is greater: r or o?
r
Let j = 10 - 8. Suppose -j*v = -9 + 5. Suppose 2*f - v = 2. Is 6 equal to f?
False
Suppose -4*c - 7 = 1, -5*n - 309 = -3*c. Let j = 63 + n. Let s = -1 - j. Which is smaller: -0.1 or s?
s
Let a = 9237.02 - 9237. Which is smaller: a or -28?
-28
Let k = 54704549 - 115754837859/2116. Let t = 1/441 + 353/233289. Let j = t + k. Is j at most -5?
True
Suppose -2*b + 3*o = -275, 4*b = 7*b + o - 407. Which is bigger: b or 133?
b
Let u be 4/((-32)/(-10))*4. Suppose u*r - 46 = 3*z, -z = -r + z + 12. Let d = -10 - r. Which is smaller: d or -19?
-19
Suppose -1948 = -3*t + 2921. Let a = -3339/2 + t. Which is greater: a or 0?
0
Let z be -77*(6 + -7) + -1 + 1. Let c = z + -15016/195. Which is smaller: c or -1?
-1
Let p = 10233 - 10196. Which is smaller: p or 221/6?
221/6
Let n = -2.5041 - 5.1799. Which is greater: n or 1?
1
Let c = -729/8 + 91. Suppose -60*y = -62*y - 4. Let v be 7/1 - (-6 + 4)/y. Which is greater: v or c?
v
Let v = -4 - -9. Suppose 3*d + 22 = v*d. Suppose 5*a = -k + d + 7, 0 = 5*k - a + 14. Is k equal to -13?
False
Let j = 403 - 402.9983. Let v = j + 4.1983. Is v less than or equal to 0.02?
False
Suppose -4*v = -8 - 16. Let f(l) = -l**3 + 4*l**2 + 7*l - 5. Let q be f(v). Let a = -84 + 50. Is q smaller than a?
True
Suppose 6 = -15*o + 9*o. Which is smaller: o or -5/122?
o
Let m = -1/364 - -541/64428. Which is greater: 7 or m?
7
Suppose -j - 3 = -6, -j - 46 = d. Let g(q) = -147*q + 1274. Let t be g(9). Is t equal to d?
True
Let j be ((-131)/786)/(2/39876). Is -3324 > j?
False
Let f be (30/(-5))/((-27)/8388). Do 1866 and f have the same value?
False
Let w be ((-8)/16)/(22/11)*14082. Do w and 1 have the same value?
False
Suppose 2*v + w = 7, -v + 3*v + 4*w + 2 = 0. Suppose -q = o + 3*q - 6, 5 = v*o - 5*q. Suppose 4*g = o*g + 2. Which is smaller: 1/73 or g?
1/73
Let y = -146 - -155. Let c be 6/(-2)*-1*y/108. Which is smaller: c or -1?
-1
Let y = 20333 + -20343. Which is smaller: 487 or y?
y
Let r = -1198.5 + 96.5. Which is smaller: r or -1?
r
Let t = -837809/270 - -3103. Let m = t + -3917/540. Let f(s) = -2*s**2 - 6*s. Let z be f(-4). Which is greater: m or z?
m
Let b(q) = q**3 - q**2 + 3*q + 4. Let r be b(0). Suppose r*y + 7*y = 22. Is y smaller than 1.1?
False
Let u = -0.012 + 69.012. Let t = u + -39. Which is greater: 2 or t?
t
Let k = 166 - 175. Let u be -1*((-1)/3 - k/27). Which is smaller: u or -12/23?
-12/23
Let k = 0.058 - 0.618. Let o = k - -8.56. Let n = o - 8.1. Which is smaller: 2/9 or n?
n
Let k = -88/9 - -32/3. Suppose 70*m = 60*m + 270. Suppose -5*n = 22 - m. Is n < k?
False
Let b be ((-9)/(-18))/(-2 + 46/24). Let c be ((-10)/b)/((-140)/(-56)). Is 0.079 less than or equal to c?
True
Let h = -1.1 - -0.1. Let z = -91284 + 91332. Is h equal to z?
False
Let i be 189/(-28)*8648/12. Is -4864 < i?
False
Let y be 53/(-60) - ((-52)/390)/1. Let t be ((1 + 1)*-2)/(-2). Suppose 0 = 2*i - 4*m + 8, 3*i = -i - m + t. Is i < y?
False
Suppose -53 = 3*u + 4*i, -2*u - 34 = 5*i - 1. Let t(w) = w**3 + 22*w**2 + 62*w + 27. Let r be t(u). Is -68 less than r?
False
Let x(l) = -5*l**2 + 76*l - 257. Let c be x(5). Let v be 2/12*39/(-6). Is c greater than or equal to v?
False
Let t = -6439 + 6436. Is t != -0.67?
True
Let b = 836 - -2011. Let k be 130/b*(5 - 2). Which is bigger: k or -1?
k
Suppose -141655 = -11*y - 101*y - 17223. Does 0.9 = y?
False
Let u = -15733 - -14670. Are u and -1063 unequal?
False
Let i = -48 + 45. Let x be 18/27*i/(-2). Let f = 190/7 - 27. Which is greater: x or f?
x
Let l be ((-5184)/(-729))/(-2*194/(-42)). Let n = -10/97 + l. Which is bigger: n or 81?
81
Let s = 76078/7 + -836740/77. Which is bigger: s or 2?
2
Let c = 41173/75 - -6384/25. Which is bigger: c or 805?
805
Let b(o) = -5*o - 85. Let g(m) = 24*m + 426. Let i(z) = 11*b(z) + 2*g(z). Let r be i(-12). Which is greater: r or 2/271?
r
Let a be 114/25*(-35)/(-28)*-574. Let y = a - -3293. Do 22 and y have the same value?
False
Let p be (-1509)/(1145/(-20) + (5 - 1)). Let b = p + -1/213. Which is smaller: b or 28?
28
Let j = -9/35 + 221/315. Let d(t) = 2*t + 5. Let k be (81/(-9) - -10)/(2/(-4)). Let y be d(k). Which is greater: y or j?
y
Suppose m + 3 = 0, 5*a = 8*a - m. Let s be (1/(-5)*-3)/((-32)/(-5)). Which is smaller: a or s?
a
Suppose -44*l + 69*l - 1736 = 39*l. Which is greater: l or -127?
l
Let q = -1358/85 - -156/17. Is 4/3 <= q?
False
Let f = -1972 + 2525. Do f and 4976/9 have the same value?
False
Let n be (165/198)/(1 + -2). Let s(g) = -5*g - 24. Let w(o) = -6*o - 24. Let m(r) = -4*s(r) + 3*w(r). Let x be m(-12). Which is smaller: n or x?
n
Let n(i) = -i**2 - 8*i - 3. Let c be n(-5). Let b be (c/(-69))/(0 - -1). Let j be 289/(-255) + ((-8)/30)/(-2). Is j less than or equal to b?
True
Let s(z) = -2*z**2 + 83*z - 20. Let t be s(39). Let v = t + -175. Which is smaller: v or 2/1105?
v
Let z = -4721 - -3866. Which is greater: -3 or z?
-3
Let y be (-2211)/6 - (-6)/(-4). Let a = y - -372. Suppose g + 3 - 6 = 0. Is g not equal to a?
True
Let a be -43 - 22981/(-539) - (-15)/11. Let q be 2/4 - (-123)/90. Is q at least as big as a?
True
Let g = 20 - 17. Suppose 0 = -5*u + 3*m - 138, 0 = -5*u - g*m - 2*m - 130. Is -28 bigger than u?
False
Let j(w) = w**3 + 15*w**2 + 18*w + 21. Let i be j(-14). Let h be i/(-7)*(0 + 1). Let m = h + -37. Is -34 at most m?
True
Suppose -4*w + 18 = -2*s + 16, 4 = -s + 3*w. Which is smaller: s or -31?
-31
Let s = 265 - 632. Let a = s - -1838/5. Is 44 > a?
True
Suppose 3*t + 20 = -2*t, 5*p - t + 1 = 0. Let h = 1/27441 - 55127/6723045. Are h and p nonequal?
True
Let j = 12361/20 - 3089/5. Which is smaller: -9984 or j?
-9984
Let d = -407 + 358.8. Let o = 44.2 + d. Which is smaller: 65 or o?
o
Let i = 236 + -235. Let j = 194472/83 + -2343. Which is smaller: i or j?
j
Suppose -122*z + 55*z - 64698 = 56*z. Is z < -535?
False
Let d(a) = -8*a**2 + 26*a + 142. Let x be d(-5). Which is smaller: x or -186?
x
Let r = 21 - -13. Let y = -0.059 - 0.041. Is y > r?
False
Suppose 4*h - 5*f = -311, -4*h - 3*f - 185 = 166. Suppose -6*p = -16*p - 1100. Let l = -111 - p. Which is smaller: h or l?
h
Let a = -84 + 68. Let k(f) be the second derivative of -f**3/2 - 25*f**2/2 + 16*f. Let j be k(a). Which is smaller: 22 or j?
22
Let o = -401 - -199. Let d = 201.8 + o. Which is smaller: -106 or d?
-106
Suppose -1640*o + 1631*o = 0. Which is smaller: o or -2/5233?
-2/5233
Let j be ((-232)/22)/((-4)/44). Which is bigger: j or 119?
119
Suppose j - m + 5 = 0, j + j + m = 5. Suppose 0 = -2*n - j - 0. Let s be ((-4)/18 + n)*(-3)/(-2). Which is smaller: 2 or s?
s
Suppose -83*p + 344 = -428 + 191. Is p > -15?
True
Let l = -4354 - -4354. Does l = 1/712?
False
Let i = -31271 + 31270. Which is smaller: i or 3/25367?
i
Let o(z) = 620*z - 4797. Let h be o(10). Is h greater than or equal to 9831/7?
False
Suppose -w + 317 - 157 = 4*k, 5*w - 675 = 5*k. Which is smaller: 115 or w?
115
Let u = -215 - -221. Suppose -7*c + u*c - 2 = 0. Is c at most as big as 1?
True
Let f be (3/(-6) - -1) + (-3028)/5928. Which is smaller: 0 or f?
f
Let c be (-35)/15 + (-1428)/9. Is -168 smaller than c?
True
Suppose 5*m = -99 - 11. Let b be 3750/55 - (-4)/m. Let k be ((-36)/16 + 3)/((-1)/b). Is -1 greater than or equal to k?
True
Let z(u) = u**2 - 14*u + 42. Let t be z(9). Let d be -123*(1 + 5/(-45)*t). Which is greater: -165 or d?
d
Let y = -2014 - 7952. Is y smaller than -9965?
True
Let r = -717055356/5501 + 130350. Is r bigger than 0?
False
Let l(c) = -4648 + 31*c + c + 4871. Let i be l(-7). Is i >= -12/143?
False
Let s(q) = -q + 2*q**2 - 140 + 2*q + 152 - 3*q**2. Let j be s(-3). Let c = -31777/41 - -775. Which is greater: j or c?
j
Let m = 113884/42042159 + 2/57671. Let f = 29 + -30. Which is greater: m or f?
m
Suppose 142 - 208 = -3*g. Suppose 2*h - g = -16. Is h at most 7?
True
Let z be (78/260 - 13)*-10. Which is greater: 634/5 or z?
z
Suppose -16*x + 12*x = -13*c + 56, -x + 19 = 5*c. Suppose 6*d - 3*d + a = 21, 5*a + 35 = 5*d. Let w = 10 - d. Is c at least w?
True
Let c = -72417 + 5431277/75. Let y = 137 - 406/3. Is y greater than or equal to c?
True
Let b = 17.092 + -17.3. Let f = -0.228 - b. Which is smaller: 