*p - 4*y. Do 1/6 and p have the same value?
False
Let l(i) = -i**3 - 5*i**2 + 11*i + 9. Let n be l(-7). Suppose -v = -6*v - n. Which is smaller: -5 or v?
v
Let x = 16 - 16. Let u = x + 1/3. Is u at most 1?
True
Let y = -56/3 + 19. Is y not equal to 111?
True
Let w(c) = -c**2 - 2*c + 4. Let v be w(-3). Let l be 0 + (0/2 - 0). Let d = l + v. Are 1/4 and d equal?
False
Let n = 0.38 + -0.6. Is n greater than or equal to -1?
True
Let o(d) = 5*d + 1. Let j be o(3). Is 15 smaller than j?
True
Suppose 0 = 2*m - m - 2*a + 8, 5*m - 20 = -5*a. Is -8/17 less than or equal to m?
True
Suppose -600 = l - 26*l. Which is smaller: 27 or l?
l
Let w(t) be the second derivative of t**5/20 - 2*t**4/3 - t**3/6 - t**2/2 - t. Let z be w(8). Let x be 2/(-8) + z/(-12). Is 2 greater than x?
True
Let k = 1 + 2. Let n be (k/(-2))/(24/4). Which is smaller: n or -1?
-1
Let i be 1/(-8)*(-2 - -1). Let g = -30 - -30.1. Which is smaller: i or g?
g
Suppose -4*i - 27 = g, 2*g + 9*i + 29 = 6*i. Suppose y = 3*w + 22, -5*y = -3*w - 2*w - 50. Let a = g - w. Is -1 < a?
False
Suppose -10*u + 10 = -5*u. Let w be (-8)/(-5) - (-2)/5. Suppose w = 3*q - 2*q. Is q at most u?
True
Let v(t) = -t**3 - 2*t**2 + 3*t - 2. Let l be v(-3). Let k(b) = b**3 - 3*b**2 - 3*b - 4. Let m be k(4). Is l greater than or equal to m?
False
Let v = 19 - 3. Which is greater: 17 or v?
17
Suppose 4*b + 4 = -4*w, -3*b - 12 = -6*b + 2*w. Let f(s) = -s + 3. Let d be f(5). Let z be (1/((-5)/4))/d. Which is bigger: b or z?
b
Suppose 5*l - 3*f = -290, 8*l = 5*l + 2*f - 175. Is -55 > l?
False
Let b = -14 + 9. Let c = -5.06 - b. Which is greater: 1 or c?
1
Suppose 0 = -5*z + 3*o - 5, -z + 16 = -3*z + 4*o. Let w be (-7)/(-2) - (-3)/z. Let u = w + -4. Are 1 and u nonequal?
False
Suppose 0 = b - 0*w - 4*w + 14, 5*b + 142 = 2*w. Is -29 less than b?
False
Let i be 1 - 3 - -1*3. Let m be 24/10 + -2*i. Do m and -2/3 have the same value?
False
Let g(j) = 2*j**3 + 2*j + 1. Let h be g(-1). Let m be (4/(-50))/(h/(-15)). Is m less than 0.1?
True
Let h(p) = -p**3 - 3*p**2 - 4. Let w be h(-3). Let q be (-39)/12 - (-1)/4. Is w less than or equal to q?
True
Let d = 0 - -0.01. Let u = 0.11 - d. Is 0.2 smaller than u?
False
Suppose 7*v = 3*v - 4. Which is smaller: v or 4?
v
Let p be (28/(-8))/(-7)*10. Suppose -p*s + 25 + 35 = 0. Which is smaller: 11 or s?
11
Let z be (16/68)/((-1)/4). Does -1 = z?
False
Let p(t) = t**2 - t + 1. Let i be p(2). Which is smaller: -2 or i?
-2
Let a(x) = -x**3 + 6*x**2 - 3*x - 4. Let o be a(5). Suppose -3*i = -o*i. Let c = i - 3. Is -4 < c?
True
Suppose -3*n - 14 = -2*x, 0*n + 5*n + 17 = -3*x. Is x > 5/3?
False
Let i(m) = -m**2 + 8*m - 4. Let s be i(7). Suppose -s*a - 8 = 19. Let u(d) = d + 12. Let j be u(a). Which is smaller: 2 or j?
2
Let x = -251913/1007 + -6993/53. Let z = 382 + x. Are z and -1 nonequal?
True
Let g(p) = -2*p + 3. Let l be 4/12 - 16/(-6). Let m be g(l). Let v be (-1*3)/(2/2). Is m >= v?
True
Let s(d) = -d**3 - 9*d**2 + 10*d + 3. Let j be s(-10). Suppose 0*m = -m + 4. Which is greater: m or j?
m
Let t = -30 - -30. Let y be 0*((-2)/4 + 0). Are y and t nonequal?
False
Let p = 0 + 0. Let g = -0.06 - 0.94. Let k = -1 - g. Is k less than p?
False
Let u(k) = -k**3 + 7*k**2 + 7*k + 8. Let l be u(8). Let t be 5/(-3) + 1 - l. Let z be 3/(-6) - (-2)/4. Which is bigger: z or t?
z
Let q = 0 - 3. Suppose 20 = -5*k - 3*b, -11*b + 6*b = 0. Which is smaller: q or k?
k
Let d be (-2)/6*(-36)/11. Which is bigger: 2 or d?
2
Let x = -116 + 310. Suppose -5*s + x = 49. Let d = 202/7 - s. Is 0 at least d?
True
Suppose 8 = -q - 3*m, -2*m + 1 - 80 = 5*q. Which is greater: q or 4?
4
Let j(k) be the first derivative of -k**4/4 + 5. Let x be j(1). Are -2/27 and x unequal?
True
Let b = 7 - 12. Let m be (-9)/b*45/(-6). Let c = -14 - m. Which is smaller: c or -1?
-1
Let t be 2/(3 - 5) - 510. Let v = t - -11755/23. Do 0 and v have different values?
True
Suppose -5*z + 50 = 5*i, -3*z - i = -0*z - 20. Suppose z*x - 2*x + 6 = 0. Let l be (-2)/(-3) - (-2)/x. Which is bigger: l or -1?
l
Let u(l) = -3*l - 5. Let c be u(-2). Suppose -t + 3 = w - 2*t, -t = c. Is -1 less than or equal to w?
True
Suppose 3*k = -0*k. Suppose k = a - 5*a - 4. Which is smaller: 2/21 or a?
a
Suppose p - 43 = 5*t, 0 = 3*t + 7*p - 2*p + 37. Which is smaller: t or -5?
t
Let d = 7 + 1. Is -0.2 > d?
False
Let o = -38.3 + 38. Let c = 0.08 + -0.1. Let x = 2.02 + c. Which is greater: o or x?
x
Let w be ((-6)/(-12))/((-2)/(-12)). Suppose 8*p = w*p. Which is bigger: p or -0.22?
p
Let m be ((-16)/(-70))/((-3)/15). Suppose 2*p + 2*p = -4. Which is greater: m or p?
p
Let n(p) = -p - 5. Let j be n(-10). Let x be (-6)/(-2*1/(-2)). Let y = x + j. Is 1/5 < y?
False
Suppose 0*f = -5*f. Let c = -1 - 1. Let i be c - (-2 + (-2)/5). Is f at least as big as i?
False
Let k(d) = d**2 - 6*d - 7. Let x be k(-5). Let w be (1/(-2))/(4/x). Which is bigger: w or -5?
-5
Suppose 4*l - l + 3*q - 51 = 0, 2*l - 5*q - 69 = 0. Let f be -2*(0 + l/4). Do f and -11 have different values?
False
Suppose 13*h = 16*h - 69. Is h greater than or equal to 24?
False
Let s be (16/20)/((-4)/(-10)). Do s and 6 have different values?
True
Let z(q) = q**2 - 6*q - 5. Let v be z(8). Let u = v - 8. Which is bigger: 2 or u?
u
Let v(p) = -p**2 + p + 1. Let x be v(-1). Let c be 0/(2 - (1 + x)). Let h = 248/5 + -50. Which is bigger: h or c?
c
Let t = 24 + -22. Which is greater: -4/7 or t?
t
Suppose -2*o - 3*r - 7 = 0, 0 = 3*o + 4*r - 2 + 14. Suppose -50 + 15 = 5*d. Is o < d?
True
Let a = 35.6 + -6.6. Let k = a + -28. Is k > 0.21?
True
Let q = 118.1 + -118. Which is smaller: 108 or q?
q
Suppose -2*d = 3*h - 11 - 9, -12 = -2*d - h. Let s be 1*-8*(-2)/4. Is s less than d?
False
Let i = -26 - -27. Which is greater: i or 16/9?
16/9
Let y = -8 - -13. Suppose -y*l + 3 + 2 = -2*d, 5*d = 0. Let w = 0 + 0. Which is smaller: l or w?
w
Let j = -6 - -6.08. Let b = 0.22 + j. Is b at most as big as 1?
True
Let v be 3/3 + 22/(-18). Let h = 114 + -453/4. Is v greater than h?
False
Let q be -10*1 + 4 + -2. Which is smaller: q or -6?
q
Suppose 0 = v + 2*d - 1 - 0, -3*v + d - 4 = 0. Let j be 3/126*(-4)/(-1). Is v smaller than j?
True
Let t be ((-3)/(-30))/(1/61). Let q = 28/5 - t. Is q at most -2?
False
Let r(w) = w**3 - 6*w**2 + 4*w + 5. Let y be r(5). Let u be -5*(y + (-3 - -2)). Is u less than 4?
False
Let j be 1*(-2 - (-24)/15). Which is bigger: j or 7?
7
Let z(g) = g**3 + 3*g**2 - 3*g + 5. Suppose -20 = 4*q + q. Let x be z(q). Suppose u + x - 3 = 4*o, -4*o + 5*u + 6 = 0. Is 1/4 > o?
True
Suppose f - 158 = -160. Which is smaller: f or -3?
-3
Let m be -3 - (-6)/3*2. Let x be ((-4)/(-10))/(m/10). Is x >= 1?
True
Let z(p) = 7*p**2 - 6*p + 1 - p**3 + 5*p + 2*p**3. Let f be z(-7). Suppose 2*r - 4*s = -3*r + f, -3*r = -4*s. Which is smaller: r or 5?
r
Suppose -23*r = -27*r - 44. Is -2 greater than r?
True
Let y = 2.88 - 3. Is 1 at most as big as y?
False
Let v = 17 + -9. Let k = v - 5. Suppose 0 = 5*y + 2*q - 1 - 2, -k*q = 2*y - 10. Which is smaller: y or 0?
y
Suppose -2*w + 4 = 6. Let s be (w - 0)*-3 + -3. Suppose -2*u = -s + 2. Does -0.03 = u?
False
Let y be 12/8*(-4)/(-6). Let h be (3/(-18))/(10/(-12)). Which is smaller: y or h?
h
Let p = 90 + -89.7. Which is bigger: 1/10 or p?
p
Suppose -17 - 365 = -2*s. Let f = s - 1339/7. Is -1/5 less than or equal to f?
False
Let g be 82/288 - 4/18. Is -1 smaller than g?
True
Let u(r) = 2*r - 3*r + 4*r - 2*r. Suppose -4*z + n = 6*n + 12, 0 = 5*n + 20. Let k be u(z). Which is smaller: 4/3 or k?
4/3
Let f = 37 + 20. Is f > 1?
True
Let z = 43 + -42. Which is bigger: z or -2?
z
Let l = -1115/12 - -93. Is l equal to -1?
False
Suppose 2*q = -3*q. Which is smaller: 1/41 or q?
q
Let r = 11.72 - 11. Is r greater than or equal to -1/3?
True
Let s = -0.11 + 2.11. Which is smaller: s or 1/4?
1/4
Let a = -13 - -16. Suppose a*z - 5 = 10. Does 3 = z?
False
Suppose -11*q = -6*q + 10. Let s be (-4)/10 + q/20. Which is smaller: s or 2?
s
Let m = 51/5 + -10. Is -1 smaller than m?
True
Let u = 1 + 4. Suppose -u*j + 5 = 3*z, -4*j + 4 = 4*z + z. Let x be 1 + (-3)/21 + -1. Which is greater: j or x?
j
Let m = 191/4 + -48. Suppose 0 = -0*x - 4*x. Which is smaller: x or m?
m
Let u = -2.1 + 2. Let g be 2/4*(-2 - 6). Let n be (g + 5)/(0 + -11). Do n and u have the same value?
False
Let h(q) = -5*q**2 - 2. Let k be h(-3).