l to -3?
False
Let v be 46*(0 - (-1)/(-10)). Which is smaller: -5 or v?
-5
Let a = -306/5 - -61. Do a and 1 have the same value?
False
Let q = -65/6 + 28/3. Suppose 12 - 32 = -5*l. Let f be l/(-3)*9/6. Which is smaller: q or f?
f
Suppose 5*y + 2*j + 59 = 0, 3*j = y + 6*j + 17. Which is smaller: -4 or y?
y
Let s(x) = -x**2 - 13*x + 2. Let m be s(-13). Suppose 5*g + 10 = 0, -11 = m*a + 5*g + 5. Does a = -2/7?
False
Suppose -2*k = -o - 4*k + 5, 2*o = -5*k + 10. Suppose r + 2*f + 12 = 0, 1 = -3*r + 2*f + o. Does r = -1?
False
Suppose -m = 4 - 3. Let s(q) = -2*q**2 + 8*q + 5. Let b be s(7). Let u = b - -186/5. Which is greater: m or u?
u
Let j(i) be the second derivative of i**3/6 - i**2/2 - 2*i. Let n be j(-3). Which is smaller: -5 or n?
-5
Suppose -2*c - c + 141 = -5*l, -5*c = 5*l + 125. Is -27 at most as big as l?
True
Suppose -44 = 13*y - 9*y. Do -12 and y have the same value?
False
Suppose 3*o = 2*y - 33 + 8, 0 = -5*y + 25. Is -4 greater than o?
True
Let u be 2*-1 - 0 - 2. Let f be u/(-2) - (5 - 1). Let w be 2/4 + f/4. Which is smaller: w or -2/7?
-2/7
Let n be 1*((3 - 3) + 0). Let z = -17/10 + 13/10. Is n greater than or equal to z?
True
Let q(u) = 67*u + 4. Let j be q(-7). Let b = -9763/21 - j. Let t be 2/4 + 2/(-4). Do t and b have the same value?
False
Let o = 1914 - 258388/135. Are -1 and o nonequal?
True
Suppose -4*g + 16 = -4*t, 5*t - 3*g + 2*g = -12. Let c = 138 - 140. Is c less than t?
False
Let b(x) = -x**2 - 1. Let n be b(1). Suppose 0 = -3*k - s + 12, 5*k - 5*s = 2*k + 30. Let g = k - 7. Is n at most g?
True
Suppose -2*q = -y - 4*q - 1, -5*q = 4*y + 4. Is -2 smaller than y?
True
Let b be (-2)/(-10) + (-48)/(-10). Let h = 5 - b. Is 2 at most h?
False
Let z = 4.825 - -0.175. Which is smaller: z or 2/23?
2/23
Let c be (-8)/(-12) + 19/3. Are 8 and c equal?
False
Suppose 2*m = -5*x + x - 4, -4*m - 3*x = -7. Suppose m*k = 2*c - 14, 4*k - c - 3*c = -4. Is -6 greater than k?
False
Let j = 3 + 2. Suppose -4*b + 8 = j*v, 3*v = 3*b + 7*v - 6. Let g be (1/(-14))/(3/(-36)). Is g < b?
True
Let z be (-1)/((-1*4)/12). Which is smaller: -2/7 or z?
-2/7
Let k be 1 - 1/(2 + -3). Suppose 5*n - k*n = -6. Let l = -5 - -4. Is l bigger than n?
True
Let m be -2 - (-3 - (2 - 3)). Suppose 2*v - 4*v = m. Which is smaller: -1 or v?
-1
Suppose a - 4*y - 28 = y, 5*y + 13 = -4*a. Suppose 0 = k - a - 1. Let i be 2/k*(-8)/20. Which is smaller: 0 or i?
i
Let n = -38647/7155 + 2/1431. Let z = -9/10 - n. Let f = z - 5. Is f greater than or equal to -2?
True
Suppose 2*t + 4*r + 26 = -2, 0 = -5*t - r - 34. Which is smaller: -36/7 or t?
t
Let j = -1338 + 1344.17. Let c = 6 - j. Let d = c - -0.07. Which is smaller: -2/7 or d?
-2/7
Let k(c) = 2*c - 12. Let d be k(11). Suppose 0 = q + 3*j - d, q + 4*j - 14 = -0*q. Let w be (-4)/18 - q/9. Are 3/4 and w non-equal?
True
Let c(g) = g**3 + 10*g**2 + 23*g - 3. Let o be c(-6). Which is smaller: 2 or o?
2
Let u = 1.1 - 0.1. Let g be 3/(-5) - (-17 - -16). Is g at most u?
True
Let b be -6*(-2)/(-8)*-2. Suppose -b*k - 3*i - 1 = -4, -i = -4*k - 1. Which is bigger: k or 1/7?
1/7
Suppose -5*l = 5*m - 30, -2*m = -4*l - 4*m + 16. Is l < 1?
False
Let w(m) = 4*m + 1. Let c be w(-1). Let f = 0 - c. Let j = -3 + f. Is 1 != j?
True
Suppose -6*i + 119 = -7. Which is smaller: 19 or i?
19
Let v(q) = q**2 - 6*q + 3. Let r be ((-18)/(-24))/((-1)/(-8)). Let a be v(r). Which is smaller: 2 or a?
2
Suppose -l = 5*g + 464, -5*g = -0*g + 2*l + 463. Is g less than -92?
True
Let c = 19 - 20. Which is smaller: c or -2?
-2
Let o be (-2152)/(-22) + 15/((-1155)/(-14)). Are o and 97 equal?
False
Let b = -61.8 - -55.8. Let q = -0.1 + 0.2. Is q smaller than b?
False
Let q(w) = 2*w**2 - 2*w + 1. Let b be q(1). Let y be (-5)/(-2) + b/2. Is 3 at least y?
True
Suppose 0 = 5*l - 2*y - 2, l - 4*l - 4*y + 22 = 0. Suppose 3 = -w + l. Let g = 0 - w. Is g at most -0.1?
False
Suppose 38 - 6 = -4*j. Which is bigger: -17/2 or j?
j
Let r be 9/42 + 6/(-21). Which is greater: 1 or r?
1
Let s = -17 - -5. Let g be 1/((-3)/s*1). Let q = 7 - 4. Does q = g?
False
Suppose 0 = 3*p + 2*p - 5. Is p not equal to -1/7?
True
Let k = -38570437/243774 + -3/27086. Let g = k - -158. Let r = 3 - 2. Is r at least g?
True
Let v be 1/(-10)*12/(-18). Is 0 >= v?
False
Suppose -2*v = -2*y - 3*v + 29, -y - 3*v + 7 = 0. Let r = y + -84/5. Which is greater: r or 0?
0
Suppose -3 = 2*d + 9. Let h be (-4)/6 + (-4)/d. Suppose 0 = -t - 4*l - 1, 5*l = -3*t - h + 4. Is 3 smaller than t?
False
Let d = -4 - -3. Let p = -28 + 28.6. Which is smaller: d or p?
d
Let t(u) be the first derivative of -u**3/3 + 2*u**2 + 7*u + 2. Let d be t(5). Suppose -4*s = -d - 2. Is -1/9 smaller than s?
True
Let z(x) = 2*x**3 - 2*x - 1. Let y be z(-1). Suppose 2*p = -1 - 3. Let q be 1/17*p*1. Are q and y nonequal?
True
Let i = -1.3 + 1.6. Which is greater: i or 4?
4
Let p = 3.3 + -20.3. Let q = p - -10. Let g = -6 - q. Which is smaller: -1/5 or g?
-1/5
Let o be 2/14 + 1/(4 - 6). Which is smaller: 1 or o?
o
Let w be (-1)/(-1 + 28/29 - 0). Do 28 and w have different values?
True
Let n(p) = -4*p**2 - 1. Let b be n(-1). Let a be ((-4)/5)/(38/285). Is a at least as big as b?
False
Let a = -255 + 15047/59. Which is bigger: a or 0?
a
Let j = -0.3 - -0.4. Let p = -2 - -1.6. Let d = p + -0.6. Is j greater than d?
True
Suppose 0 = 2*c + 5*t + 5, -3*c + 8*c = -2*t + 19. Which is bigger: c or -0.3?
c
Suppose -c - c + 6 = 0. Suppose -2 = q - 2*q - 2*h, 14 = -4*q + c*h. Let x be 4*((-5)/q)/(-5). Is -2 greater than x?
False
Let r = 2.1 + -1.4. Let a = -5 + 4.7. Let o = a - r. Which is smaller: o or 0.1?
o
Suppose -2*s + 0 + 1 = l, -26 = 3*s - 4*l. Suppose -2*h = 3*h. Let k be h/(s/(-2)*-1). Which is smaller: k or 1/6?
k
Let t = -0.04 - -2.04. Let k = 2.1 - t. Which is greater: k or 0?
k
Let v = 70 + -69.9. Which is greater: 0 or v?
v
Let q(o) = o**3 + 2*o**2 - 12*o + 4. Let v be q(-4). Does 19 = v?
False
Let m = 26 + -23. Is m > 0?
True
Suppose -3*s = m + 2*m - 21, 5*m = 5*s + 15. Suppose 3*b + 27 = -s*w - w, -2*w + 4*b + 6 = 0. Is w at most -5?
True
Suppose 3 = -4*k - i - 1, -3*i = -2*k - 16. Let o be (-1)/k - 133/14. Which is smaller: -8 or o?
o
Let d = -2653/13 - -205. Which is bigger: d or 2?
2
Let t(y) = y**3 - y**2 - y + 5. Let q be t(0). Let w be q - (0 - -2)*1. Which is smaller: w or 2?
2
Let s be 1/(-5) + 204/(-30). Let w be (-2)/3*3/s. Are w and -1 nonequal?
True
Let o = 6 - 6.08. Let d = o - -2.08. Let i = d + -4. Is 0.1 greater than i?
True
Let s(l) be the second derivative of l**5/20 + 5*l**4/12 - 7*l**3/6 - 5*l**2/2 - l. Let g(c) = -2*c - 2. Let i be g(2). Let n be s(i). Is 1/8 > n?
False
Let a(v) = 10*v - 11*v**2 + 5*v - v**3 - v + 18. Let k be a(-12). Let c be k/(-4)*(-4)/(-21). Is -2/27 smaller than c?
True
Let z = 3.5 + 11.5. Let a = z - 13. Which is bigger: a or 0.1?
a
Suppose 0 = -6*g + 13*g + 777. Are -112 and g nonequal?
True
Let t be 1*(-3 + 2) - -10. Which is bigger: t or 7?
t
Suppose -2*w + 5 = -w. Let q be 1/(-1 + 4/w). Is -5 >= q?
True
Let y be (-1 + 2)*((-9)/(-3) + -4). Let l be ((2/(-1))/4)/2. Which is smaller: l or y?
y
Let p = 10/3 - 11/3. Which is smaller: p or 0?
p
Let p be 3 - (-1 + 2) - 1. Let l(m) = -p - m + 0*m - 6. Let u be l(-8). Is u less than or equal to -1?
False
Let r(q) = -13*q. Let w be r(1). Let p(s) = -14*s**2 - 3*s + 4. Let t be p(1). Does w = t?
True
Suppose m - 2*m = 0. Let v be 1/(-1)*(8/5 + -1). Do v and m have different values?
True
Let r = 1705777/31 - 55017. Let l = -50719/6293 + r. Let p = 59/203 - l. Which is smaller: 0 or p?
0
Let j = 8 + -42/5. Let z = -31.9 + 26. Let p = 6 + z. Which is greater: p or j?
p
Let k = -42964/27 - -1591. Let j = k - 2/27. Which is greater: 3 or j?
3
Suppose 5*k - 150 + 55 = 0. Are 19 and k nonequal?
False
Suppose -225 = 5*l + 2*c + 3*c, 0 = -4*l - c - 177. Let k be 1/3 - l/12. Let u be (6 - k)/(4/6). Is 1 at most u?
True
Suppose -4*y + y + 3 = 0. Let x(f) = -f**2 - 6*f - 4. Let k be x(-5). Is k >= y?
True
Suppose 3*d + 0*d + 8 = 4*k, -k + 21 = 4*d. Suppose d*w = 3*r, 0*w - r + 13 = 3*w. Are w and 3 equal?
True
Suppose 5*o = 3*o + 2. Let a be 1*o*(-2 + 1). Let h be 2 - -1 - 74/26. Is h at least a?
True
Suppose 3*k - 2*k - 4 = 0. Suppose -t - 4*b = -14 + 2, 5*b - 15 = 3*t. Let w = t + 2. Does k = w?
False
Let a(b) = -5*b + 2 - 3 + 2*b**2 - 4 - b**2. Let g be a(