h(m) = -m**2 + 20*m - 21. Let b be (-166)/(-10) - -1*(-16)/(-40). Let j be h(b). Which is smaller: j or 34?
j
Let w = -205 - -121. Let x(a) = 6*a**2 + a - 9. Let y be x(3). Let v be w/y + (-1)/2. Is v not equal to -3?
True
Let m = 65 + -65.31. Let y = 0.97 + m. Let a = y - 0.36. Which is smaller: a or -1/16?
-1/16
Let o(x) = 3*x**2 - 50*x - 174. Let l be o(15). Is l at least as big as -2727/11?
False
Let s(f) = -222*f + 58. Let i be s(3). Is -608 not equal to i?
False
Let z = 1002 + -950. Let q = -37 - -33. Is z at most as big as q?
False
Let d = -871/4785 - -19/87. Are 124 and d nonequal?
True
Let n = 837 + -834. Suppose n*f + 311 = 4*m, -4*f - 40*m + 38*m = 444. Which is smaller: f or -107?
f
Let l = 35.8 + 250.2. Let w = 312 - l. Which is smaller: w or 0.01?
0.01
Let m(t) = -t**3 - 11*t**2 + 25*t + 143. Let k be m(-12). Is k <= -363/28?
True
Let v = 583 + -573. Suppose -v*n + 419 = -131. Which is bigger: 3 or n?
n
Let u(x) = 8*x**3 - x**2 - x + 1. Let r be u(1). Let i be (r/(42/(-4)))/(1548/(-54)). Is 0 at least as big as i?
False
Let m = 1279 + -2323. Let w = m + 902. Is -1 at least w?
True
Let j = 12.437 - 10.6. Let x = 0.163 + j. Which is smaller: x or -0.1?
-0.1
Let d be (-11520)/(-27)*((-7)/28)/(2/12). Is d >= -641?
True
Let y(a) = -a**3 - 25*a**2 - 25*a - 27. Let v be y(-24). Let t = 1 - 1. Suppose 2*d + 3*x - 9 = t, -2*d - 2*x = -x + 1. Is d < v?
False
Let z be (6/4)/((-355)/10). Suppose -2*x + 2*d = -2, -5*d + 17 = -8. Let f be 4/x*(-198)/(-132). Is z <= f?
True
Suppose 1 = t, -8037 = 4*j + 2*t - 21547. Do 3376 and j have the same value?
False
Suppose 47*t = 45*t + 32. Suppose -t*d + 80 = -20*d. Let x = -108 - -90. Which is bigger: x or d?
x
Let p be 199804/34980 + 9/(-5) - 4. Is p less than 0?
True
Let h = 244 + -206.8. Let i = -6.8 - h. Let s = -28 - i. Which is bigger: 1 or s?
s
Let m = -2 - -3. Let y be m*(-2 - (-3 + 2)). Let g be 588/(-35) + (-1)/(-4)*68. Is g at most y?
False
Suppose 40 = -v - 4*x, 15*v - 133 = 18*v - x. Is v at most 0.03?
True
Suppose -139*t + 22 = -141*t. Suppose -2*y + 4 + 0 = -3*k, 4*k + 2*y - 18 = 0. Suppose 4*a = -4, -6*a = k*v - 2*a + 26. Is t less than or equal to v?
True
Let j be 2/(5270/1135)*-24582274. Let y = -10588565 - j. Let w = 81/17 - y. Which is bigger: w or -1?
w
Suppose 10*f = -21*f + 42*f - 13464. Which is greater: f or 1225?
1225
Let d = -1.7276 - 2184.2724. Is d at least 0.1?
False
Let g = -8 + 19. Let c(a) = -a**2 + 56*a - 649. Let r be c(40). Which is smaller: g or r?
r
Let u = 80/3 - 7114/267. Let c(q) = -q**3 - 3*q**2 - 4*q - 3. Let o be c(-2). Is o at most as big as u?
False
Let m(a) = -a**3 + 2*a**2 - 2*a + 9. Let c be m(3). Let h be (9/c)/(6/(-264)). Let o be (-26)/(-91) + h/(-182). Is o less than -1?
False
Suppose 450 = 4*p - 5*q, -4*p + q + 446 = -2*q. Suppose -14*w - 100 - p = 0. Is w smaller than -11?
True
Suppose j = -3*j - 180. Let c = 10365 + -10409. Is c less than or equal to j?
False
Let l = -152 + 33. Let a = -241 - l. Are a and 1/4 unequal?
True
Suppose -125 - 163 = 3*f - 3*q, -q = 5*f + 468. Which is greater: f or -123?
f
Let b be 7288/9110 + (1 - 0) + (-13)/(-15). Is 16 less than b?
False
Let n(x) = -x**3 - 44*x**2 - 197*x - 78. Let v be n(-39). Let o be (-8)/(-132) + (-2)/6. Do o and v have the same value?
False
Let n(l) = 2*l - 15. Let m be n(7). Let o be ((-1170582)/(-83601) + -14)*(-6)/(-8). Is o greater than m?
True
Let w(t) = 413*t**2 + 4*t - 858*t**2 + 3*t**3 - 25 + 427*t**2. Let b be w(6). Is b at most 1/106?
True
Let r be 30/21 + -1 - ((-1804)/(-77) + -22). Let t = 1384/777 - 80/37. Which is smaller: r or t?
r
Let t = -4 + -39. Let z = -44 + t. Let x = 92 + z. Is 2 smaller than x?
True
Suppose -2*a = 3*v + 8538, 56*v + 3*a = 55*v - 2846. Which is smaller: -2853 or v?
-2853
Let w = -4777399/27 - -176918. Which is greater: -22 or w?
-22
Let v be (2/7)/((-22)/77). Let d be 4/(-14) - 999/105. Let n = 10 + d. Which is bigger: n or v?
n
Let o = 8955769/1685 + -5315. Are -1 and o equal?
False
Let o = -2485837/54 + 46034. Let b(f) = -f. Let w be b(-3). Suppose w*u + 1 = -2*g, -3*u = -3*g + 1 - 10. Is o > u?
False
Suppose 3*d = -3*c + 63, 87 = 4*d + 4*c + c. Let b be d*(2 + 1)/6. Let x be (1 - 2)*3/b - 0. Which is smaller: x or -1?
-1
Let m = 25125 - 25296. Which is greater: 1.1 or m?
1.1
Let o = -40/451 + 691/2706. Which is smaller: -9/479 or o?
-9/479
Let m = -1344/25 + 103438/1925. Suppose 4*j - 2*j = 2. Is m greater than or equal to j?
False
Let k = 59076 - 59067. Suppose 0 = 2*g - 3*f + 9, -3*f + 12 - 3 = 5*g. Suppose g - 2 = -s. Is k >= s?
True
Let a = -21678 - -21671. Let r be 96/(-15) - (-1)/(-1). Which is smaller: a or r?
r
Let k be (26/20 - (-14)/14)/(-36). Which is bigger: 0 or k?
0
Let c = -272 + 312. Suppose 0 = r - i + 52, 2*r + 34 = -4*i - c. Suppose 38 + 100 = -3*p. Which is smaller: r or p?
r
Let x be 14*-969*34/357. Does x = -1296?
False
Let r be -5*(7/(-12) - (-3)/12). Which is bigger: r or -128?
r
Let c = 12194/3 + -4004. Is 62 at least as big as c?
True
Suppose 1953 = 591*z + 60*z. Which is smaller: 110/27 or z?
z
Let x(b) = b**3 + 41*b**2 + 78*b - 90. Let d be x(-39). Let h be (-68)/7*(d/80 - -1). Which is bigger: h or 0.1?
h
Let z = -108 + 118. Are 340/39 and z non-equal?
True
Let c(s) = 2*s + 47. Let g(v) = -11*v + 16. Let z(d) = d**3 + 33*d**2 + 34*d + 66. Let t be z(-32). Let p be g(t). Let h be c(p). Which is smaller: 33 or h?
33
Suppose 4*o = 11 + 1. Let k(l) = 2*l**2 + 17*l + 21. Let a be k(-9). Suppose 0*y - y + 3 = 0, -o*x = 3*y - a. Is x at least as big as 6?
True
Let o be 24/(-38)*234/156. Is o > 0?
False
Let h(q) = 7 - q**3 - 2*q + 0*q**2 - 3*q**2 - 2*q**2. Let z be h(-3). Let a be -3 + 0 + -2 + 0 + 2. Which is smaller: z or a?
z
Let n = 282 - 279. Let f be 4/n - (-91)/(-66). Is f greater than 1.2?
False
Let j(p) = -2*p + 21. Let z be j(-8). Let g = 39 - z. Let o be g/(-3) + (-47)/(-3). Is 17 > o?
True
Suppose -3*j + 341 = -664. Let v be (-5)/((3/(-4))/((-6231)/(-124))). Is j < v?
False
Let j be (-2665)/(-39) + 4/6. Suppose -b = -5*t + 4*b + 80, -4*t + 3*b + j = 0. Let d be 3/(t*1/3). Which is smaller: -2/3 or d?
-2/3
Let f(m) = -6*m - 106. Let j be f(-18). Suppose -b + 28 = 9. Suppose -3*s = -j*g + 51, 17 + b = 2*g + 2*s. Is g bigger than 22?
False
Suppose 5*d = 4*g - 6581, 5*g - 8*g - 3 = 0. Is d < -1316?
True
Let y = 10996 - 10713. Is y at most as big as 0.04?
False
Let u = 102325 - 15246509/149. Let d = -17594/31737 - u. Is 1 equal to d?
False
Let x = -17192 - -12309469/716. Let c = -37963/3580 - x. Which is smaller: -10 or c?
c
Let x = -5796 + 5714.02. Let h = x + 78.8. Which is bigger: h or -1?
-1
Let w(p) = p**3 - p**2 + 2*p - 2. Let v be w(2). Let f be (8/24)/((-128)/v). Is f != 0?
True
Suppose 0 = -4*g - 4, 3*s - g - 2444 = g. Let h be (-1 + 6)*(s/(-55) + 13). Is h less than -43/5?
True
Let y be (2 - 2)/2 + 6. Let b be -2*((-8)/4 - (-3 - -3)). Suppose 0 = -b*d - g + 23, d - 3*d - 2*g = -10. Is y > d?
False
Let k be (-22)/77 - 164/(-966). Suppose -82*h = -55*h. Which is smaller: h or k?
k
Let m = -846.7 + 846.7. Is 122 at most as big as m?
False
Suppose -19*j = -11*j - 144. Suppose -28*g + 26*g + j = 0. Which is smaller: 10 or g?
g
Let x = 1075 + -715. Let u = -358.8 + x. Which is smaller: 6 or u?
u
Let j = -81 - -97. Suppose -10*s = -j + 6. Which is smaller: 17/16 or s?
s
Let g = 3 + 6. Let r(j) = -33*j - 124. Let l be r(-4). Suppose -g*a + 5*a + l = 0. Is 20/11 at most a?
True
Let d be (-22)/(-11) - (-2 - -6) - 2. Let n be 12/(-40) + (-26)/d. Suppose -5*z = -4*p - 39, 0*z - 2*z - 2*p = -12. Is z <= n?
False
Let c be 4/10 + (-50353)/215*-6*3. Is c less than or equal to 4216?
True
Let t = 1711 - 1186. Let x be (-2)/11*750/t. Which is smaller: x or -1?
-1
Let f be (6 - (-138)/(-18)) + 73510/44070. Which is smaller: -0.5 or f?
-0.5
Let d = 43 + -52. Let v = d + 17. Suppose -7*w - 68 = -v*w. Which is greater: 69 or w?
69
Let c be 70*(-4 - 8/((-32)/20)). Let p be 34/c - (-9)/(-45). Which is bigger: p or -149?
p
Let s = -9876 - -9881.967. Let r = 6 - s. Let i = r + -0.033. Is -1 greater than or equal to i?
False
Suppose -108 = -3*r - 3*g, -378*g - 104 = -4*r - 377*g. Let w = -52 + 136. Suppose -w = -j - 2*j. Is r >= j?
True
Suppose 81*i + 179424 - 81808 = -231001. Is -4059 <= i?
True
Suppose 11 = 5*s + b + 57, -2*s - 14 = -4*b