Let x = 4 + m. Is x != 1?
True
Let a = 604893/494428 + -320/661. Let i = -2/187 - a. Is i less than -1?
False
Let k(b) be the second derivative of -7/2*b**2 + 0 - b + 1/6*b**3 + 1/20*b**5 - 1/2*b**4. Let s be k(6). Which is smaller: s or 2/7?
s
Let d be ((-3)/9)/(1/3). Let m = 69/2 + -36. Is m < d?
True
Let s(v) = -3*v + 6. Let r be s(5). Let a = 8 + r. Is a at least -1?
True
Let k be (-2)/(-4)*28/7. Let c be (-2 - (-1 + 3)) + k. Are -1 and c non-equal?
True
Let r(y) = -y**2 - 6*y. Let n be r(-6). Let m be (-1)/5*73 - -2. Let j = m - -13. Is n less than j?
True
Let g be (2 + (-80)/15)*114/(-5). Which is smaller: 75 or g?
75
Suppose -p + 2 = 6. Let s be 0*-4*p/16. Is s not equal to -5?
True
Suppose 5*o - 5*y + 6 = 1, -5*o = 4*y + 14. Let a = o - -3. Let k be a*2*(-1)/6. Does k = 0?
False
Let w = 51 - 36. Let s = -16 + w. Is s < 0.4?
True
Let t = -838 - -1623/2. Let m = t + 27. Is 1 > m?
True
Let l = 1006333/35 - 28750. Let d be 3/4*96/28. Let f = d - l. Which is smaller: 1 or f?
f
Let m = 0.75 - 0.25. Let h = -0.1 + -0.1. Let u = m + h. Which is bigger: 1 or u?
1
Suppose -4*k + 16 = 2*m, m - 2*k + 6*k = 12. Is m < 5?
True
Suppose 10*p = 6*p - 60. Let r = -10 - p. Which is bigger: 2 or r?
r
Let x = -18.2 + 18. Do x and 0.9 have different values?
True
Let s(t) = t**3 + 9*t**2 - 9*t + 9. Suppose -2*u + 1 = 3. Let v be -9 - ((1 - u) + -1). Let q be s(v). Which is greater: q or 0?
0
Let s(y) = -2*y - 6. Suppose 0 = 3*p - h + 8, -5*h = 2*p - 0*h + 28. Let x be s(p). Is x less than 4?
True
Let v = -3 + 8. Suppose 4*j = v*z, -3*j = -4*j + 4*z. Is j >= 1?
False
Suppose 0 = -7*y - 14 + 63. Which is smaller: 12 or y?
y
Suppose -3*z = -h - 11, 4*h = 2*z + 1 + 5. Let q be (30/12)/(2/h). Suppose -i + 2*k + 2 = -1, 2*i - 3*k - q = 0. Is 0 > i?
False
Let n = 3 - 5. Let s be 1/(-2)*n/(-9). Is 0 > s?
True
Suppose w - 27 = -2*w. Let m be 6/w + (-8)/3. Suppose 2*s - 12 = 2*p, 2*s + 2 = -3*p + 4. Do m and p have the same value?
True
Let c(a) = -a**3 - 2*a**2 - 2*a - 1. Let k be c(-1). Suppose k = -3*d - 23 + 8. Is -6 at least as big as d?
False
Let d = 2 - 0. Let s(p) = p**2 + 6*p + 3. Let b be s(-6). Suppose -b*r + 0*k - 6 = -d*k, 2*k = -6. Is -3 smaller than r?
False
Let m = -52 - -52. Let z = 0.3 + -0.2. Which is smaller: z or m?
m
Let v = 71 + -567/8. Is v equal to 1/2?
False
Let b be -3*(-12 + 2)/(-2). Let r be b/(-6)*(-5 - -3). Do r and -5 have the same value?
True
Suppose -d - 2*b - 22 = 0, -55 = 4*d + 4*b + 17. Which is greater: -13 or d?
-13
Let k = 272/3 - 92. Which is smaller: 1 or k?
k
Let u be 5*(26/10 - 3). Let g be u*(-3 + 3 - 2). Suppose -g*i + 5 = i. Which is smaller: 2 or i?
i
Suppose q - 4 = -2*y - 1, 4*y = -3*q + 9. Let p = 504/1235 + -2/247. Do p and y have different values?
True
Let w(j) = 2*j + 3. Let v be w(-2). Let k(i) = i + 13. Let q be k(-13). Let c = q - v. Which is greater: 2 or c?
2
Let v = 95/141 - 1/141. Does 0 = v?
False
Let l be 4*345/21 - 6/(-21). Which is bigger: 67 or l?
67
Suppose p = -4*h - 1440, 2*h + 1861 - 9149 = 5*p. Let t be -4 - (p/92)/4. Do 1 and t have different values?
True
Let b be (-5)/60*3 - 1/(-4). Is -2/349 less than or equal to b?
True
Suppose 3*p + 3 = 5*i - 29, -7 = p + 2*i. Let w = p - -6. Let d = 8 + w. Is 5 at most d?
True
Suppose -7*p + 5*p = -6. Suppose -2*l - 2*y = 20, -19 = -l + 3*l + y. Let o be (-2)/p + 3/l. Is -2/11 at least o?
True
Let r(v) be the third derivative of v**4/24 - 5*v**3/3 - 4*v**2. Let o be r(10). Is o less than or equal to -0.4?
False
Let i = 0.2 - 1.2. Let n = -3.48 + -0.02. Let l = -0.5 + n. Which is bigger: i or l?
i
Let k = 15 - 41. Is -26 less than or equal to k?
True
Suppose 5*y + 19 + 6 = 0. Suppose 4*h = -4*m - 20, 0 = -2*h - h - m - 13. Is y smaller than h?
True
Suppose 12 = 5*n + 52. Let b = 12 - 6. Let c = b + n. Are c and -3 equal?
False
Suppose -4*l + 9*l - 55 = 0. Let m = 10 - l. Which is bigger: -1/12 or m?
-1/12
Let d = -55 + 53. Do d and -5 have the same value?
False
Let w = -154 - -77. Is w bigger than -77?
False
Let v = 2 + -10. Let x = -6 - v. Let a = x + -1. Is 1/3 smaller than a?
True
Let s(p) = -p**2 + p - 3. Let l(n) = -n**2 + n - 2. Let v(g) = -6*l(g) + 5*s(g). Let c be v(0). Which is greater: 1 or c?
1
Let d(q) = -q**3 - q**2 + 9*q - 2. Let m be d(-4). Is m < 7?
False
Let z = -35 - -281/8. Suppose 3*j + 4*v + v + 13 = 0, 2*v + 2 = 2*j. Which is smaller: z or j?
j
Let w = -2 - -2. Which is smaller: -16 or w?
-16
Let g = -4 + 4. Let c = -15 + 10. Are g and c equal?
False
Let c = 7.96 + 0.04. Let y = -9.1 + c. Are 2/3 and y nonequal?
True
Let f = 23 - 7. Suppose f = -h + 3*h. Let p = h + -6. Which is smaller: p or -1?
-1
Let v = -110 + 108. Does -78 = v?
False
Suppose 0 = 5*a - 2*d + 20, -2*a - 7 = -5*a + 5*d. Suppose 5*v + 3 = -27. Are v and a unequal?
False
Let x be -2*-1*6/(-4). Let w be 3/9 + 1/x. Let r = 1.22 - 0.22. Is w at least as big as r?
False
Let h(i) = i + 8. Let x be h(-6). Let r = -47/28 - -17/7. Is x at least r?
True
Let b = -0.62 + -0.38. Which is smaller: b or 1/2?
b
Let o be 1*(2/(-2) - -4). Let f = o + -1. Suppose -3*w - f = -w. Which is greater: 0 or w?
0
Let g = -15/26 - -1/13. Is g at least as big as 0.2?
False
Let x(o) be the third derivative of o**4/24 + 2*o**3 + 2*o**2. Let k be x(-6). Is k less than 5?
False
Let j(d) = -2*d**3 - d**2 + 2*d. Let g be j(-2). Let r be ((-3)/22)/(3/g). Which is smaller: r or -1?
-1
Let u be (-1)/(-3 + 42/15). Let q be u/6*4/(-10). Let g = -2 - 0. Is q smaller than g?
False
Suppose -3*f - 7 = -1. Let c = -1 - f. Is -2/39 greater than or equal to c?
False
Suppose 0 = -2*p - 2*v - 2, 5*p = -3*v + v - 20. Let l be -2 - (1 - (-10)/p). Which is bigger: -2 or l?
l
Let p(c) = -5*c - 4. Let i(f) = f**3 + 5*f**2 - 5*f + 4. Let j be i(-6). Let d be p(j). Which is greater: d or 4?
d
Let u = -7 + 7.07. Let g = u - -0.03. Suppose 5*v + 5*c + 20 = 0, -3*v + 5*c = 2*v - 10. Is v equal to g?
False
Let f be (3/(-1))/(1695/10). Let m = f + -109/226. Which is smaller: 2/5 or m?
m
Let x(j) = -j**3 - 4*j**2 - j + 3. Let p be x(-3). Is p at least -1?
False
Suppose 5*q = -2*d + 12 + 4, 0 = -3*d + q - 10. Let n be 4/(1*(d + 0)). Is -1 equal to n?
False
Let u = 4 - 1. Suppose 2*x - 4 = -u*x - r, 3*x = 2*r - 8. Is x equal to 0?
True
Let z = -27 - -26.9. Which is bigger: -6 or z?
z
Let z = -1 - -1.1. Let p = 0.3 - z. Let r = 95.9 + -96. Which is smaller: r or p?
r
Let r = -1 - -0.8. Let t = 0.74 - -0.06. Let x = r - t. Is -3 <= x?
True
Suppose m = 0, 3*n + 2*m - 1 = 2. Let j(w) = -12*w - 3. Let u be j(-2). Let g be (-6)/u + 8/14. Which is bigger: n or g?
n
Let p = 5 - 8. Suppose 0 = -j + 5*d - 29, 0 = 3*j - 6*j + 3*d - 27. Let y = j + 2. Is p > y?
False
Let v = -60 + 56. Is v > -3?
False
Suppose y = 4*v + 7 - 39, 3*v + 5*y - 1 = 0. Suppose -2*o - 4*k - 2 = -10, 5*o - 3*k = v. Is 1 >= o?
False
Let x be (2/(-3))/(10/45). Is x <= -1?
True
Suppose -2*k = 2*w + 2*k, -2*w - 3*k = -1. Suppose -3*d + 34 = 5*z, -5*d = -w*z + z - 10. Let l = -59 - -123/2. Which is smaller: l or d?
l
Let q = 98 - 96. Let a = -3 - -5. Suppose 0 = h + a*h. Which is bigger: h or q?
q
Let c = 2.8 - 0.8. Which is smaller: c or 0.4?
0.4
Let h = -19 + 20. Let u be (h - (-20)/(-16))*3. Is u equal to 0?
False
Let u = -19.8 + 1.8. Is u at least as big as -1/3?
False
Let z(a) = -a**2 + 6*a + 1. Let o be z(7). Let x(c) = c**2 + 6*c + 5. Let n be x(o). Are n and 6 non-equal?
True
Let x = -1/337 - 3357/4381. Which is bigger: -1 or x?
x
Let h be (33/55)/((-1)/(-25)). Let a be h/75 + (-36)/5. Is -2 >= a?
True
Let c = 115 - 127. Is -11 not equal to c?
True
Let i be (2 + 22/(-13))/2. Let t(z) = z**2 - 8*z - 8. Let x be t(9). Is x greater than i?
True
Let x = -1 - -3. Let q = -0.1 - 0.1. Is q equal to x?
False
Suppose -2 = -2*b, 2*b = 4*o + 6*b - 60. Is 19 smaller than o?
False
Let y(x) be the first derivative of -x**2/2 - x + 2. Let b be y(-5). Suppose b*r + 15 = r. Which is smaller: -6 or r?
-6
Suppose -3*u = 4*q + 32, 0*q + 3*q + 3*u = -27. Let a = -11 - q. Which is greater: -7 or a?
a
Let i = -19 + 189/10. Let z be (-1 + 1)/(2 + -3). Which is smaller: z or i?
i
Let l = -6 - -5.99. Which is bigger: l or -1/2?
l
Let k = 599 + -7791/13. Which is smaller: -1 or k?
-1
Let c be 2 + 3/((-111)/68). Which is greater: 0 or c?
c
Suppose 0 = 4*o + 2*l - 10, -7 - 1 = -4*o - 4*l. Sup