 Are 0 and q equal?
False
Let w = 6623/36 - 184. Let p = 2/9 - w. Let f be (4/(-8))/((-2)/(-4)). Which is greater: f or p?
p
Suppose 5 - 3 = m, 0 = -3*u - 3*m - 36. Let z = u - -20. Suppose -2*w - 3 = -w + q, -3*w + 5*q = -15. Is w > z?
False
Let k be (1 - 6)/(-10) + 38/(-4). Is k less than -8?
True
Suppose 5*a + 4*m - 2 = 0, -4*a + 4*m + 14 = -a. Suppose a*u - 6 = 8. Which is bigger: 5 or u?
u
Let r = 54559/63 + -866. Is r at least as big as 0.2?
False
Let c(g) be the second derivative of -g**5/20 - g**2/2 + 5*g. Let k(n) = n + 2. Let d be k(-3). Let l be c(d). Is l != -2/7?
True
Suppose 4*p = 5*r - 41, -2*p = 5*r - 0*r + 13. Let s be 3*-5*6/p. Let f be 6/s + 6/(-15). Which is bigger: f or -1?
f
Let l be (4/8)/(4/40). Do l and 5 have the same value?
True
Let u = -6 - -9. Suppose -l + 10 = -0*l. Suppose -4*z - z = -s - l, -4*s = 20. Which is smaller: z or u?
z
Let z(b) = -b**2 - 2*b + 3. Let y be z(-3). Suppose -u + y*u = -3. Let i = -283 - -286. Is u > i?
False
Let o be 0/(5/((-10)/4)). Suppose t = -t + f - 27, 2*t - 4*f + 30 = o. Which is smaller: -14 or t?
-14
Let h(s) = s**2 - s. Suppose -5*p = -5*x - 15, 4*p - p = 2*x + 10. Let g be h(x). Is g bigger than 1?
False
Suppose 3*s + 14 = 8. Which is smaller: s or -9/5?
s
Let k be (-32)/(-35) + 2/7. Let h = -83 + 83. Is h at most as big as k?
True
Suppose 5*n - 15 = j, -3*j = -j + 3*n - 9. Suppose j = -4*c - c + 15. Suppose u + c*u = 0. Is 0.3 greater than or equal to u?
True
Let w = -3 + 2.91. Suppose -4*x + 0*x = -4*h + 8, 6 = -2*x + 3*h. Is w at most as big as x?
True
Let o be 104/(-6)*(-1)/(-4). Let w(v) = 35*v + 346. Let h be w(-10). Which is bigger: o or h?
h
Suppose 4*j + 4 = -0*j. Which is smaller: -2/81 or j?
j
Let z be 1/(15/(-2) + 5). Let p be 6/(-14)*8/(-6). Is z < p?
True
Let w = 557/220 - -3/44. Is 0 at most as big as w?
True
Let c = 39 + -289/7. Let s = c - -41/21. Are -0.2 and s unequal?
True
Let v(k) = -k**3 - 3*k**2 - 4*k - 2. Let w be v(-3). Let a be 0 + 0 - (-5 - -1). Suppose -a*x + w = x. Are x and 0 non-equal?
True
Let m = 15 + -11. Let v = m - 3.9. Are v and 4 unequal?
True
Suppose 4*u + 1 = -4*a + 17, -10 = -5*a - 3*u. Let n = -290 + -24. Let y = -2822/9 - n. Which is greater: a or y?
y
Let z be (-28)/(-12) + 2/(-6). Let h be z + -1 - (-51)/(-49). Which is smaller: -1 or h?
-1
Let z = 2.02 - 0.02. Let y = 0.02 + 0.08. Which is greater: z or y?
z
Let p be -8 + 5 + 2*1. Let f be (-7)/(-2 - -2 - p). Which is greater: 0 or f?
0
Let i = -1.1 - -0.8. Which is greater: i or -2?
i
Let l = -5821/5 - -1160. Which is bigger: -5 or l?
l
Suppose 4*x = -n + 172, 129 = 3*x - 4*n - 0*n. Is x not equal to 43?
False
Let q be 150/36 - (-1)/(-6). Let a(p) = -q - 1 + 4 + 2*p. Let j be a(1). Is 1/5 at most j?
True
Let d(w) be the first derivative of w**3/3 - 3*w**2 - 10*w + 3. Let q(p) = 2*p - 3. Let n be q(5). Let s be d(n). Do -4 and s have the same value?
False
Suppose -5*l + 8 = -7. Let b be 75/(-24) + 0 + l. Do 1 and b have different values?
True
Let o(x) = -5*x**2 + 1 + 0*x + 4 - x**3 - 3*x. Let c be o(-4). Which is smaller: -3 or c?
-3
Let r = 86 + -98. Is r greater than or equal to -11?
False
Let v(m) = m**2 + 5*m - 3. Let r be v(-6). Suppose -2*d + y + r = 0, y = -3*d - 3*y - 12. Let h be 3 - 2 - (d + 1). Is h greater than or equal to 2/33?
False
Suppose -2*r = -11 + 5, 4*u = -4*r + 4. Let b be u/8 + 9/4. Suppose -5*j = -b - 3. Is 1 < j?
False
Suppose 0 = -27*b + 25*b - 22. Is -10 less than or equal to b?
False
Let x = -5 + 3. Let y be 1/(-2)*(x + 0). Is y <= 3?
True
Let j be (-8)/(-8)*1/4. Which is bigger: -9/5 or j?
j
Suppose -4*b - 29 = -2*x + 3*x, -4*x = -5*b + 11. Which is greater: x or -8?
-8
Let g(p) = p - 17. Let w be g(7). Let r = 7 + w. Let o(k) = k**2 + 4*k + 2. Let u be o(-2). Is u less than r?
False
Let j(k) = -k - 5. Let m be j(-6). Suppose -5*v + 3*p = 60, v + 3*v + 21 = -3*p. Let g be (-4)/6 + (-4)/v. Which is bigger: m or g?
m
Let k(y) = -y**3 + 4*y**2 - 3*y + 2. Let j be k(3). Let h be ((-29)/15 + j)*3. Let p be 2/3 + 6/(-9). Is p less than h?
True
Let o be (-15)/2*(-3)/(-27). Is o equal to -2?
False
Let a = 21 + -11. Let v = a + -73/7. Which is bigger: 1 or v?
1
Suppose -x + 4*p - 15 = 4*x, 0 = -2*x + 2*p - 8. Is x at most as big as 4?
True
Suppose 0*k - 2*g = -k - 3, k - 5*g = -12. Which is greater: k or 5?
5
Suppose t + 1 = 0, -4*s + 66 = -3*t - 1. Suppose 3*z + 2*r = -s, -r - 2*r = -3. Let i be z/(-5)*5/2. Is 3 != i?
False
Let v(n) = n**3 + 11*n**2 + 9*n + 1. Let h be v(-10). Which is bigger: 10 or h?
h
Let a = 3373/10 + -337. Let r = a - 1/20. Let i = -2 - -2. Are r and i unequal?
True
Let f(b) = -7*b - 5. Let p be f(-2). Suppose -9 = -2*z + 11. Is z less than or equal to p?
False
Let l be -2 + 3 + 0 + 0. Suppose 0 = 3*q + 2*q. Let d be l - q/(-1) - -1. Which is bigger: 3 or d?
3
Let a = -1 - -2. Let c be 0 + a - (0 - 1). Let s = c - 2. Which is smaller: s or -1/2?
-1/2
Let s = -12 + 18. Let p = s + -4. Which is smaller: 3 or p?
p
Let r be 27/(-18)*8/54. Is r greater than 18?
False
Let q = -3.8 + 4. Let s = -0.2 + q. Which is smaller: s or 0.4?
s
Suppose -5*b - 4*j - 6 = 0, 6*b - 4*b - 4*j - 20 = 0. Let i(h) = -3*h + b*h - 2*h**3 - 2*h**3 - 1 - h**2 - h**3. Let g be i(-1). Which is bigger: 3 or g?
g
Let u = 0.9 - -1.1. Which is smaller: 0.9 or u?
0.9
Suppose 25 = 6*c - c. Suppose m + 5*f = -3*m - 5, -5*f - 5 = c*m. Let b be 2*2/(-2 + m). Is -1/2 smaller than b?
False
Let a be (-3)/(-2)*(-6)/(-9). Let h = 10 + -10. Which is greater: a or h?
a
Let d be (-8)/10 + ((-88)/(-10) - -1). Let m(a) be the third derivative of -a**4/24 + a**3/2 - a**2. Let g be m(d). Is g > -6?
False
Let u be (-100)/88 + 12/8. Suppose -i = -5*i + 4. Let r = i + -1. Is r greater than or equal to u?
False
Let j = -0.8 + 1.2. Which is greater: 1/4 or j?
j
Let f = 0 - -2. Let j be (f/(-5))/(24/(-20)). Do -1 and j have different values?
True
Let m = 6 + -3. Let t be m/(146/(-20) - -4). Is -2 at most t?
True
Let n = -59 + 94. Suppose 0*t + n = 5*t. Are t and 7 non-equal?
False
Let p = 0.15 + 1.85. Is p less than or equal to -2?
False
Let h = 1/74 + 71/222. Are 0 and h non-equal?
True
Let k = -7 + 6. Let x be k - (760/6)/(-1). Let h = x + -124. Is 3 < h?
False
Let d = 9 + 19. Which is smaller: d or 1?
1
Let w be (-12)/(-5) - 2/5. Suppose 3*u = w*x - 3, 5*u - x = -4 - 8. Let a = 5 - 8. Are a and u equal?
True
Let n = 13 + -11. Let o be 2/((-34)/n*1). Which is bigger: o or 1?
1
Suppose 0 = 5*k - 4*g - 3, -5*k + 7*g - 2*g = 0. Suppose i - k*i = -2. Which is greater: 3 or i?
3
Suppose 3 = 2*v + 1. Suppose -5*k - 7 = -3*n, 4*n - 1 = 3*k + v. Which is smaller: -2/17 or n?
n
Suppose -2*g + 3*k = -21, -g + 0*g - k = 2. Suppose -2*i + 3 = x + 1, 5*i - 5 = g*x. Is x equal to -1/3?
False
Suppose -2 = -4*l + 3*o, 0*o = 4*l - 2*o. Is 0 equal to l?
False
Let v = -9 - -18. Let h = 9.1 - v. Which is smaller: h or 0?
0
Let n be 18/50*(-6)/9. Let x = 164/475 + n. Is x >= 0?
True
Suppose 2*h = -186 + 198. Let r be -2*1*15/(-6). Which is smaller: h or r?
r
Suppose 2 = 6*f - 16. Let j be (16/12)/(4/6). Is f less than j?
False
Let o(m) = -m**3 - 3*m**2 + 3*m - 2. Let u be o(-4). Are u and -0.6 non-equal?
True
Let m = 0.9 + 0.1. Let i = -3/17 - -29/68. Which is greater: m or i?
m
Let o = -1 + 0.8. Let b = 102 + -1124/11. Which is smaller: b or o?
o
Suppose -5*k + 9 = -11. Let r = -4 + k. Which is smaller: r or -2/9?
-2/9
Let f(l) = -l**2 - 4*l + 1. Let x be f(-4). Let q be -1*x/(-2)*1. Let c = -1 + 3. Which is greater: q or c?
c
Suppose -5*k + 3*a = -4, 6 = k - 5*a - 8. Let d be (14/(-9))/2 - k. Let l = 0.5 - 0.6. Which is greater: l or d?
d
Suppose 5*m + 10 = 5*h, -h + 2*m + 0 = -3. Suppose -4*w + 6 = 2. Let u be (1 - -1)/w*1. Is h < u?
True
Let o = 37/8 + -5. Let t be (-3)/6 + 2/(-4). Which is smaller: t or o?
t
Let k = -14 - -38. Let m = k - 23. Which is smaller: m or 0.12?
0.12
Let u = -0.01 + -1.99. Let o = 0.5 - 0.8. Which is greater: u or o?
o
Let x = -30 - -18. Are x and -13 unequal?
True
Suppose 3*c + 2*c = -5. Suppose w = -3*w - 12. Which is smaller: w or c?
w
Let a = 41 + -37. Which is greater: -4/9 or a?
a
Let a = -2/7 - 0. Which is smaller: a or 0?
a
Suppose -2*d = -7*d + 140. Let t be 0 - -1 - 44/d. Which is smaller: t or 0?
t
Let x(t) be the third derivative of -t**6/120 - 7*t**5/60 - 5*t**4/24 + 5*