86/7. Is b <= -1/30?
True
Suppose 5*v = -l - 7, 2*v = 2*l - 3*v - 1. Let o = 10 - 9.8. Let g = o - 0. Which is smaller: g or l?
l
Let w = -5 + 4. Let r = -5 - -4. Do r and w have the same value?
True
Let h be ((-9)/4)/(3/(-1024)). Let f = -23810/31 + h. Which is bigger: f or 0?
0
Let j = 12 + -7. Suppose -3*q - 4*r + r = -18, -j*q - r = -14. Which is greater: q or 1?
q
Let y(z) = 2*z. Let m be y(-5). Which is smaller: m or -34/3?
-34/3
Let m = -1.24 + 8.16. Let v = m - 7. Let b = v + 1.08. Is b smaller than 2/13?
False
Let y = 12 - -51. Let f be y/(-35)*(-10)/(-7). Which is bigger: f or -3?
f
Let q be -2*(-2 + 1) - 2. Suppose 2*k = -q*k. Which is smaller: -4/3 or k?
-4/3
Let j be (4/6)/((-2)/(-15)). Suppose -3*o - b = -3*b - 20, -j*o = 5*b. Suppose o = -s + p, -s + 4*p - 23 = -4. Is s less than -1/8?
False
Let h = 21 + -21. Which is smaller: h or -1/13?
-1/13
Let p = 16 + -3. Let d = p - 13.1. Do 3/4 and d have different values?
True
Suppose 4*w = 0, -3*w + 2*w = -4*y - 4. Let j = 82 + -1065/13. Is j > y?
True
Let o = 197/18 + -11. Which is greater: o or 0?
0
Let k be 3/12 - 974/(-8). Suppose 40 - k = -2*d. Let i = d - 204/5. Which is smaller: i or 0?
0
Let t(r) = 10*r + 8. Let q(x) = -7*x - 5. Let j(f) = 7*q(f) + 5*t(f). Let i be j(-6). Let h = -0.1 - 0. Are h and i unequal?
True
Let r(l) = 2*l**2 + 18*l + 19. Let g be r(-8). Is g not equal to -4?
True
Suppose f + 2 = 0, 1 = 4*r - f - 5. Let v = r + -2. Which is smaller: -4/3 or v?
-4/3
Suppose -2*x - v = 13 - 5, 0 = -5*x + 2*v - 2. Let c be (-6)/4*x/(-18). Let a be 4/(-10) + (-2)/(-5). Is c equal to a?
False
Suppose -2*a + 5*a = -4*d, -15 = 5*d. Let w = -11 + 16. Suppose -w*g + 15 = -0*g. Is g >= a?
False
Let q be (-6)/(-10) - (-6)/(-10). Let x be 1 + q/((-6)/2). Which is greater: x or -1?
x
Let o(r) = -r**2 + 3*r - 2. Let m be o(3). Is m less than or equal to -6/5?
True
Let l = 3.46 - -0.54. Which is bigger: l or 0.14?
l
Suppose -5*a - 360 + 135 = 0. Is -45 less than a?
False
Suppose 2*b - 2 = 6. Is b equal to 24/7?
False
Suppose 5*x + 14 = 2*b - 4, -5*b + 2*x + 24 = 0. Let u = 5 + -10. Let l = u + b. Is -1 less than l?
False
Let j = -73 + 70. Which is smaller: 2/7 or j?
j
Suppose -9*r + 69 = -6*r. Is 22 smaller than r?
True
Let z be -41 + 38 - 202/(-66). Which is smaller: z or 7?
z
Let d = 8 + -4. Suppose 2*y - d*a = -2, 5*y + a = 5*a + 13. Suppose n - 19 = 3*g, -4*n - 9 = -0*n + y*g. Which is smaller: n or 5?
n
Let a(i) = i**2 - 7*i - 8. Let r be a(8). Is r at most 2/39?
True
Let s = 4195 - 931. Let m = s + -12849/4. Let l = m + -52. Which is greater: 0 or l?
0
Suppose -4*n + 8 = -24. Which is bigger: n or 9?
9
Let r = -27 + 28. Is r less than 2?
True
Let g = 67 - 267/4. Is -23 > g?
False
Suppose 3*b + 5*g = 22, -4*b = -9*b + 2*g + 78. Which is greater: 6 or b?
b
Let c = 6 - 6. Suppose c = q + 3*q + 20. Do q and -4 have the same value?
False
Suppose 0 = 5*a - 4*w + 82, -a + w + 3*w - 26 = 0. Are a and 2/3 nonequal?
True
Suppose -19*p - 30 = -16*p. Is p smaller than -8?
True
Let z = 196 + -583/3. Which is smaller: z or 8?
z
Let d(b) = -b**3 + b**2 + 4. Let q be d(0). Let z = 18 - 12. Suppose 5*g = z*a - a + 20, 4*g = -5*a + 7. Which is bigger: g or q?
q
Let k = -36.9 - -16. Let z = k - -21. Is -7 less than z?
True
Let r be 1/((-3 - -1)/2). Let y be (-2)/r*15/18. Is y greater than 1?
True
Let g = 33 + -42. Is g at least 1/3?
False
Let c be -2 - (1 - (-15)/(-9)). Let q = -10/9 - c. Which is smaller: 0 or q?
0
Let l be -1 - ((-340)/43)/(-4) - -3. Which is greater: l or -1?
l
Let b be (-25)/35*8/(-20). Let w = -2 - -1. Which is greater: b or w?
b
Let j = -142 - -140. Is j equal to 0.63?
False
Suppose -7*q = -10*q - 18. Are q and -32/7 non-equal?
True
Let d(m) = m**2 - 2*m + 2. Let b be d(3). Suppose -2*c + 11 = -l + c, 0 = -5*l + 4*c. Suppose 2*t + p - 13 = 0, -l*p + 3*p = -b. Is 4 at least as big as t?
True
Let y(l) = -l**3 + 8*l**2 + 2. Let n be y(8). Let g be (-6)/n - (-2 - 2). Which is smaller: g or 4/5?
4/5
Let d(u) = -3*u + 3. Suppose -3*a - 2 = -4*h, 3*h - 5*a = h - 6. Let x be d(h). Is -3 greater than or equal to x?
True
Let w be (-1)/(-1 + (-3)/(-18)). Is -0.3 > w?
False
Let y(a) = a**3 - a + 1. Suppose i + 3*i + 5 = k, -2*k + 6 = -4*i. Let n be y(k). Let b be ((-2)/4)/(6/4). Is b not equal to n?
True
Suppose m + 3 = 6. Suppose -3*a = -5*o + 5 + m, -5*o = -a - 6. Which is bigger: -2/17 or a?
-2/17
Let s be ((-9)/6 - -1)*-6. Suppose 3*j = -u + 55, -4*u - 80 = -0*j - s*j. Suppose 3*n + 2*n = j. Is n < 2?
False
Let o be (4 + 1 + -6)*0. Which is smaller: -8/7 or o?
-8/7
Suppose 0 = -2*c - 2*c - 2*i, -2*c + 3*i - 8 = 0. Let t be (-184)/(-70) - (1 + -3). Let m = t - 26/5. Is c greater than or equal to m?
False
Suppose -3*z + 10 = 2*z. Suppose 2*n - 3*f + 4 = -z, 4 = -2*f. Suppose -2*y - 20 = 2*y. Which is smaller: n or y?
n
Suppose -6 = -6*o + 3*o. Let c be (-4)/(1/(3/(-6))). Let h = 0 + c. Does h = o?
True
Let k be (-6)/(-4)*(-8)/12*-1. Which is smaller: 1/154 or k?
1/154
Suppose 4 = -a + 3. Let b be 10/30*a/4. Which is smaller: 1 or b?
b
Let u = -5 + 6. Let x be 1/(-3 - (-1 + -1)). Let g be (-3)/(-6)*(x + -5). Are u and g equal?
False
Let c = -0.02 - 8.98. Does -1/3 = c?
False
Suppose 0*d + 2*d = 0. Is d <= 1/6?
True
Let r be ((-2)/9*1)/((-80)/120). Does r = 0?
False
Let q be 1/((-3)/(3 + 0)). Suppose -f + 3*h + 9 = -3, -4*h = -f + 16. Suppose f*c = -2*c + 4. Is q < c?
True
Let b = 0.4 + -0.26. Let l = -2.06 - b. Let g = l - -0.2. Is g bigger than 1/3?
False
Let n be 9 + -2 + (-1 - -1). Suppose -n*l + 2*l = 20. Suppose 5*g + 30 = -3*m, 3*g = 5*m + 18 - 2. Which is smaller: g or l?
l
Let s = -19 + 19. Suppose 0 = 6*c - s - 6. Is -1/12 less than or equal to c?
True
Let y be ((-20)/21)/((-4)/6). Let u = 72 + -72. Is y not equal to u?
True
Let f = -19.7 - -21. Let j = f - 0.3. Which is smaller: j or -0.01?
-0.01
Let k = -0.06 + -0.14. Which is smaller: k or -1?
-1
Let w = 2.4 - 14.4. Let m = w + 12.1. Which is bigger: m or 4?
4
Let o = -0.26 + 0.08. Let q = 0.28 + o. Which is greater: q or 0.11?
0.11
Suppose 7*n = 3*n - 264. Let f = n + 46. Let z be -2*(-11)/f + 1. Is 0 smaller than z?
False
Suppose 5*y = y + 5*l - 9, 0 = 2*y - l + 3. Let u = -47/3 - -16. Which is smaller: y or u?
y
Let g = -5 + 17. Let y = -18 + g. Let a be (-1)/2*-1 - 1. Which is greater: y or a?
a
Let s be (-1)/((3/90)/((-6)/(-15))). Which is smaller: -11 or s?
s
Suppose 5*x + 3*u - 324 = u, 4*x - 2*u - 270 = 0. Let k = x - 267/4. Does 0 = k?
False
Suppose 0 = -2*i - i. Let c be 0/(i - (-1 - -3)). Is 1/3 at most as big as c?
False
Let n = 30.96 - -0.04. Do 0.1 and n have the same value?
False
Let n(q) = -q**2 + 6*q + 1. Let c be n(5). Let g be 74/14 - 12/42. Is c greater than or equal to g?
True
Let p be (-3)/8 + 1180/1440. Let r(v) = v**2 + 5*v - 1. Let w be r(-5). Which is smaller: p or w?
w
Let r = 0.12 + -5.12. Let x = 4 + r. Which is smaller: x or -2?
-2
Let j(b) be the third derivative of -b**5/60 + b**4/24 + b**3/3 + b**2. Let l be j(-1). Is 2/3 greater than l?
True
Suppose -j - 1 = g - 4, 0 = -2*j + g - 6. Which is greater: j or 4/13?
4/13
Let c(t) = -6*t + 11. Let y be c(2). Let f be (2 + 0)*(-2 - -1). Is y not equal to f?
True
Let k be (-4)/350*(-226)/4. Let v = -357/325 - -48/65. Let m = k + v. Is m <= -1?
False
Let h = -2 + 5. Do h and 3 have different values?
False
Let m be (2/(-6))/((-5)/45). Let h be (m/1 - 2)*3. Suppose -2*r + 5 = h*r. Which is bigger: r or 3?
3
Let l = 5 + -4.9. Which is greater: 0 or l?
l
Let a = -7229/15 - -1048/3. Let p be 3996/30 + (-1)/5. Let q = a + p. Which is greater: q or -1?
q
Let f = 6 - 4. Let t = -12 + 12. Which is bigger: f or t?
f
Let r(i) = i**3 - 4*i**2 + 2*i - 5. Let f be r(4). Let j = 24 - 20. Which is greater: j or f?
j
Let a(m) = m**3 - 11*m**2 + m - 11. Let r be a(11). Let q be (-1 + -2)*1/87. Which is smaller: q or r?
q
Let i(o) = -o**3 - 9*o**2 + 9*o - 4. Let k be i(-10). Let h be k/8*6/(-9). Which is smaller: 3 or h?
h
Suppose 0*q + q - 2 = 0. Let s be (-3)/(((-3)/(-2))/(-1)). Suppose 5*g + 1 = -u + s, -q*g + u = 1. Is 0 at most g?
True
Let l(z) = -2*z**3 + 2*z**2 - 2*z + 7. Let s be l(5). Let c = s + 7307/36. Is c at most 0?
True
Let z(g) = 3*g**2 + 10*g - 4. Let x be z(-4). Is 19/4 not equal to x?
True
Let k = 29 + 15. Is k at least 44?
True
Suppose 3*v + 4 