 = -10.98 + y. Are n and -2/7 equal?
False
Let p = -4.199 - -3.999. Is -109 greater than p?
False
Let g(d) = d**3 - 8*d**2 + d + 5. Let v be g(7). Suppose 1609 + 1296 = 7*a. Suppose -79 = 13*x + a. Is x at least v?
False
Let t = -138073/558631 + -2/5531. Do t and -1 have different values?
True
Let d be -8*(-6)/(5 + 7). Suppose -b = 3*b - d*l, 3*b + 4*l - 28 = 0. Let h be 35*(2/25)/1. Which is bigger: h or b?
b
Suppose 2*s - 7 = -1. Suppose 4*w - s*y - 11 = 3, -4*w + 24 = 2*y. Let u be 572/20 + 2/w. Do u and 30 have different values?
True
Let f(o) = 7*o**2 - 4*o - 4. Let n be f(-1). Let v(a) = -3*a + 24. Let m be v(n). Suppose -37 = 5*g + m. Is g >= -10?
True
Let t = -628.2 - -631.8. Which is smaller: t or -0.1?
-0.1
Let v = 0.04938 - 0.08938. Which is smaller: v or -1.68?
-1.68
Let j be 10 + 2 - 1*6. Suppose 3*s - j*s = 5*c + 1756, -4*s = 4*c + 1408. Do c and -351 have different values?
True
Let x = 18.8 - 22. Let r = -11.8 + x. Is 15 at most as big as r?
False
Let g = 7542 + -7538. Let h = -25 + 43. Which is bigger: h or g?
h
Suppose 2864 = 13*f + 498. Let n = -189 + f. Is -35/6 at most n?
False
Suppose 0 = -2*l - 20 - 6. Suppose -71 = -2*x - w, -4*x + w + 92 + 53 = 0. Suppose 3*y + 38 = -2*f + f, 2*y + x = 2*f. Which is smaller: l or y?
y
Let h = 18562/29 + -640. Which is bigger: -25/9 or h?
h
Let v = 55 + -38. Let i(c) = -c**2 + 17*c - 1. Let q be i(v). Let j = 23517/40 - 588. Are q and j equal?
False
Let g be 702/252 - 4 - 3/(-2). Is g at most as big as -1045?
False
Let c = -554609 - -184684973/333. Is c greater than 0?
True
Suppose -121*r + 667 = -345 - 924. Which is smaller: 56 or r?
r
Let z(n) = 6*n**2 - 33*n + 47. Let k be z(6). Which is greater: 47 or k?
k
Let q(g) = -2*g + 15. Suppose -3*z - 5*v = 48, v = -0*v. Let j be ((-4)/(-8))/((-1)/z). Let l be q(j). Which is smaller: l or -9/7?
-9/7
Let l(u) = -u**3 - u**2 + 5*u + 4. Let q be l(-3). Suppose -7 = -14*w + q*w. Which is bigger: w or -3/50?
w
Let q be 332/249 - -118*1/(-3). Suppose 0*l - 5*l = 0. Let w be (l - -1 - -1)*-19. Is w less than or equal to q?
True
Let b = -71 + 63. Let s(d) = d**3 + 9*d**2 + 3*d - 39. Let a be s(b). Which is bigger: a or -1/363?
a
Suppose -1831*j = -1861*j + 42180. Which is smaller: 1403 or j?
1403
Let x(s) = -9*s**3 - 4*s**2 - s + 2. Let f be x(-2). Let p be 3 - (2*(-5)/(-10) + -58). Is f bigger than p?
False
Let g(j) = -40*j**3 - 25*j**2 + 9*j - 12. Let c be g(5). Is -5594 smaller than c?
True
Suppose 3*a = a - u - 6229, 20 = -4*u. Let t = 1244803/400 + a. Which is bigger: t or 0?
t
Suppose -15*i + 3*h + 12 = -11*i, -5*h - 20 = 4*i. Are -0.0706 and i non-equal?
True
Let x = -4677.1 - -4677. Which is smaller: 2/4267 or x?
x
Let n = -54 + 8. Suppose -775*j + 5580 = -1697*j + 798*j. Which is smaller: j or n?
n
Let l = -711 + 1402. Let v = l + -690. Is -1/213 equal to v?
False
Suppose -21 = -q + 3*t - 2, 4*q = 2*t + 26. Let l be (-2)/14*(-120 - 13). Suppose q*y - l = w, -17 = -3*w + w - 3*y. Is -1/4 not equal to w?
True
Let y = -646 + 647. Let r be (-6 + (-3 - -10))/y. Which is smaller: r or -61?
-61
Suppose -46*f - 47077 = 8*f - 128401. Is -2 at most f?
True
Let d = 20224 - 20235.03. Which is smaller: 1 or d?
d
Let y(l) be the first derivative of -l**5/15 - 11*l**4/4 - 10*l**3/3 - 28. Let v(f) be the third derivative of y(f). Let r be v(-6). Which is bigger: r or -19?
r
Let a be (4966/(-52))/(3/(-66)). Is 2101 greater than a?
False
Let j be (1/2)/((-14)/24) + (-45480)/(-15330). Which is smaller: 2 or j?
2
Let n = 126437 + -2782741/22. Which is greater: -50 or n?
-50
Suppose 3*t - 186 = -4*a, 65*t = 69*t + 24. Is a at most as big as 193?
True
Let a = 35.72 + -35.688. Which is greater: a or 8/3?
8/3
Let r(w) = -w**3 - 26*w**2 - 69*w + 5. Let y be r(-23). Suppose 30*k - 2*s = 33*k - 992, -2*k + y*s = -693. Which is smaller: k or 335?
k
Suppose j - 3 = 3. Suppose -97*c + 103*c = -j. Let z be 10/(-4)*(-3)/(-5). Are c and z equal?
False
Let m be (-46)/(-24)*(-313880)/(-708). Let q be 10/4*3099/(-9). Let a = q + m. Is -12 less than a?
True
Let h be 438*2/54 - 4/18. Let o be -1 + (1248/90)/h. Let i be 4/6*3/2. Do i and o have different values?
True
Let k be ((-15862)/616)/(3/(-12)). Is 102 greater than k?
False
Let v = 42 - 53. Let a be 21/(-42)*(-1 + v). Suppose 0 = a*o - 9*o - 75. Do -25 and o have the same value?
True
Let v be 67/308 - 6/33. Let y = -79/644 + v. Let q = 423 + -424. Is y > q?
True
Let u(j) = j**2 + 50*j + 308. Let o be u(-54). Which is bigger: o or 4185/8?
o
Suppose -v + 20 = 4*v, -2*v = 5*b - 163. Let g = 1252 + -1223. Is g equal to b?
False
Let t(y) = 132*y + 252. Let q be t(-2). Which is smaller: -1/10 or q?
q
Let r = 2317 + -2311. Let t = 9 + -10.5. Is t bigger than r?
False
Let m(w) = -28*w**3 - w - 1. Let a be m(-1). Suppose 5*j - 4*h = a, -3*j - 5*h = -4*j - 7. Let k be (3/(-4))/(3/(-36)). Which is bigger: j or k?
k
Let y = -21 + 28. Let f(z) = 3*z - 13. Let n be f(y). Suppose 4 - n = -2*a. Is a at least as big as 0?
True
Let a(q) = -q**2 - 73*q + 492. Let t be a(7). Is 3 <= t?
False
Suppose -11*j = -5*j + 486. Let b be 12/296*6/j. Are 0 and b unequal?
True
Let h = -200 + 375. Let u = h + -121. Let g = 56 - u. Which is bigger: g or -3/2?
g
Let p(q) = 677*q + 3771. Let l be p(-9). Is l at least -4643/2?
False
Let b = -147 + 389. Let y = 143 - b. Let i = y - -102. Is i > 5?
False
Let c(m) = -2*m**2 - 12*m - 14. Let s be c(-4). Let j be (-1 + -5)/(-6)*4. Suppose -2*b - 8 = -6*b, 4*d + s*b = -j. Is d < 2?
True
Suppose 53438 = 2192*i - 2206*i. Is -3818 greater than or equal to i?
False
Let m = 0.027 + -2.386. Let l = m - -0.359. Which is bigger: 85 or l?
85
Let j be (-1)/3 + 1067556/18. Let s = 59870 - j. Let k = s - 570. Is -8 != k?
True
Let n(z) = 146*z + 2853. Let a be n(-19). Let i(y) = -25*y + 4. Let b be i(-3). Do a and b have different values?
False
Suppose 0 = -4*d + 3*d. Let b be 8/10 + 204/170. Suppose -i - 1 = d, b*i + 13 - 5 = 3*x. Is x > 2?
False
Let l(i) = -284*i + 4089. Let n be l(15). Is -172 bigger than n?
False
Let o be 34417350/14280 + (-18)/(-7). Is 2413 smaller than o?
False
Suppose -22*i = -16*i - 82*i - 46588. Is -4281/7 < i?
False
Let w = 2330 + -2427. Which is smaller: w or -100?
-100
Let y = 26 + -16. Let z be 915/(-2745)*3/(-7)*2. Which is smaller: z or y?
z
Suppose 15413*a = 15409*a - 12240. Is -3060 greater than a?
False
Let w(f) = -f**2 + 10. Let k be w(-7). Let s = 156 + -110. Let m = s + -86. Which is bigger: k or m?
k
Suppose 9*x + 5168 - 2442 = -4501. Do -803 and x have different values?
False
Let q be 5 + (5 - (-6 - -6)). Suppose q = 2*v + 4*a - 40, -5*v + 177 = -3*a. Does -2 = v?
False
Let t be ((-168)/30)/(9/135). Which is bigger: t or -2?
-2
Let g be (51/340*16/117)/((-26)/455). Let l = 7 - 6. Which is smaller: g or l?
g
Suppose -3*b + 3*s = b - 476, -5*s = 20. Suppose 2*y + 210 = 5*w + 42, 0 = 4*w + 3*y - b. Is w at least as big as 35?
False
Let k(t) = -2553*t + 2559*t - 2 + t**3 + 0*t**3 - 5*t**2 - 3. Let h(s) = 3*s**3 - s + 1. Let d be h(1). Let l be k(d). Which is bigger: l or -6?
l
Let k = 1064 + -1063. Let w(n) = -n**2 + 10*n - 16. Let l be w(10). Which is smaller: l or k?
l
Let m = -23519 - -23519. Is m equal to -7/306?
False
Suppose -3*k + 13 = -s + 2*k, 5*s + 17 = k. Let m be (s/(18/(-4)))/((-2)/(-3)). Which is smaller: -11.6 or m?
-11.6
Let t be (-24)/60*122/12. Let n = -4658/5 - -936. Let c = t + n. Is c less than or equal to 7?
True
Suppose -5*d - 759 + 289 = 2*m, -478 = 2*m + 3*d. Let i = -240 - m. Which is greater: -3.5 or i?
i
Let a = -78.75053 + 0.01053. Let k = a - -78. Let m = k + 2.24. Which is smaller: -3 or m?
-3
Let o(m) = 24*m - 1. Let c be o(-1). Let i = 680 + -343. Suppose -i*t - 144 = -331*t. Is c less than or equal to t?
True
Let c = 6 - 1. Let o = 0.6265 + -1.6265. Is o less than or equal to c?
True
Let t = -33 - -63. Let c(j) = -33*j + 128. Let r be c(3). Which is smaller: r or t?
r
Let k = 187 - 181. Let z be ((-2)/3)/(6/54). Let v = z + 12. Are v and k unequal?
False
Let m(d) = d**3 - 7*d**2 - d + 9. Let y be m(8). Let j = y + -81. Is -15 at most j?
False
Let h = 304 + -303.937. Let x = h - 0.263. Which is smaller: -9 or x?
-9
Let n be (-433)/145 + (-18)/(-6). Suppose 13*a = 23*a - 190. Suppose 0 = 17*o + a - 2. Which is smaller: o or n?
o
Let h = 9245460 - 6426569. Le