k). Which is bigger: -1 or t?
-1
Let p = -448 + 141. Let a = 3380/11 + p. Is -1 smaller than a?
True
Suppose -2*l = -h - 8, -8*h - l = -3*h + 7. Is h < 3?
True
Let i be (15/(-65))/((-3)/2). Which is bigger: 1 or i?
1
Let i(c) = -2*c**2 + 13*c - 3. Let f be i(6). Suppose 0 = -4*w + w + f*n + 15, 2*n + 3 = -5*w. Which is bigger: -8 or w?
w
Suppose 3*f + 2*f = -5. Which is smaller: f or -1/19?
f
Let h(n) = -n**2 - 13*n + 6. Let q be h(-13). Suppose 14 = -2*x - 3*v - v, 3*x + v + q = 0. Let w = -2/5 - 1/10. Is w greater than or equal to x?
True
Let p be 2 - -1*51/(-21). Let k be (-2 - -4)*2/4. Is k equal to p?
False
Suppose -6 = -a - 4. Let r = a - 4. Let h = 1 + -3. Is h greater than r?
False
Let k(t) = -8*t**2 - 1. Let i be k(1). Are i and -9 equal?
True
Let p be 30/8 - 1/(-4). Is p at most 6?
True
Let t = -5 + 6. Let w = -15 - -9. Let h = w - -9. Which is greater: h or t?
h
Let m be (-174620)/(-456) + 2/12. Let b = m - 383. Is b at most -1?
False
Let c be (1/((-1)/(-3)))/19. Which is smaller: -1 or c?
-1
Let i(t) = -t + 6. Let y be i(4). Let r(w) = w - 3. Let p be (-2)/(3 + 34/(-10)). Let x be r(p). Is x >= y?
True
Let s be 2/(-10) - (-5)/25. Suppose -2*z + 4 + s = 0. Let a = 2 - 2.1. Which is smaller: z or a?
a
Let i = -0.9 - 0.1. Let v = 1 + i. Let r = 0.1 - v. Are r and 2 equal?
False
Let u(n) = n**2 - 9*n + 8. Let a be u(7). Let g = a + 2. Let x be -1 - g - 24/9. Is 0 greater than x?
False
Suppose -5*j + 16 = -0*z - 3*z, -4*z - 12 = -2*j. Suppose 4*o + j*b - 36 = -108, 0 = -3*o + 3*b - 45. Is o > -18?
True
Let w = 0 - 0. Let n be (-3 + w/2)*1. Let i be (((-84)/18)/7)/(2/9). Is i < n?
False
Let l be (0 - -1)*-4 - -1. Let d be 1/l*(-42)/4. Let t(o) = -o**2 - 39*o - 266. Let f be t(-9). Which is smaller: d or f?
d
Let q(w) = w. Let s be q(5). Suppose -6*d - 2 = -s*d. Which is smaller: d or -2/9?
d
Suppose 38 = 4*s - 2*q, 4*q = 5*s - q - 50. Let w be (-3)/s - (-21)/9. Let b be (-1)/((-1)/w - 0). Which is bigger: 1/2 or b?
b
Let h be (-2)/4*3/(-6). Let f(m) = -m**3 - 6*m**2 - m - 3. Let j be f(-6). Let q = 2 - j. Which is bigger: h or q?
h
Let f = 3.62 - 4. Let d = -0.08 - f. Are -2/7 and d non-equal?
True
Let f = 8003/17655 + 2/1605. Is f not equal to -1?
True
Suppose 2*l - 2*o - o = 13, -4*o + 23 = l. Let d(g) = g - 12. Let t be d(l). Is 0 at least t?
True
Let k be (-8)/(-30) - (-9)/(-15). Which is smaller: 3 or k?
k
Let b = -30/61 - -6992/13969. Which is greater: b or 1?
1
Let p be 2/(-7) + 60/14. Let k(a) = -a**2 + 4*a + 1. Let v be k(p). Let d(h) = h**3 - h. Let m be d(v). Which is smaller: -3/8 or m?
-3/8
Suppose -3*i + 1 = -c - 2*i, -c + 3 = -2*i. Let y be (4/c)/((-6)/5). Which is smaller: y or 0?
0
Let p be -2*(27/6)/(-3). Let j be (-2)/6 - (p - 4). Let u(t) = 3*t + 6. Let z be u(-2). Is j > z?
True
Let r = 7 + -7.5. Let i = r + 0.7. Which is smaller: -1/5 or i?
-1/5
Let c = 312.1 + -338. Let p = -29 - c. Let j = 3 + p. Which is smaller: j or -2?
-2
Suppose 5*l + 2*k = 2 - 8, 3*l + 4*k + 12 = 0. Suppose l = -2*n + 4 + 8. Let g be (-2)/30 + (-2)/n. Which is greater: 0 or g?
0
Let b = 0.21 + 10.79. Let d = -10.93 + b. Let g = 0.03 + d. Does g = 0?
False
Let n = 8 - -14. Do n and 22 have the same value?
True
Let c be (4/3)/((-1274)/(-39)). Let q = 4 - 5. Which is smaller: c or q?
q
Let v = -273 - -186. Let a = v + 259/3. Which is smaller: a or -1?
-1
Suppose 3*q + 6 = -3*t, -t + 2*t - 2 = -5*q. Let r be (-1)/(t/(-9)) + -3. Is -6 less than r?
False
Suppose 4*s - 24 = s. Suppose -2*j + 0*j + s = 0. Which is greater: -2 or j?
j
Suppose -4*t = -t - 21. Let j = -1 + 9. Is t greater than j?
False
Let o be 1/(-2) + 19/22. Let x be (6/(-616))/((-1)/(-8)). Let m = x + o. Which is greater: m or 1?
1
Let b be 1 + 2/(-5) + -1. Let q be -1 + -1*(0 + 0). Is q less than b?
True
Suppose 14 = 3*p + 5*u, -p + 7 = 3*u + u. Is p at most as big as -1/3?
False
Let h(x) = x**3 + 4*x**2 - 5*x. Let a be h(-5). Let b = 213 - 5752/27. Which is smaller: a or b?
b
Let z(u) = -u**2 - 3*u. Let x be z(-2). Suppose -4*l + x = -2*l. Let d = 0 - 0. Which is bigger: l or d?
l
Suppose 0 = 2*j + 3 - 1. Let y be 4 + -6 - -1*(-1 - -3). Which is smaller: j or y?
j
Let o be 49/(-6) + 15/90. Let i = -32 + 23. Is o greater than or equal to i?
True
Let g = -1/59 - 109/531. Is g less than or equal to -1?
False
Let p = 0.7 - 1.1. Let z = -0.1 - p. Which is smaller: z or -2/11?
-2/11
Let g(k) = -k**3 + 5*k**2 + 5*k + 5. Let c = 7 - 7. Suppose c = v + 2 - 3, 0 = -4*h - 5*v + 29. Let p be g(h). Are 1/5 and p unequal?
True
Let c = -110147234497 - -28528088313500/259. Let t = c + 175371. Let y = -2/37 + t. Which is bigger: -2 or y?
y
Let y = 22 + -15. Let s = y + -4. Let l = 2 - s. Which is bigger: -0.2 or l?
-0.2
Suppose y - 13 = -6. Suppose -4*l = -y*l + 3. Which is greater: l or -1/4?
l
Suppose -i = -4*i + 9. Let t be (-1 + 1 - i) + 3. Which is greater: 1 or t?
1
Let c = -4.06 - -0.06. Let k = 6 + -10. Let t = k - c. Is t equal to 1/3?
False
Suppose -z = 2 - 9. Suppose z = c + 3. Which is smaller: 5 or c?
c
Suppose -i - 1 = -2. Let q be i/4 + 14/8. Which is bigger: 0 or q?
q
Suppose 3*n + 4 = 2*n - 2*t, 3*n - 32 = 5*t. Suppose -3*x + 4 = -n*x. Is -1 at most x?
False
Let q = 3 - 2. Let s(z) = z**3 - 3*z**2 + z. Let i be s(q). Let u = 24 + -29. Is i bigger than u?
True
Let a be 2/4 - (-2)/4. Let l = a + 0. Suppose -5*k + l = i, 4*i - 2*k = 2*k + 4. Which is smaller: i or -2?
-2
Let n = -4 + 0. Let p = -5 - -3. Let f = p - n. Is 1/3 < f?
True
Let m = 1 + -1. Suppose m = 4*r + r + 35. Which is bigger: r or -8?
r
Let m be (-231)/(-70) + 1*3/(-1). Does 1 = m?
False
Let r be -2 + 16 + -2 - (2 + 0). Is 12 equal to r?
False
Let m(o) = -3*o**2 + 7*o. Let r be m(5). Which is smaller: r or -39?
r
Let d(v) = v. Let r(t) = -t**2 + 3*t + 3. Let w(p) = 6*d(p) - r(p). Let s be w(-3). Are s and -2 non-equal?
True
Let y = 0.8 + -1. Let r = -27 - -29. Are y and r nonequal?
True
Let a = 0.35 + -0.05. Suppose 0 = -5*n + 2 - 7. Let t = -2 - n. Which is greater: t or a?
a
Suppose x + 4 = -0*x. Let m be x/(-3)*(-18)/(-132). Is m > -1/2?
True
Let t be 4/(-42) + (-9)/(-21). Which is smaller: 0 or t?
0
Let y = -344/7 + 49. Let c = -61 - -61. Is y greater than or equal to c?
False
Let s(c) = -c - 2. Let n be s(8). Which is smaller: -37/4 or n?
n
Let o = -139/3 + 46. Which is greater: 4 or o?
4
Let l be ((-4)/(-6))/((-4)/(-72)). Let q be (5/(-4))/((-3)/l). Let f be 4/q - 1/(-5). Which is smaller: 0 or f?
0
Suppose -2*r - r = -246. Suppose 5*x + 46 = 2*b, b + 4*x = -4*b + r. Let i be 4/b + 2/(-9). Is -1 <= i?
True
Suppose -32 = 3*m + 52. Let o be 1/(-2) - m/24. Which is smaller: o or 1?
o
Let u be 8/(-5) - (-2 + 0). Suppose s = 2*s. Is s at most u?
True
Let z = 54/11 + -183/44. Is 0 < z?
True
Suppose 0 = 2*v + 2. Which is smaller: -1/3 or v?
v
Let c be 22 - 8*1/2. Do c and 18 have the same value?
True
Let k = -74 - -73. Is -25 >= k?
False
Let s be 2/(-8) + 5/(-60). Let a be (-1 - -2) + (-2)/8. Is s smaller than a?
True
Let o(y) be the second derivative of -y**5/20 + y**3/6 - 3*y. Let f be o(-1). Which is bigger: f or 1/6?
1/6
Let d be 16/(-1) - (-1 - 0). Let t be (-5)/(d/342) + -1. Let p = -789/7 + t. Which is greater: p or 1?
1
Suppose -c - 4 + 3 = 0. Do 1 and c have different values?
True
Let t(q) = 5*q**2 + 3*q - 1. Let s be t(2). Suppose -5*w + s = 0, -8 = 2*c - 6*c - 4*w. Which is smaller: -4 or c?
-4
Let f be (-9)/(-2 + 1 - 0). Suppose r - 4*r = -f. Let n be (3/1)/(r/2). Which is bigger: n or 3?
3
Let d = -1976/979 - -34/89. Is d not equal to 1?
True
Let b = -2 - 0. Let a be 1/(2 - b/4). Is a smaller than -1?
False
Let b = 0.27 - 0.57. Which is bigger: b or 0.4?
0.4
Suppose -8 = -2*z - 0. Suppose -x = 3*v - 8, -4*x - 7 + 23 = z*v. Is 2 greater than v?
False
Suppose 15*t - 16*t = 0. Let c be 52/(-30) + (-2)/(-5). Is t less than or equal to c?
False
Let h be (-1 - -4)/(3 + -4). Which is bigger: -6 or h?
h
Suppose 118 = 4*r - 62. Let o = 71675/1584 + 1/1584. Let t = o - r. Which is bigger: t or -1?
t
Let u(o) = -o**2 + 10*o - 11. Let t be u(8). Which is greater: t or 2?
t
Let s be (5/(-10))/(2/4). Which is greater: s or -4/9?
-4/9
Let b be 2/(-12) + 122/12. Suppose u + 10 = 3*u, -5*l + 5*u - b = 0. Is 3 > l?
False
Let t(m) = m**2 - 2*m - 7. Let d be t(4). Is -2/19 bigger than d?
False
Let y = 29 + -28. Suppose 