(3/2)/3. Which is smaller: 1/10 or s?
1/10
Let b be ((-6)/8)/((-9)/(-288)). Let y be 8/18 - (-16)/b. Are 0 and y equal?
False
Let t be (-15)/6*(-4)/5. Suppose -3*f - 22 - 39 = -t*p, -3*f = 2*p - 43. Let b be (-2)/8 - p/(-8). Is b greater than 3?
False
Suppose -5*v + 16 = p, 6*p - 11 = p - 2*v. Let s(h) = -h**2 - h + 1. Let q be s(-3). Let j = q - -5. Does j = p?
False
Let q be (0 - 0) + (-4 - -4). Suppose q = 3*t + 5 - 2. Which is smaller: -2 or t?
-2
Let r be (0 - -1) + (-14)/7. Let w = r + 4. Let q = 2 + 0. Which is bigger: q or w?
w
Suppose -4*p - 3*s + 7*s + 60 = 0, 3*s - 15 = -3*p. Let w be (-2 - -1)*(-9 + p). Which is greater: w or 1?
1
Let x be (2/6)/(8/(-24)). Which is bigger: x or -26/15?
x
Let s(m) = m + 10. Let w be s(-7). Suppose -z - 24 = -w*z. Suppose z + 3 = -3*l. Is l <= -4?
True
Let m = 1.57 - 0.17. Let x = m - -6.6. Which is smaller: x or -1?
-1
Suppose 0 = -2*u + 2, 0*u + 2*u = -n + 6. Let a = n - 5. Do a and -2 have different values?
True
Let v = -1 + 0.7. Let m = v - -1. Which is smaller: m or -0.1?
-0.1
Suppose -7 = -2*w + 3*w. Let x = 4 + w. Let o(b) = 2*b + 4. Let s be o(x). Which is bigger: -4 or s?
s
Let w = 1 + -1. Let g be (-1 - 1) + w + 1. Which is smaller: 1/7 or g?
g
Let h be 11 + -5 - (1 + 2). Suppose -4*c = -7 + h. Let x = 4 + -6. Is x < c?
True
Let a = 7 + -11. Let k = -4 - 1. Is k != a?
True
Let k(a) = -14*a**3 - a**2 + 1. Let d be k(1). Let p be d/21 - (-4)/6. Let z = p - -1. Which is greater: 0 or z?
z
Let h be 2/8 - (-76)/16. Suppose -4 = z - c, -h*c - 9 = 3*z - 29. Let r be 5*(3/5 - z). Which is smaller: 2 or r?
2
Suppose 5*l - 17 + 7 = v, -3*l + 14 = v. Let a(z) = z**2 - 12*z + 2. Let k be a(12). Is k < v?
True
Let l(f) = f**2 + f + 1. Let v be l(0). Let m be 3 + 0 + (-1085)/341. Is m >= v?
False
Let h = 66 - 65. Let a(y) = -3*y + 15. Let t(n) = 4*n - 22. Let s(r) = 7*a(r) + 5*t(r). Let u be s(-5). Which is bigger: h or u?
h
Let q(r) = 3*r**2 - r - 4. Suppose -4*d + 8 + 8 = 0. Let w be q(d). Let y be 1/4 - 34/w. Which is bigger: -1 or y?
y
Let f be (6/3 - 4) + 6. Let l be 1/f + 175/(-28). Let d = l + 4. Are -3 and d equal?
False
Let d be -3 - -1 - (-5 + 13). Is d smaller than -8?
True
Suppose 0 = 9*v - 6*v. Which is greater: v or 1/21?
1/21
Let l be (-2)/(753*(-4)/24*-2). Is 0 less than l?
False
Suppose -4*d = -3*s - 5 - 4, 0 = d - 4*s + 14. Let g be 2/d - (-2)/30. Is g > 1?
False
Let o = 633985 + -119188789/188. Let p = o - -8/47. Which is greater: 2 or p?
p
Suppose 0 = 4*a - 2*a + 2. Is a at least -4?
True
Let s(b) be the third derivative of b**6/120 + b**5/15 + b**4/24 + b**3/3 - b**2. Let i be s(-4). Is 3 at least i?
True
Let d = -0.1 + -1.9. Let o = 13 + -13.1. Are o and d equal?
False
Let s be 267*(-1)/7 + -3. Let j = -41 - s. Which is greater: -1/2 or j?
j
Let h = -6 - -5.97. Let o = h + 1.03. Is o equal to 1?
True
Suppose 4*r + 5 = n + 2*n, 0 = -3*n + 2*r + 7. Which is smaller: 10/3 or n?
n
Suppose 4*h - 93 = 3*b - 21, -3*b + 54 = 3*h. Is 17 greater than or equal to h?
False
Let o be ((3/2)/(9/(-4)))/(-2). Which is smaller: -1 or o?
-1
Let o(d) = 3*d - 6. Let x be o(4). Let z(w) = w**2 - 5*w - 5. Let a be z(x). Let h = 2.1 + -2. Which is smaller: a or h?
h
Let i = -6/5 + 1. Let m be (4/(-8)*0)/2. Which is bigger: m or i?
m
Let m(l) = -3*l**3 - 4*l**2 - 7*l + 9. Let c(x) = 2*x**3 + 2*x**2 + 4*x - 5. Let f(z) = 7*c(z) + 4*m(z). Let a be f(-1). Which is smaller: 1 or a?
a
Let j = -4 + 7. Suppose 3*b + 3*i - 12 = 0, 2*b - j*i = 7*b - 12. Which is smaller: 1/4 or b?
b
Suppose 4*j - 3*j + 19 = 4*v, 4*j + 1 = v. Suppose h + 1 = -v. Is -1 less than or equal to h?
False
Let h be (3 + 0 + 0)/3. Let f be (-10)/(-1 - h) - 2. Which is smaller: f or -2/3?
-2/3
Let m = 7 - 5. Is -1 not equal to m?
True
Let v = -27.9 + 28. Let c = 0.1 - 0. Let s = v - c. Which is smaller: 1 or s?
s
Let y(l) = l**2 + 3*l - 3. Let g be y(-4). Let u be (g/(-2))/((-5)/4). Which is smaller: 1 or u?
u
Let l = 57507/14 - 4110. Let c = -325/126 - l. Which is smaller: 0 or c?
c
Suppose -2*c - 2 - 6 = 0. Let x be c/(-46)*7/(-14). Is -1 at most as big as x?
True
Let i = -57/2 - -28. Suppose v = 6*v - 5*j + 5, 2*v - 5*j + 5 = 0. Is i at most as big as v?
True
Let a = 6 + -12. Let h = -3 + 6. Let q = a + h. Which is bigger: q or -1?
-1
Suppose 0*g - 2*g + 4 = 0. Suppose -4*d = -d - 18. Suppose -d*u = -2*u. Is g > u?
True
Suppose 4*r - 12 = -4*m - 36, 2*m = -4*r - 18. Let n be (16/3)/((-1)/m). Suppose n = -4*l + 4*s, 3*l + 0*s = -5*s + 20. Which is bigger: l or -1/2?
l
Let v = 4 + -3. Let w be 58/18 + (10 - 13). Is v at most as big as w?
False
Let d(r) = -r**3 + 7*r**2 + 8*r - 2. Let m be d(8). Suppose -5*z + 1 + 14 = 0. Suppose n - k + 1 = 4, 5*n - z = k. Which is greater: n or m?
n
Let p be (-6)/(-15)*10/(-8). Is p less than or equal to -1?
False
Let w = 479/2067 - 287191/6118320. Let m = -1/370 - w. Which is bigger: -1/2 or m?
m
Let i = 1.1 + -1.2. Is 0.04 >= i?
True
Let g(t) = -t**2 - 4*t + 6. Let k be g(-5). Let f = -202/855 - -4/285. Are k and f equal?
False
Suppose -49 = 13*p + 393. Which is greater: p or -35?
p
Let b(c) = -c**2 - 6 + 4*c**2 + c - 2*c**2. Let h be b(5). Let s be 2/h*(-6)/4. Is 0 greater than or equal to s?
True
Let b = 2 + -7. Let y = b + 6. Is 0 < y?
True
Let j be -3 + 2/(14/19). Which is bigger: 1 or j?
1
Let q = -14 + 26. Which is smaller: 1 or q?
1
Let b = 0.1 - 2.6. Let o = -4.4 - b. Let w = 0.1 - o. Which is greater: w or -1?
w
Let p(t) = -1 + 38*t**2 + 2 + 2*t + t**3 - 41*t**2. Let u be 15/9 - (-1)/3. Let q be p(u). Which is greater: q or 3?
3
Let l be 7/3*(14 + -2). Let a be (7 + -1)*12/l. Which is bigger: a or 4?
4
Let a = -50 - -65. Are -0.1 and a non-equal?
True
Let m(s) be the third derivative of s**4/8 + s**3/6 - 4*s**2. Let h be m(-1). Let d(q) = q + 1. Let f be d(-1). Which is smaller: f or h?
h
Let p be ((-1)/2)/((-1)/(5 + -3)). Does p = -2/61?
False
Let c(t) be the first derivative of t**2/2 - 3*t + 6. Suppose -9 = -5*r + 11. Let a be c(r). Do a and -1 have the same value?
False
Suppose -3*w - h = -101, 2*w - h = h + 54. Let l = 15 - w. Which is bigger: -16 or l?
-16
Suppose 18 = 3*g - 5*u, -g - 3*u - u = 11. Is 6/11 at most as big as g?
True
Suppose -36 = -4*d - 32. Let v = 16503/932 + 10/233. Let f = -18 + v. Which is bigger: f or d?
d
Let p = 1.6 + -0.6. Let n = -1.2 + p. Let l = n - -2.2. Which is smaller: 0 or l?
0
Let i be (-1)/4*24/27. Let y be 8/(-36) - 29/(-9). Suppose d = -2*k - 3, -5*d + 0*d - 4*k = y. Which is bigger: i or d?
d
Suppose -5*d + u + 17 = -7, -5*d - 2*u = -27. Suppose -5*h + 7 = 3*q - q, -3*h - 11 = d*q. Let s be ((-6)/34)/((-6)/q). Does 0 = s?
False
Let k be (-18)/(-72) + (-58)/(-24). Which is greater: k or 3?
3
Suppose 6 = -3*a + 9. Suppose -3*f = 21 + 6. Let l be 6/(-4)*1/f. Which is greater: a or l?
a
Let n = -1 - -4. Let t = 0.1 + -1.1. Let q = t + n. Which is bigger: -1 or q?
q
Suppose 3*s - 1 = 2. Let o = s - 1. Let m be 14/15 - 1/3. Is o != m?
True
Suppose 92*n = 93*n - 25. Which is bigger: 24 or n?
n
Let r = -4 - -9. Let o = r + -7. Which is bigger: o or 2/9?
2/9
Suppose -3*f - w = 5, 15 = 6*f - f - 3*w. Let b(o) = -o + 6. Let h be b(4). Let g = 2 - h. Is g at least as big as f?
True
Let l be (-8)/174*4/16. Let k = l + 179/435. Suppose a - 4*a - 6 = 0. Are k and a nonequal?
True
Let l(c) be the second derivative of -c**5/20 - c**4/2 + 4*c**3/3 + 3*c**2 + c. Let s be l(-7). Let z be 0/s + (-4)/2. Is z < -1?
True
Let g be (-3 - 1)/(-8)*18. Suppose -i = -2*k + g, -2*k + 11 = 2*i - i. Is 1 <= i?
True
Let j be -2*2/(-1 + -3). Let y = 5 - 10. Let t = y + 3. Is t > j?
False
Let q = 1024/325 - 42/13. Let i be 2 + -1 - (-1 + 2). Which is smaller: q or i?
q
Let h be ((-26)/(-11))/((-5)/2). Let j = -2800/11 - -254. Let x = j - h. Which is greater: x or 0.1?
x
Let t be (3/(-8))/(945/(-20)). Do t and -1 have different values?
True
Let j = 69 + -45. Let d = -22 + j. Which is bigger: 2/7 or d?
d
Let d(n) = -n**2 - 6*n**2 + 3*n**3 - 1 - 4*n**3. Let f be d(-7). Is f <= -4/7?
True
Suppose -3*d = 7 + 8. Is d != -3?
True
Suppose -38*w = -35*w. Is 1/62 at most as big as w?
False
Let s = -0.7 - -11.7. Let h = -25 + s. Are h and 0 equal?
False
Let u = -36/7 - -424/77. Which is smaller: 1 or u?
u
Suppose -15*n = -14*n. Are -2/27 and n equal?
False
Suppose -5*k = 1 + 9, -4*k - 12 = -2*u. 