?
True
Let f(k) = k + 2. Let j be f(-2). Suppose 0 = 5*d - 5 - j. Let r be d/(-2)*4/6. Are r and 1 equal?
False
Let m be 0/(-2) + (3 - 3). Let b = -263 + 1846/7. Is b less than or equal to m?
False
Suppose 0 = -5*m - 5. Let r = m + 1. Is 0 smaller than r?
False
Let k = -224/1145 - 1/229. Is k >= 0.17?
False
Suppose 2*c + 4 + 6 = 0. Which is bigger: -8 or c?
c
Let m = 0.05 - 1.05. Let f = m + 0. Which is bigger: f or -0.1?
-0.1
Let o(d) = -d. Let b(t) = -5*t + 4. Let p(l) = -b(l) + 3*o(l). Let a be p(4). Let y be (-2 + a/2)/(-2). Does 1 = y?
False
Let f = -29 + 26. Is f > -2?
False
Let x(t) = t**2 - 4*t - 2. Let v be x(5). Suppose v*c - 4 = -c. Which is smaller: c or 4/5?
4/5
Let v(b) = b**3 + 4*b**2 - 7*b - 1. Let h be v(-5). Suppose 4*z - h = 5*z. Is z less than or equal to -8?
True
Suppose 5*g + t = -16, -3*t - 13 = 4*g + 2. Let s be ((-12)/(-6))/(g/1). Let p(m) = m + 5. Let q be p(-6). Is s less than q?
False
Let g be (1 - (-4)/(-6)) + 165/315. Is 0 less than or equal to g?
True
Let j = -1 - -2. Let g be j/2 + 20/(-8). Let z = g + 1. Is -1 at least z?
True
Let t = 118/385 - 4/11. Let h(f) = f - 5. Let i be h(4). Let a be i/(1*(0 - 1)). Which is greater: t or a?
a
Let m(t) = 7*t**2 + 2*t - 4. Let a be m(-5). Let p = -649/4 + a. Which is greater: p or 1/4?
1/4
Let v = 1/204 + 403/1020. Do v and 0.072 have different values?
True
Suppose 8*c - 7*c = -48. Is -49 greater than c?
False
Let m = -19.9 - -20. Are -2/5 and m equal?
False
Let x be (-4)/(-90)*125/4. Let t = x + -8/9. Which is greater: t or 2?
2
Suppose -14 = -4*m + 2*a, -5*m = -2*m + 3*a - 24. Let h(j) = 2*j - 3. Let z be h(3). Suppose -z = -m*y - 2*u, -4*u + 17 = 3*y + u. Is -1 bigger than y?
False
Let t = 0.056 - 9.456. Is -1 <= t?
False
Let r = -0.01 - -0.31. Let i = r + -2.3. Let z = i + 1.8. Which is smaller: 0 or z?
z
Suppose 0 = -0*m + 4*m - 52. Let g = m + -13. Is g <= 1/19?
True
Suppose 4*b + 5*a - 4*a = 12, 4*a = 3*b + 10. Is b equal to 3?
False
Suppose -2*p + y - 37 = -p, -4*y + 185 = -5*p. Which is bigger: p or -36?
-36
Let u = 1302 + -2543/2. Let x = u + -30. Is x > 1/5?
True
Let c = -0.03 - 0.97. Let g = c + 0. Which is greater: g or -2?
g
Let i = 250 + -203. Is i less than or equal to 2?
False
Let z = 4/289 + -6659/867. Which is smaller: z or -7?
z
Suppose 3*k - 2 = 4. Is 0.1 != k?
True
Let y(b) = -2 + 2 + 2*b + 2 - b. Let q be y(-4). Is q at least -6/5?
False
Let g be (104/1508)/((4/3)/1). Which is bigger: g or 1?
1
Let h = 16 - 13. Do h and 5 have different values?
True
Let z(r) = -4*r**2 + 2*r - 3. Let c(y) = 5*y**2 - 3*y + 4. Let t(d) = -3*c(d) - 4*z(d). Let h be t(0). Is 2/5 < h?
False
Let k = -8 - -17/2. Which is bigger: k or 0?
k
Let k = -25 - 0. Let f be 5/k + (-1)/1. Suppose o = -q, 3*q = o + 3*o. Are o and f equal?
False
Let u = 30 + -901/30. Is u bigger than -1?
True
Suppose 5*w + 3*b + 2*b = 15, -21 = 5*w - 4*b. Which is smaller: w or -6/47?
w
Let b be (-235)/150 + 3/2. Is b != -1?
True
Let c(n) = -n**2 - 5*n - 4. Suppose -y - 3*s = 9, -y - 4*s = y + 14. Let t be c(y). Suppose t*h = -h. Is h >= -4/3?
True
Let k = -0.07 - 2.93. Let y = -3 + 5. Let w be y/(-8) - 0/(-7). Is k > w?
False
Let c(w) = 3*w**3 - 13*w**2 - 9*w - 13. Let k(y) = 13*y**3 - 53*y**2 - 35*y - 51. Let g(p) = -9*c(p) + 2*k(p). Let s be g(12). Suppose -3*n + 0 = -s. Is n <= 1?
True
Let w be (-75)/18 - (1 - 5). Are 2/3 and w equal?
False
Suppose 5*n + 0*n + 290 = 0. Let w be (n - 5)/(2/(-6)). Let v = w + -572/3. Which is greater: v or -2?
v
Let y(j) = -2*j**3 - 4*j**2 - 3*j - 2. Let b be y(-2). Suppose -b*d + 70 = 10. Suppose -3*r + d = -0*r. Is r bigger than 5?
False
Let t be (34/(-15))/((-26)/(-39)). Is -3 at least t?
True
Suppose 4 = 3*o + 5*i - 6, -3*i = -2*o + 13. Is o at least as big as 11?
False
Let x(m) = m**3 + 5*m**2 + 3*m + 1. Let v be x(-4). Suppose -d = -0*d - 16. Let k = 19 - d. Which is smaller: k or v?
k
Let p = -703/13 - -54. Does 1/2 = p?
False
Suppose -5*r - 5*s - 100 = 0, -s + 8 = s. Let x be 4/r - (-19)/186. Which is smaller: -1 or x?
-1
Let s be (-20)/(-35) - 53/(-7). Which is smaller: 9 or s?
s
Let i be (-4)/(-18) - 100/(-36). Suppose -5 = -n + i. Which is bigger: 9 or n?
9
Let h be 1/(-5)*(27 - 26). Is h greater than 1?
False
Let n = 2.1 - 2. Let w = -2.1 - -2. Let q = n + w. Does q = 0?
True
Let s = -1/1546 - 1918/22417. Is s smaller than -1?
False
Let d = 5 + -2. Is 2 at least d?
False
Let k = -1.2 + 0.2. Let i = k + 4. Which is smaller: i or 1?
1
Let k = -6 + 10. Suppose -2*a = -k*a + 4. Let c be (-6)/12 + (-7)/a. Is c greater than or equal to -5?
True
Let a(r) be the third derivative of 0 - 1/60*r**5 + 0*r + 5/24*r**4 - r**2 - 2/3*r**3. Let q be a(3). Is 3 smaller than q?
False
Let y be 2 - (0 - -3) - -1. Let v be (2 - 1)/(-2)*y. Let o be -2 - ((-9)/6 + v). Is o greater than 0?
False
Let l be -1 + -1 - (3 - 4). Is -3 smaller than l?
True
Let g = -0.14 + 0.04. Which is smaller: 1/6 or g?
g
Suppose -5*k + 12 = -2*k. Suppose 2*w - 6 - 3 = -5*y, k*y - 6 = -w. Is 3/5 less than y?
True
Let x = -15.4 + -3.6. Let w = x + 18.9. Which is bigger: -2/15 or w?
w
Let s = -49 + 121. Let t = s + -141/2. Which is smaller: 1 or t?
1
Let n = -29/5 - -52/15. Does n = -2?
False
Suppose 2*b - 4*d + 24 = 0, 3*d - 3 = -0*d. Let q be 6/b*(-24)/9. Let s = q + -47/20. Which is smaller: -1 or s?
-1
Let r = -1 - -4. Suppose -6*i = -r*i. Are -3/5 and i nonequal?
True
Let w(d) = -d + 1. Suppose -2 = -0*y - 2*y. Let r be w(y). Which is smaller: r or -1?
-1
Let o be (6/8)/((-27)/(-1392)). Let t = o + -38. Let f(j) = j**3 + 2*j**2 - 4*j - 1. Let p be f(-3). Which is bigger: t or p?
p
Let p be ((-45)/(-27))/((-1)/3). Is -5 greater than p?
False
Let c = 8 + -5. Let k = 5 - c. Let t(a) = -a**2 + a. Let j be t(k). Which is greater: 3 or j?
3
Let s = 603 - 34370/57. Which is bigger: 0 or s?
s
Suppose 0*h - 3 = 3*h. Which is smaller: 4/13 or h?
h
Let p = -1.9 + 2.1. Is p at most as big as -5?
False
Let b = -2.8 - -2.95. Which is bigger: b or 2?
2
Let f = 3193/10 + -319. Let q be 1/4 + 14/(-40). Let c = q - f. Is c <= -1?
False
Suppose -2 - 7 = -3*x - 5*g, x + 5*g = 13. Is x greater than -4?
True
Suppose -4*x = 3*y - 19, 8*x - 3*x = -3*y + 20. Let w = -0.1 + 0.2. Which is smaller: x or w?
w
Let u = -23 + 43. Let n = 15 - u. Is -5 greater than n?
False
Suppose 2*x = -x. Suppose 2*n + n - 21 = 0. Is x > n?
False
Let o = 0.17 + 1.83. Which is bigger: o or -8?
o
Let c be -2*(-2)/((-4)/3). Let x be -3 - 3/(-3) - -5. Suppose -8*q = -x*q + 5*a + 35, 2*q = -a - 9. Is c < q?
True
Let k(f) = f**2 + f. Let t(x) = x**3 - 2*x**2 + 6*x - 2. Let c(j) = -2*k(j) + t(j). Let z be c(3). Is z less than -2/21?
False
Let u = -0.06 + 3.06. Is u greater than 1?
True
Let i be (-1420)/3 + 1 + -1. Let j = -456 - i. Let d = -17 + j. Which is bigger: 0 or d?
d
Suppose 0 = 4*n + n + 10. Let q be 0 - 4*(-15)/6. Let a = -21/2 + q. Which is smaller: n or a?
n
Suppose -2*l = -r + 6, -3*r = r - 2*l - 12. Suppose -b = b - r. Are 0.03 and b equal?
False
Let p be (1 - -2)/((-6)/16). Let z be (-2)/p + (-46)/(-8). Are 6 and z nonequal?
False
Suppose -66 - 54 = -4*f. Are f and 29 equal?
False
Let k(j) = -j + 2. Let h be k(3). Let i be 22/4 + h/(-2). Let c = i + -10. Is -2 greater than c?
True
Suppose 4*o = -o - 2*m, 0 = 4*o - 2*m. Let s be -2 + 3*2/3. Suppose 9 = 2*l - 2*t + 1, 2*l - 4*t - 14 = s. Which is greater: l or o?
l
Let j = 1 - 3. Let i be (0*j/4)/2. Does -1/13 = i?
False
Let r = 2/89 + 797/178. Which is smaller: r or 5?
r
Suppose -8 = -0*o - 4*o. Suppose -d = -3*n + d + 18, o*d - 6 = -n. Which is smaller: 5 or n?
5
Let q be 20/28 + -4 + 3. Is -0.2 greater than q?
True
Suppose 0 = -5*i + 56 + 29. Is 18 > i?
True
Let y = 22 + -21.91. Let l = -0.21 - y. Is l bigger than 0?
False
Let y be 5/4 + 2/(-8). Let g be 2/(3 - (0 + y)). Let h = 4 + g. Which is greater: 4 or h?
h
Let b = 2 - 2.06. Let d = 0.16 + b. Let m = 3.2 + -3. Is d greater than m?
False
Let i(h) be the second derivative of -h**5/20 + h**4/6 + h**3/6 - h**2 - h. Let q be i(2). Which is bigger: q or -1/2?
q
Let l = 17 + -18. Are 0.2 and l nonequal?
True
Suppose 5*m + 7 = -2*b + 29, 3*b + 17 = 5*m. Is b bigger than -3/13?
True
Let f = 5180 + -36000/7. Let y = f - 37. Which is smaller: -1 or y?
-1
Let n be (-4)/(-16) - (-18)/(-8). Let u be (-14)/12 + (-1)/n. Let b = 1.9 + -2. Whi