2*h + 6, 2*w + h = -9. Is b <= w?
True
Suppose -3*i = i - 16. Let u = i - 4. Suppose -d + u - 1 = 0. Which is bigger: -1/4 or d?
-1/4
Let u = 1 - -2. Let j = 3 - u. Let o be (j - 6)*1/2. Are 1 and o equal?
False
Let m be 5/(-6)*13/(-585). Which is smaller: m or 1?
m
Let l = -8 - -2. Let n = -6 - l. Let f be (-2)/(-5)*2/(-8). Which is bigger: n or f?
n
Let r = -3 - -8. Suppose -r*l + 4*l = -2. Suppose l*v - v = 1. Is 2 greater than or equal to v?
True
Let m be -18*2*2/(-12). Suppose -4 = -y - 5. Let q be y/(-3) + (-8)/m. Which is bigger: 0 or q?
0
Suppose -5 = -3*f + 7. Let x(t) = -t**2 + 4*t - 1. Let z be x(f). Which is bigger: z or -2/9?
-2/9
Let a = 20 + -18.8. Let x = a - 0.2. Does x = -13?
False
Let u = -2.15 - -2.1. Let n = u - -0.15. Let g = -74 + 224/3. Which is greater: g or n?
g
Let w be ((0/(-1))/(-3))/(-1). Suppose w*j + 5*j - 5 = 0. Let k = j + -2. Which is bigger: k or 0?
0
Let l = -0.1 - -0.2. Let w = 643/20 + -127/4. Which is greater: l or w?
w
Let h = 135 + -117. Are h and 19 equal?
False
Suppose 0 = -2*l + 14 + 2. Suppose d + d + l = 4*p, 2*p - 8 = 0. Which is greater: 1 or d?
d
Let y be ((-11)/(-22))/((-2)/(-8)). Suppose -3 = z + 2*q, y*z + 2*z + 18 = -2*q. Which is bigger: z or -3?
-3
Let x(t) = 7*t**3 - t**2 + 2*t + 3. Let b be x(-1). Let q = -16 + 9. Let n = q - b. Is 2/7 less than or equal to n?
False
Let r be (0 + (-6)/(-9))*3. Let n = 4 - r. Let q be (5/25)/(n/10). Which is smaller: q or -1/5?
-1/5
Suppose 0 = 2*y + y - 6. Let n = y - 4. Let b = 3 + n. Which is smaller: b or 2/11?
2/11
Suppose 0 = y + y + 12. Let u be -4 + y + (-4)/1. Is -13 < u?
False
Let w = 726 - 724. Let g = 0.4 - -1.6. Let k = g - 1. Which is smaller: k or w?
k
Let x(h) = h**3 - 4*h**2 + h + 4. Let d = -5 + 8. Let j = 6 - d. Let t be x(j). Which is bigger: -5/2 or t?
t
Let y = 22 + -69. Which is smaller: y or -48?
-48
Let d(b) = 3*b - 8. Let m(i) = -16*i + 39. Let c(q) = 11*d(q) + 2*m(q). Let o be c(11). Is 1 not equal to o?
False
Suppose -4*k = 2*i + 12, 0 + 3 = -3*i - k. Let n = 2551/17 + -150. Is n smaller than i?
False
Let v = 1 + -1. Let a be v/2 + 8 - 2. Let y be 15/a + (-1)/2. Is 2 less than y?
False
Let s be (3 + 16/(-6))/(-1). Are -1 and s equal?
False
Let o = -864 - -4379/5. Let w = o - 12. Is w < 1?
True
Let f = 0 + 0. Suppose -2*d + 3*i - 18 = 2*d, 4*d - 4*i + 20 = 0. Let u be (d + 3)*(-2)/4. Is u at least as big as f?
True
Suppose 0 = 3*w - 2*w - 24. Suppose 2*o = 4*q + 18, -4*o + w = -6*q + 2*q. Let u = -1 + q. Which is bigger: -3 or u?
-3
Suppose v + 19 + 3 = 0. Let l be v/6 - 10/(-15). Suppose -2*j = 2*q + 16, -5*j - 30 = 4*q + 5. Are l and j equal?
True
Let b be 3/6*(-82730)/(-125). Let t = 1 + -332. Let l = b + t. Which is bigger: l or 0?
0
Suppose -d = -2*d + 8. Let v(z) = z**3 - 7*z**2 - 7*z - 7. Let n be v(d). Let o be 3/6*-2*n. Is o bigger than -1?
False
Let c = 12.1 + -14. Let j = 2 + c. Let t be ((-2)/28)/((-2)/8). Which is greater: j or t?
t
Suppose -35 = 3*o + 19. Let u = -20 - o. Is u greater than -2?
False
Let z = -16.1 - -14. Let s = z + 0.1. Let f = -0.1 - 0.1. Are f and s non-equal?
True
Let p be 2 + 6/((-36)/(-10)). Which is greater: 5 or p?
5
Let y be 8/24*(-6)/(-4). Which is greater: y or 1/20?
y
Let s be (-6)/(-12)*(-4)/6. Let i = 74 + -149/2. Which is smaller: s or i?
i
Let n(w) = -4*w - 28. Let x be n(-8). Which is bigger: 15/4 or x?
x
Let p be (8/(-32))/((-1)/(-2)). Are 2/9 and p nonequal?
True
Suppose -x + 12 = n, -x + 78 = 5*n - 5*x. Is 14 at most n?
True
Let u = 5.6 + -7.5. Is u <= -0.1?
True
Suppose -3*x - 21 + 0 = 2*t, 5*t + 33 = -x. Let y be (9/(-30))/(t/(-8)). Which is smaller: y or 1?
y
Let o be 0/1*10/(-20). Which is smaller: o or 2/21?
o
Let l = -0.5 + -2.5. Let k = 3 + l. Let a = -8.8 - -9. Is a >= k?
True
Let o be (-34)/10 + (-16)/(-40) + 5. Which is greater: 8 or o?
8
Let z be 15/40*-4*2/6. Which is greater: z or 6?
6
Let r be (24/15)/(2/95). Let p be 9/(-3) + r/24. Which is greater: p or -1/5?
p
Suppose -3*z + 1 = 3*r + 4, -5*r - 5 = z. Let j be (-1)/(-2)*(1 - z). Let a(t) = t + 5. Let h be a(-4). Which is bigger: j or h?
h
Let z(l) = l**3 + 6*l**2 - 8*l + 2. Let w be z(-7). Let a be 11/(-12) - (-6)/w. Which is smaller: a or 0?
a
Let i be (1 - 2)/(3 + -4)*2. Which is bigger: i or 2/7?
i
Let z be (-8)/550*(-5)/2. Which is smaller: 1 or z?
z
Let a(y) be the second derivative of y**4/12 + y**3/3 + 9*y**2/2 + 6*y. Let h be a(0). Which is greater: h or 10?
10
Let a(s) = s**3 - 15*s**2 + 2*s - 36. Let q be a(15). Which is smaller: q or -1?
q
Let s = -6.9 + -0.1. Let m = s - -13. Do 0 and m have different values?
True
Suppose 17*q - 15*q - 2 = 0. Which is bigger: 4/117 or q?
q
Let w = -0.6 - -1.7. Let x = w + 1.9. Is 1 > x?
False
Suppose 2*b - 8 = 0, -b - 34 = 3*r - 11. Let m be (-25)/9 - (-2)/r. Is m at least as big as -3?
True
Let u = 9 + -8.3. Let c = u - -0.3. Are c and 2/13 nonequal?
True
Let q be (-2)/(-3*(-2)/81*-3). Are q and 7 nonequal?
True
Let j(n) be the third derivative of n**5/60 - n**4/6 + 2*n**3/3 + 3*n**2. Let w be j(3). Is w greater than 3?
False
Let u(f) = f**2 + 10*f - 25. Let c be u(-10). Is -25 equal to c?
True
Suppose i + 2 = 2*i. Let w = i - -1. Is 7/2 less than or equal to w?
False
Suppose -9*h = h - 260. Which is bigger: h or 25?
h
Suppose -3*y = -4*q - 15, -2*q = -0*q + 2*y - 10. Suppose q*g = g + 1. Are g and -1 equal?
True
Let r(q) = q**2 + 4*q + 4. Let m be r(-3). Are m and 1 non-equal?
False
Suppose 0 = -5*f - 3 + 8. Let t be 3/(((-30)/(-16))/f). Suppose 26 = 2*s + 4*z, 3*s + 0 = 2*z - 1. Which is smaller: t or s?
t
Let w(i) be the third derivative of -i**4/24 - 7*i**3/6 - 2*i**2. Let y be w(-7). Suppose y = -5*q + 10, -p + q + 2*q = 3. Is p at least as big as 4?
False
Suppose 4*k + 2 = 2*k. Suppose 5*x = 2*x. Suppose -2*g + 3*i - 4 = x, 5*i - 5 - 2 = 3*g. Which is smaller: k or g?
k
Let b = -95/63 + 9/7. Let u = -240 - -239.6. Is u less than b?
True
Let z(f) = f - 3. Let x be z(5). Let b = 8 - 4. Suppose -b*a + 6*a = -x. Which is smaller: a or -1/4?
a
Suppose 0 = -m - 8 + 7. Is m less than or equal to 2/17?
True
Suppose -6*s + 5*s = 0. Do -1/5 and s have the same value?
False
Let t = 7 - 5. Let d = t + -3. Which is greater: -0.2 or d?
-0.2
Suppose d + 1 - 2 = 0. Suppose -5*r + 6 = -2*r - 3*c, 0 = 4*r + c - 23. Suppose p + 4*m = -2*p + 3, -r*p + 5 = 5*m. Is d < p?
False
Suppose 0*f - 5*k = -f + 15, -2*f + 35 = -5*k. Let q = -32 + f. Let d be 2/4 + 30/q. Which is greater: d or 0?
0
Suppose 0 = -g - 5*n - 31, -5*g + n = -4*n + 5. Let k be (((-10)/(-1))/(-5))/((-4)/(-14)). Let z = k - g. Is 0 at most as big as z?
False
Let z = -1 + 1.2. Let l be 27/(-15) + (-6)/30. Is z < l?
False
Let r = 256/5 - 51. Which is smaller: r or 0.04?
0.04
Let b = -16 + 15. Let u be (-6)/15 - 2/(-80). Let c = u + 17/24. Which is greater: c or b?
c
Suppose -r - r = -2*m - 6, -3*m - 10 = -4*r. Suppose -13*c + 4*c + 27 = 0. Which is greater: c or r?
c
Suppose -a = 4*d + 3, 4*d + 4*a = 12 - 0. Which is smaller: -7 or d?
-7
Suppose 4 = 5*o - 6. Suppose 1 + 7 = o*w. Which is greater: w or 5?
5
Let g be -1*3*(-2 + 1). Suppose 0 = -g*b - b - 8. Is b smaller than 7?
True
Let w = -68/265 + 3/53. Let a = 1.3 + -1.2. Which is smaller: w or a?
w
Let o be ((-2)/4)/(18/4). Let s = -0.2 + 0.7. Let k = s + -0.4. Which is greater: o or k?
k
Let c be ((-6)/8)/((-165)/(-40)). Which is greater: -1 or c?
c
Let v = 10 - 11. Which is bigger: v or -2?
v
Let m = 6 + -7. Which is smaller: -0.14 or m?
m
Let f(j) be the third derivative of -j**6/720 + j**5/40 - j**4/24 + 3*j**2. Let r(n) be the second derivative of f(n). Let o be r(4). Is o >= -1?
True
Let o = -23 + 22. Which is smaller: o or -2/53?
o
Let h(d) = -d**3 - 6*d**2 - 4*d + 5. Let z be h(-5). Let p be 1*(8/(-1) - 1). Let b be (-3)/1*(-2)/p. Is z at most b?
False
Let t = -15 + 7. Let r be (10/(-8))/((-2)/t). Let f = r - -5. Which is bigger: 1/7 or f?
1/7
Let n be 1 + 1/((-2)/3). Let u = 5 + -4. Is n greater than u?
False
Let z be (-6)/(-27) + (-212)/(-99) + 0. Which is greater: 2 or z?
z
Suppose 5*r + 143 = -8*r. Which is smaller: -8 or r?
r
Suppose 0 = 4*j + 29 + 7. Let r = j + 2. Which is smaller: r or -8?
-8
Let g(y) = -3*y**3 + 3*y**2 + 3. Let v(k) = -k**3 + k**2 + 1. Let b(p) = 2*g(p) - 5*v(p). Let s = -3 - -5. Let w be b(s). Which is bigger: -5/2 or w?
-5/2