p + 19 = 0. Let q = y - 36/7. Which is greater: q or 0?
q
Let r be 1*4/(-2 + -10). Which is smaller: 1 or r?
r
Let p(l) = -l**2 + 10*l - 7. Let d be (-2 - -8)/((-6)/(-8)). Let a be p(d). Let b be 30/(-16)*(-4)/a. Which is smaller: b or 0?
0
Let p be (-1 - 0)/1*(24 - 23). Is p less than or equal to -2?
False
Let a be 9 - (1 + (-1 - -1)). Let w = a + -6. Which is smaller: 0 or w?
0
Let s be 4 - 1/2*0. Suppose 13 = -3*d - 5*y, 49 = s*d - 5*y + 8. Is d smaller than 4?
False
Let l = 89 - 90. Which is smaller: -0.5 or l?
l
Suppose d = 4*d + 30. Let u be d/(-15)*6/4. Is u < -1/4?
False
Suppose 131*s = 127*s. Let b be -1*39/(-48) + -1. Are b and s unequal?
True
Let v be 10/(-462) + 10/(-35). Let a = 2/77 - v. Let c = 1 - 0. Is c at most a?
False
Let w be ((-3)/42)/((-194)/48 + 4). Is w smaller than 3?
True
Let d = -79 + 79.05. Let o = 0.48 - 1.53. Let s = o + d. Are s and 4 non-equal?
True
Suppose -5*v = 5*y, 3*y + 5*v + 3 = -3. Suppose 0 = -y*s - 5 - 1. Is -1 <= s?
False
Suppose -22 = -5*p + 4*k, 0 = -0*p + p + k + 1. Let v(s) = -s**3 + 4*s**2 - 4*s + 2. Let u be v(p). Suppose -u*b - 12 = -5*b. Is b smaller than 2?
False
Let n(m) = m + 2. Let w be n(3). Suppose 0 = 2*v - w*p - 2 - 11, 4*v - 5*p = 21. Suppose a = 4*a + 5*y + 10, 2*a + 2*y = -v. Do a and -2 have different values?
True
Suppose -18 = -0*z - 6*z. Let t be 0 + 7/z + -2. Let o = -11 + 2. Is o greater than or equal to t?
False
Let r be 3/84 + (-4)/14. Is 4 >= r?
True
Suppose 0 - 6 = 2*n, -4 = 5*m - 2*n. Let k be (-2 - m)/2 - 0. Suppose 0 = -4*x - k*x + 8. Is x greater than 2?
False
Let k = -8.7 - 1.3. Let t = k - -11. Is t less than 13?
True
Let a be ((513/12)/(-3))/((-84)/(-32)). Which is smaller: -5 or a?
a
Let g(d) = -d + 5. Let h be g(-8). Is 13 greater than h?
False
Suppose -4*c = -0*c + 4*n + 16, -12 = -5*c + 3*n. Which is bigger: -3 or c?
c
Let j(s) = s**3 + s**2 + 1. Let v be j(-2). Let t(x) = x + 6. Let r be t(-4). Let d be 3*v/(-18)*r. Which is greater: 1/3 or d?
d
Suppose -v + 6*t - 4*t = -1, 4*t + 3 = v. Let b(m) = -3*m. Let k be b(v). Is k greater than 3?
False
Let g be (-1 - 3)/((-2)/4). Suppose 4 = z - 6*x + x, -g = -2*z - x. Suppose b - z*b = 3. Are -1 and b equal?
True
Let u(v) = -v**3 - 6*v**2 + 8*v - 3. Let o be u(-7). Let m be 24/(-15)*o/6. Are m and 3 equal?
False
Let l be 1/(-1*(0 - -1)). Let x be (-21)/90 - l/3. Is 0 at most x?
True
Let k be 3 + (6 - 3/1). Let r be (k/3)/((-2)/(-4)). Which is smaller: r or 3?
3
Let h(t) = -t**2 + 15*t - 16. Let o be h(14). Which is bigger: -3 or o?
o
Let q = -0.4 + 0.3. Let h(n) be the second derivative of -n**4/12 + n**3/6 - n. Let p be h(2). Which is smaller: q or p?
p
Let s be ((-16)/6)/((-18)/27). Suppose 5*p - n = n + 44, -s*n = -3*p + 32. Does 7 = p?
False
Let o be 0 - 0/((-2)/1). Let x be 21/52 - (-12)/(-48). Which is smaller: o or x?
o
Let f(u) = u**3 + u**2 + 3*u + 8. Let l(z) = -z**2 - 1. Suppose 0 + 4 = 4*q. Let d(x) = q*f(x) + 6*l(x). Let v be d(4). Is -2 less than v?
False
Let l = 0.4 + -2.4. Let h be 9/3 + 7/(-2). Which is greater: h or l?
h
Let m = -19 + 11. Let x = 20 + m. Let f be (x/8)/(6/20). Do f and 4 have the same value?
False
Let v = 753 + -23345/31. Which is smaller: v or 0?
v
Let a = 4 - 3.9. Let m = -0.3 - a. Let d = m - -0.3. Which is greater: d or -2?
d
Let q be 1/(-6) + 20/102. Is q != -1?
True
Let n(q) = 4*q**2 + 2*q + 1. Let k be n(-1). Let y = -2 - 0. Let i = y + 5. Is k >= i?
True
Suppose -4*f - f - 12 = -2*l, 4*f = 3*l - 18. Suppose 5*i - l*i = 1. Which is greater: 1/7 or i?
1/7
Let i be 0*2*1/4. Let g = 3 + i. Let x be 0 - g/(-6)*0. Do x and -3/4 have the same value?
False
Suppose 26*z - 21*z = 5. Which is bigger: z or 0?
z
Suppose -2 = -2*d + 4. Is -8 greater than or equal to d?
False
Let u be 342/24 + (-2)/8. Is u equal to 14?
True
Let f be 66/21 - 2*(-3)/(-42). Which is smaller: f or 12/5?
12/5
Let b = 0.75 + -0.7. Let n = -1.4 + 1.3. Which is smaller: n or b?
n
Let h(j) = -j + 5. Suppose 0 = -4*p - 5*x + 35, -2*p + 13 = -x + 2*x. Let l be h(p). Do 0 and l have the same value?
True
Let h be 2/3 + 22/(-6). Is h < -5?
False
Let o = 4.5 + 1.5. Let j = -5.9 + o. Let c = -0.1 + j. Which is bigger: c or 0.2?
0.2
Let c be 8/10 + (-364)/280. Let i be (4/(-3))/(2/(-3)). Is c less than or equal to i?
True
Suppose 2*z - 10 = -d - 0*z, -d = 3*z - 14. Let r = 1 + 1. Do r and d have different values?
False
Let d(h) = h**3 + 6*h**2 + 4*h - 5. Let k be d(-5). Which is smaller: k or -1/24?
-1/24
Let q be -2*(-4)/66*3. Which is smaller: -1 or q?
-1
Suppose 206 + 85 = 3*c. Let l be 1079*5/(-55) - -1. Let j = c + l. Which is bigger: j or 1?
1
Suppose 0 = t + 2*k - 4, t + 3*k - 2 = 3. Let s be 3/(-63)*3/t. Are -1 and s equal?
False
Let v = -0.9 - 0.9. Let p = -1.2 + v. Which is smaller: -1/4 or p?
p
Suppose -9*c - 6 - 21 = 0. Let v(f) = 2*f - 7. Let x be v(5). Suppose 3*g + x + 2 = -h, 0 = -3*h - 4*g - 10. Are c and h equal?
False
Let w be (100/1000)/(3/2 + -1). Is 0.05 bigger than w?
False
Suppose -2*d + 20 = -3*x - 8, 2*x + 37 = 3*d. Is 9 less than or equal to d?
True
Let g(k) = k**2 - 5*k - 6. Let v be g(6). Is -2/49 > v?
False
Let l = 79769/49 - 1628. Which is smaller: 1 or l?
l
Let r be -343 - 2 - 1*-2. Let w be 124735/(-364) - (-2)/8. Let m = w - r. Are m and 0 nonequal?
True
Let x = 6 - 3. Let z = 4 - x. Is z less than or equal to -6?
False
Let m be -3 + 7 + -1 + -2. Let a(s) = 2*s + 2. Let o be a(-2). Which is bigger: o or m?
m
Let g = -364/15 - -103/5. Which is smaller: -3 or g?
g
Suppose 0 = f - 2 - 0. Suppose -3*i - 8 = -2*y, -5*i - f*y + 2 = -6. Let q = 1/37 - -69/185. Is q equal to i?
False
Let z = -5 + 10. Suppose -j = -6*j + z. Which is smaller: j or 0?
0
Suppose 0 = 5*t + a + 3 + 5, 3*a = t + 8. Let z be (1 + t - 3)/(-2). Suppose z*l = 4*l. Which is smaller: 1/4 or l?
l
Let o = -65246021/45668 + 69945/49. Let k = o + 1/233. Which is smaller: k or -2?
-2
Let h be (-5)/1 + (-3048)/(-600). Do -5 and h have different values?
True
Let u(m) = m**3 + 5*m**2 - 7*m - 10. Let c(w) = w**3 + 5*w**2 - 7*w - 9. Let d(f) = -6*c(f) + 5*u(f). Let i be d(-6). Do 0 and i have the same value?
False
Let z = -5.969 + -0.031. Let h = -0.05 + -4.95. Let p = h - z. Do -1 and p have the same value?
False
Let c(m) = -m**3 + 2*m**2 - 2*m + 3. Suppose -4*r = -r - 6. Let i be c(r). Let p be (-1)/2 + (-33)/(-154). Are i and p unequal?
True
Suppose 0 = 2*p + 7 - 29. Are -2/3 and p non-equal?
True
Let k = -0.26 - -0.16. Is 6 < k?
False
Let f(d) = -d**2 - 5*d - 1. Let u be f(-4). Suppose 0*x + 5*x = 4*h + 24, 3*x + 5*h - 7 = 0. Which is greater: u or x?
x
Let q = 23 + -26. Is 1/2 at least q?
True
Suppose -4 - 2 = -w. Let o be -3 + 6 + (2 - 5). Is w at least as big as o?
True
Let v(y) = -y - 11. Let l be v(-12). Suppose 3*a - 4*a + 6 = 3*b, 5*a - 5*b = -30. Let i = -3 - a. Which is bigger: l or i?
l
Let m = -24 + 21. Do -2 and m have the same value?
False
Let h = 2/11 - 53/110. Is -3 at most h?
True
Let g = 14 - -27. Which is greater: 40 or g?
g
Suppose -2*j = 2*j + 16. Let b = j + 4. Suppose b*k = 3*k. Which is smaller: -2/13 or k?
-2/13
Let v = -2 + 5. Suppose v*o = o. Let t(h) = -h + 1. Let z be t(2). Which is smaller: o or z?
z
Let b(w) = w**3 - 2*w**2 - 4*w + 3. Let k be b(3). Let g be (-15)/(-18) - (-4)/(-6). Which is smaller: g or k?
k
Suppose 3*t - 4*t = 5*t. Let m be 24/(-14) - 4/14. Let o(z) = -z - 2. Let p be o(m). Is t at most as big as p?
True
Let t = 0.36 - 0.06. Suppose 67 - 60 = -7*j. Which is bigger: t or j?
t
Let l be 5/(((-20)/12)/(-5)). Let m be 4 - (-5)/(l/(-9)). Let b = -14/25 + 4/25. Which is smaller: b or m?
b
Let d = -8 + 10. Suppose -v = -0 + d. Suppose -a = a + 6. Is v at least a?
True
Let x be (52/(-8))/(4/(-8)). Which is smaller: x or 14?
x
Let g be (-1)/(-8)*-1*-2. Let s be (69/(-322))/(24/(-14)). Is s not equal to g?
True
Let v = -41 + 40. Is 6 bigger than v?
True
Let w be -4*(-2 - 1/(-2)). Suppose w = -0*s + s - 2*d, -d - 3 = 2*s. Let k(h) = 4*h + 4. Let g be k(-1). Is s at least g?
True
Let m(v) = v**3 - 15*v**2 - 15*v - 5. Let l be m(16). Suppose 4*z = 5*g - 0*z + l, -9 = 2*g + 3*z. Which is greater: g or -1?
-1
Let x = -127 + 127. Which is greater: x or -89?
x
Let t be (-35)/21 - 4/(-6). Which is smaller: t or -1/6?
t
Let l = -6.4 + 6. Let r = 1.5 + -1. Let p = l + r. Do p and -1 have the same valu