x - i + v. Is x less than or equal to -10?
True
Suppose -g - 4*q = 3 + 9, -g - 5*q - 15 = 0. Which is greater: g or -8/15?
g
Let i = -71 - -68. Are -5/2 and i equal?
False
Let w = 1 - 1. Let q = 6 + w. Let d = 8 - q. Which is greater: d or 0?
d
Let b = 0.03 + 1.97. Let m = -1 + b. Let o = 1 + m. Which is smaller: 0 or o?
0
Let g = 26 - 26.7. Is 2/7 equal to g?
False
Suppose -5*k + 4*l = -1 + 6, 10 = -5*k + 5*l. Suppose x = -k*z + 17, 3*z + 33 = 4*x + 8*z. Suppose 0*w + 4 = 2*w. Is x smaller than w?
False
Let l be (24/(-3510))/((-4)/10). Is -1 at least l?
False
Let v be 8/(-5)*30/(-4). Let p be 3/6*-1*-8. Suppose -i + 3 = 0, -p*i = -5*j + j - v. Is j at least 3/5?
False
Suppose -f + 4*f = -4*l, 2*l = 3*f. Let q = 304/7 + -314/7. Are q and f nonequal?
True
Suppose -s = -4*u + 4, -4*s + 2*s - 5*u - 8 = 0. Let x = 3 + 2. Let h = -4.9 + x. Which is bigger: h or s?
h
Let f = -25 + 49. Let j be (-3)/36*f/9. Is j >= 1?
False
Let c be 3/9 - (0 - 0). Suppose -2*m = -2 + 6, -4*z + 2*m + 12 = 0. Let u be 1/z - 2/(-4). Is u <= c?
False
Let t = 6.06 - 6. Is 1 greater than t?
True
Let y(z) = z**3 - 17*z**2 - 16*z - 34. Let p be y(18). Let k = -6 - 8. Let i be (-25)/k + 4/(-14). Which is bigger: p or i?
p
Let h(m) = m**3 + 5*m**2 + m - 2. Let a be h(-5). Which is smaller: a or 1?
a
Let f = 8 + -8. Let z = f + -0.1. Which is greater: z or -0.2?
z
Let f be (-2)/8*(-96)/(-39). Which is greater: f or 0?
0
Let v = -2/9011 - 1117358/27033. Which is smaller: v or -41?
v
Let d = 0.08 - 0.01. Let l = 5.07 - d. Is -2 smaller than l?
True
Let l be (1/(-2))/((-2)/(-12)). Let f be 0/(2 - 0/2). Is f <= l?
False
Let s(j) = -j + 3. Let y(m) = m - 3. Let d(l) = -3*s(l) - 2*y(l). Let r be d(7). Suppose -k = 2, 2*h + 3*k = 2*k + 6. Are h and r non-equal?
False
Let l = 15 + -19. Which is smaller: l or -5?
-5
Let c be (-2)/(-8) - (-621)/108. Are c and 4 nonequal?
True
Let m = 28 - 19. Suppose i = 5 - 0. Suppose i*b = h - 11, -3*h - m = 5*b - 6*b. Which is smaller: -2 or b?
b
Let j be (-4)/(-16)*(0 - 1). Suppose 5 = -h + 2*a, -5*h + 3*a - 4 = -0*a. Are h and j unequal?
True
Let f = 13 + -27. Let j be (-5)/(-4)*f/35. Let x = 6 + -1. Which is greater: j or x?
x
Let r(w) = w**3 + 9*w**2 - 11*w - 18. Let p be r(-10). Which is bigger: -2 or p?
-2
Let j = 0.31 + -0.41. Let p = -692 - -7618/11. Is p at most as big as j?
False
Let r(o) = -o + 8. Let c be r(0). Which is greater: c or 7?
c
Suppose 2*q - m = 4*q - 20, 2*q - 20 = 5*m. Let x = -14 + q. Let s = x - -5. Is s <= 2/5?
False
Let v = -43 - 2. Is v < -44?
True
Let h(a) = -a**3 - 3. Suppose -3 = -2*g + 7. Suppose 0 = -s + g*s. Let b be h(s). Is -2 > b?
True
Let q(p) = p**3 + 9*p**2 + 8*p + 12. Let n be q(-8). Let y = n + 6. Let r be 7/9 - (-4)/y. Which is bigger: r or -1?
r
Suppose 0*g - 22 = 2*g. Is g smaller than -4?
True
Let s be -1 - 1 - (-28)/7. Suppose s*j = 6*j. Is j less than 5/7?
True
Let t = -128/3 - -43. Suppose 0 = -2*f + 4 + 6. Suppose 3*w + 1 = f*j - 9, -j = -4*w - 2. Which is smaller: w or t?
w
Let s = -35 - -59. Let v = s + -42. Let u be (-16)/18 - 4/v. Which is smaller: -1 or u?
-1
Let v = 4.9 - 1.9. Are 0 and v non-equal?
True
Let l = 3 + -3. Let b = 1 - 3. Is b greater than l?
False
Suppose 2 = -3*k - 1. Let g be k/(-4) - (-105)/12. Suppose -s + 2*z - g = 0, 0 = s - 7*z + 2*z + 24. Is -0.2 != s?
True
Let u be 4/(2 + -4)*-1. Suppose 4*h - u = 3*h - 2*y, -3*h + 18 = 3*y. Let v be (-2)/h*10/(-8). Which is greater: v or -1?
v
Let g(n) = -2*n**2 + 3*n + 4. Let o be g(4). Let t = 54/11 + -1369/66. Let k = o - t. Which is smaller: -1 or k?
-1
Let t = -8325 - -3438223/413. Let i = t - -848/4543. Which is smaller: i or 1?
i
Suppose 0 = 3*g - 3 + 15. Let q = -3 + g. Let n = -25 - -18. Is n <= q?
True
Suppose -5*c = -0*c. Let y be 4*((-3 - -10) + -1). Let g be (y/40)/((-18)/(-20)). Is g less than c?
False
Suppose 2*m - 4 = 4*m. Is m < -3?
False
Let r = -123 - -123. Let t = -2.8 + 3. Which is smaller: r or t?
r
Let w be (-63)/(-54) + (-2)/(-3). Which is greater: 3 or w?
3
Let n be 76/10 + 4/10. Let z = 6 - n. Suppose -u = 3*u. Which is smaller: u or z?
z
Let f = -947/7 + 135. Let v = 0.2 - 0. Which is greater: v or f?
v
Let o(c) be the first derivative of c**2/2 - 4*c - 3. Let u be o(4). Which is smaller: 5/4 or u?
u
Let y = 53 + -52. Let b = 152/45 - 34/9. Which is bigger: y or b?
y
Let n = -86 - -42. Which is smaller: -41 or n?
n
Let o = 16 + -17. Does o = 9?
False
Suppose -42*y - 8 = -44*y. Is 19/7 < y?
True
Let g be ((-6)/(-2420))/(54/27345). Let z = 2/363 - g. Is 0 smaller than z?
False
Let d = 62/3 - 20. Suppose 4*m = 9*m. Suppose -z + 2*z = m. Which is greater: d or z?
d
Let c = -3 - -4. Let f(j) = -j**3 - j**2 - c + 0*j**2 + 2*j**2. Let s be f(0). Are s and 0 equal?
False
Let w(h) = -h - 1. Let q be (2/6)/(2/6). Let z be w(q). Which is smaller: z or -4/5?
z
Let q be (-4)/6 - (-6)/9. Suppose q = 3*j - 3. Let m = 0 + j. Which is smaller: -1/5 or m?
-1/5
Let j = 80/3 - 27. Let w(s) = -s - 3. Let g be w(-7). Are j and g unequal?
True
Let a(c) be the third derivative of -c**4/24 + 5*c**3/6 + 9*c**2. Suppose 2*t = -t + 15. Let f be a(t). Which is smaller: f or -2/29?
-2/29
Let b(r) = r - 1. Let k be b(2). Let l = -4 + k. Let t be (2/l - -2)*-3. Is -4 < t?
False
Let i be (4/((-8)/(-4)))/17. Are i and 0 unequal?
True
Let w = 3 + -2. Is -1/5 not equal to w?
True
Let p(u) = u**2 - 7*u. Let g be p(5). Let f be (-1)/(g/1174) + 0. Let a = f + -117. Which is smaller: a or 1?
a
Let l = 1454/13 - 112. Are 1 and l equal?
False
Suppose 0 = -4*y - 12, 2*n - 1 + 4 = -5*y. Let o = -15 + n. Which is greater: o or -8?
-8
Let o(t) = t. Let a be o(3). Suppose -3*c + 9 = a. Which is bigger: 1/2 or c?
c
Suppose -4*v - 5*j + 5 = -0*j, -v + 5*j - 5 = 0. Is -4 at most v?
True
Let p = 3 - 3. Let o = -5 + 8. Suppose -5*a - o = -g + 3*g, -5 = 5*a. Are g and p nonequal?
True
Let t(w) = -w**2 + 12*w - 23. Let y be t(5). Is 0.1 bigger than y?
False
Let v be (-1)/(33/(-15) + 2). Suppose -v*h + c - 15 = 4*c, h + 20 = -4*c. Which is smaller: h or 1/2?
h
Let o be 3878/(-6) + (-5)/(-15). Let u = 17444/27 + o. Is 0 < u?
True
Suppose -5*y + 75 = -10*y. Let c = -25 - y. Let v be 2/5 - (-8)/c. Is v not equal to -0.1?
True
Let z be (1 + -3)*(-2)/4. Let j(v) = -v**3 + 13*v**2 + 13*v + 16. Let b be j(14). Is z smaller than b?
True
Let i(f) = -51*f**3 + 2*f**2 - 1. Let z be i(-1). Is 51 at least as big as z?
False
Let x = -608/5 - -125. Which is bigger: 2 or x?
x
Suppose -4*y = 2*q - 12, 3*q - 4*y + 4 = -8. Let c(z) be the first derivative of -z**4/4 - z**3 - z**2/2 - 2*z + 3. Let o be c(-3). Is o > q?
True
Let x be 3*(2 - (-16)/(-6)). Let y(n) = 2*n + 4. Let o be y(-5). Let h = o + 3. Which is smaller: x or h?
h
Let t be 16/(-10) + 10/(-25). Is t at most -6?
False
Suppose -2*x = 5*v - 8, 3*v = 3*x - v + 11. Is 5/11 bigger than x?
True
Let l = 2.3 + 0.5. Let t = 3 - l. Let u = -0.1 + t. Does u = -0.1?
False
Let c = -25.1 - -25. Which is greater: -27 or c?
c
Let p(k) = -2*k**2 + k + 2. Let a be p(0). Suppose 3 = -4*h - 5*m + 6, 3*h = -5*m + 1. Is h > a?
False
Let x = -3.697 + -0.003. Let l = 4 + x. Let z = -1.7 - l. Which is smaller: 0 or z?
z
Suppose 5*t - 12 - 3 = 0. Let b = -3 - -6. Suppose -b*j - j = -16. Which is bigger: t or j?
j
Let a = -4 - -6. Suppose 3*u - 20 = -a*u. Let n be (u/20)/((-4)/10). Which is smaller: n or 0?
n
Suppose -5*q - 27 = -3*q - 5*l, 0 = -3*q + 2*l - 35. Let m be 665/175 - (0 - -2*2). Is q less than or equal to m?
True
Let r = -934/7 - -133. Let g(l) = -l**2 + 5*l - 5. Suppose -2*w - 3*w = -20. Let z be g(w). Which is smaller: z or r?
z
Let j(f) = -5*f. Let z(d) = d**3 + 5*d**2 + 5*d + 5. Let o be z(-4). Let q be j(o). Let p(a) = -a**3 + 3*a - 1. Let v be p(2). Are q and v nonequal?
True
Let r be (-6)/(-15)*1 + 8/(-70). Which is smaller: r or -7/4?
-7/4
Let r be (36/(-84))/(3/(-4)*-2). Suppose -4*z + 4 + 3 = -s, 2*s - 3*z + 4 = 0. Let f = -1 + s. Does r = f?
False
Let w be (-14)/(-8) + (-3)/(-12). Let m(h) = h - 9. Suppose 3*x - 22 - 8 = 0. Let v be m(x). Which is smaller: v or w?
v
Let f = -6.12 - -0.12. Is f > -2?
False
Let k be (3/(-35))/(2/5). Is k != 1?
True
Suppose -2*b = 7*b - 9. Is b greater than or equal to -4?
True
Let a = 10 - 8. Suppose 0 = -2*t - a*t. Which is greater: t or 1?
1
Suppose -1 = -q - 0. Are q and 1 unequal?
Fa