-4. Let j = k - 6. Suppose -3*s + 30 = -2*f, 2*f = -0*s - 3*s + 18. Which is smaller: j or s?
j
Let r = -2 + 13. Suppose 7*p - r*p - 88 = 0. Do -23 and p have different values?
True
Let q = -49 + 33. Which is smaller: -17 or q?
-17
Suppose 25 = -5*n, 6*x - 2*x + n + 13 = 0. Which is bigger: x or -6?
x
Suppose -17*t - 15 = -12*t. Is t > -2?
False
Let y = -38 - -16. Is y greater than -22?
False
Let u = -55 - -55. Which is bigger: u or -0.6?
u
Suppose -5*r + 28 = 3*n, -2*n - 2 - 6 = 0. Suppose x + r = 3*f - 7, -5*f + 25 = -5*x. Which is smaller: -0.2 or x?
-0.2
Let x(a) = -11*a**2 + 1. Let g be -2 + (-6)/4*-2. Let u be x(g). Let w be (-10)/25 + (-9)/u. Is 1/2 <= w?
True
Let s = -2.2 + 1.2. Let b(q) = -q**2 + q. Let w be (2/2 - 1)/(-2). Let y be b(w). Which is greater: y or s?
y
Let m = -727/210 + -4/105. Do -5 and m have different values?
True
Suppose -4*a = -f + 3*f + 126, -2*f = -5*a + 117. Is f equal to -62?
False
Suppose 5*h - 12 = 18. Which is greater: h or 0?
h
Let j = 29 - 22. Is 7 bigger than j?
False
Let b(s) be the third derivative of s**6/20 + s**5/60 + s**4/24 + s**3/6 + 3*s**2. Let w be b(-1). Which is smaller: -3 or w?
w
Let h(q) = -2*q + 8. Let x be -1 + (-2)/((-4)/14). Let i be h(x). Which is smaller: i or -5?
-5
Let w(v) = -v**3 + 3*v**2 + v - 3. Let f be w(3). Which is smaller: 1/29 or f?
f
Let m = 2975/6 - 855/2. Suppose 2*v + 153 = -5*n, -2*v - 3*n = -n + 144. Let i = m + v. Which is greater: i or 1/4?
1/4
Let v = 0.3 - 0.1. Suppose -2*s = -4*s - 4. Let d be -2*1 - 0/s. Are v and d unequal?
True
Let a = -2/9 + 5/9. Is -1 at least a?
False
Let y = -14 - -20. Let c = y + -4. Is 4/11 > c?
False
Let w(k) = -k**3 + 2*k**2 + 4*k - 1. Let i = -6 + 9. Let c be w(i). Let n be c/(-5) - (-112)/230. Which is greater: -1 or n?
n
Let v be (-6)/(-9) + 8/(-3). Let q be 2/(-4) - v/4. Let p = q - -3. Which is bigger: p or 2?
p
Let f be (-15)/(-1)*(-8)/(-3). Suppose 0 = 5*d - f - 70. Let o be (-1 + 5)*1/d. Which is smaller: 0 or o?
0
Let d(m) = 7*m + 2. Let o be d(-2). Let h = 18 + o. Suppose -2*j + 2 = 2*k, k - 4*j + 3 = -h. Is -3/2 at least as big as k?
False
Suppose 0 = -3*g - 2*l - 29 - 401, -g = 4*l + 130. Is -147 <= g?
True
Let s(h) = h**3 - 2*h**2 - 2*h + 1. Let x be s(3). Suppose -5*q - a - 3 = 0, 2*q - 12 = 5*q + x*a. Suppose -7*b + 10 = -2*b. Which is smaller: q or b?
q
Let c be (-1)/78*(-52)/(-13). Suppose -9 = -5*t + 2*k, 4 = -6*t + 2*t - 4*k. Which is smaller: t or c?
c
Let x = 39 - 47. Is -8 bigger than x?
False
Let f be ((-78)/30)/(68/(-10)). Let j = -2/17 - f. Is j >= 2/13?
False
Suppose -l - 4 = l. Let z be (l/5)/(-5 + 4). Let b be 0/(2*(-1 - 0)). Which is smaller: b or z?
b
Suppose -64 = b + 3*b. Is b at most -15?
True
Let z = 0 - 2. Let t be 0*1/z + -3. Let j be (184/115)/(2/(-5)). Which is greater: t or j?
t
Let r = -21 - -19. Which is greater: -1/6 or r?
-1/6
Let x = -7 + 5. Let b = -2 - x. Is b greater than or equal to 0?
True
Let y = 48 + -29. Suppose -6*k + 2*k + 5*f = y, -6 = -2*f. Which is smaller: -2 or k?
-2
Let d = -9 + 8.76. Let s = d - -0.3. Is 0 greater than s?
False
Let a(h) = h**3 - 1. Let j be a(1). Let k be (-2)/8 + 168/(-352). Which is smaller: j or k?
k
Suppose 0 = 4*j - 30 + 6. Is j greater than 8?
False
Let i(n) = n**3 + 5*n**2 + 3*n + 6. Let o be i(-4). Let c be (o/325)/(1/5). Which is smaller: -1 or c?
-1
Let g be (-3 + 1)/(-1 + 3). Let f be (-2)/7 + (-24)/(-35). Which is greater: f or g?
f
Let j = -0.7 + 1. Let s = 0.21 + -12.31. Let n = -12 - s. Which is smaller: n or j?
n
Let z be -3 - (-2 - 3)/1. Is z > -0.1?
True
Suppose 0 = -17*m - 3 - 31. Which is smaller: m or -3?
-3
Let o(w) = -w - 7. Let q be o(-11). Suppose -r + 3 - 24 = 0. Let x be 4/r*6/q. Which is smaller: 1 or x?
x
Let d be 721/1498 + (-3)/6. Which is greater: 1 or d?
1
Suppose 2*d + 2*y = -6, d + 2*y - 6*y = 12. Let f = 4618/33 - 140. Is f less than d?
True
Let b = -8 + 13. Suppose -b*j + 9 = 34. Which is greater: -6 or j?
j
Let q be (-54)/(-7) + 6/21. Suppose -4 + 13 = -3*f, 0 = 2*n + 4*f + q. Suppose 2*a - n*v = -4, 5*v = 5*a + 2*v + 2. Is a greater than or equal to 2?
True
Let h = -2886/258955 + 4/773. Which is bigger: 1 or h?
1
Let n be (-2)/6*12/(-7). Let s be (1/(-3))/((-1)/15). Suppose s*h - 2*h - 3 = 0. Are n and h non-equal?
True
Let f = -0.4 - 0.1. Let u = 3.5 + f. Which is smaller: -2 or u?
-2
Let h = 8.8 + -9. Let g = h + 0.18. Which is bigger: -0.1 or g?
g
Let r(c) = 8 - c + 1 - 1. Let i be r(6). Do i and 2 have different values?
False
Let f(d) be the third derivative of d**5/60 + d**4/3 + d**3/2 - 3*d**2. Let z be f(-7). Is -4 bigger than z?
False
Suppose 0 = -2*h + 7*h + 645. Let l = h - -521/4. Which is smaller: 0 or l?
0
Let p be 3 + 8/(-12) - 2. Is p < 0.02?
False
Let f be (-70)/(-15) + 3/9. Suppose f*j = 4 - 44. Is -9 <= j?
True
Let l = 0 + 0. Suppose 3*b = 4*b - 5*f - 5, -5*f = -3*b + 15. Let s be ((-1)/(-3))/(b/(-15)). Which is smaller: l or s?
s
Suppose 2 = -4*r + 6. Let p be 2 + r + -1 - 2. Is p equal to -2/5?
False
Let b = 3 + -5. Let o = -662/5 + 132. Which is smaller: o or b?
b
Let u(r) = -2*r + 2. Let s be u(-2). Let d = s + -3. Suppose v - 5 = 4*j, d*v - 15 = -3*j - 0. Which is smaller: j or 1?
j
Suppose -2*r - 1 - 5 = 0. Let q be (-4 + r + 6)*-1. Is q smaller than 2?
True
Let u(p) = p**3 + p**2 + p - 3. Let l be u(0). Suppose m - 1 = 11. Suppose 4*y + 15 = -3*d, y = 2*d + m - 2. Which is bigger: l or d?
l
Let c = 1353/7 - 193. Let m = 4 + -2. Suppose 0 = u - p + m, 4*p = p + 3. Which is smaller: c or u?
u
Let q be ((-49)/(-14))/((-3)/(-9)). Which is smaller: 12 or q?
q
Suppose -g + 24 = l, -4*l + 6*l - g = 39. Suppose -5*z - o - 4 = 8, 2*z - 5*o = -l. Is z equal to -3?
True
Suppose i + 8 - 21 = 2*u, -3*u + 13 = 5*i. Which is bigger: i or -4?
i
Let r be (-5)/(-12) - 1/1. Let s = r - -1/4. Suppose 3*a - 4*d + 20 = 0, 0 = -4*a - 4*d + 9 + 11. Is a equal to s?
False
Let g(z) = -z**3 + 4*z**2 + 6*z - 3. Let d be g(5). Suppose 0 = -b + 7 + d. Let i be 0/1 - 6/b. Which is smaller: 0 or i?
i
Suppose 2*b + 4 = -4. Let v be 2 + -4 + 1 + b. Let r = v + 7. Which is bigger: r or 1?
r
Let m = -22 + 16. Let b = m - -11/2. Is b greater than or equal to -2?
True
Suppose -h = -5*h - 5*y + 518, 0 = 5*h - 3*y - 629. Let u = h - 377/3. Which is bigger: 2 or u?
2
Let f = 2 + -2. Let n = -28177/5 + 5578. Let t = -57 - n. Is t not equal to f?
True
Let x be (-1)/((-4)/(-8)*-1). Suppose -4*j - 6 = -5*u - 0, j - x*u = -3. Let d be (-2)/(-20)*(-30)/(-4). Is j equal to d?
False
Let t be 4 + (2/4 - 0 - 4). Let c = -0.18 + 7.18. Let l = 3 - c. Is l bigger than t?
False
Let l(q) = q + 10. Let y(z) = z**3 + 11*z**2 - 11*z + 5. Let w be y(-12). Let s be l(w). Suppose 4*d + 40 = 4*t, 6*t + 10 = s*t - 5*d. Is t less than 4?
False
Let r be (-5)/(5/4) - -6. Suppose 3*x - 18 = -6. Is x < r?
False
Suppose -4*z - 2 = 2. Suppose b = -4*i - b + 16, -i - 5*b = -4. Let q be (((-2)/(-1))/i)/(-1). Which is smaller: q or z?
z
Let o = 9 + -7. Let q = -5 - -4.7. Let a = -0.3 - q. Is o smaller than a?
False
Let t be 5*2/(-2 - 0). Suppose 2*h - 2*c + 2 = 0, -4*h = -6*h + 4*c + 6. Let b = h - t. Does -1 = b?
False
Let b(r) = 4*r - 9. Let d be b(6). Which is greater: -0.1 or d?
d
Let r(c) = 10*c. Let x be r(1). Suppose 0*d + 5*d = x. Which is greater: d or 3?
3
Let a be (-12)/30*5/11. Which is smaller: a or 0?
a
Let a = -68 - -67. Which is greater: a or 3/40?
3/40
Let d(l) be the third derivative of -1/30*l**5 + 0 + 1/120*l**6 + 3*l**2 - 1/24*l**4 + 1/3*l**3 + 0*l. Let b be d(2). Which is smaller: 1/9 or b?
b
Let w = -76 + 81.3. Let v = -0.7 - w. Which is greater: v or -0.1?
-0.1
Let y be (10/(-4))/(15/(-6)). Which is smaller: -1/7 or y?
-1/7
Let z = -33 + 38. Is -0.1 != z?
True
Let n(t) = t + 8. Let j be n(-7). Let i(m) = -m**3 - 2*m**2 + 3*m - 4. Let u be i(-3). Let z be -6*((-8)/(-21))/u. Which is smaller: z or j?
z
Suppose -5*b + 6 = -3*p, -4*p = -3*p - b. Suppose 2*r = -2*x - x + 17, 0 = -5*x + 4*r - 1. Are p and x equal?
True
Let l be ((-1)/((-3)/68106))/(-5). Let y = l - -4641. Let h = 101 - y. Which is bigger: h or 0?
h
Let z = 31/7 - 67/14. Is 1 at most z?
False
Let k = 91/36 + -19/9. Is 0 != k?
True
Suppose -4*z - 28 = -6*z. Are z and 7 unequal?
True
Let u be 4/(-15)*1/4. Which is smaller: 0 or u?
u
Let q = -6.9 + 8.9. Let f = -0.2 + 0.3. Let g = -