5). Suppose -q*b - 4*h = -0*b - 16, 0 = 3*h - 12. Is b greater than 3/5?
False
Let x = -33 - -30. Is x at least as big as -4?
True
Let b(h) = h**3 + 6*h**2 + h - 3. Let v be b(-3). Let p = v - 30. Are -9 and p nonequal?
False
Let r be (-2)/(-54)*(4 + 11). Which is smaller: 0 or r?
0
Let a = -47 + 233/5. Let m = 3 + 5. Suppose -2*l - 2*s - m = -4*s, -8 = -3*l - 2*s. Which is bigger: l or a?
l
Let p = 11 + -11. Is p < 2?
True
Let k(l) = l**2 + 2*l - 1. Let g be k(-3). Suppose -4*p - 10 - g = 5*u, 2*p + 6 = -2*u. Let a(x) = -x**2 - 3*x - 2. Let b be a(-2). Are b and u nonequal?
False
Let v = -0.28 + 0.13. Let y = v - -0.35. Let g(b) = -b**2 + 2*b + 2. Let o be g(2). Is o at least as big as y?
True
Suppose -4*a + 20 = 4*j, 3 = -4*a + 4*j + 15. Suppose 14 + 11 = -5*u. Let d = a + u. Which is smaller: 0 or d?
d
Let x = 1 - 1.3. Let a = 1 - 3. Let h = a - -4. Which is smaller: x or h?
x
Suppose 4*q + 13 - 1 = 0. Let n(i) = -i**2 - 4*i - 2. Let t be n(q). Are 2 and t equal?
False
Let o be (-40)/(-30) + (0 - 1). Let r = -3.92 + -0.08. Is r greater than o?
False
Suppose 1 - 19 = -3*k. Let y be 1/(k/4)*3. Is y greater than -1?
True
Suppose 30 = q - 4*q. Let f be (-2)/5 + (-6)/q. Is -1/2 > f?
False
Suppose -4*b = -3*d + 5*d + 16, 6 = b - 2*d. Suppose s = -s - 4. Is b greater than or equal to s?
True
Let h = 53 - 53. Which is smaller: -2/47 or h?
-2/47
Let u = -0.3 - -0.3. Let d = u + -0.1. Let x = d - -0.2. Which is bigger: x or -0.3?
x
Let q = -8 - -2. Let x = q + 5. Is x equal to -0.1?
False
Let v = -0.2 - 0. Let s = 4 - 1. Which is smaller: v or s?
v
Let v = 6695 - 515505/77. Let t = 8/11 + v. Let h = t + -11/21. Is h bigger than -1?
True
Let o be 2/(19/5 + -3). Let v = 3 - o. Let q be (-1)/(-4) - (-14)/8. Which is bigger: v or q?
q
Suppose -p = -6*p - 90. Let k be p/14 - (-6)/6. Which is smaller: -0.01 or k?
k
Let f(s) be the first derivative of -s**2/2 - s - 12. Suppose 5 = -4*k - k. Let q be f(k). Is -1/12 at least as big as q?
False
Suppose -2*i + 6 - 4 = -2*w, 0 = 3*i - 2*w - 2. Suppose -3*s = 4*g - 4 - i, 0 = 4*g + 20. Let q be 6/s - (-168)/32. Which is bigger: 5 or q?
q
Suppose 4*n = -12 - 0. Let l be 1/n*0 - -2. Which is smaller: 1 or l?
1
Suppose -k + 36 = -0*k. Let t be k/20 + -2 + 0. Suppose 0 = 5*o - m, 2*m = -2*m. Is o greater than t?
True
Let s(z) = 5*z - 4. Let o be s(6). Suppose 0 = -3*w + h - 8, w = -0*w + 5*h - o. Which is bigger: -2/3 or w?
-2/3
Let s = -235/4 - -59. Is s <= -0.03?
False
Suppose -3 - 1 = -2*w. Suppose -2*s = w - 10. Suppose 2*l + 0*l = s. Is l at most -2?
False
Let v = 13 + -10. Suppose 0 = 2*z + v*z. Let i = -111 - -553/5. Which is smaller: z or i?
i
Suppose 11 = 2*g + 1. Suppose -39 = -g*w - 14. Suppose -w - 1 = -2*i. Which is smaller: 4 or i?
i
Let q = 6 - 0. Let x = 6 - q. Let p = 2 + x. Which is smaller: 0 or p?
0
Let q(n) = -n**2 + n + 5. Let u be q(0). Suppose 0 = -u*c + 3*c. Let z = 6/29 - 134/87. Is c bigger than z?
True
Suppose 0 = -y - z + 2, -7 = -4*y - 4*z + z. Which is bigger: 0 or y?
y
Suppose 15 = 4*q - w - 2*w, -4*q = 4*w - 8. Let d = 4 - 0. Suppose -6 = 5*x - d*j, 2*x + 3*j - 16 + 0 = 0. Is x at least as big as q?
False
Let p(q) = 2*q**2 + 5*q + 4. Let g be p(-2). Which is smaller: g or 1?
1
Let u(w) = w**2 - 9*w + 6. Let l be u(7). Let y = -6 - l. Suppose 0 = 2*d - 6*d + 16. Are d and y equal?
False
Let g be (15 + -18)*(-2)/250. Are g and 0 equal?
False
Let q be 10/3 - 1/3. Let c be 2/4 - (-301)/14. Let o be (2/3)/(c/99). Is q not equal to o?
False
Let s = -7 - -5. Let v be (-21)/(-7)*s/(-3). Is v bigger than 2?
False
Suppose -n - 4*s = 12, 3*n - 2*s + 82 = -2*n. Let u = -74 - -58. Is u >= n?
True
Let o = -18 - -28. Suppose -5 = r - 2*r. Suppose o = -2*j - 0*j - 2*v, -r*j = -2*v - 3. Which is bigger: -4/13 or j?
-4/13
Let m = 25 + -25. Which is greater: -7/5 or m?
m
Suppose 0 = -4*w + 5 - 17. Let j = 7 + w. Which is smaller: 3 or j?
3
Let x be 2/(-14) - 15*10/(-315). Is x at least -0.06?
True
Suppose 0 = -5*c + 3*v + 79, 2*v + 59 = 4*c + v. Let q be 1/2 + (-11)/c. Is q less than or equal to -1?
False
Suppose -5*h + 2*h - 6 = 0. Let b = 2.2 - 2. Let m = -0.3 + b. Are h and m nonequal?
True
Let d(v) = v**3 + 3*v**2 - 3*v + 1. Let b be d(-4). Let c = 2 + b. Which is greater: 1/4 or c?
1/4
Let i = -18 + 13. Let b(w) be the third derivative of -w**5/60 - 7*w**4/24 - w**3 - w**2. Let g be b(i). Which is greater: 5 or g?
5
Let d(a) = -5*a - 4. Let t(o) = -11*o - 9. Let z(j) = 9*d(j) - 4*t(j). Let s be z(-4). Which is smaller: s or 5?
s
Let f be -4 + 86/(-4)*4. Which is smaller: f or -89?
f
Let n = 120/7 - 17. Is 1 != n?
True
Let i = 33 - 33. Which is smaller: i or -4/3?
-4/3
Let h = 0.41 + -0.51. Is 32 smaller than h?
False
Let x = 1.7 - -0.3. Let y = -2 + 3. Is y smaller than x?
True
Let j = 35.7 - 32. Let x = -0.41 + -3.59. Let n = x + j. Is n at most as big as 0?
True
Suppose 5*q + 18 = 13. Is 1/5 >= q?
True
Let g be 1*1/5 + -2. Suppose 5*b + b + 18 = 0. Which is greater: b or g?
g
Let t = -63 - -64. Which is smaller: 2/33 or t?
2/33
Let h = -0.2 - 0.2. Let j = -0.4 - h. Which is bigger: 0.3 or j?
0.3
Let c(t) = 2*t**3 - 2*t**2 + 2*t + 3. Let b be c(-1). Is b less than -1?
True
Let s = -3/3839 - 203440/34551. Let q = 418/69 + -9/23. Let k = s + q. Which is smaller: k or 1?
k
Let w(p) = p - 3. Let h be w(3). Let o = h - -2. Which is smaller: o or 0?
0
Let l(i) = i**3 + 7*i**2 - 9*i + 2. Let s be l(-8). Is s equal to 9?
False
Suppose -2*j + 2 = -2. Suppose j*v = -0*v. Let i be 0/(-4) + 12/10. Which is bigger: v or i?
i
Let x(v) = v**2 - 4. Let m be x(-3). Suppose -m*n - 3*l = 4, -4*n - 3 = -2*l - 13. Let d = n - -2. Are 3 and d nonequal?
False
Let s be (-4)/(-10) - (-64)/(-10). Suppose 2*w = -7 + 3. Let u be 0/(s/(w + 4)). Which is greater: u or -2/7?
u
Suppose 0*w - w = 0. Suppose 14 = -w*f + f. Let t be (-10)/f - -2 - 1. Which is smaller: 1 or t?
t
Suppose 6*f + 5*k - 110 = 3*f, 2*f - 76 = -2*k. Which is smaller: f or 39?
39
Let y = -0.2 + -0.8. Let m = 38 - 40.1. Let j = -1.1 - m. Which is smaller: y or j?
y
Let z = 136 + -135. Is 2/509 equal to z?
False
Suppose -2*k + 4*a + 12 = 3*k, 5*a = -5*k + 30. Which is smaller: 3 or k?
3
Suppose 4*k = 3*c + 21, -5*k + 15 + 0 = 0. Let r = -3 + 8. Suppose r - 1 = -4*o - 2*g, 6 = -o + 2*g. Which is smaller: o or c?
c
Suppose 2*s + 4 = -0*s. Let x be s*(-6)/8 + -2. Which is bigger: x or -2?
x
Let o = 72 - 72. Let w(m) = m**3 - 6*m**2 - 2*m + 9. Let k be w(6). Which is greater: o or k?
o
Let c be (4/5)/((-1001)/(-55)). Which is greater: c or 0?
c
Let s(m) = -m**3 + 4*m**2 - 1. Let t be s(4). Which is smaller: 0 or t?
t
Let u be 5 - 3 - 1*-2. Suppose 4*z - 3*f - 3 - 2 = 0, 0 = 4*z - 5*f - 3. Let m = z - -3. Does u = m?
False
Let h = 5.1 + 0.9. Which is smaller: 1 or h?
1
Suppose -6 = -5*g - 1. Let j be (g/(-6))/(3/6). Let w be 3/(-9)*(-9)/6. Which is bigger: w or j?
w
Let m = 7125 - 2116123/297. Does 1 = m?
False
Suppose 3 = 3*k - 3. Let v be (k*2/4)/2. Which is greater: 1 or v?
1
Suppose -j + 32 = 5*k, 5*k = 2*j + 4*k - 20. Does j = 12?
True
Let t = 46 - -8. Let j = t - 54.21. Let r = j - 0.09. Do 2 and r have the same value?
False
Suppose -2*r = 7 + 13. Which is smaller: r or -8?
r
Let g(i) = i**3 - 2*i**2 - 5*i + 4. Let t be g(3). Let j = -2 - t. Let b = -83/14 + 11/2. Which is smaller: b or j?
b
Let y = -2.3 + 2. Let g(z) = -3*z**2 - 3*z - 2*z + 8 + 2*z**2 - 3*z. Let b be g(-9). Is b < y?
True
Let j = -1.3 + 0.3. Let v = -2.36 + 0.06. Let x = 2.7 + v. Which is smaller: x or j?
j
Let s(p) be the second derivative of p**3/6 - 3*p**2/2 - p. Let w be s(3). Do 2/9 and w have different values?
True
Let u be (-4)/15 + 2/(-5). Let r = -13 - -9. Which is greater: u or r?
u
Suppose 0 = 6*o - o - 15. Suppose -o*i - 6 = -i. Which is smaller: i or -2?
i
Let w be (2*-1)/((-6)/12). Suppose -b + 25 = w*b. Suppose -b*p + j = 9, 0 = 3*p - 7*j + 3*j + 2. Which is smaller: -1 or p?
p
Let l = -271094573402696/6715 + 40371492614. Let w = l - -18/1343. Let t = 74 + w. Which is smaller: -3 or t?
-3
Let b = 25 - 19. Is b less than or equal to 24/5?
False
Let d = 2/4309 + 30007/336102. Let m = 2/39 - d. Is m != 1?
True
Let k be (6/(2/2))/((-4)/8). Is -98/9 greater than or equal to k?
True
Let y be 87*3/((-66)/4). Let q = -2588/165 - y. Is 0 at least as big as q?
False
Let o = 1 + -1