j >= -1?
True
Let r(w) = w**3 - w**2 - 2. Let a(b) = 6*b**2 - 8*b. Let z(f) = -5*f**2 + 7*f. Let g(d) = 6*a(d) + 7*z(d). Let t be g(1). Let k be r(t). Is k equal to 2?
True
Let a be 91/(-245) - (-1)/(-5). Is a bigger than 0?
False
Let v be 6/27 - (-68)/18. Suppose k - 1 = g + v, 3*g = -12. Suppose -3*m - 4 = 11. Is m smaller than k?
True
Let q = -36922/37 - -998. Which is greater: 0 or q?
q
Suppose 34 = -2*x + 3*x + 3*o, -3*o = 0. Let i = 137/4 - x. Suppose -q - z - 1 = 0, -q - 5*z - 2 - 3 = 0. Which is bigger: q or i?
i
Let z = -7 + 3. Let k be (4 + z)/(2 - 4). Is 1/14 > k?
True
Let z = -285 - -8263/29. Is 1 at most as big as z?
False
Let j be 16/22*2/8. Let x = -81 + 81.2. Is j less than or equal to x?
True
Let c be (40/14)/(2/7). Let g = 9 - c. Is -3/7 > g?
True
Let a = -1.36 - 2.64. Let h = 1.99 + 0.01. Is a less than or equal to h?
True
Let w = -63/134 + -2/67. Let c be 1 + -2*2/4. Which is smaller: c or w?
w
Let b = 18263/17 - 1074. Let t be 0/(-3) + (-141)/561. Let r = t - b. Which is greater: r or -1?
r
Let w = 6 - 4. Suppose 2 + w = -4*i. Let s be (-1 - i) + 4/2. Which is bigger: s or 1?
s
Let k = 1 - 2. Do 0.28 and k have different values?
True
Suppose 2*m = -2*m + 8. Let g be (-46)/14 + (-4)/(-14). Let b = g + 4. Is b < m?
True
Suppose 4*j - 6 = 6. Let z(w) = -w**3 - 4*w**2 - 4*w + 1. Let c be z(-3). Which is smaller: c or j?
j
Let b be 10/35 + (-22)/28. Suppose 4*y - 15 = -w, 5*y = -2*w + 6*w + 3. Let p be (w/(-4))/(6/4). Is p >= b?
True
Let b(u) = -u**3 - 3*u**2 - u + 2. Let g be b(-2). Is g at least as big as 9?
False
Let o = -17 + 15. Is -0.05 <= o?
False
Suppose g - 70 = -5*x, 74 - 18 = 4*x + g. Which is greater: x or 13?
x
Let t be -3 - 68/(-13) - 2. Is 0 greater than t?
False
Let t(y) be the third derivative of -y**4/12 + y**3/6 - 2*y**2. Let u be t(-1). Let q be u/(-21)*(0 + 2). Which is smaller: 0.3 or q?
q
Let a = 5 + -1. Suppose 3*o - 7 + a = 0. Let q be -2 + 1 - (-10)/8. Which is bigger: q or o?
o
Let l = 20.9 + -21. Which is smaller: 0.04 or l?
l
Let v = 0 + 0. Suppose -3*c + c - 8 = v. Let x = c + 3. Which is smaller: x or 2/11?
x
Let v = 4 + -1. Let p(n) = 0*n + 5*n + n**2 - 2*n. Let g be p(-3). Is v smaller than g?
False
Suppose 19*i - 22*i = 141. Which is smaller: -45 or i?
i
Let v(l) = 3*l**2 - 2*l - 1. Let u be v(-1). Suppose -2*b + 3*b + 2 = u*i, -2*i + 8 = -4*b. Which is greater: i or -4/7?
i
Let u be 1/((0 + 4)/40). Is 11 at least u?
True
Let i = 4 - 3. Let q be i - ((-33)/9 - -3). Which is greater: q or 2?
2
Let t = 98/3 - 32. Is t != 2?
True
Let u be 3 - ((-1)/1 + 3). Let v(p) be the first derivative of p**2 - p + 3. Let x be v(u). Is 0 != x?
True
Let r be (-8)/(-6)*(-9)/(-2). Let i(n) = n**3 + 9*n**2 + 13*n - 1. Let u be i(-7). Is r less than u?
False
Suppose 7 = i + u, 1 = 4*i - 3*u - 2*u. Suppose 0 = i*g + g - 15. Is 2 > g?
False
Let k = 1 - -2. Let z(b) = -b**2 - 6*b - 2. Let d be z(-6). Let l be k*d*(-1)/(-33). Which is bigger: l or -0.1?
-0.1
Let p = 14 - 14. Let l be 2 + (1 - (-23)/(-7)). Which is smaller: p or l?
l
Suppose -2*a - 22 = 3*c - 4*c, -60 = -4*c + a. Suppose 3*h = -9 + 48. Is h <= c?
True
Let q(x) = 2*x - 29. Let u be q(-10). Is u > -47?
False
Let x(j) = 2*j - 1. Let s be x(-2). Let u be 3 + s/(10/6). Which is bigger: u or 4/7?
4/7
Let c(h) = h + 1. Let g be c(4). Suppose t = g*t + 4. Suppose -17*i = -21*i - 5*p - 37, 0 = -5*i - 5*p - 40. Which is smaller: t or i?
i
Let c = 22/5 - 4. Which is bigger: -6.5 or c?
c
Let c = -160.6 + 158. Which is bigger: c or 0?
0
Let t be (-10)/(-65) - 2/13. Suppose t*d - d = -3. Let q be d/6 - 0/(-1). Which is bigger: q or 0?
q
Let x(z) = z**3 + 13*z**2 + 13*z + 2. Let w be x(-12). Is w smaller than -10?
False
Let y = 28 + -26. Which is smaller: y or 3?
y
Let i = -134 - -527/4. Is i greater than -1?
False
Suppose -9 = -4*o - t + 2*t, -4*o = t - 15. Is o less than or equal to 10?
True
Suppose -4*r - 5 = -9*r. Let n be (-2)/(-12) + (-33)/(-18). Let d be (-16)/14 + 2/n. Which is smaller: r or d?
d
Suppose 2*f = 6*f + 268. Is f < -68?
False
Let t be (2/(-175))/(288/(-5726)). Let r = t + -1/200. Are r and 0 nonequal?
True
Let c(g) = 2*g**2 - 34*g - 14. Let s be c(18). Is 22 smaller than s?
False
Let d = -0.71 + 1.71. Which is smaller: d or -2/159?
-2/159
Let x = 6.5 + -7. Let l = -0.5 + 2. Let q = x - l. Which is smaller: q or 1?
q
Let q = -0.573 - -0.033. Does -0.1 = q?
False
Let w = -440 - -137722/313. Which is bigger: -1 or w?
w
Suppose 5 = 3*l - 1. Suppose 0 = 5*r - l*v + 14, -v + 4 = 2*r + 3*v. Is r equal to -3?
False
Let l be 30/(-25) - 1/(-5). Is l at least -5?
True
Suppose 0 = -h - 1 - 3. Suppose -20 = 5*y, -2*m + 2*y + 0*y = -10. Suppose 4*f + 9 = m. Are h and f unequal?
True
Suppose -18 = -a + 3*u, 2 + 0 = 3*a + 4*u. Are 11/2 and a unequal?
True
Let t = -10 + 14. Suppose 9*m = 4*m - 3*x + 780, -468 = -3*m + 4*x. Let r be (m/75 + -2)*5. Which is smaller: t or r?
r
Suppose -2*y - 4 = -n, -3*y + 5 = 3*n + 2. Let z be (n + -5 - -4) + 0. Is 2/13 equal to z?
False
Let x be 6/(-75)*-5 - (-1036)/160. Is 7 at most x?
False
Let d = 1 + 0. Let y = -3 + 1. Let m be (y/16)/(1/(-2)). Is m less than or equal to d?
True
Suppose 6 = -3*k + 2*d + d, 3*d - 18 = -3*k. Let h be 1/(-2)*0/(-2). Suppose h = k*b - 1 + 3. Is -1 <= b?
True
Let o = -47 - -50.1. Let c = -0.03 + -0.07. Let w = c + o. Are 1 and w equal?
False
Suppose -10*p + 11*p - 42 = 0. Which is smaller: p or 40?
40
Suppose 0 = -2*r + 4. Let x be -2 + 0/2*1. Let p be 0*(-1)/x + 2. Are p and r non-equal?
False
Let h(t) = -4 + t**2 + 2*t + t - 6*t. Let b be h(4). Is -5 >= b?
False
Suppose -x - 4*x = -5. Is x at most as big as 2/109?
False
Let p = 54 - 27. Suppose -4*i - 5*k - p = -8*i, 0 = i + 4*k + 9. Do i and 5 have different values?
True
Let g = 2231/30 + -499/6. Let j = g - -524/55. Which is greater: j or 0?
j
Let k = -1 + 2. Suppose 0 = 3*q - 0 + 6. Let u be (-24)/9 + 1 - q. Is k >= u?
True
Let c = -4 + 3. Let j = -51 - -53.1. Let i = -2 + j. Which is bigger: c or i?
i
Let p = 56 - 55. Is p at most as big as -3?
False
Let a = -18 - -25. Suppose 21 = a*i - 10*i. Do -5 and i have different values?
True
Let t be 4/12 - 2/(-3). Which is smaller: 1/11 or t?
1/11
Let y = 4 - 3.96. Is y != 0?
True
Let o(b) = 13*b + 3. Let n be o(-2). Is n >= -22?
False
Let q = -1.6 - -2. Let c = q + -0.3. Let d = -7 + 5. Is d equal to c?
False
Let l(h) = h - 12. Let f be 8*(-2 + 39/12). Let q be l(f). Do -1 and q have the same value?
False
Let k = 8687/470 - -4/235. Which is smaller: 18 or k?
18
Let n be 87/15 + (-3)/(-15). Let s = n - 6. Is s > 4?
False
Suppose 2*h + 2*h - 8 = 0. Which is greater: h or 1?
h
Let z = -20 - -16. Is -5 bigger than z?
False
Let h = 2 - 1.8. Let g = 0.1 - h. Let p = -0.01 - -0.51. Is p equal to g?
False
Suppose 0 = -4*y + 4 - 24. Which is greater: 1/3 or y?
1/3
Let p(i) = 3*i - 8 + i**2 + 6*i - 10*i**2 + i**3. Let y be p(8). Which is greater: -0.6 or y?
y
Let m(t) = 2*t. Let a be m(4). Suppose 0 = 5*g - z + 9, 2*g + 2*g - z + a = 0. Is g greater than -2/11?
False
Suppose 2*o + 8 = 3*o. Let z = o - 10. Are -4/7 and z nonequal?
True
Let t = -7/4 + 29/12. Let p = 0.8 - 1.02. Let n = 0.2 + p. Which is smaller: n or t?
n
Suppose -2*n = n - v - 17, n + 4*v = -16. Let s = n - 3. Do s and -2/19 have different values?
True
Let l = -747 + 4511/6. Is 5 at least l?
True
Let q = -44 - -17. Let r be 4/(-6)*q/18. Are r and -2/25 equal?
False
Suppose -4*n = -q - 16, -3*q - 4*n = -n - 12. Is q at most 3/10?
True
Let i = 0.23 + -7.03. Let g = i + 7. Let t = -0.3 - g. Is 0 < t?
False
Let n = 140.3 - 132. Let t = -8 + n. Let o = t + 0.7. Which is greater: o or 2?
2
Suppose -2*a + a - 4*d = 18, -3*a + 21 = -3*d. Let q be 3 + (-2)/a + -2. Is q smaller than -6/11?
False
Let z = -5 - -5. Suppose -h + 1 = -z. Let y(b) = -b**3 + 6*b**2 - 1. Let m be y(6). Is h not equal to m?
True
Let l = 4.1 - 6. Let y = l + 1.8. Let h = 7 + -4. Which is smaller: y or h?
y
Suppose 4*h - 2*v + 4*v = -14, 0 = 2*v - 6. Is h less than -4?
True
Let j = 36 - 30.4. Let s = 6 - j. Let h = s + -4.4. Which is smaller: h or -1?
h
Let d = -145 - -144.03. Let b = 1 + d. Let i = -1.03 + b. Which is smaller: i or -3?
-3
Let p be 4/(-5)*(-1)/(-4). Let d(g) = -g**2 + 7*g - 6. Let b be d(6). Which is smaller: p or b?
p
Let p = -4/9 - -7/36. Let u = 16.14 - 16.