 to b?
True
Let p(n) = -n + 10. Suppose d - 5*d + 14 = 2*h, d + 4 = h. Suppose 3*o - 2*o + h*y - 15 = 0, 0 = 3*o + y - 31. Let g be p(o). Is -2/5 at most as big as g?
True
Let f = 66 - 925/14. Let u = -21 + 21. Is f > u?
False
Let w = -4.2 - -4. Let t = -1.8 + w. Which is smaller: 0.1 or t?
t
Let w = 5883/8 + -8948059/12168. Let v = w + 9140/10647. Which is smaller: v or 1?
v
Let j = -86 - -87. Is -1/13 >= j?
False
Let f = 1 + -1. Let z = 0.7 + -0.76. Let i = -0.06 - z. Is i at least f?
True
Let t = 143666 - 30600926/213. Let d = 1/71 - t. Suppose 5*b = -0 + 5. Which is smaller: d or b?
d
Suppose 4*s = 5*z + 17, 3*z + 3 = 2*z + s. Let w = -3 - z. Let l = w - 0. Do l and 3 have different values?
True
Let k be 27/36*-4 + 278/94. Which is smaller: 0 or k?
k
Let i = 201 - 1811/9. Let z be 2*1/7*1. Is z less than i?
False
Let c = 18 - 27. Let x be c/12*1/(-2). Suppose -2 = 9*v + 7. Is x != v?
True
Let p be (-1 + -1)/1 + (-1207)/(-612). Which is smaller: p or -1?
-1
Let j(c) = 2*c**2 - 8*c + 5. Let k be j(4). Is k at least as big as 8?
False
Suppose -2*u + 5*d - 19 = 0, -u - 54 = 2*u + d. Let p be u/45 - 2/9. Which is smaller: -1 or p?
-1
Let m be (-10)/(-55) - 2544/3465. Let j = -1/21 + m. Suppose 12 = -3*c + 4*d, -c - 4 - 11 = -5*d. Which is greater: j or c?
c
Let k = 38 + -47. Is -7 bigger than k?
True
Let f(z) = z**3 - 8*z**2 - 8*z - 5. Suppose 2*b - 4 = 2*h - 14, 0 = -3*h + 5*b + 7. Let d be f(h). Let i be (-2)/d + 25/42. Is i at most 1?
True
Let h be 3/((-4)/(-8) + -2). Let g be 122/4 - 4/(-2). Let y = g - 33. Which is smaller: h or y?
h
Suppose -4*p + 11*p = -203. Is p >= -29?
True
Suppose 0 = t - 0 - 22. Let b = t + -43/2. Is 1 smaller than b?
False
Suppose a + 3 = 4*l + 20, 3*l + 30 = -5*a. Let r = 68 - 70. Which is smaller: a or r?
a
Let p be 0/(15/10*-2). Suppose 0 = -4*g - 3*h - 4, -4*g - 8 = 4*h. Let i be (-12)/(-27) + g/9. Which is smaller: p or i?
p
Let h be 80/(-450) - 4/18. Is -3 bigger than h?
False
Let y = 103 + -723/7. Let c be 1/45 - 1/(-5). Is y smaller than c?
True
Let p(s) = 2*s - 4 + 0*s + 2 + s**2 + s. Let z be p(-4). Suppose -3*w = 4 + z. Is -2 less than w?
False
Let n(a) = -a**2 + 6*a + 4. Let c be n(6). Let b(y) = -y + c*y - 4*y. Let r be b(0). Which is smaller: r or 2?
r
Let c be 5/33 - (-2)/11. Let k be (3/6)/(4/48). Is c bigger than k?
False
Suppose -2*l - 55 = 5*p, p - 75 = 6*p - 2*l. Let c = p + 22. Is 8 smaller than c?
True
Let w be 28/(-12) + (-5 - -1). Do w and -7 have the same value?
False
Let p = 1.41 - -0.19. Let w = -1.3 + p. Which is greater: 4/5 or w?
4/5
Suppose 8*q - 4*q = 224. Suppose -5*f - h - 51 = 0, 2*h + 18 = 4*f + q. Are f and -9 nonequal?
True
Let z = -0.09 - -1.09. Is -5 > z?
False
Suppose -4 = -2*w - 2*p + 4, 4*p = -3*w + 16. Let g = 3 - w. Let h be 2*(g/(-6) + 1). Which is smaller: h or -1/4?
-1/4
Let x = -2 - -3. Let s = 20 - 18. Is s > x?
True
Let b = 72 + -57. Do b and 13 have the same value?
False
Suppose -4*i - 2 = -3*b - 0, -4*b + 9 = i. Which is bigger: 4 or i?
4
Suppose -5*k - 20 = -0. Let o be (-2)/k + (-9)/(-2). Is 5 at least as big as o?
True
Suppose d - 3 = 2. Suppose -4*s + 50 = 2*q, -2*s - 5 = -q + 20. Suppose t + 4*t = q. Is t < d?
False
Let l(b) = -6*b - 3 - 3*b**2 + 2*b + 1. Let h be 1 + 1 - 6 - -2. Let d be l(h). Which is smaller: -7 or d?
-7
Let i = -17 - -14. Let l be (60/(-14))/((-8)/6). Let a = 12/7 - l. Which is smaller: a or i?
i
Let w be 3/(-2)*6/9. Let q(y) = -y**2 - 14*y + 6. Let k be q(-8). Let l be ((-4)/k)/((-4)/6). Which is bigger: w or l?
l
Let q be 15*4/6*-1. Suppose 6*f + 33 = 3*f. Which is smaller: q or f?
f
Let g = -0.8 + 0.4. Let r = -5 - -5.3. Let x = g + r. Which is smaller: x or -2?
-2
Suppose 3*w - 4*r = -14, -2*w + r + 1 - 7 = 0. Let b be (-4 - -5)/(1/w). Which is bigger: b or -3/5?
-3/5
Let s be 8/(-3) + 9/(-27). Let f = 0 - s. Suppose 5*j - 2*l + 0*l = f, 4*l + 16 = 0. Is -3 at least j?
False
Suppose 0 = -9*z - 0 - 0. Which is greater: -19 or z?
z
Suppose -15 = -2*g + 5*g - 3*h, -4*h + 25 = -5*g. Let o be -1 - g/((-15)/(-24)). Suppose 3*y = o*y. Which is smaller: 4/9 or y?
y
Let w(b) be the third derivative of -b**5/60 + b**4/2 - 5*b**3/3 - b**2. Let d be w(11). Is 6/7 less than d?
True
Let k = 94 - 94. Is -1/285 at least as big as k?
False
Suppose -m + 6*m = -5*d - 145, 4*d = 3*m + 59. Let k be (-55)/m + (-2)/10. Is k greater than 8/3?
False
Let l(y) be the second derivative of -y**4/12 - y**3/2 - 2*y**2 - 5*y. Let v be l(-3). Which is bigger: -19/4 or v?
v
Let a be (1 + 1 + -3)*0. Which is greater: 3/7 or a?
3/7
Let y = -43702423/767514 + 22612/401. Let a be 5/12*(-4)/(-290). Let d = a + y. Which is smaller: -2 or d?
-2
Let x(u) = 4*u - 4. Let d be x(2). Let b be 3*d*(-5)/10. Which is bigger: -7 or b?
b
Let w = 14415/19 + -759. Let h = w + 105/152. Which is smaller: h or 1?
h
Let p be 20*1/(2 - 0). Suppose -p = 2*b, f + 2*b + 19 = -2*b. Which is smaller: f or 3/5?
3/5
Suppose -2*z = z - f - 18, 4*z = -5*f + 24. Suppose -30 = -z*s + s. Is 6 >= s?
True
Let r = 0.55 + -0.15. Let v = 0 + 1. Which is smaller: r or v?
r
Suppose -3*g + z = 6, -8*g + 3*g + 5*z = 10. Let x be (-1 - -1 - -2) + g. Does x = -2/25?
False
Suppose 4*o + 2*h = 74, o - 12*h - 24 = -7*h. Which is greater: o or 18?
o
Let d be (-12)/(2 + -4)*1. Let p(h) = -2*h + 2. Let j be p(d). Let w be (-4)/j + 24/(-10). Is -3/2 bigger than w?
True
Let p = -3.9 - -4. Let h be 2/(-7) - (-22)/28. Which is smaller: h or p?
p
Let d = -1 - -0.9. Is d at most 8/7?
True
Let v = -2 - 0. Let n = v + 2. Let q = 15 - 14.9. Is q at most as big as n?
False
Let n = -0.37 - -0.07. Let u = -0.3 - n. Let g = -1 - u. Is g at most -1?
True
Let n = 17.1 - 17. Is -0.1 at most as big as n?
True
Let p(g) = g + 5. Suppose 0 = -w - 3*w - 28. Let k be p(w). Let b be -2 - (k - -3)/(-1). Is b at most as big as -2/5?
True
Let l(a) be the first derivative of a**3/3 - a**2/2 - 3*a + 4. Let s be l(3). Which is smaller: 5 or s?
s
Suppose 0*n + 2*n - 12 = -5*b, -4*b = 4*n - 12. Let j be 2/(-5)*(n + -16). Suppose 0 = -j*t + 3*t. Is t not equal to 0?
False
Let i = -9721/1330 + 101/14. Let r = -2/19 + i. Which is greater: r or 1?
1
Let j(c) = -c**3 - 3*c**2 - 2*c - 2. Let b be j(-3). Suppose -5*d + 25 = -45. Let h be b/(-6) + d/12. Is h equal to 0?
False
Let b be -4 + 6 + 1*2. Suppose b*p - 12 = -2*c, -5*c + p = -8*c + 8. Is c greater than 2?
False
Let s(m) = m**2 + 4*m + 1. Let p be s(-3). Let o be (1/(-2))/(5/10). Which is greater: o or p?
o
Let q = 0 + -1. Let v = q + 1. Suppose 2*f - 3*u = 10, -2 = -f + 3*u + 9. Are v and f equal?
False
Let v be (0 - 3) + (-2388)/(-798). Which is bigger: -1 or v?
v
Let w = 13 + -15. Let v be (10 + -12)*3/w. Is v equal to 7/3?
False
Let c = 17 - 15. Which is smaller: 0 or c?
0
Suppose 5*s - 3*s = 8. Suppose 9*o - s*o = -20. Does -4 = o?
True
Suppose 3*w + 44 = -2*l - 3*l, -4 = 2*w - 3*l. Let x be (-3)/((-4)/w*3). Are 2 and x unequal?
True
Let l be 3*1/(-8)*2. Which is smaller: l or 1?
l
Let n be -3*((-417)/81 - -5). Is n at most as big as 1?
True
Let c(b) be the second derivative of b**5/20 - b**4/3 + b**3/6 - 3*b**2/2 + b. Let r be c(4). Let g be (6/(-27)*3)/(-1). Is g smaller than r?
True
Let y = 2443 - 29281/12. Let z = y + -13/4. Suppose -5*k = -5*j + 30, 5*j + 2*k = 2*j - 7. Which is smaller: j or z?
z
Let m be (-4)/16 - 18/(-8). Suppose -36 = -4*f - 5*j, -m*j - 3*j + 32 = 3*f. Is f > 3?
True
Let p be (-3)/2*224/189. Let t = p + 10/9. Is -5 at most t?
True
Suppose -t - 4*r = 10, -4*r + 2 = -t - 0. Let g be (-5)/(-10) + 3/t. Is g equal to 1/31?
False
Let t = 1.2 - 0.8. Let q = 0.3 - t. Which is bigger: -5 or q?
q
Let v(m) be the second derivative of -m**5/20 + m**4/4 + m**3/6 - m**2 + m. Let h be v(3). Let w be (-6)/9*-3 + -2. Is w greater than or equal to h?
False
Let p = -32 + 22. Let g = p + 16. Let q be ((-4)/18)/(g/(-9)). Which is smaller: q or -3?
-3
Let h = -1.6 - -1.6. Let u = 105 + -737/7. Is h less than or equal to u?
False
Let c(p) = 3*p**2 - 3 - 2 + 4*p**3 - 5*p**3. Let a be c(-5). Let l be 4/(-26) - (-108)/a. Are l and 0 equal?
False
Suppose n - 5*w = 14 - 0, 4*w = -5*n - 17. Which is bigger: -2 or n?
n
Let x = -1505.67 - -1513. Let t = -1.57 - x. Let r = t + 9. Is 0.1 < r?
False
Let o = 8.1 + -9. Let u = o + -0.1. Which is greater: u or 5?
5
Suppose 0 = -3*z - 3*i + 18, -z - 5