et k(m) = 6*m - 6. Let x be k(2). Let r be (-5)/((-45)/(-6))*x. Let y be r + (-1497)/(-333) + (-1)/3. Which is bigger: y or 0?
y
Suppose 3*u + 4*x + 881 = 0, 5*u + 124 + 1412 = 3*x. Is u at most as big as -301?
True
Let i be -10*36/45*(-2)/(-4). Are -183/37 and i non-equal?
True
Let b(k) = -402*k - 2418. Let t be b(-6). Let v = 161 + -83. Let f = t + v. Which is bigger: f or 71?
f
Let y be ((383490/12)/(-15))/(15/6). Let c = 524143/615 + y. Is c at least as big as 1?
False
Let o(j) = j**2 - 69*j - 143. Let u be o(-2). Which is bigger: 10/241 or u?
10/241
Suppose 11 = -5*f + 36. Let a(m) = -3*m**2 - 2*m + 7. Let l(v) = -2*v**2 - v + 4. Let p(y) = f*l(y) - 3*a(y). Let w be p(5). Is w at least as big as -21?
True
Let z be 3264/(-6)*(-2)/2. Let i = z - 23393/43. Let o = -14 - -15. Is i <= o?
True
Let d(v) = v + 11. Let k be d(-6). Suppose 5*u + i - 475 = 2*i, -k*u + 4*i + 460 = 0. Let x be 1*(-4)/(-4) - u/99. Which is smaller: 1 or x?
x
Let f = -4187 + 4225. Suppose -3*u - 3*x = -15, u - 4*x + 10 + 10 = 0. Let g be ((3 - 2) + u)*39. Which is smaller: g or f?
f
Let t = -8 - -6. Let m be (-15)/(-21) + 1 + t/7. Let k = m + -51/35. Are 0 and k non-equal?
True
Suppose 2*g - 7016 = -8*g - 6206. Is g at least 64?
True
Suppose 3*c + 5*x + 577 = 0, -33*x = -4*c - 28*x - 676. Which is smaller: c or -160?
c
Let k be -78*(112/(-8))/392. Let t be 2 - (1 + -2 + 0). Which is greater: t or k?
t
Suppose -77*i - 123105 = 72*i + 236432. Which is greater: -2417 or i?
i
Let b = 11 - 9. Let t be ((-4)/(-4) - b)*1. Let f = -1379/72 - -147/8. Do f and t have the same value?
False
Let l = 2/19989 + -19999/99945. Is l >= 4/2427?
False
Suppose 4*a + 5*f = 34, -4*f = 4*a - 3*a - 14. Suppose a*q + 601 = 661. Is q smaller than 10?
False
Let t = -412 - -418. Let k be (t/10)/(45/(-60)). Which is greater: k or 33?
33
Let o = 193 - 176. Suppose o = -4*c + 1, -n = -5*c - 1. Is -170/9 != n?
True
Let r = -83762713/164120 - 4/20515. Which is smaller: 1/3 or r?
r
Let a = -10217/4473 - 1/639. Suppose 3*n - 3*k = 0, -10*n + 9*n = -5*k + 12. Suppose -5*i - 2*f = 0, n*f = -4*i + 5*i + 17. Is i != a?
True
Let r(o) = -o**2 + 23*o - 90. Let i be (-399)/(-14)*(-6)/(-9). Let v be r(i). Is v greater than or equal to -8?
False
Let z(u) = 4*u**3 - 12*u**2 + 25*u - 466. Let k be z(15). Which is smaller: 10708 or k?
10708
Suppose 0*t + 191 = 3*t + 4*i, 5*i = -4*t + 253. Let x = -55 + t. Suppose 19*r - 6 = 20*r. Which is smaller: r or x?
r
Let a(k) = 31*k**2 + 2*k + 1. Let i be a(-1). Suppose -219*h - 1480 + 18310 = 291*h. Which is bigger: i or h?
h
Suppose -57*z - 90 = 33*z. Is 11/368 less than z?
False
Let w = 0.42029 + 0.22371. Is w less than or equal to 22?
True
Let o(m) = -2*m**2 + 47*m - 71. Let g be o(23). Let c be ((-166)/g - 1) + 74/444. Which is bigger: 4 or c?
4
Suppose -1332 = -3*n + 2*j, -703 = -3*n - 2*j + 641. Let z = -453 + n. Is z smaller than 1?
True
Let k be (-880)/(-125) + (-21)/(-4 - -7). Which is smaller: k or -0.09?
-0.09
Let n = -2474 - -2434.03. Let x = n + -1.03. Let c = x + 42. Does c = -0.2?
False
Let d be 8 + -1 - ((-18620)/(-3675) + 2/(-30)). Is d equal to -6.39?
False
Suppose -22*x + 11*x = 1859. Let o = 138 + x. Which is bigger: o or -63/2?
o
Let g(t) = t**2 - 1 + t**3 + t - 6*t**3 + 6*t**3. Let u(i) = 7*i**3 + 12*i**2 + 8*i - 22. Let c(k) = 6*g(k) - u(k). Let s be c(-5). Which is greater: s or -0.6?
s
Suppose -1173 + 993 = -6*g. Let h be (4/3)/(20/g + 0). Let z = 0.2 - -1.3. Which is smaller: h or z?
z
Let w be (-22)/(-8) + -2 + (-414)/360. Let j = -239.8 - -247. Is w equal to j?
False
Let y = -5531 - -5530.7919. Is y smaller than 1/4?
True
Let i = -1.66 - -1.04. Let p = -8.84 + 0.22. Let u = i - p. Which is smaller: u or -3?
-3
Let b be (-12)/358*(3/(-27) - 0). Let g be 688/(-6)*(-7 + (-52620)/(-7518)). Let s = b + g. Which is greater: s or 0?
s
Let g = 31 + -386. Let y = 357 + g. Do y and -4.2 have different values?
True
Let h(j) = 0*j - 2*j + 9 - 2 + j**2 - 5. Let a be h(-5). Let o = a - 31. Do 6 and o have the same value?
True
Suppose -5*g + 3*m = -24, -4*g - 3*m = -7*g + 18. Suppose 2*w = -g*w - 10. Let q(f) = -3*f + 6. Let j be q(w). Is j at least as big as 9?
True
Let c = 29.36 + -25.66. Which is greater: -0.121 or c?
c
Suppose -42*c + 37 = 2011. Let m(o) = o**3 - 8*o**2 + 4*o + 2. Let s be m(6). Which is greater: s or c?
s
Suppose -4*l - 3*n - 1 = 0, 4*l - 6*n = -3*n - 7. Let o be (-380)/65 - (-7 - (l - 0)). Are o and 22 equal?
False
Let k be 1 - (2/(-32))/(-6 + 8952/1504). Is k bigger than 1?
False
Let r be -18 - (-5)/(-10)*-6. Which is smaller: -22 or r?
-22
Suppose 0 = -3*a + w - 4*w - 6, 4*w + 1 = 3*a. Let t be ((-14)/70*5)/(14 - -17). Is a equal to t?
False
Let j = 7863063/829 + -9485. Suppose -3*f = 4*d - 10, -91 = 3*d + f - 96. Which is smaller: j or d?
j
Let v = -9075 - -9057.1. Is 1/3 < v?
False
Let f = -1336 - -9039. Let q = -269579/35 + f. Which is greater: q or 0?
q
Suppose 5*c + 33 = 2*c. Let v be ((-6)/(-12)*-27 - -8)*2. Let o = c - v. Is -2/53 at most o?
True
Let u = 29778 + -29837. Do u and -74 have the same value?
False
Let a be ((-49)/9 - -6)/(104/1482). Which is smaller: 1 or a?
1
Suppose 4706 = 2*u - 24*j + 29*j, -9*j = -5*u + 11679. Which is bigger: 2344 or u?
2344
Let r = 23654/21 + -1127. Suppose 2*l - 14 = -10*a, -82 = -3*a - l - 73. Is r less than a?
False
Let t = 7200.9907 - 7201. Which is greater: 1 or t?
1
Let t = -116 + 93. Let x = t - -30. Suppose -x*b - 3*b = 290. Does -30 = b?
False
Let a = -802544/7 + 114836. Let g = a - 6834/35. Which is smaller: g or -7?
g
Suppose 2 = -i + 3*i + 5*a, 4*i = -5*a + 4. Let w be 9578/180 + i/2. Let t = w - 263/5. Is 1 less than or equal to t?
True
Let f = 117 - 342. Let u = 225 + f. Is -55 at most u?
True
Let c(u) = 2*u**2 + 209*u + 4576. Let p be c(-31). Is -284 at most p?
True
Let s = 19 + -27. Let m be 4/10 + s/25. Let a = 17362.1 + -17362. Which is smaller: m or a?
m
Let o = -625 + 357. Let q = 168 + o. Which is smaller: -101 or q?
-101
Let i = 96430/98273 - 136/139. Let w be 52/54 + (-3364)/(-90828). Is i greater than w?
False
Let q = 273327 + -16126747/59. Do -7 and q have different values?
True
Let s(a) = -863*a**2 + 66*a + 141. Let g be s(-2). Which is greater: g or -3442?
-3442
Let u(r) be the third derivative of -r**6/30 - 49*r**5/30 - 49*r**4/24 - 13*r**3/3 + 10*r**2 + 14. Let p be u(-24). Which is smaller: p or 10?
p
Let p = -0.146 - 56.854. Let j = 57 + p. Which is bigger: j or 8.7?
8.7
Let w = -20381 + 20381. Which is smaller: 8934 or w?
w
Let z = 110 - -108. Let n = z - 164. Is 1 < n?
True
Let l be 8*1 - 17/((-357)/(-2793)). Which is smaller: l or -119?
l
Suppose 374 = -4*w + r + 2*r, -5*w + 4*r = 468. Let a be (4/(-2))/(270/630 - 20/28) - 99. Is w < a?
False
Suppose -18*c + 1506 = -10518. Let p = -303 + c. Is 364 > p?
False
Let s be (-2605530)/(-394) + -3 - -4. Let w = s - 6614. Are 0 and w equal?
False
Let y be (-21)/(-14)*142/(-213). Is y at least 29916?
False
Let q = -477.0908 - -0.0908. Let s = -478 - q. Is s not equal to 75/11?
True
Let k be (-245)/49 - 1265/6. Which is smaller: k or -217?
-217
Suppose -2*c = 65*v - 60*v + 34, 5*v + 20 = 5*c. Which is greater: 123 or v?
123
Let l = 3523 + -1746. Is 1778 greater than l?
True
Let z(n) = -4*n**3 - n**2 - n + 1. Suppose -5*l - 3*u - 2 = 0, -3*l - 2*u - u = 0. Let h be z(l). Suppose -20 = h*i - 40. Is 0 at most as big as i?
True
Suppose f = 5*y + 5*f + 4, -2*y + f = -1. Let b(w) = -2*w - 82. Let x be b(-38). Let v be (8 - 3/1) + x. Which is smaller: v or y?
v
Let t(g) be the first derivative of -g**4/6 - 11*g**3/6 - 16*g + 11. Let f(p) be the first derivative of t(p). Let j be f(-8). Is -40 <= j?
True
Suppose 9*s + 28*s = 74. Let f be (-225)/((3*-6)/(-6) - s). Which is greater: -226 or f?
f
Let k = 28598.9 - 28599. Which is smaller: -897 or k?
-897
Let u(c) = 105*c + 34 - 103*c - 4. Let y be u(-8). Let o be (-1076)/y - 5*(-1)/(-35). Is o smaller than -77?
False
Let t = 577/260 + -29/20. Suppose 2*d = -h, -h - 2*h - 12 = 0. Suppose 0 = -0*y - 4*y + 12, -6 = -d*f - 2*y. Which is smaller: t or f?
f
Let s(f) be the third derivative of -2*f**5/15 - f**4/12 + 7*f**3/6 - 15*f**2. Let w be s(-3). Let o = -59 - w. Is -4/11 <= o?
True
Let b(i) = i**3 - 22*i**2 + 57*i - 1. Let m be b(19). Are 4/1871 and m non-equal?
True
Let z = 12.4 + 