?
True
Let i be (6/7)/((-4)/(-28)). Let v be 3/i*6*1. Suppose -v*w + 4*w + 4*z - 2 = 0, -3*z = 0. Are 2/3 and w unequal?
True
Suppose h + 2 + 5 = 0. Let u = h + 6. Which is bigger: 0 or u?
0
Let m = 6 + -23. Let p = 15 + m. Which is smaller: p or 3/5?
p
Let b = -3 + 5. Let h = 4 - b. Suppose 5*j = 3*i - 12, j - h*i = i - 12. Is j != 4?
True
Let f(r) = -r**2 + 3*r - 3. Let x be f(2). Which is smaller: 0 or x?
x
Let g = -30 + 46. Let j = g + -22. Which is smaller: 2/3 or j?
j
Suppose 14 = -0*a + 2*a. Let y = a - 11. Is -3 not equal to y?
True
Let u(z) be the third derivative of z**4/24 + z**3 - z**2. Let c be u(-6). Which is smaller: c or 6/7?
c
Let w = 0.3 + -1.3. Let d be 26 + 3/1 + 1. Let n be 2/(-4) - 5/d. Which is greater: n or w?
n
Suppose -n - 6 = 4*m, -2 = 3*n + 5*m + 2. Are 2 and n equal?
True
Let c(o) = o**2 - 3*o - 7. Let a be c(5). Suppose 0 = 4*n - n - a. Let s be 3/21*(5 + 1). Is n equal to s?
False
Let d = 0 + -1. Let y be (6/(-105))/(1/(-5)). Which is bigger: y or d?
y
Let m(j) = 2*j**3. Let f be m(1). Let a be 0/(f/((-2)/(-2))). Let t = 11 + -10. Is t less than a?
False
Suppose -5*v + 0 = -5. Let w be v/(-2) + (-26)/4. Which is smaller: w or 1?
w
Let z = -6/215 + 902/1505. Suppose 0 = 2*p + p + 27. Let b(v) = v**3 + 9*v**2 - v - 8. Let k be b(p). Which is greater: z or k?
k
Let c = 11 - 8. Let o = -0.052 + 5.052. Let q = o - c. Which is smaller: q or -0.2?
-0.2
Let y = 4/117 - 379/819. Which is smaller: 0 or y?
y
Let r = 301 - 299.01. Let o = -0.01 - r. Let p = -0.3 - -0.2. Which is smaller: o or p?
o
Let v = -81 + 124. Let g = v + -343/8. Which is bigger: g or 0.1?
g
Suppose -3*h + 7 = -8. Let x = -49/228 - 2/57. Which is bigger: x or h?
h
Let z be (-3)/(-2)*3/(-9). Let p = 1.34 + 0.06. Let x = -1 + p. Is z smaller than x?
True
Let u = -45524/103 + 442. Let r = -216/515 + u. Which is greater: r or -1?
r
Let j = 29/76 + -12/19. Which is smaller: j or -5/39?
j
Let y = -114 - -121. Is -12 greater than y?
False
Let m = -994847/506 + 29223/46. Let t = -1327 - m. Let v = 4 - t. Is -1 < v?
True
Let j = 6 - 4. Suppose -19 = 5*l - 3*g - 0, -5*l + 4*g - 22 = 0. Let r be (j + 2)/((-3)/l). Is r less than or equal to 3?
True
Suppose -7*q - 4 = -3*q. Suppose 4*y + u + 11 = 0, 3*y - u = y - 13. Let k = y + q. Is k > -6?
True
Suppose d - 2*d = 4*y - 16, 0 = 2*d - 2*y - 2. Suppose -d*u + 6 = -u. Suppose -l + 2*l - 16 = -4*a, 3*l + 8 = u*a. Is 1/3 less than or equal to l?
False
Let m = 6 + -15. Is m at most -9?
True
Let p = 0.6 + -0.5. Is 0.1 >= p?
True
Let f(i) be the third derivative of -i**4/24 + 7*i**3/6 + 2*i**2. Let r be f(3). Do r and 3 have different values?
True
Let q = -807 - -6465/8. Are q and 1 nonequal?
True
Let t be ((-9)/21)/(6/(-21)). Which is greater: t or 2?
2
Let g = 8 + -8.3. Let p = 0 + -0.2. Let m = p - g. Are m and -0.3 nonequal?
True
Let w(d) = 2*d**3 + 1. Let a be w(1). Suppose -j - 2 = -11. Let v = j - 5. Which is bigger: a or v?
v
Let r = 0.44 - 0.54. Let x = 0 + 0. Let a = r + x. Does a = 2?
False
Suppose 4*j = -20, -2*b + j + j + 20 = 0. Suppose -20 = -5*x, -b*t + 0*x - 60 = -5*x. Is t less than or equal to 1?
True
Let z = -0.7 - 0.3. Let a = -4 - -3. Let y = a + z. Which is greater: -1 or y?
-1
Suppose -s + 5*t - 12 = 2, 2 = 5*s - t. Which is smaller: s or 3/7?
3/7
Let z = -9 + 16. Suppose 2*c - 12 = -2*c. Suppose 0 = 2*v + z + c. Is -5 at most v?
True
Suppose 0 = -r + 5*r + 36. Let s be (-3 - -2)/(5/45). Is r at least s?
True
Let m = -77 - -76.7. Which is greater: m or 2?
2
Suppose t - 4 = 3*t. Let k be t/8 + 5/4. Which is smaller: k or 2?
k
Let h = 0.27 + -0.02. Let j = -0.05 - h. Which is smaller: j or -1?
-1
Let x(d) = -d**2 + 7*d - 10. Let g be x(7). Let h = g + 6. Suppose -10 = 23*m - 21*m. Is h less than m?
False
Let y(i) = i**2 - i - 1. Let x be y(0). Let d = -1 - x. Let z(v) = v + 2. Let c be z(-2). Is c bigger than d?
False
Let u be -1*((-2 - -1) + 0). Let r be (230/177)/(-2) + 1. Let n = 1/59 - r. Do u and n have different values?
True
Let a be 5/7*(-30)/(-25). Which is bigger: a or 1?
1
Suppose -15 = 5*j, -t = 2*j - j + 1. Suppose 2*l + 11 = 3*y, t*l + 2*y - y + 7 = 0. Let v be (-24)/(-8) + 3/(-1). Which is greater: v or l?
v
Let t be (-2)/(-1) + 51/(-24). Let o(f) = f - 5. Suppose -32 = -2*m + 4*w, 4*m + 0*w - 39 = 3*w. Let y be o(m). Which is smaller: y or t?
t
Let m = -57 - -61. Let q = -2 + 5. Is m != q?
True
Suppose -2*g + 5*g + 18 = 0. Let r be (-2)/g - (-4)/(-12). Which is smaller: r or -1?
-1
Let g = -0.3 + 0.2. Let j = -4 + 4. Let t = 0 + j. Which is smaller: t or g?
g
Let p be (69/(-18) + 4)*(-16)/14. Which is bigger: p or 1?
1
Let m be ((-1)/(-3))/(4/48). Let q(z) = z - 4. Let c be q(6). Suppose 0 = 4*r + 3*k, 5*r - c*r = 3*k + 21. Which is greater: r or m?
m
Let t = 0.9 + -1.6. Let s = 0.3 - t. Let q = 0 + s. Which is smaller: q or 2?
q
Suppose p + 9 = -3*q + 3, -5*p + 22 = 2*q. Let s = p - 3. Let m = s + -6. Are m and -1 nonequal?
True
Suppose 4*s - 2*h + 60 = 0, -h - 31 = 3*s + 19. Which is bigger: -15 or s?
-15
Let o be 1/(-1)*(-1)/(-2). Let r(g) = -27*g + 25. Let v be r(1). Which is smaller: o or v?
v
Suppose -b = 4*c + 8, -3*c = 2*b + 2 + 4. Let j = -2/5 - 1/10. Which is smaller: c or j?
c
Let s be 22/(-6) + (-1)/3. Let g be (s/(1*-2))/2. Suppose -3*v + 4*m + 5 = 0, m - 3*m = -3*v + 7. Is g less than v?
True
Let r(x) = -21*x. Let h be r(1). Let b be (-16)/h - 4/6. Suppose 5 - 1 = -4*s. Do s and b have the same value?
False
Let l = 1271/28361 + -7/359. Which is bigger: l or 0?
l
Let v = -0.281 + -0.009. Let c = v - 0.21. Are 0 and c non-equal?
True
Let r(i) = -i**2 + i. Let q(b) = -6*b**2 + 14*b - 4. Let u(w) = q(w) - 5*r(w). Let a be u(9). Which is greater: -3 or a?
-3
Suppose -7 + 2 = -5*p. Are -0.17 and p unequal?
True
Let k = 929/7 + -133. Is -1/8 equal to k?
False
Let t be 3 - (1 + 2496/1023). Let n = -8/31 - t. Are n and -1 nonequal?
True
Let x(j) = j**3 + 6*j**2 + 5*j + 8. Let m be x(-6). Let k = 27 + m. Is k > 6?
False
Let p = -0.03 - 0.09. Let z = -0.18 + 0.2. Let q = z + p. Which is smaller: -1 or q?
-1
Let j = -0.58 + 0.32. Let t = j + -0.04. Is 2 > t?
True
Let d(w) = -46*w - 6. Let c be d(-3). Let g = 927/7 - c. Which is greater: -1 or g?
g
Let k = 77.039 - 77. Which is smaller: k or 2/9?
k
Suppose -5 - 4 = 3*a. Suppose 0 = o + 7 - 1. Let v = o + 4. Is v bigger than a?
True
Suppose 0 = -5*h - 28 + 48. Let b(f) = -f - 5. Let i be b(-4). Let m = i + 5. Is h greater than m?
False
Let b(o) = -4*o**2 - 13*o - 6. Let f be b(-3). Suppose 0*v + 12 = 4*v. Suppose -5*m - 7 = -v*p, -2*p - 2 = -0*p. Which is bigger: m or f?
m
Let y be 2/2 - 50/40. Let i be ((-4)/2)/(2*-1). Do i and y have different values?
True
Let u(s) = s**2 - 2*s - 1. Let j be u(2). Is j >= 2/23?
False
Let d = -36/7 + 194/35. Let r = -1/10 - d. Let j(g) = 3*g**3 - 2*g - 1. Let x be j(-1). Is r less than x?
False
Let n be -1 - ((-13 - 0) + 2). Let s be (-23)/35 - (-4)/n. Let i = -1/7 + s. Which is greater: i or -1?
i
Suppose w - 5*f - 14 = -2*w, 0 = 2*w - 2*f - 8. Suppose 0 = -5*x + 4*o - 25, 3*o + 6 = -x + 4*o. Let q be (-1 - -2)/(x/(-4)). Which is bigger: w or q?
q
Let n = 15.7 + 4.3. Which is bigger: 1 or n?
n
Let y = 1.1 - 9.1. Let r = y - -13. Is 0.1 equal to r?
False
Let y be 0/(-1) + (4 - 3). Is 0.9 at most as big as y?
True
Suppose -50 = 2*s - 4*h, -5*h = 3*s - s + 41. Is -22 at least s?
True
Let a = -1 + 0.9. Let s = a - -0.2. Let p = -61 + 243/4. Is p at most s?
True
Let r = 7 + -6. Are -0.5 and r nonequal?
True
Let v = -2 + 14. Suppose d = -d + v. Let z = 35/6 - d. Does 0 = z?
False
Let n be 1/(5/(-29)) + -2. Let g = -151/20 - n. Which is bigger: 1 or g?
1
Suppose 2*h + 3*b - 1 = 0, 14 = 3*h + h + 2*b. Suppose z - 2 = -h. Is z greater than -3?
False
Suppose 12 = -2*r + 5*j, 0 = -r + j - 3 - 0. Is -2/61 not equal to r?
True
Suppose -5*b - 12 = -2*c - 2*c, -c - 5*b - 22 = 0. Is -1 at most as big as c?
False
Suppose -4*l - 10 = -2*i + 12, 5*i - 4*l = 31. Suppose 0*h - 1 = i*v - 5*h, 2*h = 4. Suppose -v*s - 6 = 3*j, 4*s + 2 + 3 = -3*j. Which is smaller: 1/2 or s?
1/2
Let k = -586367/13860 - -1124/495. Let a = k - -159/4. Does a = -1/2?
False
Suppose -2*s - 4*y - 18 = 0, s - 2*s - 5*y = 24. Let h = -6 + 3. Is h bigger than s?
False
Let g(a) = -2*a - 43. Let d be g(-19). Which is smaller: d or 5?
d
Let h = 27/