ler: h or b?
b
Let r = 143 - 189. Suppose -i = 4*m + m + 2, -3*i - 5*m + 4 = 0. Let p be (-1 + i)/(r - 12/(-4)). Which is smaller: 0 or p?
p
Let b(f) = 437*f + 34. Let v be b(2). Is 908 less than or equal to v?
True
Let z = 502 - 2502/5. Suppose 0 = -2*k + 2 + 8. Let x(c) = c**2 - 6*c + 7. Let i be x(k). Which is smaller: i or z?
z
Let b = -25061 - -24730. Which is smaller: b or -5/8?
b
Let o be -1*6/99*(-6)/47. Let v = 854/23265 + o. Let j be (6/9)/(12/18). Which is bigger: j or v?
j
Let o(r) = r. Let b(h) = 7*h - 6. Let y(z) = -b(z) + 6*o(z). Let f be 19/7 + 2/7. Let s be y(f). Which is smaller: s or 0?
0
Suppose 3*v = -4*q + 7*q - 3342, 3*v - 2*q = -3345. Let y = v - -30163/27. Which is smaller: -1 or y?
-1
Let p(x) = 25*x - 102. Let z be p(4). Let k be -2*(2 - ((-11)/z + -4)). Is 1 > k?
True
Suppose 40 = 5*m - 5*a, 3*a + 0*a + 12 = 2*m. Let l be 14/(-3) + 8/m + 49. Do l and 175/4 have the same value?
False
Suppose 16 = 17*c - 13*c. Suppose -c*o - 2 = j, 5*o + 3 = 5*j - 12. Let s be -3 + 5 + (-44)/30. Is s < j?
True
Let k(p) = 2*p**3 + 5*p**2 + 4*p + 5. Let d be k(-2). Let r(l) = -l**3 + 7*l**2 - 6*l + 7. Let b be r(6). Suppose -4*u = d + b. Which is greater: u or -0.7?
-0.7
Suppose 8*n = d + 13*n + 16, -2*d + n = -23. Let x be 318/(-228) - d/(-6). Let u = 0.3 + -0.1. Which is smaller: u or x?
x
Suppose 561 = -h - 2*i, 2440 = -3*h + 5*i + 812. Let g be 1/(4 - 2)*(-58)/h. Is 1 <= g?
False
Suppose -1 = 5*k + 4. Let i = -82232 - -82228. Which is greater: i or k?
k
Let j = 2154 + -183087/85. Let b = -73/340 - j. Are -1/80 and b equal?
False
Let p be 28/49 - (-12)/(-21). Suppose -21*k + 8*k + 559 = p. Let i = k + -43. Does 2/75 = i?
False
Let d = 1461 - 7256/5. Let n = -50 - -61. Which is smaller: d or n?
d
Suppose l + 4 - 8 = 0. Suppose 2*x + 2*g - 208 = 0, -8*x - l*g + 519 = -3*x. Let d = x + -84. Which is smaller: d or 21?
d
Suppose -k - 156 = 3*k. Let f be (-244)/2 - (-1 - 2). Let z = f + 79. Which is smaller: k or z?
z
Let b = 470 - 464. Suppose -l = n - 2*n - b, 4 = -2*l - 2*n. Which is smaller: 30/13 or l?
l
Let r = 55959 + -55958. Let h = -0.56 - -3.46. Let m = -3 + h. Are m and r nonequal?
True
Let n = -86.33 - -86.652. Is n at most as big as 10/11?
True
Let n = 353/84 - 17/4. Let b be (-16)/24 + (-15)/(-9) + -1. Let a be b - ((3 - 3)/5)/1. Is n greater than a?
False
Suppose -60*h - 2*b = -55*h - 17618, 0 = -3*b + 12. Is h greater than 3?
True
Suppose -5*u + 3*m = 298, -2*u - 128 = -0*u + m. Suppose 20*y - 77*y - 1116 = 2760. Which is greater: u or y?
u
Let m be 40/7 - (-12)/20*-10. Let l = 0.214 - 0.004. Let i = 0.01 - l. Is m at least as big as i?
False
Let c(f) = -f - 9. Let y be c(-10). Let i be (-30)/5 + 4 - (-263)/133. Let m = 517/665 - i. Is m at least y?
False
Suppose 4*d = -2*u + 10, u + 6 = 4*d + 11. Suppose 6*w - 8 = 2*w, -3*b + u*w - 19 = 0. Which is smaller: -28/13 or b?
b
Let a(h) = 4*h**2 - 23*h + 26. Suppose -62 = 4*r - 102. Let m be a(r). Which is smaller: m or 197?
m
Suppose 0 = 2*p - 375 + 99. Let r be (70/15)/(p/(-9)). Is r equal to 1?
False
Let f be (0 - 1/2)*3*18/364878. Which is bigger: f or 0?
0
Let d be -3 - (0 - -3)/((-3)/(-18)). Let g(y) = y**2 - 30*y + 86. Let n be g(27). Is n less than d?
False
Let h be 459/(-6)*8/6. Is -9 <= h?
False
Let x be (-27)/(-6) + (-3)/(-6). Suppose -3*g - 3 = 3*q, 3 = 5*g - x*q + 8. Is g bigger than -4/81?
False
Suppose -26*v + 28*v = 20. Suppose 5*j + 35 = 9*j + i, 4*j + 3*i - 25 = 0. Is v at most as big as j?
True
Let m be (-27)/(810/(-380)) + 1/(-1). Suppose h = -h. Suppose -3*p = -o + 16, h = 4*o + p - 0*p - 51. Is o less than m?
False
Suppose 3*q = -k + 17, 2*q - 5*k = q - 21. Suppose -5*i = 4*t - 0*i + 5, 4*i = 3*t - q. Suppose -x = 3*a + 9, -2*a - 11 = x - 4. Which is smaller: t or x?
x
Suppose 5*b + 3*m + 4 = 0, -5*b - 4*m + 2 = 4. Suppose -197 = -v - 4*u, -5*v + 75 + 872 = u. Suppose -10*f - v = -169. Is f bigger than b?
False
Let r = -43 - -34. Let h be (r/(-30))/((-3)/(-122)). Let i(u) = -u**3 + 6*u**2 + 6*u + 20. Let j be i(7). Which is smaller: h or j?
h
Let f = -3 + 8. Let d be (1 + 0)*(-87)/(-29). Suppose 21 = 2*w + d*o, 4*o + 0*o - 4 = 0. Is w less than f?
False
Let r = -3889 - -42681/11. Is -1 greater than r?
True
Let w(o) = -7*o + 4. Let y(c) = c**2 + 28*c - 17. Let j(x) = 9*w(x) + 2*y(x). Let g be j(5). Is 11 at most g?
True
Suppose 0 = -6*r + 4*r - 2*j + 304, -144 = -r + j. Suppose -2*a + k = 4*k - 341, 0 = a - 3*k - r. Is 162 not equal to a?
True
Suppose 1436 + 5992 = 3*g. Is 2476 != g?
False
Let w(t) = 23*t + 2296. Let s be w(-16). Is s less than 1930?
True
Let x be (12 - 2)*3/6. Suppose q = 4*f - 186, -f = x*q + 2*f + 1022. Let i = -4447/22 - q. Which is greater: i or 1?
1
Let z = -7004 + 7131. Is z equal to 92?
False
Let n be (3/4)/((-2)/72). Suppose 0 = 35*o - 37*o + 56. Let l = n + o. Which is bigger: l or 6/25?
l
Suppose 47926 + 26677 = 104*s + 21875. Which is greater: s or -4?
s
Suppose -4 = n - g, -2*n - 1 = -7*n - 2*g. Suppose 0*h + 2*h - 2 = q, -5*q + 16 = 3*h. Suppose -14 = -a + 3*k - h*k, -a = 4*k - 34. Which is greater: n or a?
a
Let c = -60.6713 - -0.6013. Let k = 133 + -73. Let o = c + k. Does -1 = o?
False
Let x be (27/(-36))/(1/(-28)). Suppose n + 6*s = 7*s + 10, n - 5*s = 2. Let z = n - -9. Is z at least x?
True
Suppose 5*n - 10*l + 7*l = 3855, 5*n - 3825 = -3*l. Let u = n - 2329/3. Is u less than -8?
True
Let i be 72/(-168) - ((-1056)/(-476) - (-1 - -4)). Which is greater: i or -10?
i
Let d(b) = 52*b**2 + b + 3. Let m be d(2). Let c = -207.9 - -208. Is c <= m?
True
Suppose -14 = -2*b, -14*b = -5*f - 18*b + 173. Which is smaller: -166 or f?
-166
Let i(o) = -3*o**2 + 5*o**2 - 12*o**2 - 1 - o**3 + 2*o. Let f be i(0). Which is smaller: f or 2/431?
f
Let c = 13.3 + 204.7. Let g = c + -217.32. Are 2 and g nonequal?
True
Let m = -6.2054 - -0.2054. Is m <= -2/1117?
True
Let b be 2*(1 + (-90)/84) + 92412/(-14). Is -6600 less than or equal to b?
False
Let f = 256 - 93. Suppose 169 = 3*w + f. Is 5 > w?
True
Let y(c) = c**3 - 27*c**2 - 33*c + 138. Let o be y(28). Let l be ((-508)/(-260) + o)/(2/10). Are l and -4 unequal?
True
Suppose -3*i = 2*i - 10. Let s be i/(-8) - 295799/(-581532). Let n = 2/903 + s. Which is greater: n or 0?
n
Let v(a) = 2*a + 177. Let z be v(9). Let l = z - 4291/22. Which is smaller: l or 1?
l
Let s(i) = -19*i + 209. Suppose 11*v - 177 = -56. Let g be s(v). Are g and 3/92 unequal?
True
Let u(x) be the third derivative of -x**5/30 + 19*x**4/24 - x**3/2 + 3*x**2. Let y be u(8). Which is smaller: 20 or y?
20
Suppose -2*t + 4*f + 280 = 2*f, 0 = -3*t - 4*f + 385. Let l be t/(-27) - (-369)/71. Are l and 1 unequal?
True
Let u(a) = -5*a + 48. Let w be u(8). Suppose -w*x + 6 = 14. Is 2/95 > x?
True
Let d(t) = t. Let b be d(1). Let q = -104.04 + 104. Is q smaller than b?
True
Suppose 0 = 3*n - 123 + 30. Suppose 3*c = 13*u - 14*u + 30, c = 5*u - 150. Are u and n nonequal?
True
Let t be 15/65*(-651)/(-27) + (-48)/12. Which is smaller: 3 or t?
t
Let k be 77944/10 + 20/(-45) + (-16)/(-360). Is 7794 bigger than k?
False
Suppose -2*g = 5*g - 189. Let q be (-8)/(-6) + (-10 - (-261)/g). Which is greater: 2/3 or q?
q
Suppose -m = -z - 12 - 1, -2*z + 10 = m. Suppose 3*d - m - 9 = 0. Suppose 0 = 3*b - 3*v + 63, -2 + d = -5*v. Is -21 > b?
True
Let n = -4146.1 - -4146. Is n != 1/620?
True
Let i = -59 - -146. Suppose -3*w + 3*f - 66 = 0, 0 = 4*w - f - 2*f + i. Is w at most as big as -18?
True
Let l be (-2)/14 - (-3 + 60/21). Suppose -p - 2 = l, 2*x + 0*p - p = 30. Let k be ((-6)/x)/(0 + 3/4). Does k = -1?
False
Let l = 64 - -15. Suppose -2*j = -0*b + 3*b + l, -3*b = 3*j + 75. Suppose -s - 15 = -19*k + 17*k, 3*k = -2*s - 79. Is b less than or equal to s?
True
Let t be ((-180)/12)/15 + 0 + -3335. Let j = 126761/38 + t. Is j at most as big as 1?
True
Suppose 7*u = -43 + 8. Let b(p) = p**2 + 2*p - 3. Let a be b(u). Let r(h) = 3*h - 15. Let l be r(a). Which is smaller: 20 or l?
20
Let p = -17130 + 17126.3. Is -0.09 not equal to p?
True
Suppose 36 - 118 = -2*n. Let i = 42 - n. Does 2/81 = i?
False
Let l be (-2)/(-3) + 2/(-3). Let u = 1268/9 - 141. Which is bigger: l or u?
l
Let x(k) = -k**3 + 8*k**2 - 7*k + 4. Let v be x(7). Let z(g) = -12*g + 679. Let y be z(60). Does y = v?
False
Let v = 0.27575 + -16.27575. Which is greater: -0.35 or v?
-0.35
Let t = 13