Let h be m(y). Which is smaller: h or -10?
-10
Let a = 33334/15 + -2221. Let n = 94/75 - a. Is n bigger than 0?
False
Let v be ((-6)/20*96/(-72))/((-2)/(-35680)). Which is greater: 7139 or v?
7139
Let c be (-4*(-6)/(-2124))/(690/9). Is 0 not equal to c?
True
Suppose 0 = -571*s + 250*s + 267*s + 265680. Is s >= 4922?
False
Suppose 416*f - 417*f = 15. Let m be (f/(-36) - 0)/((-585)/(-312)). Which is bigger: 32 or m?
32
Let w = -123 - -119. Let c(j) = -j**2 + 6*j + 6. Let u be c(7). Let y(n) = -6*n**2 + 2*n + 2. Let f be y(u). Which is smaller: w or f?
f
Let r = 181.205 + -0.205. Let f = 183 - r. Which is greater: f or 3/8?
f
Let j = 10282 - 30847/3. Are -24736 and j unequal?
True
Let u(z) be the third derivative of 0 + 0*z + 2/3*z**3 + 1/15*z**5 - 14*z**2 - 1/6*z**4. Let o be u(1). Which is smaller: o or 2?
2
Let i(p) = p**2 - 8*p + 27. Let d be i(5). Suppose -n + 2*b = 2, 5*n + 3*b - 2*b - d = 0. Suppose 2*m + 2*q + 9 = -45, n*m + 3*q = -55. Is m at most -26?
True
Let i = -0.313 - 525.687. Let r = -525.856 - i. Are 0.1 and r equal?
False
Suppose g - 8 = 3*q, -2*g - 3*q + 10 = -6*q. Suppose g*b - 22 - 104 = 0. Suppose b = -7*o + 14*o. Is 11 not equal to o?
True
Let z = 18.4 - 326.4. Let d = z - -291. Is d < 1/6?
True
Let h(g) = g - 2. Let b be h(6). Suppose -z - 48 = q, 4*q - b*z + 134 + 50 = 0. Let l = 68 + q. Is 21 smaller than l?
False
Let l = 8/1038625 - 919211701/3709968500. Let j = -2/893 + l. Is 0.079 less than or equal to j?
False
Suppose 146*c + 18*c + 133152 = -64*c. Which is smaller: c or 0.06?
c
Let k = 634 + -623. Suppose 9*d = k*d. Which is bigger: d or -1/32?
d
Suppose -s + 2*s - d = -2, -18 = s - 5*d. Let n be ((s/(-3))/((-10)/(-390)))/(-2). Is n equal to 10?
False
Let h = -4337/8 - -541. Let q be 34*(42/(-14) - (-10)/4). Let i be (12/48 - q/(-4)) + 3. Do h and i have the same value?
False
Let j = 0.1692 + -0.0692. Which is smaller: j or 0.063?
0.063
Suppose -1666 = 2*z - 5*d, -293*d + 291*d + 830 = -z. Which is smaller: -814 or z?
z
Suppose 75 - 39 = -9*o. Let p be 321/63 - o/(-42). Let n be (-5)/60*-69 - 2. Which is greater: n or p?
p
Let d = -1839.1 - -1917. Let i = 78 - d. Is i greater than 0.088?
True
Let m = -25 + 22.65. Let k = m - -3.4. Let u = 0.15 - k. Which is greater: 0 or u?
0
Let b = -5784 + 6244. Is b less than 462?
True
Let u be -7102*(3 - 4)/(-7 - (1 + -2)). Is -1184 at least u?
False
Let u be 1 + -12 + (-15686)/(-1886). Is u != -3?
True
Let l = 10894420/507 - 21488. Do l and -2/7 have different values?
True
Let n be (11/(-2) - -6)*(-8)/6. Let f = -0.336 - -79.336. Which is smaller: f or n?
n
Let a be (-4 + (-60)/(-9))*-3. Let c = 91.17 - 90. Let v = -1.83 - c. Is v less than a?
False
Let a = -4842 + 4842.26. Are -2/5 and a equal?
False
Let c = -310 - -401. Let k = -0.126 + 0.226. Which is greater: k or c?
c
Let u = -139452/149999855 - 8/42005. Which is smaller: -1 or u?
-1
Let r = 26425 - 3382417/128. Do r and 0 have different values?
True
Let z be 4514/(-40) + 2/8. Let k be -7 + (-4356)/44 + 1*4*-2. Which is smaller: z or k?
k
Let b = 248 + -248. Suppose -3*f + b*v = -v - 36, 0 = -5*v + 15. Which is bigger: f or 107/8?
107/8
Suppose 14*w + 20229 = 47*w. Let h = w - 228. Which is bigger: h or 386?
386
Suppose -35*y + 539 = -371. Suppose -2*f - 4*i = -f - 39, 0 = -i + 3. Do y and f have different values?
True
Suppose -s = 5*m - 338, -2*s - 52 = -2*m + 88. Let i be (-1)/(54/(-36) - (-98)/m). Which is smaller: -1 or i?
-1
Let y = -1607/2 - -805. Let o(l) = -6*l - 6. Let k be o(6). Let d be -2 + 24*(-4)/k. Is d at most y?
True
Let k(f) = f**2 - 4*f - 7. Let t be k(6). Suppose -4*m + 2*m + 305 = -t*s, -2*m - 122 = 2*s. Which is bigger: -60 or s?
-60
Let q = 86 - 89. Let d be 2/((-28)/(-13) - (-6)/q). Are -4 and d unequal?
True
Let f(m) = 7*m**2 + 4*m - 12. Let l be f(3). Suppose b = 64 - l. Which is smaller: b or -2/11?
-2/11
Let k(p) = -149*p + 1258. Let y be k(9). Suppose -3*h = -5*x - 418, 0 = 5*x - h - 4*h + 420. Is y at most as big as x?
True
Let o be (((-561)/(-170))/(9/15))/((-1)/(-196)). Which is smaller: 5388/5 or o?
5388/5
Suppose 10*a + 524 + 1220 = -1936. Which is bigger: -370 or a?
a
Let i = -13088 + 12982. Which is greater: 7 or i?
7
Let a(n) be the first derivative of n**4/4 - 15*n**3 + 43*n**2 + 55. Let d be a(43). Is -17/13 at most d?
True
Let j = -12.7 + 13.7. Which is smaller: j or -8/23?
-8/23
Suppose 0 = -56*q + 47*q - 3429. Let k = -382 - q. Is 2/929 equal to k?
False
Let v(f) = 6*f - 21. Let l be v(4). Suppose -l*g = p + 8, -8 = 3*p + 7. Which is smaller: g or 0.018?
g
Let r be (-508)/1270 - (4 + 0)*(-314)/(-10). Is r at least -135?
True
Let i = 3040 - 3039.6. Let j = -159 - -2064/13. Do j and i have the same value?
False
Suppose -40*x + 401 = -2079. Is 39 less than x?
True
Let d = -87514/17 + 5148. Let o be 4/(-10) - (-7)/5. Let s be (-8)/84*(o - -2). Which is bigger: s or d?
d
Let l be (75/1950)/(621/(-66)). Which is smaller: -1 or l?
-1
Let p = -257324/11 - -23418. Which is bigger: p or 26?
26
Let j = 1.45 + -2.22. Let b = j + 6.87. Let c = -6 + b. Is c bigger than -36?
True
Let l(s) = -s**2 + 13*s + 4. Let v be l(6). Suppose z + 19 = y + v, z = 5. Let o be (-112)/42*(-3)/y. Is 0 less than or equal to o?
False
Suppose -8*m = -13*m. Suppose 0 = 4*s + 2*b - 14, -4*s - 6*b + 2*b + 12 = m. Suppose -5*z = -3*x - 22, s*x + 10 = -5*z - x. Which is smaller: 0.2 or z?
0.2
Suppose 17*q = 16*q - 2. Let c = -170 - -170. Suppose -4*v - 12 = c, -4*b - v - 17 - 2 = 0. Which is smaller: b or q?
b
Let s(b) = b**2 + 85*b + 1726. Let o be s(-33). Are o and -441 nonequal?
True
Let c(y) = -y**3 - 5*y**2 + 8*y + 5. Let b be c(-6). Suppose 376 - 3412 = 276*n. Is b less than n?
False
Let g(k) = -k + 16. Let s be g(4). Let u = 9 - s. Is -19/9 < u?
False
Suppose -5*o + 10 = -3*w - 2*w, -2*w + 8 = o. Suppose w*f + 896 = 16*f. Is 64 bigger than f?
False
Suppose 18*g = 15*g - 2*s - 1832, -4*s = -3*g - 1862. Is -1844/3 != g?
True
Let r = 485 + -695. Let n = r + 183. Is 0 smaller than n?
False
Suppose -8 = -3*y + 2*o, 2*o = 4*y + 1 - 9. Let q = 7969/21208 + -2/2651. Are q and y unequal?
True
Let k(y) = -3*y**2 + 11*y + 10. Let d(t) = 9*t**2 - 34*t - 30. Let s(m) = 2*d(m) + 7*k(m). Let v be s(3). Which is smaller: v or 64/7?
64/7
Let l = -2049.8 - -1850. Let m = 200 + l. Do m and 247 have different values?
True
Let y = -3575 + 3576. Which is bigger: y or 2/81?
y
Let y = -483 - -504. Suppose -4*h = y*l - 18*l - 70, -4*l + 5*h + 52 = 0. Which is smaller: l or 17?
17
Suppose -5*b - d = 1, -31*b + 9 = -28*b - d. Is 1/5936 smaller than b?
True
Let f = 2680/3 - 23806/21. Is -240 at most f?
False
Let c(t) = t**2 - 4*t + 5. Let n be c(2). Let f be (2 - (-1 + n - 1)) + 19. Suppose 5*z - 50 = 2*k, -5*z - 3*k = -f - 28. Which is greater: z or 9?
z
Suppose 7*w = 582 + 97. Let o = -134 + w. Which is bigger: o or -39?
o
Let c = 3 - -6. Let z be (78/c)/(2/(-9)). Let l be (-18)/(-10) - 2996/70. Is l at least as big as z?
False
Let n be (6 + -5)/((-2)/44). Let h be n/(-364) - (-1)/2. Let k = 11/13 - h. Which is bigger: k or -3?
k
Let u be ((-11 - -10)/(-1812))/2. Is u at least 0?
True
Let x be 1004/5*(-26)/39*15. Which is smaller: -2007 or x?
x
Suppose -32 + 740 = 4*s. Let c = 172 - s. Let y = -886 - -11458/13. Which is smaller: y or c?
c
Suppose 3*z - 14*p + 834 = -15*p, 2*p = -4*z - 1110. Is z < -280?
False
Suppose -43*f = -2*f. Let d = 218823/1688 - 1037/8. Which is bigger: f or d?
d
Let m = 417 - 27940/67. Let r = -53/938 + m. Which is greater: r or -5?
r
Suppose -6175 = -9*c + 3072 + 12452. Which is smaller: c or 2412?
c
Let y be 1 + (26650/(-169))/(-2). Is y less than or equal to 80?
True
Let o = -7537 - -7535. Let y = -1.3 + 1.23. Let h = y + -2.93. Is o <= h?
False
Suppose -3*l = -5*w + 10*w + 1702, -5*l + 1670 = -5*w. Let d = -317 - w. Which is smaller: d or 20?
20
Suppose 0 = -2*k - 3*a + 17, -2*a + 3 = k - 4. Suppose 8*y + k*y = -567. Is 4 smaller than y?
False
Let x(l) = -9*l**2 - 46*l + 3. Let h be x(-5). Let m be h/(-6)*(-90)/300. Let n be 4/10 + 356/10. Is n smaller than m?
False
Let m(p) = -27*p**2 - 3*p + 10. Let c be m(-1). Which is bigger: -219 or c?
c
Let f be ((-265216)/(-40))/8 - 1/(-5). Let i = f - 1077. Is i at most as big as -249?
False
Suppose 0 = 5*u + 3*l - 16, -2*u = -1296*l + 1297*l - 5. Let r be (6/(-15)