/(-32). Which is smaller: 0 or p?
p
Suppose d + 4*p = 4, 2*p = p + 1. Suppose d = s - 5 - 0. Suppose w - 4*l + 8 = -w, 3*l - 13 = s*w. Which is smaller: -2/3 or w?
w
Suppose l + 5 = -4*a + 29, -2*l - a + 13 = 0. Suppose p - l*p = 0. Suppose 5*k = 3*k + 2. Does k = p?
False
Let i be (1 + -2)*(-8)/4. Let y be 0/(9/3 - i). Suppose 3*k = -y*k + 6. Is k smaller than 2/3?
False
Let o(p) = -2*p**3 + 2*p**2 + 2*p - 3. Let r be o(-3). Let w = r - 253/4. Is w > -0.04?
False
Let f be -1 - -2 - (-2)/(-4). Let x be (-64)/12 + 2/6. Let z = x - -6. Which is smaller: z or f?
f
Let o = -10 - 0. Let i be 6/(-4)*o/3. Suppose 4*x = 3*c + 3 + i, 4*c - 2 = -x. Which is bigger: c or 1?
1
Let q = -0.18 + 0.18. Which is bigger: q or -0.3?
q
Let j(w) = -9*w + 46. Let f be j(8). Is -22 at most f?
False
Let y = 4 - 1. Suppose y*c - 8 - 25 = 0. Let q be (-1)/(-4) - c/(-4). Is 3 at least as big as q?
True
Let u(t) = -t**2 - 8*t - 5. Let h be u(-6). Suppose -h*l + 2*l - 20 = 0. Let o = 1 - 4. Are o and l non-equal?
True
Let o be -5 - (-13)/3 - 11/15. Are o and -1 non-equal?
True
Let z = -1191/34 + 35. Which is smaller: 1 or z?
z
Let p be (2/(-6))/((-21)/9 + 1). Is 6 less than p?
False
Let p = -1.1 + 1. Let w be (-20)/(-16)*(-93)/5. Let t = 23 + w. Are t and p equal?
False
Let j = 2 + -4. Let t be 132/30 - j/(-5). Let p(q) = -q**3 - 5*q**2 + 5. Let a be p(-5). Which is smaller: t or a?
t
Let f = 69 - 49. Which is bigger: 0 or f?
f
Let x be 5*(7/(-5) - -2) - -2. Is x <= 44/7?
True
Let s = 0 - -3. Suppose s*b + 4 = -b. Is -7/3 != b?
True
Let v = 13 - 24. Is -12 bigger than v?
False
Suppose -f - 2 = -2*f. Suppose 4*j + 2*d + 2 = 0, 5*j - 3*j = -2*d + f. Is -3 > j?
False
Let n = -1 + 1. Let p = -23/45 + 1/9. Which is greater: n or p?
n
Let o = -2 + 2.2. Let g = 23 - 25.1. Let n = 0.1 + g. Is n at least as big as o?
False
Let q(i) = -i - 2. Let a be q(5). Let f(l) = 2*l + 2. Let h be f(-4). Is h less than a?
False
Let u = 2468/31 - 62321/372. Let c = u + 88. Is 0 smaller than c?
True
Let k(j) be the second derivative of -j**5/20 - j**4/4 + j**3/2 + j. Let u be k(-4). Let f be 1/(2/u) + -3. Is f at least -2?
True
Let j(n) = -n**3 + 5*n**2 + n - 3. Let d be j(5). Let i be 2/(-2*(-1)/(-2)). Let c be (1/4)/(i/(-12)). Is c greater than or equal to d?
False
Suppose z = 4*z. Suppose z = 4*k + k - 220. Let u be (-6)/k*(2 + 0). Is u <= -1?
False
Suppose -a - 5*j - 25 = 3*a, 4*a = -j - 5. Let z be 2/1 - (-57)/(-30). Are a and z equal?
False
Let o = 27 + -20. Which is greater: o or 2/9?
o
Suppose -3*u - 5*u = -6*u. Is 0 at most u?
True
Let u = -0.02 + 0.02. Let v be (-10)/3*18/15. Let h be 1/v*2 + -1. Is u less than h?
False
Suppose 238 = 6*f + 22. Let p be ((-2)/(-6))/(3/f). Which is bigger: 6 or p?
6
Let i = 1.8 - 2. Let w be (2/4)/(3/(-6)). Is w equal to i?
False
Let x = 5 + -4. Which is smaller: x or 7?
x
Suppose 0 = 7*j - 6*j - 1. Which is smaller: j or 2?
j
Suppose 4*o = 7*o. Suppose o = -3*s + 6 - 3. Which is smaller: 1/2 or s?
1/2
Let j be (-3)/(-4) + (-1)/(-4). Let g = -2 + j. Let d be ((-2 - -2)*(6 - 7))/2. Which is greater: g or d?
d
Suppose -4*v = -v - 18. Which is greater: 1 or v?
v
Let o be 0/(-3 - -7)*1. Is o smaller than -2?
False
Let n be ((-11)/(-5) - 1)*5. Suppose -z - 3*r - 2 = 0, -z + 2*z - 5*r = n. Is 1/9 >= z?
False
Let y be -1*(-3 - -4) - -28. Let f = -31 + y. Which is bigger: -5 or f?
f
Let s = 2.7 - 13.7. Let a = s + 8. Is a equal to -1/2?
False
Let m be 0 - 4/(12/(-15)). Let g be (-4 - -3)*(-4 - 2). Is m != g?
True
Let t(k) = k - 9. Let s be t(9). Suppose y = 3*y. Is s at least y?
True
Let u be (0 + -1)*(0 + 0). Let p(o) = o**3 - o**2 - o. Let l be p(u). Which is bigger: l or -3/7?
l
Suppose 2*b = 0, 0 = d - b - 3 - 0. Let p = -115/2 - -60. Is d less than p?
False
Suppose -225 = 5*m + 45. Let r = -268/5 - m. Let k be (-2)/(-3)*(-6)/(-4). Is r at most k?
True
Let g = 7 - 10. Let z = -4 - g. Which is greater: z or -0.3?
-0.3
Let h(j) = -4*j - 2. Let o be h(4). Is o > -18?
False
Let z = 2/111 - 115/222. Let n = -5/3 - -2. Is n equal to z?
False
Let b(g) = g**2 - 9*g + 1. Let c be b(9). Do 5/8 and c have the same value?
False
Let v(h) = -h**2 + 3*h + 19. Let y be v(9). Which is greater: y or -36?
y
Suppose 3*z = 5*v - 121, v - 1 + 2 = 0. Let y be ((-36)/14)/(9/z). Let k be (-18)/y*(-4)/(-6). Which is greater: k or 2/9?
2/9
Suppose 0*g = 2*g - 8. Suppose -g*a + 4 = -5*x - 29, 0 = -4*x - 3*a - 14. Is -6 at most as big as x?
True
Let k = 95 - 100. Is 2/3 at least as big as k?
True
Suppose -30 = l - 4*l. Suppose 0 = -2*m - 3*m - l. Is -1 > m?
True
Let u be (-1)/(0 - (-3)/(-135)). Suppose 0 = 5*i - 0*i - u. Let v = i + -6. Which is smaller: 2 or v?
2
Let y be (-3)/(-18)*3*20. Let i be -1*4*(-5)/y. Suppose t + 3*t = -4*k + 12, i*k + 3*t - 10 = 0. Is -2/15 at least k?
True
Let n = 1565/7 + -224. Is n less than 0?
True
Let d be (-7)/(-6)*2/(-14). Which is bigger: 0 or d?
0
Let v = 17 + -17. Is v < 2/3?
True
Let d = -77 + 56. Is -22 greater than or equal to d?
False
Let a be (5 + -3)*2/(-4). Let x be a + (-3)/3 + 3. Is 5/3 at most x?
False
Suppose 4*a + 3*z = -a + 38, -20 = -4*a - 5*z. Suppose 4*l + 2*m + 4 = 2*l, -3*l = -5*m - a. Let i be 5/(-6) + 2/6. Is i not equal to l?
True
Suppose -h = -5*h + 16. Let q be h/6 - (-57)/(-45). Which is smaller: 0.3 or q?
q
Let b be (-2 - 44/(-15)) + -1. Do 1 and b have the same value?
False
Let r be (108/(-21))/((-2)/14). Which is greater: 34 or r?
r
Let r = -430/25489 - -1/359. Is r at least as big as 1?
False
Let s(j) = -j**2 + 14*j + 2. Let c be s(14). Suppose 0 = m + c*m. Is m smaller than -0.3?
False
Let s be 12/(-9)*(-15)/(-10). Let n = 5 - s. Is n greater than 9?
False
Let b be (3/(-2))/((-45)/60). Which is smaller: b or 42/13?
b
Let b(j) = -j**2 - 3*j. Let g be b(-3). Let t = 163/6 + -27. Does t = g?
False
Let n = 1 + -3. Let h = 3 + -1.1. Let y = h + -2. Are n and y equal?
False
Suppose -3*v + 24 = -3*n, -2*n + 6 = -2. Suppose 2*j + 2*p + v = 0, -3*p = j - 8*p - 12. Which is greater: j or -2?
-2
Let r be 3 + -1 - (0 + -5). Let o(q) = -q**3 + 6*q**2 - 6*q + 2. Let g be o(2). Do r and g have the same value?
False
Suppose -3*n = -5*x, 4*x + 0*n - n = 0. Let v be x/(3/6*4). Let t = -11368/13 + 874. Is t less than v?
True
Suppose -5*l + v + 39 = -29, -4*l = -v - 54. Which is greater: l or 27/2?
l
Let w = 3 + 1. Let q be 3/15 - 9/(-5). Suppose -d + 1 = -4*t - q, 12 = 4*d - 3*t. Is d less than w?
True
Let o be (-3)/1 + 12 + 3. Suppose l + o = -5*l. Which is smaller: -0.1 or l?
l
Let v = -2/343 + 2084/4459. Which is bigger: v or -1?
v
Let m(c) be the first derivative of -11*c - 1 + 1/3*c**3 + 3*c**2. Let z be m(-8). Is 6 at most as big as z?
False
Let k be 8/(-78)*(-6)/(-4). Suppose -10*q = -11*q - 1. Which is smaller: q or k?
q
Let g be 3 - (-1 + (-100)/(-26)). Let f = 0.5 - 0.4. Is g >= f?
True
Let b = 0.6 - 0.45. Let m = 0.05 - b. Which is greater: 6 or m?
6
Let x = 1.1 + -0.9. Let y = -0.2 + x. Is -0.3 greater than y?
False
Let n = 10 + -8. Is 3 equal to n?
False
Let r(n) = -n**2 + 8*n + 8. Let c be r(8). Let z(v) = v**3 - 8*v**2 + v - 1. Let i be z(c). Suppose -3*f - 18 = -5*u, 0*u = -f + 2*u - i. Are f and 0 non-equal?
True
Let j(v) = -6 - 1 + 1 - v + 3. Let d be j(-3). Which is smaller: -7 or d?
-7
Suppose 10 = -w + 3*w. Let t(h) be the third derivative of -h**6/120 + h**5/12 - h**4/24 + h**3/3 - h**2. Let g be t(w). Are -3 and g equal?
True
Suppose 11 = 2*s - 3. Let n = -3 + s. Suppose 5*h = 2*t - 1, -t - 2*h - n = -0. Is -1 less than t?
False
Let b = 2/111 + 196/1443. Let i = 0.2 - 0. Which is bigger: i or b?
i
Let l = 8.46 - 1.46. Is 1/6 less than l?
True
Suppose k = 3*k - 4*r - 16, 3*k + r + 4 = 0. Let v = k + 0. Let o = v + 1. Which is smaller: 3 or o?
o
Let a = -0.05 - 1.95. Let y = -32 - -33.9. Let h = a + y. Which is greater: h or -2?
h
Let y = 41 + -26. Let i = y - 9. Is i not equal to 7?
True
Let g be (33/9 - 3)/((-2)/3). Which is greater: g or 6/19?
6/19
Suppose 0 = 9*f - 3 + 3. Which is smaller: 2/79 or f?
f
Let n(z) = z**2 - 7*z + 8. Let v be n(6). Suppose 12 = 4*k - 0*k. Does k = v?
False
Let g(m) = -2*m**2 + 1 - 3 + m**2 + 2*m**3 - 2*m + 0*m**2. Let y be g(-1). Does -2 = y?
False
Suppose -54 = -2*n + 20. Suppose 0 = -2*m - 0*m - 5*y - n, -5*m - 5 = -5*y. Suppose -2*w - 20 = -2*v, 0*w + v = -3*w - 14. Is m at leas