 -1/52. Which is bigger: w or p?
p
Let y(g) = -g**2 + 5*g + 8. Let s be y(6). Let h(d) = 3*d**2 - 10*d - 9. Let a(l) = 4*l**2 - 11*l - 10. Let p(v) = -4*a(v) + 5*h(v). Let t be p(-5). Does s = t?
False
Let z(i) = i**3 + i**2 + 2*i + 2. Let o be z(-1). Is o > -4/9?
True
Suppose 4*g = 8, 2*q + 9*g + 6 = 12*g. Is q > -3?
True
Suppose -6 = -2*p + 2*y, -8*p + y = -4*p - 3. Suppose 4*q - 5*q + 2 = p. Let r be ((-1)/(-3))/((-4)/(-3)). Is q bigger than r?
True
Let f be 6/(-9)*1*27. Let c be ((-4)/f)/1 - 0. Let a = -4 - -3. Which is smaller: a or c?
a
Let f(z) be the third derivative of -z**6/120 + z**5/10 - z**4/24 + 7*z**3/6 - 2*z**2. Let n be f(6). Let h(a) = 2*a**2 - a. Let y be h(-1). Is y bigger than n?
True
Let s(z) = 23*z**2 - 3*z + 4*z + z**3 - 22*z**2. Let m be s(-1). Let f = 1 - 1.05. Is f >= m?
True
Let d be ((-99)/(-18))/(1/(-2)). Let i = 34/3 + d. Which is greater: i or 0.1?
i
Suppose -5*t + 10 = -5*x, -x + 7 = 3*t - 3*x. Suppose -3*s = -4*f + 27, 2*s = 5*s + t*f + 6. Which is bigger: s or -4?
-4
Let f be ((-3)/2)/((-2)/4). Let p(x) = -x - 3. Let n be p(-5). Which is smaller: n or f?
n
Let r be (3/(-1) - 0) + 0. Is -8/3 < r?
False
Let g = -21 - -31. Let c = 9 - g. Is 4 smaller than c?
False
Suppose -2*f + f - 8 = -t, -4*t = -3*f - 28. Let s be -1 + (-14)/f + -1. Does s = 2?
False
Let r = -0.4 + 0.3. Is r <= 15?
True
Let t = -3/95 + 823/20045. Are 1 and t nonequal?
True
Suppose -3*n + 22 + 11 = -3*a, -3*a - 45 = -4*n. Suppose 4*j + 4 - n = 0. Let x be -5 + 8 - (5 - j). Which is bigger: x or 2/11?
2/11
Suppose -5*m + 3*m + 7 = k, -5*m = 5*k - 20. Suppose 3*s - 9 = -m*b, -5*b = -s - 3*s + 21. Which is bigger: 0 or b?
0
Let i = 0.12 - -0.18. Is i less than 2/23?
False
Let s be 0/(-3)*(-1)/(-1). Let m = 6321248/1153887 + 2/50169. Let u = m - 3952/713. Are s and u equal?
False
Let k be 3/12 + 19/60*3. Is 0 < k?
True
Suppose 2*p + 260 = 4*p. Let h = 1171/9 - p. Suppose -v + m - 3 = 0, -8*v - 7 = -7*v - 2*m. Which is greater: v or h?
v
Let u = -6 + 2. Let i = -3 - u. Which is greater: 0.2 or i?
i
Let g(s) = -5*s**2 + 2*s + 8. Let q be g(6). Let v = q - -637/4. Let w be (-1)/(-3)*-3 + -1. Is v less than w?
False
Let q(v) = -v**2 + 15*v - 21. Let l be q(13). Do 8 and l have different values?
True
Suppose 4 = -4*t + 8. Suppose 3*b - 4*b + t = 0. Let w = -7/8 - -9/8. Which is greater: b or w?
b
Suppose 0 = -5*u - 4*v, 5*u - v = -6*v. Let l = -5.4 + 6. Let x = l - -1.4. Which is greater: u or x?
x
Let h(j) = j**2 - 4*j - 1. Let b be h(3). Let l be (1 - -8)*(3 + b). Is -8 equal to l?
False
Let s = -25.11 + 25. Let h = s + -4.89. Let k = h - -4. Is k > 2/5?
False
Let u = 1/117 - 601/1872. Let k = 295135/48 - 6149. Let v = u + k. Is 0 not equal to v?
True
Let u = 50 + -51. Which is smaller: -1/12 or u?
u
Suppose -2*a - 11 = 3. Let w be 0 + 2 - (-2 + 12). Which is bigger: w or a?
a
Suppose 0 = -4*n + 20, -2*v - 8 - 5 = -3*n. Let h = -40 - -42. Are h and v nonequal?
True
Suppose 3*u - 5*d - 8 = 0, d - 3*d = -4*u + 6. Let y be (-1)/(-1 - (-16)/18). Let i be 2/y*6 - 1. Is i bigger than u?
False
Let b be (4/6)/(168/63). Which is smaller: b or -1/5?
-1/5
Suppose 0*i + 10 = 5*i. Suppose 2*n = -4*p - 6, -4*n + 2*p = -i*p. Let o = -2/21 + 29/84. Is n less than or equal to o?
True
Suppose 20 = 4*l, 22 = -2*x + 5*l - l. Which is smaller: 1/13 or x?
x
Let v(m) = -m + 1. Let n be v(-3). Let w be 1*n*(-2)/(-8). Which is bigger: w or -2/7?
w
Suppose 3*x + 12 = -0*x. Let o be 4 + x + (-2)/4. Which is greater: -1 or o?
o
Let c(w) = w**2 + 13*w + 13. Let t be c(-12). Which is greater: 2/7 or t?
t
Suppose -5*y = 2 - 77. Suppose 0 = -3*f + 15, -4*f + y = 4*x - f. Is -1/3 less than x?
True
Suppose 0 = k + a - 0*a + 3, -7 = -3*k + 5*a. Let i be (1/k)/(2/24). Let j be (2/i)/(5/(-10)). Which is smaller: -0.1 or j?
-0.1
Let b = -5 + 15. Let j = b + -10.2. Which is smaller: 0 or j?
j
Suppose 3*q - t - 12 = t, 5*q - 22 = 4*t. Suppose 0 = 5*l - c - 4*c + 30, 0 = q*l + 5*c - 16. Which is greater: 1 or l?
1
Let t = -0.26 + 0.06. Let c = t - -0.2. Let l be ((-2)/8)/(5/8). Is c greater than or equal to l?
True
Let k(v) = -6*v + 33. Let a(q) = -2*q + 11. Let y(n) = -7*a(n) + 2*k(n). Let f(b) = b - 5. Let x(l) = 5*f(l) - 3*y(l). Let g be x(7). Is 2/13 at most g?
True
Suppose -x - 1 = -0*x. Let g be 12/6 - (5 + -1). Let j be (-9)/(-15)*g/3. Is x <= j?
True
Let c = -6 - -23. Which is greater: -1 or c?
c
Let q = -0.1 - 4.9. Is q equal to -0.1?
False
Let s = 18/17 + -484/425. Is s at most as big as -1?
False
Let t be (55/(-10) + 5)/(1/(-2)). Is t < -3/19?
False
Let x be (0 + 2)*(0 + 1). Let l be x/(-7) + (-24)/63. Which is greater: l or 0?
0
Let l be (-22)/(-40) - (-10)/50. Are l and 2 equal?
False
Suppose -3*g + 7*g = -5*z - 101, 4*z = 4*g + 56. Is g not equal to -21?
True
Suppose 2*p = -2*p + 12. Suppose 10 = -p*f + 4*t, f - 12 = 3*f - 4*t. Let m = f - 3. Is m equal to 1/3?
False
Let k(x) = -x**3 + 7*x**2 - 7*x + 10. Let w be k(6). Is w greater than or equal to 17/5?
True
Suppose -v - 24 = -7*v. Let j be (0 - -3) + (-4)/(-2). Which is smaller: j or v?
v
Suppose g = -0*g. Suppose g = -f - 3*f. Let l(s) = s**2 + s + 4. Let p be l(f). Is 4 not equal to p?
False
Suppose -2*d = -0*d + 8. Let i = 0 + d. Let r be i/16 + (-11)/(-12). Which is smaller: r or 2?
r
Let w be 15*(6/2)/(-9). Let q = w - -6. Which is smaller: 4/7 or q?
4/7
Let z = -0.04 + -0.36. Let l = z + 4.4. Let y = -6 + l. Is 1 < y?
False
Let s(q) = 5 - 7*q - 2*q**2 + 0*q**2 - 2*q**2 + 3*q**2. Let x be s(-8). Is -3 > x?
False
Let l = -78/5 - -327/20. Suppose 4*f + 16 = -4*k, -3 - 1 = -5*k + f. Which is smaller: l or k?
k
Suppose -o - 4 = -2. Let p be o + (-15)/(-6)*1. Which is smaller: 0 or p?
0
Suppose -4*g - 2*s - s = -1, 3*s = -g - 2. Is g <= -1/76?
False
Let b(l) = -l**3 - 4*l**2 + l + 4. Suppose -4*n = 3*h - 3 - 1, 0 = -h + 2*n - 12. Let t be b(h). Is t != -2?
True
Let a = 0 - 6. Let y = a + 5.9. Let l be (-15)/(-18) + 1/(-2). Are l and y nonequal?
True
Suppose t = -m - 14, -4*t + 7*m - 26 = 5*m. Does t = -1?
False
Let v(a) = a - 1. Suppose 5*t + 2 = -3. Let o(f) = 4*f - 3. Let k(x) = t*o(x) + 5*v(x). Let u be k(3). Is 2/7 less than u?
True
Let x be -16 + (6/1)/3. Let b = -14 - x. Let i = 6 + -32/5. Which is smaller: b or i?
i
Suppose 3 = -8*s + 4*s + r, -3 = -4*s - r. Which is bigger: -4/15 or s?
s
Let d be (-7)/20 + 2/(-8). Let y = 37 - 55. Let h = 17 + y. Is h smaller than d?
True
Suppose 5 = -5*f + v - 3*v, 5*f - 2*v + 5 = 0. Which is smaller: f or 6/23?
f
Suppose 4*f = 3*f. Suppose f = -o + 2 - 4. Is o smaller than 0?
True
Suppose -2*d - 4*b = 15 + 1, 20 = -5*b. Suppose 0 = 5*t - 0*t. Let u be 2/(-3 + t - -1). Is u smaller than d?
True
Suppose 3*l - 68 - 56 = -4*u, 3*l - 125 = -5*u. Which is smaller: l or 38?
38
Suppose 4*m - 12 = 8. Let o be 3*-1 - (3 - m). Let u be (-1)/(-2)*0/o. Is u greater than or equal to 2?
False
Let v be 694/(-10) - (3 - 4). Let c = -68 - v. Which is greater: -1 or c?
c
Let p be (-216)/16*(-7)/6. Suppose 3*o - 52 = 4*k, -2*o = -5*k - 0*o - 72. Let u = k + p. Is u at most 0?
True
Let l be (-3)/(-7) + 52/91. Which is greater: 5/14 or l?
l
Let w = 7.1 - 8. Let t = 2.9 + w. Which is smaller: t or -1?
-1
Suppose -11 = -2*i - 7. Suppose 0 = 6*y - i - 4. Let r = -70 + 487/7. Is y less than r?
False
Let m be 2/(-11) + 408/66. Let a be 72/(-105) + m/15. Which is smaller: a or 1?
a
Let f = -70 - -208/3. Which is smaller: -2/27 or f?
f
Let f = -25.8 + 32. Which is greater: f or 0.1?
f
Suppose -2*k + 6*k = 44. Is k smaller than 43/4?
False
Let y be (-3*(-2)/9)/2. Let g be (1*(3 - 2))/(-1). Is g less than or equal to y?
True
Suppose -18 + 12 = -2*i. Suppose 3 = -u - 1. Let j = i + u. Which is smaller: j or -1/3?
j
Let a = -2 - -4. Let y = 225 + -226. Which is smaller: y or a?
y
Let k be 6/(-51) - (1 + -1). Suppose -4*u - 32 = -36. Is u bigger than k?
True
Let q = -0.4 + -0.2. Let h = -0.9 + 0.3. Let r = h - q. Which is greater: r or -0.4?
r
Let b = 120.04 - 113. Let w = b + -0.04. Is -1 at most w?
True
Suppose 3 + 3 = l. Let h(v) = -v**2 + 8*v - 8. Let x be h(l). Suppose 0 = x*q - 3*q. Which is smaller: -2/15 or q?
-2/15
Let o = 0 - 1. Let l = 155.1 + -147. Let c = l - 8. Is c smaller than o?
False
Suppose 2 = 2*h, 3*l - h + 1 = -0. Suppose 3*q - 5*s - 2 = -3*s, 4*q - 5*s - 12 = 0. Let b be -2 + (-51)/(-15)