g = -0.01 - 0.15. Let t = -4.16 - g. Let q = -0.1 - -0.1. Which is smaller: t or q?
t
Let p = 100034/4617 + 1/4617. Let z = p + -457/21. Which is bigger: 1 or z?
1
Let a be (36/15)/(26/(-65)). Do 3 and a have the same value?
False
Let d = -1147 + 1156.09. Let t = d + -9. Is -1 >= t?
False
Let n be (3/(-12))/((-3)/36). Which is smaller: n or 1?
1
Let v = -35/6 + 25/3. Is v at least 3?
False
Let i = -11 - -10. Which is bigger: -7 or i?
i
Let b be 1*(-2 + 3 + -2). Do b and -5/6 have the same value?
False
Let d = 4163 + -33205/8. Let z = -361/24 + d. Let a = 3 + z. Does a = -1?
False
Suppose -y + 6*y + 4*f = 63, -5*f - 15 = 0. Let c = 15 - y. Which is smaller: -2/5 or c?
-2/5
Let w = -7.7 + 9. Let t = 0.7 + w. Which is greater: -3 or t?
t
Suppose -3*u = -2*c + 8, 0 = 5*u - 3*c + 13 + 1. Suppose -t - 3*z = -2, -4*z = -5*t - 7*z - 14. Is t <= u?
True
Let z(p) = -p**2 + 1. Let f be z(1). Suppose 4*k + k + 3 = -2*n, -13 = 3*k + 4*n. Is k at least as big as f?
True
Let w = -181 + 179. Which is bigger: -4 or w?
w
Let q = -85 - -93.2. Let t = -7 + q. Which is smaller: 1/4 or t?
1/4
Let o be ((-4)/(-8))/(1/14). Let m = 5 - o. Let j = -3.5 - -0.5. Which is greater: j or m?
m
Suppose 5 = o, -4*o + 0*o = -3*k - 11. Let w = k - -2. Suppose 5*g = 7 + 13. Which is bigger: g or w?
w
Suppose 0 = -6*j + 3*j. Is j less than -10/9?
False
Let h(b) = 9*b - 45. Let a be h(5). Which is greater: a or -2?
a
Let y(r) = 2*r - 2. Let o be y(-7). Let f = -8 - o. Suppose 7*x + 2*p = 2*x + 53, 2*x + 3*p - 30 = 0. Is f smaller than x?
True
Let x = 0 - -1. Let a(u) = u**2 + 6*u + 2. Let j be a(-7). Let m be 7/j + 12/54. Is x at least as big as m?
True
Let u be 3/15 + (-1)/5. Let l be (-1)/(-1) + (-1 - u). Let d = 43/6 - 15/2. Which is smaller: l or d?
d
Let k(s) = -16*s. Let p be k(-5). Suppose r = -4*v + 2 - 7, 0 = -5*r + v + p. Let a be 4/(-3)*r/70. Do 0 and a have different values?
True
Suppose -d + 2*w = 4, -5*w = -8*d + 3*d. Suppose -3*g = -d*f + 5, -4*g = -4*f + 2*f + 10. Which is greater: f or -2/3?
-2/3
Let q(x) be the first derivative of x**3/3 - 6*x**2 + 13*x + 5. Let h be q(11). Is 2 at most h?
True
Let b be 1/2 + (-10)/(-4). Let h be ((-13)/(-3))/(3/9). Suppose -7 = -n - b*y, -3*n - 5*y + h = -0*n. Is n at least 2/7?
True
Let i(f) = -f**3 + 2*f**2 - 4*f + 2. Let z(v) = -2*v**3 + 2*v**2 - 5*v + 1. Let x(h) = -3*i(h) + 2*z(h). Let m be x(-3). Is m at most as big as -2?
False
Let i be 0/(2/(-2)*-2). Let k = i + -1/5. Do k and 0 have the same value?
False
Let f = 1 + -1. Let b = -3 - -2. Let p(k) = -2*k - 1. Let a be p(b). Is a at least as big as f?
True
Let d be 1/(-4) - 3/4. Let r be ((-1)/(-2))/(2/d). Which is bigger: -1 or r?
r
Let c = 1/329 + -1985/3619. Is c equal to -1?
False
Let f = -10 + 17. Which is bigger: 6 or f?
f
Let s(y) = -3*y - 10. Let d be s(-10). Let q be 3 + (-88)/d*1. Are q and 0 equal?
False
Suppose -2*m - 2*m = -b - 41, b = -2*m + 19. Suppose 7*s + m = 2*s. Let f = 2 - 3. Are f and s non-equal?
True
Let g be (-4)/(-8) - (-78)/4. Let f be (2/345)/(g/(-1605)). Let t = f - -3/46. Which is smaller: -1/4 or t?
t
Suppose -5*i + 12 = -3. Let n be 3*i/60*-4. Which is smaller: 0 or n?
n
Let v = -189 - -190. Let j = -0.1 + -0.4. Is j greater than v?
False
Let l = 3 + -4. Let n be (24/30)/((-46)/(-5)). Which is smaller: l or n?
l
Let c be 345/6*16/(-20). Let g be c/(-6) - (-2)/(-3). Suppose 0 = -2*x - h - 5, h - 3*h - g = 3*x. Is -5 at most x?
True
Suppose -2 = -8*j + 7*j. Let d be (-8)/5*10/(-14). Which is smaller: j or d?
d
Let z(q) = -1 - q**3 + 0*q + 2*q**3 + 2*q. Let r be z(1). Suppose -p + 6 = r*p. Which is greater: p or 1?
p
Let b = 17 + -17. Which is greater: 10 or b?
10
Let b = 11 + -12. Is b < -1?
False
Let a(u) = u**2 + 9*u - 9. Let v be a(-12). Let y = v + -22. Suppose 0 = -5*r + 5*p + 35, -5*r + 5 = -2*r + 5*p. Is r greater than y?
False
Let p = -3 - -1. Let n = -4.047 - 0.053. Let c = n + 4. Which is smaller: p or c?
p
Let h = 4/11 - 31/55. Let b = -0.2 + 0.2. Let a = -0.1 + b. Which is smaller: a or h?
h
Let j = 3 - 3. Suppose -2*c = -j*c. Let h = 433/6 - 72. Which is smaller: c or h?
c
Let y(v) = -v**3 + 3*v**2 + 4*v - 3. Let j be y(4). Is j not equal to 2?
True
Let d = -0.2 + 0.2. Suppose -2*b - 3*b = h - 23, -2*h = 2*b - 6. Is d bigger than h?
True
Let k(a) = a**3 + 10*a**2 + 20*a + 10. Let f be k(-8). Are f and -24 equal?
False
Let h = 74 + -74. Are -2/187 and h nonequal?
True
Suppose 30 = g + 4. Suppose 6 - g = 5*m. Let n = m - -2. Which is smaller: -1 or n?
n
Suppose 12 = 3*k, -5*k + 16 = -2*v + 4*v. Let t(l) = l**3 + 4*l**2 + l + 5. Let u be t(-4). Let x = u - 2. Is v < x?
True
Let c be (1*-2)/(6/(-12)). Suppose -c*u + 0*u - 36 = 0. Is u at most as big as -8?
True
Let z = -2.7 - -4. Let c = -2.3 + z. Which is greater: 2 or c?
2
Let q = -19 - -10. Let h be (6/q)/(6/9). Is h at least -2?
True
Suppose n = -0*n + 12. Is 12 less than n?
False
Let g = -22 + 23. Suppose -b - 2*b = 0. Suppose b = -u - u. Is g >= u?
True
Suppose 4*l - 2 = l + h, 3*l + 4*h = 7. Which is smaller: l or -1/4?
-1/4
Let p be 3 - ((42/3)/2 - 3). Which is greater: p or -8/21?
-8/21
Let n be 20/50 - (-536)/(-1890). Let j = -4/21 + n. Which is bigger: 0 or j?
0
Let m = -2 - -4. Suppose 0 = 3*d + 5*v - 11, -3*v - 19 = 5*d - 4*v. Let f = 5 + d. Is f greater than m?
False
Let x(m) = m**2 - 9*m + 8. Let k be x(8). Which is bigger: k or -3/20?
k
Let n be ((-3)/(-12))/(0 + -2). Let d = n + 3/8. Are d and -1 equal?
False
Suppose -3*h = -3 - 0. Let c(a) = -a**3 - 5*a**2 + 5*a - 4. Let y be c(-6). Let t be y/(-6) - (-5)/(-15). Do h and t have different values?
True
Let w(m) be the second derivative of -m**4/6 - 5*m**3/6 - 7*m**2/2 - m. Let h be w(-3). Is -11 equal to h?
False
Let j(g) = -g**3 - g**2 - g - 1. Let q(p) = -5*p**2 + 9*p + 10. Let v(n) = j(n) + q(n). Let c(f) = -8*f + 1. Let o be c(1). Let m be v(o). Is 2 <= m?
True
Let v = -232/3 + 77. Which is smaller: -2 or v?
-2
Suppose 0 = v + 2*v, -2*f - v = 0. Let p be 94/(-104) - (-3)/4. Is p <= f?
True
Let t = -39/5 + 37/5. Suppose 0 = 5*u + 6 + 54. Let o be (6/u)/((-2)/4). Is t not equal to o?
True
Suppose -5*t - t = -126. Is t less than or equal to 20?
False
Let z = 8 - 9. Let q = -1 - z. Which is smaller: 4/5 or q?
q
Let c = -3 + 7. Suppose 0 = -3*w, q + 5*w - 3 = -c. Which is smaller: -1/2 or q?
q
Suppose -3*a = 2*q - 3, 5*q - a - 46 = -13. Suppose -q*w = -4*w - 12. Is w <= 5?
False
Suppose 4*i + 4 = 3*v, -5*i + 6 = -2*v + 4. Let t be (i/8)/(3/12). Is 8/7 greater than t?
True
Let q = 4588/17 + -39409/119. Let d = 61 + q. Is d at most as big as -4?
False
Let n be 1 - (-6 + 1 + 3). Suppose 2*s = n*s. Do -4/9 and s have different values?
True
Suppose -f + a = -2, 0*f + a = -f + 12. Suppose -80 = 196*u - 206*u. Is u greater than f?
True
Let l be (-2)/5 - (-37)/(-20). Which is smaller: 2 or l?
l
Let t be (-3 + 2)/((-5)/10). Suppose 0*s + 23 = 2*n + s, -2*n - t = -4*s. Do n and 7 have the same value?
False
Suppose 0 = -0*a - 5*a - 20. Is -5 bigger than a?
False
Let p = -0.16 - -1.11. Let w = p - -0.05. Is -1 at most as big as w?
True
Let n(b) = 2*b - 9. Let l be n(7). Suppose -l*f + 9 = -11. Is f < 4?
False
Let p be ((-51)/170)/(3/4). Let h = 0 + 0. Is h at least as big as p?
True
Let r be 5/1*1*1. Suppose 74 - 19 = r*h. Is h at least 11?
True
Let g(a) = -a**3 - 8*a**2 - 11*a + 8. Let i be g(-6). Which is smaller: i or -24?
-24
Let c = -13 + 12.9. Is 2/51 bigger than c?
True
Let o(k) = k**3 - 6*k**2 + 3*k + 6. Let h be o(5). Let c be (10/(-40))/((-1)/(-12)). Is h > c?
False
Suppose -3*n + 0*n + 15 = 0. Suppose 0 = n*u - 3*u. Which is smaller: -4 or u?
-4
Let n(i) = -i**2 - 6*i - 6. Let g be n(-5). Let v be 2/2*2 + 0. Suppose -8 = v*t + 2*t. Is t bigger than g?
False
Let r = 2 - 4. Let t = r - 1. Suppose -7*q - 6 = -4*q. Which is greater: t or q?
q
Let i = -118 + 118.1. Is i equal to 1/4?
False
Let u = -1.63 + 1.7. Let j = 0.93 + u. Which is greater: j or -1?
j
Let s = 35 + -34.9. Which is smaller: -3 or s?
-3
Let r(u) = -3*u**2 + 2*u + 1. Let b be r(-1). Let k be (-2)/(16/6)*4. Let g = k - b. Are g and 1/3 nonequal?
True
Let m = 14 - 10. Suppose -i - 3*k - 1 = 0, -3*i - 4*k = i - m. Is i at least as big as 4/3?
True
Let p(l) = l**3 + 6*l**2 - 6*l + 6. Let j(g) = -g - 3. Let q be j(4). Let d be p(q). Which is bigger: d or -1/1