pose -2*q + q + m = 0. Are 9 and q equal?
True
Let x = -5 + 4. Let w = 2 + x. Do w and 3 have different values?
True
Suppose 3*k - k = 0. Suppose -2*z + k = 20. Let p be ((-1)/z)/((-1)/(-2)). Which is bigger: p or 0?
p
Suppose 0 = 2*c - 0*c - 8. Suppose -c*d - 3*a = 0, a + 23 = d - 4*a. Let j = d + 0. Does 3 = j?
True
Let c(n) = -5*n - 4. Let u(g) = 11*g + 8. Let p(x) = -9*c(x) - 4*u(x). Let z be p(-6). Is z at least -1?
False
Let w(n) = n**2 + 5*n - 9. Let z be w(-7). Suppose -4*g + 4*o - 17 + 5 = 0, -4*g + z*o = 9. Let p be ((-2)/(-10))/(g/15). Is 0 >= p?
True
Let j = 3 + 0. Let w be (0 - j)/(-1 - 0). Let a = w - 3. Which is bigger: 0.1 or a?
0.1
Let k = -3.5 - -3. Let m = -0.4 - k. Is m at most -1?
False
Suppose 8 = 2*u - t, 0 = u - 0*u - 4*t - 18. Suppose -3*k = k + 5*z - 23, 0 = 5*k - 4*z + u. Let o be k/14*(1 - 0). Which is greater: 0 or o?
o
Let w = 18.83 - 19. Let c = w - -1.17. Which is smaller: c or -10?
-10
Let k = -1760/3 + 603. Let v = -16 + k. Which is smaller: v or 8?
v
Let n = 0 + 0. Let f(j) = j**2. Let l be f(n). Suppose -2*m - m = l. Which is greater: 1/2 or m?
1/2
Let r = -0.21 + -0.79. Which is bigger: -2/15 or r?
-2/15
Suppose b + 1 = -z, 5*b - 1 + 4 = -3*z. Let c(t) = -t**3 + t**2 + t - 1. Let u be c(b). Which is greater: 0 or u?
0
Suppose 0*f = 3*f + 5*q - 19, 3*q - 11 = -2*f. Let u(b) = -b**2 + 8*b - 11. Let w be u(6). Which is greater: w or f?
w
Suppose 0 = -7*t + 2*t. Does t = -1/2?
False
Let b = 8 + -5. Suppose -b*m = 4*p - 2*p + 11, -5*m - 13 = 2*p. Let w be -5 - (m + 1 - -1). Are w and -6 unequal?
False
Let y be ((-12)/44)/((-3)/(-4)). Let t = 3 + -4. Which is greater: t or y?
y
Let g be (-375)/(-2)*(-3)/((-27)/6). Which is bigger: g or 124?
g
Let a = 17/22 + -279/418. Which is smaller: -2 or a?
-2
Suppose 0 = -5*z - 5*r + 45, 3*z - 23 + 3 = 4*r. Let l = -9 + z. Let d be ((-4)/(-48))/(l/2). Which is greater: 1 or d?
1
Let i(u) = -u**2 - 3*u - 4. Let g be i(-6). Let o = 22 + g. Which is smaller: -2/7 or o?
-2/7
Let o = 1.3 + -1.25. Let x = 0.3 - 0.4. Are x and o non-equal?
True
Suppose 50 + 75 = 5*h. Suppose -4*a - 17 = -3*g, -4*a + 9*a - 5*g = -h. Let j = -7 - -4. Which is greater: a or j?
a
Suppose 3 = -2*a + 7, -18 = -4*y - 3*a. Let x be 8/(-6) - 2/y. Let d be x*((-6)/(-2))/21. Which is greater: -1 or d?
d
Let p = 3 + -2. Suppose 0 = -j + 2*q + 15, -j - q - 20 = -4*j. Let f be (j/(-30))/(4/6). Is p less than or equal to f?
False
Let j be (-3*(-16)/(-18))/((-4)/(-18)). Is -1 at most j?
False
Let c be (-16)/(-30) - (-1)/(-5). Are c and -4/3 non-equal?
True
Let n be (-4)/510*(29 - 24). Is -1 bigger than n?
False
Let j be (-4)/(-14) - 721/(-49). Suppose -w - 12 = -4*r - 5*w, 3*r + j = 3*w. Is 1 at most r?
False
Let j = 0.4 - -1.6. Let m = 3 - 3.1. Let w = m - -0.3. Is j at most w?
False
Let j be 3/1 + 1 + -3. Suppose 0 = -3*a - 2*b, -3 - 4 = -5*a - b. Is j less than a?
True
Suppose 55 = -3*q + 55. Which is smaller: 3/19 or q?
q
Let s = -17 + 9. Let x = 7 + s. Let j = 0 - 1. Is x > j?
False
Let p be (-16 - -1)*4/3. Let f be (-3)/p + (-4)/10. Is f at most 0?
True
Let k = -0.1 + 2.1. Is -2/11 equal to k?
False
Suppose -5 + 11 = 3*l. Suppose 5 = -j - 0*p - l*p, 5*j - 5*p - 50 = 0. Let w be -1*3*(-2)/3. Which is greater: w or j?
j
Let x = 4 - 1. Let y(k) = k + 2*k**2 + k**2 - 5 - k**3 - 3 + 5. Let z be y(x). Which is bigger: 1 or z?
1
Let h(g) = -g + 7. Let d be h(5). Let x = -0.9 - 7. Let n = 8 + x. Which is smaller: n or d?
n
Let b(o) be the second derivative of -o**3/6 + o**2 + 5*o. Let d be b(3). Which is bigger: d or 3/14?
3/14
Let p(c) = -2*c - 22. Let y be p(-11). Let d be ((-2)/2)/(-11)*-3. Which is greater: d or y?
y
Let x(u) = u + 3. Let b be x(-5). Let g be (1 - 3)*b/(-4). Is g at most as big as 1/5?
True
Let g = 3.4 - 18.4. Let y = 9 + g. Let n = -6 - y. Which is smaller: n or 2?
n
Let g = 9 + -3. Let h = -4 + g. Which is bigger: -3 or h?
h
Let m = 0.4 + 0.3. Let g = m - -0.3. Let r = -2 - -1. Which is smaller: g or r?
r
Suppose -2*r + 4 = -2*f, 0*r - 3*f = 3*r - 30. Suppose -5*c + r = -4*c. Suppose c*q + 5 = q. Which is smaller: q or -4?
-4
Let s be 2/3 + (-22)/(-3). Let z = -5 + s. Let i = 12 - 8. Is z less than or equal to i?
True
Let l(z) = -z**2 - 5*z - 3. Let y be l(-3). Suppose -3 = -2*f + 2*q - q, 0 = -2*q + 2. Suppose f*o + 11 = -y*r, 0 = 3*r - 3*o - 9. Are 1/5 and r nonequal?
True
Let w be (2/8)/(12/(-1712)). Which is smaller: -35 or w?
w
Suppose g = 2*j - 6, -12 = 2*g - 5*j + 3*j. Let z be g/8 + (-1)/(-2). Which is greater: 0.2 or z?
0.2
Let x be 6/(-8) - 27/12. Let l be x/6*(15 - 0). Is l less than -7?
True
Let f be (0 + (-1)/3)*3. Let j be 0/(-9) + 102/(-25) + 4. Is j < f?
False
Suppose -2*c = -0*c. Which is smaller: c or -3/7?
-3/7
Let l = 0.2 + -0.4. Which is smaller: -6/11 or l?
-6/11
Suppose -2*v - 3 = -j, 4*v + 15 = 3*j + 6. Which is smaller: v or 2/11?
v
Let m be -2 - 2 - 3*-1. Let h = m + 4. Suppose -c = y + 4, h*c = -5*y - 8 - 2. Which is smaller: 0 or y?
0
Suppose -60 = 4*o - 2*o. Let i = 47178/5 - 9406. Let d = o + i. Is d at most as big as -0.1?
True
Let k = -113 + 76. Which is smaller: k or -36?
k
Let t(v) = v + 13. Let g be t(-12). Let x be g - ((-36)/(-20))/3. Suppose -5*b + 2*b + 3*h = 0, b - 5*h = 0. Is b >= x?
False
Suppose -3*q = -8*q + 15. Let f be (-19)/q + (-1)/(-3). Let b be 1/(-1 - f/4). Is b at most as big as 2?
True
Suppose c - 3*c - d = -23, 3*d + 3 = 2*c. Let l = c - 8. Is 1 <= l?
True
Let p = 114 + -113.9. Is 7/3 at least as big as p?
True
Suppose -19 = -z - 5. Suppose 5*m = -3*q - 0*m - z, -3*m - 3 = 0. Which is bigger: q or -2?
-2
Let a = 0 - -1. Let u = -6 + 4. Let j be 2 + u/5 + -2. Is a at least j?
True
Let k be 5 + (-5 - -3) - 0. Is -1 at most as big as k?
True
Let i be 9/6*-2 + 1. Is -8 at most as big as i?
True
Let y(k) = -k**2 - 7*k - 11. Let r be y(-5). Is r > -5?
True
Let a be 7/45*(-46)/(-161). Which is bigger: a or -4?
a
Let o(i) = 2*i + 2. Let t be o(-5). Let p = 0 - 8. Is p at most as big as t?
True
Let y(z) = 7*z + 2. Let w be y(-3). Which is greater: -18 or w?
-18
Let w(k) = k**3 - 6*k**2 + 6*k - 7. Let v = 11 - 6. Let h be w(v). Do h and 0.2 have the same value?
False
Let q = -4.55 - -0.05. Let l = q + 1.5. Let z = -3 + 2. Which is smaller: l or z?
l
Let p be -1 + 0 + 2 + 1. Suppose u - p = -h, 5*h + 2*u - 10 = 3*u. Suppose -2 = -4*d + h. Is d smaller than 3?
True
Let g(l) = 2*l + 12. Let f be 5*(4/4 + -2). Let r be g(f). Which is smaller: 4/3 or r?
4/3
Let y be 1 + (-33)/15 - -1. Let r = -4 - -4. Is r >= y?
True
Let f = -57/37 - -3/74. Let c be (-4)/10 + (-12)/(-30). Which is bigger: f or c?
c
Let d be 5 + (-12)/(6 - 2). Suppose 1 = d*y + 2*a + a, -3*y - 2*a = 1. Is -1 bigger than y?
False
Suppose -4*w - 24 = 4*p, 0*p - 3*w = p + 10. Suppose 0 - 1 = -j. Let c = p + j. Is c < -3?
False
Let h be 1*(-34*(-1)/(-10) + 3). Is h greater than or equal to -44?
True
Let z = -3 - -5. Suppose z*d = -2*u + 4, 8*u - d + 2 = 4*u. Let x = 2 - 3. Which is smaller: u or x?
x
Let j be 2/(-7) - 2*45/(-70). Let u = -432/85 + 26/5. Is u at least j?
False
Let h(k) = k**2 + 5*k + 4. Let j be h(-4). Which is smaller: 13 or j?
j
Let k = 318 - 2230/7. Let v = 0.22 + -0.32. Is v != k?
True
Let c be ((-4)/(-10) - 0)*5. Suppose 0*y = c*y + 14. Let l = 3 + y. Is -4 less than l?
False
Let u = 9 + -1. Let o = 11 - u. Suppose -o = -p - 2. Which is bigger: 1/3 or p?
p
Let z = -2793/13 + 215. Suppose 1 - 2 = -m. Are z and m non-equal?
True
Let a be (39/(-9))/((-2)/6). Let s = 7 - a. Let k be (s/(-36))/((-1)/2). Is 0 != k?
True
Let u = 2 - -2. Let s = 3 - u. Let v be (-1 - s - -2)*-2. Is v greater than -3?
False
Suppose -a - a + 14 = 4*c, 4*c - 5 = -5*a. Let u = -2 + c. Suppose -u*i = -4*i + 1. Which is smaller: i or 0?
0
Suppose -4*q + 2 = 14. Let o(m) = -6*m + 1. Let d(s) = s. Let p(r) = 5*d(r) + o(r). Let g be p(3). Which is smaller: q or g?
q
Suppose -3*b - 15 = -2*i + 5, 5*b + 20 = 0. Suppose -3 = i*u + 1. Which is smaller: 2/21 or u?
u
Suppose 0*g + 3*u - 48 = 3*g, -4*g = -u + 70. Is g >= -18?
True
Let g(q) = 3*q**3 + 6*q**2 - 3*q - 2. Let v(h) = h**3 + h**2 + h. Let l(f) = g(f) - 2*v(f). Let b be l(-5). Do b and -1 have the same value?
False
Let j(a) = a**3 + a**2 - a. Let g be j(0). Which is smaller: -4 or g?
-4
Suppose 3*r + w = -0*w - 53, 5*w + 89 = -4*r. Which is bigger: