 Suppose 0 = -f - 3*f + 5*v - 7, -2*f + 4*v = 8. Is p smaller than f?
True
Suppose 2*x = -4*u + 2*u, -5*x = -10. Let c be 1 - ((-2 - -2) + u). Let k = c - 3. Which is smaller: -1/5 or k?
-1/5
Let v = -4 + 7. Suppose 0 = -5*l + 2*f - 8, -f = -5*l + v*f - 16. Suppose g - 4*g - 3 = l. Is g greater than or equal to 1/3?
False
Let l be 0*-2*3/6. Let o(p) = -p**2 + 3*p - 1. Let r be o(1). Is l <= r?
True
Let r = -8 - -8.2. Which is greater: r or 6?
6
Let h be (-20)/3 + 4/(-12). Are h and -8 equal?
False
Let i = -69659/93 - -749. Let t = 29/93 - i. Which is bigger: -1 or t?
t
Suppose 7*w - 2*w - 25 = 0. Is 1/5 <= w?
True
Suppose -3*o + 24 = -0*o + 3*j, -4*o = -4*j - 8. Suppose -o = 5*b - 0. Which is bigger: b or 1/31?
1/31
Let m be 171/(-2 + 5) - -3. Let r be -2*(m/(-8) + -1). Which is greater: 16 or r?
r
Suppose 0*f = 3*f - 3. Is 2 bigger than f?
True
Let m = 6 + -5.9. Let u = -0.1 + m. Is 6 != u?
True
Let j(b) = b**3 + 7*b**2 - 8*b. Let i be j(-8). Let t be ((-1)/10)/(2/(-5)). Which is smaller: t or i?
i
Let j = 6 + -6.1. Does 0.06 = j?
False
Suppose 16 = -3*q + q. Let f = -6 - q. Suppose 0 = f*p + 2*p - 4. Which is smaller: p or 2?
p
Let w be 117/23 - (15 - 10). Suppose -u + 2*u + 1 = 0. Is w <= u?
False
Suppose -32 = -2*y - 4*u, -y + 28 = u + 4*u. Suppose -4*k - y = -0*k. Let d be (0/(-1))/(k + 1). Do d and 2/5 have different values?
True
Suppose 3*q + 5 = 17. Suppose 8 = 5*b - 2*t - q, -b = t - 1. Which is bigger: 3 or b?
3
Let x = 1423/3 + -481. Which is smaller: x or -7?
-7
Let s be (24604/116)/(1/(-1)). Let j = -212 - s. Let t = 38/87 - j. Which is greater: t or 1?
1
Suppose -134*q + 24 = -138*q. Let o(k) = k**2 - 5. Let u be o(0). Which is smaller: q or u?
q
Let p be (3/(15/(-106)))/8. Let f = p - -9/4. Let w = 27 + -32. Does f = w?
False
Let v = 0 - -4. Suppose 0 = 2*f - 3*y + 2 + 2, -f + 3*y = 5. Let r be (-7)/(-2) - 1/f. Which is bigger: r or v?
v
Suppose o = -2 + 3. Let k be -2 + 1 + 0 + o. Let n be (-3)/(-9) - ((-3)/(-9) + 0). Is n > k?
False
Let z = -4.01 - -4. Let i = z + 0.21. Is 0.1 <= i?
True
Let k = 11 - 12. Let s be k - (0 + -2 + -2). Suppose -w + 1 = -s. Is 1 less than w?
True
Let c(f) = 3*f + 2. Let s be c(5). Suppose 3*q = -4*l - s, -4*q + 29 = -l - 4*l. Are q and -2/13 unequal?
True
Let m(c) = 21*c**2 - 2*c. Let v be m(-2). Let u be 1 + -4 + v/24. Is u at least -1?
True
Let n = -63 + 62. Which is bigger: n or -1/4?
-1/4
Let t = -99/2 + 45. Do -5 and t have the same value?
False
Let v = -7.2 + 16.2. Let y = 82.8 - 92. Let k = y + v. Is -1/6 < k?
False
Suppose 30 = -3*s + 8*s. Let r be ((-2)/(-4))/((-15)/s). Suppose j + 5 = 6*j. Which is smaller: r or j?
r
Suppose -3*d - d + 10 = -5*j, -3*d = 5*j + 10. Suppose 6 = 5*r + 4*z, d = -5*r - 0*z + 3*z - 22. Let l be (r + 75/36)*-2. Is l bigger than 1?
False
Let m = 4159/10121 - -1/349. Is 1 equal to m?
False
Let d be ((-6)/(-9))/((-2)/3). Is d greater than or equal to -3?
True
Let g(m) = 29*m**2 + 115*m - 7. Let z be g(-4). Let d be (-2 - -1)/(2/1). Which is greater: z or d?
d
Let m = 36/5 + -273/40. Is 2 less than or equal to m?
False
Suppose -2*i - c + 5 = 0, 5*i - c + 10 = c. Let z = 6 + -4. Which is bigger: i or z?
z
Let w(g) = g**3 - 2*g**2 - g + 2. Let c be w(2). Suppose 0 = 4*u + 15 - 19. Which is bigger: u or c?
u
Let m = -3 + 1. Let q be m - (-2)/3*-3. Let n be (-10)/(-8) + q/16. Which is greater: n or -2/5?
n
Let c be ((-1)/4 + (-306)/(-8))*-1. Is c greater than -37?
False
Let z = 2 + 4. Suppose 3*x = 3*n - z, -2*n + 3*x - 8 = -6*n. Suppose 0 = -0*s - n*s + 2. Does -0.1 = s?
False
Let d be (-6)/10*(7 - 4). Which is greater: 2/5 or d?
2/5
Suppose 0*q = 4*q + 5*a - 79, -4*q + 5*a = -49. Let b = q + -13. Suppose -4*u = 2*p + 10, 5*u + 8 = 5*p + 4*u. Which is greater: b or p?
b
Suppose -t = 3*t + f - 163, 5*f + 25 = 0. Let q be (-30)/t + 4/(-14). Does q = -1?
True
Let p(c) = c + 7. Let d be p(-4). Suppose -5*k - d*j + 4*j = 1, -k = -3*j + 3. Let i be (-2 - (-5)/2)*0. Is k smaller than i?
False
Let v(i) = 11*i - 42. Let d be v(6). Is 23 at least as big as d?
False
Let n = -6 - -9. Suppose -3*z + 3 = -n. Suppose z*y - 15 = -y. Which is greater: 3 or y?
y
Let v be ((-2)/(-44))/((-2)/(-8)). Let g = 7 + -5. Suppose g*h - 1 = 3*h. Are h and v equal?
False
Suppose -4*c = 65 + 255. Let s be 15/(-6)*(-2)/c. Which is bigger: s or -1?
s
Let m(x) = x**2 + 5*x - 6. Let k be m(-7). Suppose 5*h = k + 2. Do h and 10/7 have the same value?
False
Let h be (5 + -1)/(-4)*5. Let i(p) be the first derivative of p**3/3 + 3*p**2/2 - 6*p + 1. Let t be i(h). Which is bigger: 3 or t?
t
Let c be -4 + -1 - 2/1. Let v = c - -8. Which is smaller: 3 or v?
v
Let g = -6 - -6.8. Let f = 36.8 + -37. Let o = g - f. Is 0.4 > o?
False
Suppose 2*i = -2*i. Let z be (-2)/(-25)*25/(-20). Is i at least z?
True
Suppose -3*q = 1 - 4. Let t be (-2 - (2 - 3)) + 2. Is t at least q?
True
Let z be (2 + -2 - -3)*-1. Let x be (-4)/(-16) - 17/4. Which is smaller: x or z?
x
Suppose 5*v - 21 = -1. Which is smaller: v or 3?
3
Let h be (-1)/1*(-4 + 4). Suppose 0 = -2*u - h*u. Suppose u = -3*v - 9, -5*v - 21 = 3*x - 2*v. Is x at least -3?
False
Let r = -2.05 - -0.05. Is r not equal to -4?
True
Let h(f) = 5*f + 44. Let z be h(-7). Suppose 4*a - 19 = -2*c + c, 3*c + 3*a - 12 = 0. Which is bigger: z or c?
z
Suppose -4*n + 10 = -6. Suppose -5*i = -n*i + 2. Do -3 and i have the same value?
False
Let n = -1/28205 + 1241223/5725615. Let y = 2/29 + n. Which is greater: y or -2/5?
y
Let j(l) = l**2 + 2*l. Let g = -13 + 10. Let q be j(g). Does q = 2?
False
Suppose -5*y + 6*y = 0. Let a(m) = -3*m - 5. Let r be a(-4). Suppose 0 = 4*d + 1 + r. Which is smaller: d or y?
d
Suppose -5*k = 4*d + 12, 10 = d - 0*d - 2*k. Suppose -m - d*h = -5, -3*m + 4*h - 1 - 24 = 0. Let t(i) = -i**2 - 2*i. Let l be t(m). Is -2 at least l?
True
Suppose 5*t - 2*l - 4755 = 0, -4*t - 2*l + 0*l + 3804 = 0. Let o = t - 40891/43. Is -1 > o?
False
Suppose 8 = c - 3*c. Let q be (35/42)/((-5)/c). Which is smaller: -10 or q?
-10
Let h = 8 - 10.6. Let b = h - -0.6. Is 0.2 >= b?
True
Suppose 4*j + 2 = -2*b, 4*j - 4 = 2*b - 2. Is b != 5/26?
True
Let h be 2/(-9) - (-3141)/(-81). Is h less than -40?
False
Let x be -8 + 10 + 1 + -4. Let m = 4/15 - 2/45. Which is bigger: m or x?
m
Suppose -2*d = 2*s, 0 = -0*s - 3*s. Which is bigger: d or -4/13?
d
Let i(c) = -c**2 + 3*c + 2. Let n be i(2). Suppose 4*t + 3*w = 18, -4*t + 23 - 3 = n*w. Let b(u) = u**3 - 5*u**2 - 6*u + 3. Let f be b(6). Is f less than t?
False
Let x(s) be the first derivative of -s**3/3 - s**2 + 7*s - 3. Let i be x(-5). Let a be (-6)/i + 0 + -1. Which is bigger: 0 or a?
0
Suppose 4*s - 3*x + 12 = 0, 0 = 3*s + 4*x + 11 - 27. Let m = 551 - 4969/9. Which is greater: m or s?
s
Let b(z) = 7*z**2 + 8*z + 4. Let g(l) = l**2 - 1. Let p(h) = b(h) - 6*g(h). Let i be p(-8). Suppose -3*s = 2*s - i. Is s equal to 2?
True
Let c = -1 + 1. Let h be (0 - -1)/(9/(-18)). Let n = h + 2. Is c greater than n?
False
Let u = -51 - -48. Which is smaller: u or -0.6?
u
Let i be ((-4)/(-7) - 1) + 8/(-14). Let f = 2.5 + -0.5. Let d = f - 3. Is i bigger than d?
False
Let g = 41 - 26. Let y = g - 24. Which is bigger: y or -8?
-8
Let b = 7 + -4. Let i be (-1)/b - (-4 - -3). Which is greater: 1 or i?
1
Let x be (12 - 12)*(0 + 1). Let q be (9/(-6))/(9/(-4)). Is q at most as big as x?
False
Suppose 0*u - 5*u = 0. Suppose -5*z + 7*z = u. Which is smaller: 2 or z?
z
Let a(k) = -k**2 + 4*k + 5. Let f be a(5). Suppose f*c + 2 = -c. Is -3 less than or equal to c?
True
Let l = -57 + 63. Is l < 4?
False
Suppose -5*m = -5*t + 20, -14 = 5*m - 0*t - 3*t. Let f(j) = j**3 + 6*j**2 + 4*j - 6. Let o be f(-5). Is m greater than or equal to o?
True
Let j = 1.1 + 3.9. Let c = j - 4.4. Let h = c - -0.4. Which is smaller: h or -0.1?
-0.1
Let x(p) = -2*p - 5. Suppose -24 + 4 = 4*f. Let n be x(f). Let y be (0/n)/((-1)/(-1)). Which is smaller: y or 1/2?
y
Suppose 0 = l - u - 10, -u - 3 - 2 = 0. Let z be (2/l)/((-26)/10). Suppose 0 = q - 2*f + 1, -4 = -5*f + 1. Which is greater: z or q?
q
Let f(z) = -z**3 + z**2 - z + 3. Let j be f(0). Suppose -5*u + 9 = -4*q - 6, -j*q - 6 = -2*u. Let d be (-6 + 4)*2 - -6. Is u at most as big as d?
False
Let i be (-1 - -3)*(-5)/(-445). Which is smaller: i or 0?
0
Let m = 2 + -15. Which is smaller: -12 or m?
m
Suppose -14*c + 9*c = 0. Let s = 