 -1. Let n be 2/7 + x/(-14). Let f = -7/13 - -61/65. Is n at most f?
True
Suppose 3*m + 14 = -k - 4*k, 3*m + k + 22 = 0. Which is smaller: m or -1?
m
Let d be (0/(0 - -2))/2. Let z be 3 + -2 + 9/(-7). Which is greater: d or z?
d
Let s(c) = -c**2 - 6*c - 12. Let x be s(-5). Which is smaller: x or -0.3?
x
Suppose -o + 0*o = 0. Suppose -s - 4*v = -7, -2*s + v - 5*v + 2 = o. Let z(m) = m**3 + 5*m**2 - 4*m + 7. Let d be z(-6). Is d > s?
False
Suppose 3*y = -2*m + 4*y + 28, -m + 16 = -y. Is m != 6?
True
Let p = -2.7 + 2. Let k = 1.1 + -0.8. Let f = k - p. Which is greater: f or -0.1?
f
Let d = 0.4 + -1.2. Let h = d - -1. Is h != 4/5?
True
Let j = -6 + 10. Suppose -4*q = -t + 4*t - 14, 3*q - 7 = -j*t. Is t greater than -4/3?
False
Suppose 0 = -3*p + 4*p. Which is bigger: p or -6/7?
p
Suppose -2*y + 3*y - 4*f + 6 = 0, f - 7 = 3*y. Let d = -31 + 43. Suppose -6*i = -2*i + d. Which is greater: y or i?
y
Let j = 14/17 + 242/119. Is 2 not equal to j?
True
Let j(u) be the third derivative of -u**5/60 - u**4/6 + 7*u**3/6 - 3*u**2. Let m be j(-5). Let k be (2 - (m + 3))/1. Is k bigger than -2?
False
Let n be ((-2)/(-2))/((-1)/13). Let y = -62/5 - n. Are y and 0 equal?
False
Let k be 114/(-104) - (-22)/(-143). Let d = 7.9 - 8. Is d <= k?
False
Suppose 3*j = m - 4, -m + 3*j + 6 = 2*j. Suppose 3*v = 2*q + 4, -q + 3*v - m = -2*q. Let h = -188 - -1318/7. Which is bigger: q or h?
q
Let v = 11.7 - 1.7. Is v at most 1?
False
Suppose 17 + 31 = 4*j. Let v be j/8*8/3. Is v at most as big as 1?
False
Let j be (-1)/2*(-8)/12. Which is bigger: 2/65 or j?
j
Suppose 2*q + 19 = -5*r - 0*q, -3*r - 24 = -3*q. Do -5 and r have the same value?
True
Suppose 5*f = -2*i + 12, -3*f + f - 6 = -i. Is 4 greater than i?
False
Let m be (1*-15)/(-3)*1. Is -1 greater than m?
False
Let x = -1 + 1. Suppose -2*z - 3*w + x*w + 13 = 0, 3*z = -5*w + 20. Suppose 0 = -3*s - z*v - 0 - 13, -5*v = 10. Which is smaller: s or -2?
-2
Suppose -4*v + 2*v = 4. Is -2 at least v?
True
Let j(m) = 3*m - 8. Suppose q = 8*u - 4*u - 6, 0 = -5*q + u + 27. Let o be j(q). Is 12 greater than or equal to o?
True
Suppose -3*c = -c - 2*r - 58, 24 = c + 4*r. Let f be (-8)/c + 43/28. Let s = -1 + f. Which is smaller: s or -2/5?
-2/5
Let p(c) be the first derivative of 1/3*c**3 + 3*c**2 + 0*c - 1. Let s be p(-6). Does 1/2 = s?
False
Let a be -3*3/((-36)/(-2828)). Let c = 21915/31 + a. Which is greater: c or 1?
1
Let l be 42/9 - (-3)/9. Is l not equal to 5?
False
Let d = -3 + 13. Is d >= 10?
True
Let y = 6.1 - 1.1. Let h = 4.5 - y. Let l = 0 - -0.1. Is l at most h?
False
Let s = 2.8 - 3.8. Is s greater than 0.1?
False
Let s = 0.031 - 0.091. Which is smaller: -1/3 or s?
-1/3
Suppose -12 = -t + 29. Which is smaller: 40 or t?
40
Let h = 25 + 10. Is 36 >= h?
True
Let f(l) = l**3 + 2*l**2 - 5*l - 4. Let c be f(-3). Suppose -6 = -j + c. Suppose 0 = 3*u - a + j, 3*u - a - 2*a = -12. Is -4 less than or equal to u?
True
Let d = -122 - -1340/11. Let u = 55 + -56. Is d equal to u?
False
Let p(v) = -v**2 - 13*v - 12. Let n be p(-10). Suppose 4 = -r, -2*r = -2*s + 2*r + n. Is 4 at most s?
False
Let i(k) = k**2 - 7*k. Let g = 4 - -3. Let z be i(g). Is 0 >= z?
True
Let p = 61/2 - 30. Suppose -5*v + 10 = -0*v + g, 3*v = -2*g + 6. Suppose v*q + 0 = 2. Which is bigger: q or p?
q
Suppose l - 5*i + 4*i = -4, -2*i = -l - 7. Suppose 0 = -3*p + u + 46, 4 = u + 5. Let f be p/100 - (-2)/(-8). Which is bigger: f or l?
f
Let i = 3 - 0. Suppose u + 2 = -i. Which is smaller: -4 or u?
u
Suppose 14 = 4*w - 3*q, -2*w + 18 = 4*q - 0. Suppose 0 = -t - t - 2, -w = j + 4*t. Is j equal to 0?
False
Let n = 18 - 0. Suppose 3*s - 18 = -4*u + 2*s, 4*s + n = 2*u. Which is smaller: u or 2?
2
Let n = -10 - -16. Is 5 greater than or equal to n?
False
Let m = -91/2 - -45. Is m at least as big as 1.2?
False
Suppose 0*d + 4*d = 0. Suppose d = -4*r - r + 5. Let v = 0.2 + -0.4. Is r smaller than v?
False
Let z(h) = 5*h**3 + h + 1. Let t be z(-1). Let q(f) = -f**3 - 4*f**2 + 3*f - 5. Let r be q(t). Suppose 7 = r*m + 22. Is m <= -3?
True
Let f(p) be the second derivative of p**5/10 + p**4/4 - p**3/3 - 3*p**2/2 + 2*p. Let d be f(3). Let c = -358/5 + d. Which is greater: c or -1?
c
Let v be (0 + -1)/(33/(-789)). Let u = -24 + v. Is 1 greater than u?
True
Let i = 0 + 1. Let a be -2 + (2 - (12 - 0)). Let x be a/26*3/(-9). Which is greater: i or x?
i
Let d(g) = -292*g - 2. Let p be d(3). Let s = p + 14920/17. Let h = 21/85 - s. Which is smaller: h or 1?
h
Let s be 1 + 1 - 1/(-1). Let h = s - 1. Let x = -2 + 3. Which is greater: x or h?
h
Let f(y) = -y**2 + 9*y + 4. Let g be f(9). Is g equal to 4?
True
Let x = -0.27 - -2.27. Suppose -4*d = -4*j + 220, 0 = -5*d + 1 - 6. Let p = 215/4 - j. Is x greater than or equal to p?
True
Let j be (-10)/(-5) + 84/(-62). Let v = -101433/130169 + 93/323. Let r = j + v. Which is smaller: r or 1?
r
Let n be 9/2*(-16)/3. Let l be ((-2)/6)/(4/n). Which is smaller: 1 or l?
1
Let w = 4942 + -29513/6. Let h = w - 23. Is h less than 0?
False
Let u = 6462/19 + -340. Which is greater: -1 or u?
u
Suppose -c - 3*z + 12 = 0, 4*c + 2*z = -3*z + 20. Let a(j) = 2*j - 10. Let t be a(8). Let x be (t/10)/1 + -1. Which is greater: x or c?
c
Suppose 3*b + 78 = -3*d, d = 2*b + 4*d + 54. Let s be b/4 + 4 + -1. Suppose j + 0 + 2 = 0. Is j greater than or equal to s?
True
Let x be (10/(-20))/((-11)/4). Let c be 2/(-22)*(-7)/2. Let q = c + x. Which is smaller: 2 or q?
q
Let o = -7/29 + 104/551. Does -1 = o?
False
Suppose -2*x + 4*h + h = -78, 0 = -5*x + h + 218. Is x < 45?
True
Suppose -5*x + r + 5 = -35, 4*x = 2*r + 26. Is x less than 2/3?
False
Let t = 0.06 - -1.94. Which is greater: -4 or t?
t
Let j = 1221566/1615 - 43364/57. Let v = 64/15 + j. Which is bigger: -1 or v?
v
Let t be (-20)/(-6)*(-9)/2. Let i be (-9)/t - 1/1. Suppose -2*p = -4*b + 3 + 5, b + 3*p = -5. Is i <= b?
True
Suppose 2*q + 89 = -r, 4*r - 66 = 5*q + 124. Which is bigger: q or 0?
0
Suppose 3*a + 4*s = 11, 5*a - 4*s + s = -1. Let z be a/(-2)*6/24. Which is smaller: 0 or z?
z
Let u = -78 - -703/9. Does 2/5 = u?
False
Let y = 13.6 - 13.69. Does y = 2/3?
False
Let n = -11 + 1. Which is smaller: -1 or n?
n
Let r = -39 + 21. Let u = -14 - r. Which is greater: u or 5?
5
Let j be 3/(-1) + (-330)/(-121). Are -1 and j equal?
False
Let g = 194/3 - 63. Which is smaller: -2/5 or g?
-2/5
Let l = 9 + -17. Let z = 7.86 + l. Let b = -0.04 - z. Is b at most as big as -0.2?
False
Let d(s) = -s**3 + 3*s**2 + 4*s. Let g be d(3). Suppose 2*l + 2*l - g = 0. Suppose 2*f + 2 = 3*f. Is f at least l?
False
Let w(x) = x**3 - 2*x**2 + x + 1. Let g be w(1). Is g equal to 13/7?
False
Let x be 39/(-26) - (-19)/8. Is 1 greater than or equal to x?
True
Let u be -6*((-3)/(-2) + -1). Suppose v = -0*v - 3. Is u > v?
False
Let k = -331 - -677/2. Suppose -5*z - 18 = j, 3 + 2 = -z. Which is bigger: j or k?
k
Let j be 16/(-6) + 1/(-3). Let n(w) = -w**2 - 3*w - 2. Let u be n(j). Which is greater: -3 or u?
u
Let x = -247 + 4197/17. Let s = x - -65/119. Which is bigger: s or 2?
2
Let j(f) = -3*f + 2. Let g be j(-2). Suppose 0 = -2*p + g, 3*q - p = -7. Let c = 1.3 - 0.3. Is q greater than or equal to c?
False
Let c(k) = k**3 - 2*k**2 - 2*k + 13. Let y be c(4). Is y greater than or equal to 34?
True
Let d = -20 - -2. Let m be 2/(-10) + (-12)/(-10). Let f be 0 + (m - (-33)/d). Which is bigger: f or -1?
f
Let b = 12 + 3. Let h = b - 10. Suppose -10 = h*u - 3*j, j = -0*u - 3*u - 6. Which is smaller: -1 or u?
u
Let l = -7 + 13. Let n = -21 - -27.5. Let g = n - l. Is g at most as big as 0?
False
Let f = -20 - -30. Suppose -k - 12 = 2*r, -5*r - f = -4*k + 20. Let p be (r/(-2) + -4)*-7. Is p at most as big as 7?
True
Suppose -5*f + 13 = 4*z - 3*z, 0 = -5*z - 2*f + 19. Suppose 3*c = -0*c - z. Which is greater: c or 1/19?
1/19
Suppose 0 = -0*o + 3*o. Which is greater: o or -0.14?
o
Let w be ((-3)/18)/(16/(-348)). Is 3 != w?
True
Let b = 40.2 - 36. Let i = b + -4. Let f = -241/63 - -37/9. Which is smaller: f or i?
i
Let k = -2.6 + 4. Let h = k - 0.9. Let y = 12 + -14. Which is bigger: h or y?
h
Let k = 2106 + -4293/2. Which is smaller: -42 or k?
-42
Suppose r - 4*p = -6, 0 = 5*r - 7*p + 4*p - 4. Suppose -o = r*o - 15. Let b be -1 + 2 - (-8 + 5). Is b less than o?
True
Let i be 3/(-36)*45/(-10). Is i smaller than -1?
False
Let c be (-5)/4 + 3 + -1. Whi