, -p*a - 6 = -l. Is l smaller than -7?
False
Let q be 10/6 + 1/3. Suppose 0 = 5*l - 4*l + q. Which is smaller: l or -1?
l
Let u(i) = i**3 + 3*i**2 + 2*i + 7. Let j be u(-3). Is j smaller than -3/53?
False
Let a(y) = -y**2 - 7*y - 6. Let c be a(-6). Which is bigger: c or 3?
3
Let u = 2 - 2. Which is smaller: u or 3/4?
u
Let c be (68/2)/(-1 - -3). Let n = -12 + c. Which is smaller: 6 or n?
n
Let o = 1.7 + -1.66. Which is bigger: o or 0.1?
0.1
Let b be (-2 + 5/3)*0. Let i = -36/2927 - -12132883/38051. Let q = 319 - i. Which is greater: b or q?
q
Let u = -363/5 + 73. Let n = 5 - 5.1. Is n < u?
True
Suppose -2*h + 5*h - 3*z = 51, -h + 20 = -2*z. Which is smaller: 0 or h?
0
Let u(y) = y - 9. Let q be u(8). Which is smaller: q or 2/25?
q
Let m = 8 - 5. Suppose 3 = -0*z - m*z. Which is smaller: 3/8 or z?
z
Let z be ((-36)/(-52) + 3)/2. Is 1 greater than z?
False
Suppose 0 = -3*p - 3*m - 11 + 26, -3*p + 5*m = -7. Suppose 3*g + 2*g - 10 = 0. Is g at most p?
True
Suppose 5*p - w = -17 - 1, 0 = 4*p + 2*w + 20. Let c = -1 - 1. Let i be 1/p*c*0. Which is smaller: 1 or i?
i
Let o = 2 + 0. Suppose 0*h = -2*h - 10. Let z be (-3 + h/(-2))*1. Which is smaller: z or o?
z
Suppose -4*u = 5*q - 3*q + 46, -u - q = 12. Is u greater than -71/6?
True
Suppose -2*i - 20 = 3*i. Which is smaller: -2 or i?
i
Let i = 111 + -210. Is i at most -99?
True
Let n = 97/15 + -26/3. Which is smaller: -1 or n?
n
Let g = -12.6 + 2.6. Let x = -14 - g. Is x bigger than -1?
False
Suppose -12 = -9*n + 8*n. Let x = n + -10. Is x less than 5/6?
False
Let c(r) = r**3 - 5*r**2 + 2*r - 5. Let p = 12 - 7. Let t be c(p). Do 5 and t have different values?
False
Let f(c) = -c**3 - 3*c**2 + c + 1. Let j be f(-3). Which is greater: -1 or j?
-1
Suppose -4*b = 4*i - 12, 12 = 4*i - 3*i + 4*b. Suppose 3*s + 3*y - 6 = 8*s, 4*s = -5*y + 10. Is s smaller than i?
False
Let y = -113 + 110. Which is smaller: 6 or y?
y
Let g = -5 - -7. Let q(h) be the third derivative of -h**6/120 - h**5/30 + h**3/6 - h**2. Let n be q(-2). Which is smaller: n or g?
n
Let y(g) = -g**2 + 6*g - 6. Let p be y(5). Let s(t) = -2*t**3 - 2*t - 1. Let c be s(p). Is c < 3?
False
Let b be (18/(-10))/(15/(-75)). Let p(t) = t**2 - t + 9. Let r be p(0). Is r greater than b?
False
Suppose -3*t = -t - 38. Suppose -5*k + 6 = -t. Suppose -1 = 4*l - k. Which is smaller: l or 2?
l
Let i = 7773/26 - 299. Are 0 and i unequal?
True
Let v = 2048/51 + 37/17. Let k = -42 + v. Let m = 1/34 - -61/238. Is m at most k?
True
Suppose 4 = -u, -4*a + 5*u = -29 + 5. Let c = -175/4 - -44. Is a at most c?
False
Let n = -1859/5 - -373. Is 1 less than n?
True
Let c(j) be the second derivative of -j**4/12 - j**3/2 + 5*j**2/2 - j. Let n be c(-4). Suppose 4*m = 4 + 4. Which is greater: n or m?
m
Let w be 1 - (1 + 1 + 1). Let p = 30.613 + 0.187. Let x = p - 31. Is x smaller than w?
False
Let s = -8 + 14. Let k = s - 11. Let a = k + 4. Are a and -1 non-equal?
False
Let u = -0.66 + 1.66. Is -68 at least as big as u?
False
Let l be ((-9)/(-6))/((-9)/48). Let b be 1/2 - 60/l. Let n be (-10)/b*8/(-20). Which is smaller: 0 or n?
0
Suppose -6*f - 7 = -y - 4*f, -y - 3*f = -2. Suppose 9*z - 4*z = -y. Is -1/3 equal to z?
False
Let q = -7 + 9. Let l = q + -3. Let y = -41/40 - -5/8. Which is smaller: l or y?
l
Suppose 2*n = -3*n. Let x be 3 + 3/3*n. Suppose y + x*y = 0. Is -0.4 greater than y?
False
Let i = -0.4 - -10.4. Which is bigger: 1/5 or i?
i
Let c = -0.33 + 16.33. Let p = c - 12. Which is smaller: -0.1 or p?
-0.1
Let s be ((-2)/(-10))/((-8)/(-10)). Let p(c) = -c - 7. Let b = 11 - 19. Let n be p(b). Which is greater: n or s?
n
Let d = -5 - -6. Let u = -2 + 4. Suppose 5*q = u*f - 25, 3*f - 2*f = -5*q - 25. Is d greater than f?
True
Let y(k) = -k**2 + 7*k + 8. Let h be y(7). Is h at least as big as 7?
True
Let i(k) = 4*k - 1. Let y be i(1). Suppose -2*o = y*o + 10. Let b(r) = r. Let x be b(-3). Is x < o?
True
Suppose a + 5*s = -a + 27, 3*a - 12 = 2*s. Suppose -y + a*y = -20. Let i = y + 6. Is i less than 2?
False
Let w(q) = q + 4. Let m = 4 + -4. Let z be w(m). Is 10/3 at least as big as z?
False
Let a(k) = 2*k**2 + 2*k - 4. Let z be a(-3). Let x be 2/z*2*2. Let o(g) = -g**2 + 4*g - 2. Let c be o(3). Is x at least c?
True
Let l(q) = -q**3 - 5*q**2 - 4*q - 4. Let g be l(-4). Let o = 1.74 - 0.04. Let h = o + -1.8. Is h greater than or equal to g?
True
Let k be (5/((-200)/(-8)))/((-146)/(-10)). Does k = -1?
False
Let o(z) = z**2 + 4*z + 1. Let v be o(-4). Let a = v - -11. Let t be (3/a)/(2/4). Are 1 and t unequal?
True
Let c = -82 + 655/8. Let m = 0.08 - 0.28. Is m at least as big as c?
False
Let z = 0.2 - -0.8. Let j = 6 + -5.9. Which is smaller: j or z?
j
Let l(w) = w**2 + 17*w + 3. Let o be l(-10). Is o less than -67?
False
Suppose j + 2*l = -l - 8, 0 = -j + l. Are -4 and j equal?
False
Let o be 2/(-72)*3 - (-2)/6. Which is bigger: o or 9?
9
Suppose 34 = -3*f - 5*j, 3*f + 5 = -4*j - 24. Let c be 0 + (-2)/4 + -1. Is f less than c?
True
Let y = 0.22 - -0.78. Is y >= -3?
True
Suppose -17 - 10 = 3*p. Which is bigger: p or -1?
-1
Let p = 48 - 29. Is p smaller than 19?
False
Let j(x) = -2*x. Let d be j(-2). Suppose 2*z - d*z + 2 = 0. Suppose -2*s = 4*w - w - 3, 2*w = -2*s + 2. Are z and s unequal?
True
Let p = 0.2 + -0.08. Let u = p + 1.18. Let m = u - 0.3. Which is smaller: m or -2/7?
-2/7
Let w be 4/(-6) + (92/12)/1. Is w less than or equal to 6?
False
Let y be (-288)/135 - ((-5 - -1) + 2). Which is bigger: y or -1?
y
Suppose -3*o + 3*u + 3 = 0, 4*u = 4*o + 2*u - 2. Is o at least -2/5?
True
Let x = -337/92 + 15/4. Let w = 143 + -142. Is w equal to x?
False
Suppose -5*b - 15 = 110. Let c = 51/2 + b. Let z be (2 - 0) + -1 - 1. Which is bigger: z or c?
c
Let t be (1*11)/(-2 + 3). Suppose p + t = -3*n - p, p + 5 = -n. Let k = 178 - 535/3. Which is smaller: k or n?
n
Suppose -4*y - 6 = 3*u, 0*y - 3*y = -4*u - 8. Suppose y = 4*q - 0*q. Is -2 at most q?
True
Suppose -26 - 26 = -4*y. Suppose -27 = -3*x + 9. Which is greater: y or x?
y
Let v = 332/7 + -47. Let h(o) = o - 6. Let r be h(6). Which is smaller: v or r?
r
Let w(n) = -n**2 - n - 1. Let t be (-1 + (-1)/(-1))*-1. Let c be w(t). Let r be 2/8 - (-133)/(-84). Which is greater: c or r?
c
Let p = -6800/11 + 619. Which is smaller: p or 0?
0
Let o = 0.08 - -6.92. Let f = -4 + o. Let x = -1 + f. Which is smaller: x or -2?
-2
Let d be (-2 + -1 - -6) + 3. Let w = d - 8. Is w at least -3?
True
Let o = 22 - 34. Is -12 smaller than o?
False
Suppose -2*i + 3*i - 3 = 0. Suppose u - 4 = 5. Suppose 3*v - a = -0 + i, -5*v + 3*a + u = 0. Are v and 1 nonequal?
True
Let v = 44 - 48. Which is smaller: -15/4 or v?
v
Let b be 2/(-10) + 2/(-15). Is -0.02 >= b?
True
Let m = -103 - -103. Are -9 and m unequal?
True
Suppose -5*q - 22 - 8 = 0. Suppose -2 - 1 = c. Is q bigger than c?
False
Let h(t) = -t**3 + t**2 + 9. Let s be h(0). Let r = -9 + s. Is 2/31 greater than or equal to r?
True
Let a(x) = x**3 + 5*x**2 - 5*x. Let j be a(-6). Let w be 4/j - (-4)/9. Let p = -2 + 3. Which is smaller: p or w?
w
Suppose 2*c + 60 = 5*c. Do c and 20 have the same value?
True
Suppose -j + 0*j - 4 = -h, 0 = 2*h + 3*j - 18. Suppose -h*u + 30 = -u. Which is greater: 3 or u?
u
Let q = -13 + 18. Suppose -i - q = 4*i. Is 0 != i?
True
Let m be (-1884)/1908 + (0/2 - -1). Is 0 bigger than m?
False
Suppose 19 = 5*o - 3*m - 1, 2*o + 4*m + 18 = 0. Let f be o + -2 - 2*-1. Let n be (f*0/3)/2. Is n < -3/4?
False
Let o(y) = 2*y + 3*y**3 - 2*y**2 + 2*y**3 - 6*y**3 - 4. Let w be o(-3). Let b = 0.2 - 0.2. Does w = b?
False
Let x be (-1 - -3)/2 - -1. Let n be 1 + 1 + 0/x. Suppose -16 = 2*d - 6*d. Which is bigger: d or n?
d
Let s = 26 - 37. Is -11 greater than s?
False
Let l = 2.3 - 2. Let g = l + -0.4. Is -0.1 equal to g?
True
Let x be 8*8/4*-4. Which is greater: -63 or x?
-63
Let g(v) = v**3 - 9*v**2 + 10*v - 8. Let b be g(8). Suppose -38 = 5*q - b. Are -6 and q nonequal?
False
Let h(v) = v**3 - 4*v**2 - 8*v + 7. Let z be h(5). Which is smaller: z or 1?
z
Let c = -25 + 22. Is c greater than or equal to 35?
False
Let u be ((-2)/8)/(216/128). Are -1 and u equal?
False
Let r = 37 + -37.1. Which is smaller: r or 7?
r
Let g = -0.03 - -9.03. Suppose 4*o = -207 + 203. Which is greater: g or o?
g
Let y = 36 + -38.8. Let x = 3 + y. Let z = 0 + x. Which is bigger: 3 or z?
3
Let g = 3 + -3. Suppose -m