2 + 7*l - 22. Let i be d(-11). Is -146 != i?
True
Let u be (-23)/(115/4782)*(2 - (-1 + -2)). Is -4782 at most as big as u?
True
Let t(r) = 203 - 100 - 101 + 17*r. Suppose -5*o - 27 = -2*k, -k - 6 = 2*o + 2*o. Let g be t(k). Is 103 at least g?
False
Suppose -6*r + 56 - 30 = 32. Is r at most 4/1415?
True
Let n be (36 - -18)/(-9) - -7. Which is smaller: 58/55 or n?
n
Let n be 10*69/765*18. Let i = 692/51 - n. Is i >= 0.1?
False
Let x be 2628/12908 + (-171)/21 + (-18 - -26). Is -1 at least x?
False
Let j = -126 + 127.11. Let y = j - -3.79. Which is smaller: y or -2?
-2
Let u = -5.21 - -0.42. Let d = 0.79 + u. Is 17 != d?
True
Suppose 2*b = c + 117, 4*c = -1 - 3. Suppose 5*n + 13 = 6*n - 2*r, 2*r + 28 = 4*n. Let k be 6/9*(n - (-66)/(-12)). Is b < k?
False
Suppose -105*k = 136*k + 50084 + 408780. Is k smaller than -11425/6?
False
Suppose 6269*w - 3234 = 6291*w. Is w less than or equal to 2/9?
True
Let b = 40981/5 - 16487/2. Let h = b - -59/2. Which is greater: h or -19?
h
Let k = 5.6 + -5.8. Let m = 245 + -167. Let c = 91 - m. Which is bigger: c or k?
c
Suppose 6*c = 4*c + 2. Suppose -54 + 8 = -23*v. Let g be (-5)/(-10)*v*c. Is g bigger than 1/28?
True
Let a be 18 + 4214/(-112) + 18. Let z(s) = -s**2 - 12*s - 2. Let n be z(-12). Which is smaller: n or a?
n
Let v = -130488 - -130411. Let x = 2/65 - -116/455. Which is smaller: x or v?
v
Let f(d) = 24*d + 16. Let j be f(-11). Let q be 6/(-4)*j/12. Suppose q = -6*w - 35. Is w smaller than -21/2?
True
Let p be 0 - (-4 - (9 - 4 - -48)). Suppose 0*r = p*r. Which is bigger: r or 2/465?
2/465
Suppose -m = 39*n - 36*n - 20, -5*m - n = -2. Let f = 897/4 + -19731/88. Are m and f unequal?
True
Let w = -0.5 - -0.206. Let g = -69.294 - w. Let a = -4.9 + 5. Is g bigger than a?
False
Suppose 5*h - 2*g = -461, -2*g + 3*g - 3 = 0. Let s be 2 - (4 + 392/h). Is s >= 1?
True
Let m be (4 - (-54)/(-14)) + 54764/28*1. Is m greater than 1956?
False
Let h = -1686.6 + 1687.6. Let v = 0.009 + -33.509. Is v at least as big as h?
False
Let j = 353314 + -353295. Let z be 129/6 - (-2)/(-4). Which is bigger: z or j?
z
Let o = 1067134/21515 - -2/4303. Do o and 49 have different values?
True
Let k = 0.2 - 0.2. Let t = 578.26 + 0.74. Let g = 585 - t. Is k < g?
True
Suppose 3*a + v + 2 + 2 = 0, -4*a - 37 = -5*v. Let o(c) = 996*c - 1008*c - 17 + 0 - 10. Let d be o(a). Which is bigger: d or 14?
14
Let m be 8/(-84)*(3/(-15) - (-150)/27000). Suppose 0 = 2*f - 10. Suppose -4*b = -f*x, -b + x = -0*b. Which is greater: b or m?
m
Let p be -2 + 22/10 - (-95914)/130. Let n be (p/(-36))/(3/(-3) - 0). Let m(q) = 4*q - 30. Let x be m(13). Is x > n?
True
Let f = 119 - 65. Let m = f - 50. Suppose 10*h - 6*h = m. Is h bigger than 1/10?
True
Let k = -1982 - -1150. Let j = k - -1006. Which is smaller: j or 3?
3
Let s(h) be the first derivative of -h**4/4 + 5*h**3/3 + 9*h**2/2 - 14*h - 8. Let i be s(6). Suppose -y + 2*o = -1, y - 5*o - i = -0. Is -2/27 at least y?
True
Let a be ((-64)/(-48))/(-3 + 4292/1476). Which is bigger: -14 or a?
-14
Suppose 25 = -23*d + 28*d. Suppose 104 = -d*c - 21. Let z = c - -24. Which is greater: z or -4/3?
z
Suppose 3*m + 80 = -v + 5*m, -314 = 4*v - 5*m. Let u = 48783 - 48859. Are u and v equal?
True
Let f be ((-4)/12)/((-3)/(-18)). Let q be 6/12*(f - -4). Suppose 16*k = -35 - 45. Which is smaller: k or q?
k
Let o = 3855/1006 + 2/1509. Suppose -3*r + 18 = -a, 0 = 4*r - 784*a + 786*a + 6. Is o smaller than r?
False
Let x = -1657 + 2324. Let a = -667.1 + x. Let p be (2 + 32/(-10))*-4. Is a less than or equal to p?
True
Let q = 14.9 + -14.732. Let j = q + -0.068. Is j equal to 28/9?
False
Let u be (-1 + (3 - 4))/(56/(-28)). Which is greater: u or -54/191?
u
Suppose 96 = 158*w + 96. Which is bigger: w or 2/1529?
2/1529
Let t = 1/47717 - 34881147/954340. Let c = t + 184/5. Is c bigger than -75?
True
Let s(f) = 13*f**3 + 3*f**2 + 3*f + 1. Let y be s(-1). Let r be y/(-3384)*((-10)/(-6) + -1). Is r >= -0.1?
True
Let s be 1 - (1 + (-4)/398). Let i = -65161 + 65161. Which is greater: i or s?
s
Let l = -675/28 + 61/4. Let k = l + 591/28. Do 12 and k have the same value?
False
Let l = 32 - 30. Let p be (13/(-65))/(l/(-20)). Let a be 297/(-4698) - p/(-12). Which is greater: a or -1?
a
Let b = -526.8771 - 0.1229. Let o = b + 522.7. Let j = 3 + -2.9. Is j less than or equal to o?
False
Let v be ((-6)/(-4))/((-39)/(-5980)). Let r = -230 + v. Which is greater: -21/26 or r?
r
Let p(t) = 4*t - 42. Let a be p(11). Let z be (-16)/(-738)*a/(-4)*-3. Which is smaller: 1 or z?
z
Let y be (6/8)/(36/624). Suppose -11*w = -10*w + y. Let v = 19 - w. Is 31 at most v?
True
Let y(r) = r**2 - 57*r + 806. Let o be y(31). Are 1/24527 and o unequal?
True
Let j be (-1047710)/(-476) - (4 - 330/84). Which is bigger: j or 2200?
j
Let n be (-210)/(-110)*-5 + -1 + 7 - -3. Let g be 0*((-12)/(-8))/(-3). Which is bigger: g or n?
g
Let c(y) = 4*y**2 - 121*y + 93. Let s be c(43). Is 2285 >= s?
False
Let p be (-27)/(-6)*(-6)/(-9). Let z be p/(-4) + (-21)/(-44). Suppose 0 = j + 2*j - 4*s + 17, -4*s + 20 = 0. Is z > j?
False
Let v be (-1)/1*((-190)/(-20))/19*2. Which is smaller: v or -42/407?
v
Suppose 2*w + 72 = -z + 252, -3*w = -z + 165. Let o = z + -3305/19. Which is smaller: 0 or o?
0
Suppose u + 0*p - 2036 = 5*p, 0 = -4*u + p + 8106. Is 2025 greater than or equal to u?
False
Let n(c) = -2*c - 91 + 44 + 38. Let m be n(-5). Let f = -67 - -18. Is f >= m?
False
Let l be 0 - (-8)/2832*-6. Is -0.7 at least as big as l?
False
Let j = -5765/581431 + 3/2539. Let u = -219/1145 + j. Do -0.003 and u have the same value?
False
Let o = -0.0255 + 32.9255. Let p = o + -33.9. Is -13 at least p?
False
Suppose -6*u - 776 = -4*x - u, 4*x = 4*u + 772. Suppose 99*b - 230*b + 116*b = -2835. Is b at least as big as x?
True
Let x be (-62)/8*(25 - 29). Let j = 35 - x. Let n be -3 - -2*(j - -5). Is n equal to 13?
False
Let y be (-6)/10*530/(-2226). Is y at most as big as -339/5?
False
Let s(m) = -m**3 + 12*m**2 - 49*m - 3. Let z be s(6). Let w be (-1)/((z/(-45))/9). Is w smaller than 13?
True
Let h be (-3795)/7 - (-24)/168. Let p = 330 + h. Which is smaller: p or -213?
-213
Let z = 43 + -43. Let q be -1*(1/245 + z). Is q bigger than -1?
True
Let n = -87.2 - -88.98. Is n smaller than -1/7?
False
Let d(t) = 69*t**2 + 9*t - 8. Let h be d(1). Let r be (1 + -6)*14*-1. Do r and h have different values?
False
Let j = 8518 - 13438. Is j smaller than -4919?
True
Let t be -2 - ((-147)/(-45) - -2). Let x be 48*2/10 + -3. Let n = x + t. Do n and -2 have different values?
True
Suppose 3*n - 5*u = 11, -2*n - 3*n = -5*u - 15. Suppose 0*j - 4*j + n = 2*f, -4*f = -3*j - 59. Is 49/4 > f?
True
Let b(c) be the third derivative of c**4/12 - 49*c**3/3 + 338*c**2. Let l be b(5). Suppose 2*w + 5*f = -201, -w - 3*f - 98 = -f. Is l less than w?
False
Let n(p) = -p**3 - 12*p**2 - 89*p - 73. Let j be n(-14). Is 1562 less than or equal to j?
True
Let f be 0 - (-2)/(-4)*-2. Let x(b) = 3*b**2 + 38*b - 16. Let j be x(-16). Let q = 2879/20 - j. Is q <= f?
True
Suppose 23*a = -387 + 134. Let l(j) = -j - 6. Let b be l(4). Are a and b equal?
False
Let h = 3.767 + 0.183. Let q = h - 4. Let g = 0.0733 - -0.0267. Which is bigger: q or g?
g
Let y = 145.2 + -133. Let c = y + -73.2. Let d = 88 + c. Is -1/4 < d?
True
Let q be (2077566/1194)/1 - (-7 - (-3 + -2)). Suppose 3*v = v - 3484. Let s = v + q. Is s bigger than 0?
True
Let l = 91119/43 - 2119. Is l greater than or equal to 19?
False
Let n(y) = -y + 7. Let k(m) = -m + 1. Let u(p) = -4*k(p) + 2*n(p). Let q be u(-3). Let l be (5/2)/1*q/5. Is 11/8 at most l?
True
Let g be (-15)/(-3)*(-36)/(-10). Let z(t) = -19*t - 136. Let u be 2/(-16) - 2079/264. Let n be z(u). Is g bigger than n?
True
Let i be ((-1552)/40)/(3/(-30)). Suppose -8*n + i = -132. Does 64 = n?
False
Let m(c) = -c**2 - 2*c - 6. Let s be m(-5). Let j be 4802/(-245) - (-4)/(-10). Is j greater than or equal to s?
True
Let v be 6/(-94)*(-2)/(-30). Suppose -4*h = -3*z + 23, 4*h - 798 = -3*z - 767. Which is greater: h or v?
h
Let n = 83544 + -1665783815/19939. Let x = 5283831/79756 + n. Which is smaller: 67 or x?
x
Let z(k) = k**3 - 6*k**2 + 5*k + 2. Let j be z(5). Suppose 6*t + 111 = 3*t + 3*o, j*o = -t - 31. Let r = 104/3 + t. Which is bigger: r or 0?
0
Suppose 0 = -5*g + 25, 9*u - 8*u + 4*g = 11. Let p = -86 + u. Which is 