3/(-4)*h/(-9). Which is smaller: d or -4?
-4
Suppose 3*g = 0, 0 = 4*u - u + g - 147. Is 50 bigger than u?
True
Let g(f) = f + 4. Let s be g(-5). Let a = -2 - s. Is a at least as big as 2/11?
False
Let i = -7 + 9. Let d = i + 0. Are d and 1 non-equal?
True
Suppose -240 = -5*p + 5*f, -2*p + 0*p + f + 93 = 0. Suppose y = -4*y + p. Which is smaller: y or 10?
y
Suppose -h = 3 - 7. Suppose h*u = -q + 7, 3*q + 2*q + 7 = u. Let z be 1 - (0 - (-17)/11). Which is bigger: z or q?
z
Let y(o) = -o**3 + 7*o**2 + o - 8. Let l be y(7). Which is greater: l or 1?
1
Let g be (-1)/(-2 + 3 + 0). Which is greater: -6/19 or g?
-6/19
Suppose 0 = -u - 4*p - 15, 2*u - 2*p = -3*p - 2. Suppose -5*v + 463 = 2*g, -v - 7*g + 2*g + 88 = 0. Let f = -835/9 + v. Is f bigger than u?
False
Suppose -2 = 5*h + 3. Let k be h - ((-1 - 1) + 2). Let u be 2 - -1*(-3 + (-8)/(-12)). Is u less than or equal to k?
False
Let w(l) be the second derivative of l**5/20 + l**4/12 - l**3/2 - l**2/2 + l. Let d be (-51)/24 - 1/(-8). Let v be w(d). Are 1 and v equal?
True
Let s = 79/1289 - -325261/224286. Let n = -1/87 + s. Which is bigger: n or -2/7?
n
Let w(v) = 3*v. Let n be w(1). Suppose 3 = -4*i + 5*k - 22, 15 = n*k. Does -2/17 = i?
False
Suppose 4*z + 4 = -0*z - y, -4*z + 12 = 5*y. Is -11/5 >= z?
False
Suppose -3*p + 149 - 35 = 0. Is -2/3 bigger than p?
False
Suppose -6*a - 2 = -92. Is a at most as big as 16?
True
Let s be 1*12/(-9)*-6. Let m be 3/3 + s/(-6). Let j = 23 + -70/3. Is m != j?
False
Let n = -29/62 + -1/31. Let x(h) be the third derivative of -h**5/20 + h**3/6 + h**2. Let r be x(-1). Is r at least as big as n?
False
Suppose 0 = 2*u - 0*u - 4. Suppose u*c = 5*h - 1, -2*h + 0*h = -c. Let k be (-2 - -6 - 1) + c. Is k less than 1?
False
Let u(h) = -2*h - 5. Let k be u(-3). Which is smaller: -1/29 or k?
-1/29
Suppose 3*p = 4*o + p, 3*o + p = 5. Let q = 15 + -12. Is q equal to o?
False
Let s = -59699/201 + 297. Let j = -416/1407 - s. Which is smaller: -1 or j?
-1
Let x = 4 - 0. Suppose 3*u + x = 1. Let v(t) = -t - 5. Let d be v(-4). Is u >= d?
True
Suppose -2*a + 5 = -7*a. Suppose c - 1 = 3. Suppose -c*i = 4*p + 20, p = -2*p + 2*i + 5. Is a > p?
False
Let k be 0/(2/((-4)/(-2))). Suppose k = j + 27 + 26. Let x = j - -163/3. Which is smaller: x or 1?
1
Let d = 141/10 + -78/5. Suppose -2*y = y + 6. Is d greater than y?
True
Let v be 9/36*2*2. Is 13/9 at least as big as v?
True
Let l = 63 + -61. Is -3/7 <= l?
True
Suppose 5 = -y, -4*f + y + y + 14 = 0. Let j be 0/3 - (5 - 7). Which is smaller: j or f?
f
Let r(n) = 2*n - 6 - 1 + 0*n. Let s be r(4). Is 5 >= s?
True
Suppose -2 + 0 = -5*f + 3*h, 0 = 4*f - 3*h - 1. Let z = -747 + 748. Is z at least f?
True
Suppose 0 = -4*c - 30 - 6. Let v be ((-6)/c)/(2/(-6)). Which is smaller: -3 or v?
-3
Let w(v) = -3*v - 24. Let g(c) = -c**2 + 5*c - 10. Let z be g(5). Let d be w(z). Is d greater than 6?
False
Let h = -993/8 - -124. Let c = 3.1 + -3.1. Which is bigger: c or h?
c
Let p(o) = -4*o + 30. Let v be p(7). Is 10/11 greater than or equal to v?
False
Suppose 3*r + r = 3*s - 13, 12 = -4*s - 2*r. Are -2/27 and s nonequal?
True
Let p be ((-80)/28)/(6/(-21)) - -3. Which is bigger: p or 53/4?
53/4
Let v be (1/9)/((-6)/18). Let h(w) = w - w**2 + w**2 - w**3 - 1. Let z be h(0). Which is smaller: v or z?
z
Let b(d) = 5*d**3 - d. Let i(s) = -4*s**3 + s. Let y(r) = 3*b(r) + 4*i(r). Let u be y(1). Which is smaller: u or 1/2?
u
Let m be -21 + 0/(-5 + 3). Are -20 and m non-equal?
True
Suppose d - i = 6, 2*d - i - 20 = 3*i. Suppose -3*j = -12, -4*j + 4 + 4 = -2*b. Suppose b*w = w + 6. Is d at least as big as w?
True
Let h(c) = -c + 12. Let d be ((-2)/(-2) - -1) + -2. Let o be h(d). Do -1 and o have the same value?
False
Let i(x) be the first derivative of -x**3/3 - 4*x**2 + 6*x - 2. Let d be i(-9). Are 2/3 and d unequal?
True
Suppose -30 = 3*b + 2*h, 5*b + 2*h - 16 = -62. Let l = b + 4. Let j = 3 + l. Which is bigger: j or -2/7?
-2/7
Let r = 4 - 2. Suppose -4*q = -2*q - r. Is q greater than 2/13?
True
Let f = 11 + -12. Let w be 21/(-10) + (-6)/(-4). Are w and f nonequal?
True
Let w be 19 - 22 - (-1 + 3). Which is greater: w or -9?
w
Let u be 4*(-1 - 81/(-12)). Suppose 0 = -3*v - 0*d - 5*d + u, -d - 2 = 0. Suppose 0 = -3*x + 2*c - v, 3*x - 1 = c - 2*c. Which is smaller: x or -2/9?
x
Let b = 16 - 18. Is b <= -0.6?
True
Let y be (-2)/8 - (-38)/88. Suppose 0 = -2*g - 2*g + 8. Suppose 4*k + 20 = -m, 0 = -3*m + k + 3 + g. Which is smaller: m or y?
m
Let k = 0.408 - 0.4. Let h = k + -2.908. Let t = 3 + h. Are 0.3 and t unequal?
True
Let u be (-25)/(-20)*(8 - 0). Let g(b) = -b + 10. Let l be g(u). Suppose 0 = -4*p - 3*v - 7, l*p = -4*p - 5*v - 17. Is 3/2 at most as big as p?
True
Suppose -f + 0 - 10 = 0. Let q be f/15*(-57)/6. Which is smaller: 1 or q?
1
Let w = -1.69 - -0.39. Is w at least as big as -1?
False
Suppose -5*k = a - 2, 0 = -4*k + 2*a + a - 6. Let x be (-78)/(-16) + -3 - 2. Which is greater: k or x?
k
Suppose -3*d + 30 = 2*d. Suppose -4*x = -3*x - 4. Let q = d - x. Which is smaller: q or 3?
q
Let k(c) = 13*c - 12. Let n be k(1). Do 4.1 and n have the same value?
False
Suppose 0 = 2*s - 30 - 40. Suppose -4*g + 2*f = s - 13, g = -2*f + 7. Which is bigger: g or -6?
g
Let v be (14 - 13)/(2/2). Let g be 9/10 + (-6)/12. Is g at most as big as v?
True
Suppose -w + 0*w = 5*s, -2*s = -4. Suppose 0 = -2*b - 1 + 7, 0 = f + 5*b - 6. Is f greater than or equal to w?
True
Suppose -2*v - 2*v + 9 = q, 4*q - 17 = 3*v. Let h be (-3)/q + 28/(-300). Let g = h + 2/75. Which is bigger: 0 or g?
0
Suppose -7*d + 4*v + 16 = -2*d, 5*v = 5*d - 15. Suppose -6 = -d*m - 26. Is m != -4?
True
Let t = -7.06 + 7. Let r = -0.04 + t. Which is bigger: -2/13 or r?
r
Let q(t) be the first derivative of -t**3/3 - 3*t**2 - t - 4. Let g be q(-6). Suppose -2*a + 2*v = 1 + 5, -a - 9 = -4*v. Is a bigger than g?
False
Let x be (-4)/(-22) + 91/(-1287). Suppose -3*a = a. Which is smaller: x or a?
a
Let q(w) = -w**3 + 7*w**2 - w + 9. Let m be q(7). Let d = 2.071 - -0.029. Let i = 2 - d. Which is bigger: i or m?
m
Suppose -2*w = -5*a - 6, 2*w - 12 = -4*a - 2*w. Let s(b) = b**3 - 3*b**2 - 5*b + 5. Let p be s(4). Suppose a*x = -x + p. Which is greater: x or 2/11?
x
Let g(r) = -r**3 - 10*r**2 + 12*r + 13. Let h be g(-11). Suppose 0 = -q - 5*d + 7 - h, 2*d - 2 = -3*q. Is 1/4 != q?
True
Let s = -3.7 + 4. Let r = -5.6 - 3.4. Let l = -8.8 - r. Which is smaller: s or l?
l
Let k be 1*5/(-5)*0. Which is smaller: k or -2/33?
-2/33
Let u be 608538/(-2072) - (-2)/(-8). Suppose -6*l + 1458 = -l - 4*m, 4*m = -l + 306. Let p = u + l. Is -1 smaller than p?
True
Let d be 3/(-2)*20/(-6). Suppose 0 = 5*j - 5*y - 15, y = -4*j + 3*j - d. Is j > -4?
True
Let k be 32/10 + 0 + -4. Is 0 >= k?
True
Suppose 5*y = -a + 54, 3*y - 32 = a - 2*a. Let j = -7 + y. Let x = j - 4. Which is smaller: x or -0.3?
-0.3
Let g be (-21)/(-4) - 3/(-2). Let b = 207/28 - g. Let n = b + -57/56. Which is smaller: 1 or n?
n
Let f(n) = n**2. Let k be f(0). Is 4/7 > k?
True
Let w(p) = -3*p**2 - 4*p + 2. Let l be w(-5). Is l < -53?
False
Let o = -9077/228 - -169/19. Let x = -31 - o. Let f = x + 1/4. Which is smaller: f or -1?
-1
Let l(d) = d**2 + 10*d + 20. Let w be l(-8). Let p(o) = -o**3 - 7*o**2 - 2*o - 4. Let n be p(-7). Let j = n - 6. Is w less than or equal to j?
True
Let u = 99 - 105. Is u at most 0.15?
True
Let h = -38 + 62. Is h less than 22?
False
Let k(m) = -m**3 - 3*m**2 + 4*m. Let t be k(-4). Suppose t*p - 3*w - 3 = 4*p, -3*w - 3 = -4*p. Which is smaller: 1/6 or p?
p
Let g be 4/((-88)/19507)*-2. Let a = 1775 - g. Which is greater: 2 or a?
2
Suppose -v - 480 + 478 = 0. Which is smaller: v or 17?
v
Suppose 4*p = 5*y + 14 + 25, 2*y = -6. Let j = -5 + p. Let k = -11 - -65/6. Are k and j unequal?
True
Let o = 8.05 + -0.05. Is o less than -1?
False
Let x(b) = b**2 + 5*b + 5. Let z = -6 + -1. Let u be x(z). Suppose -4 = -5*w - u. Which is smaller: -2 or w?
w
Let i(v) = -v**3 + 9*v**2 - 8*v + 7. Let w be i(8). Let y = 6 - w. Which is smaller: -1/15 or y?
y
Let j = -71 + 71.04. Is j greater than -2?
True
Let y be 18/(-4)*4/(-6). Let g be y - (0 + 0/3). Suppose g*c + 22 = q, c - 36 = 5*c - 3*q. Is c >= -4?
False
Let x(y) = -3*y + 5. Let o be x(2). Is -9/14 not equal to o?
True
Let x = -0.06 + 0.09. Let b = x - 2.03. Are b and -2/5 non-equal?
True
Suppose 5*d 