. Suppose -9 = l - 5. Do n and l have different values?
False
Suppose -u - 4*c + 0*c = 9, 15 = -5*c. Suppose -u = -3*h - 0. Is 0 bigger than h?
False
Suppose 2 = 5*z - 2*b, -5*b + 2 + 22 = 2*z. Let l = -3 + z. Is l > -2?
True
Suppose -s + 2*g + 48 = 6*g, 0 = -5*s + g + 156. Is 31 at least as big as s?
False
Let g = -113 + 225/2. Which is bigger: -7 or g?
g
Let t be ((-9)/40)/((-12)/(-16)). Is t bigger than 1?
False
Let l be 0 + 1*(-4 + 1) - -3. Is l > 56?
False
Let u be 1/2 - 1/2. Suppose u*d = -4*d - 4. Suppose 5*c = -20, -3 = -4*g - 5*c - 27. Is g less than d?
False
Let y = -258 - -922/3. Let v = y + -50. Suppose -3 = 5*t + 2. Which is smaller: t or v?
t
Let r(u) = u + 1. Let b be r(-5). Let q be (-52)/(-455) - b/14. Does 0 = q?
False
Suppose -2*o = 4*m + 12, 0*m + 9 = -3*m + o. Suppose 22 = -2*g - 4*q, 6*q - 3*q = -3*g - 33. Let c = 7 + g. Is m greater than or equal to c?
True
Let t = 12 - 9. Suppose -n + 6 = -t*n. Which is smaller: -1 or n?
n
Suppose v - 2 = 2. Let z(s) = 3*s - 9. Let o be z(v). Which is greater: -1 or o?
o
Let r = 10 + -10. Suppose u + 5 + 1 = r. Let g be (-3 - (-20)/6)*u. Are g and -4 unequal?
True
Let r be ((-3)/6)/((-81)/(-12) + 0). Which is smaller: 1 or r?
r
Let s = 35/87 - 2/29. Is -4/5 greater than s?
False
Let y be ((-4)/(-6))/((-72)/135). Suppose c + 6 = -2*c. Which is bigger: c or y?
y
Let g = 0 + 0.05. Let t = g - -0.12. Let p = t + -0.07. Which is smaller: 1/6 or p?
p
Let g(w) = w**2 - w - 22. Let s be g(0). Is s greater than or equal to -21?
False
Suppose 2*c = 3*b + 4 - 2, -4*b - 3 = -3*c. Let d = -4 - -2. Let m = d - -3. Are c and m equal?
True
Let s be 46/10 - (-6)/15. Is s bigger than 5?
False
Let o = 0.2 - 0.3. Let d = -23 - -24.1. Let r = o + d. Is r greater than or equal to 2/3?
True
Suppose -3*y - 4*n + 26 = 0, -5*y + y - 17 = -5*n. Suppose -3*p + 0 = v - 1, -y*v + 2 = -3*p. Is 1/4 at most as big as v?
True
Let d(u) = u**3 + 8*u**2 + u + 9. Let r be d(-8). Is 3/38 > r?
False
Let z = 1.5 + -1.5. Is 1/2 at most as big as z?
False
Suppose 5*f + d + 4 = 18, -3*d + 14 = f. Suppose c = f*c - 13. Let q be c/(-21) - (-8)/28. Which is greater: 0 or q?
0
Suppose -3*r = 2*b - 10, -3*b + 25 = -3*r + 2*b. Is -3/85 <= r?
True
Suppose -11 + 1 = -5*w. Is 14/9 at most as big as w?
True
Let c be (-9)/((-81)/2)*-1. Suppose 16 = -4*j - 0*j + 3*a, 0 = -4*j + 5*a - 24. Which is smaller: c or j?
j
Suppose 2*x = 6 + 8. Let g = 12 - x. Is g not equal to -0.2?
True
Let z = -9 - -12.5. Let l = -4 + z. Which is bigger: 0 or l?
0
Let i = -6.7 + 4.6. Let c = i - -1.8. Are 3/5 and c unequal?
True
Let j = 8.4 - 10. Which is smaller: j or 0?
j
Suppose 4*z + 1 = a, 0 = z - 4*z + 4*a - 4. Which is greater: 2/5 or z?
2/5
Suppose 0 = -4*v + 4 + 12. Let d = v - 0. Is 4 not equal to d?
False
Let j(x) = -x**3 - 4*x**2 + 9*x + 4. Let o(h) = -2*h**3 - 8*h**2 + 17*h + 8. Let m(l) = 5*j(l) - 3*o(l). Let d be m(-5). Is d not equal to -3?
True
Let w(v) = -v**2 + 2*v + 1. Let g be w(3). Let s be (-7)/(-735)*(-314)/10. Let j = s - -1/75. Is j less than g?
False
Suppose -2 = l + l. Let m = -16/3 - -61/12. Is l smaller than m?
True
Let k(n) = -n**2 + 3*n + 1. Let v be k(3). Suppose v + 5 = 3*u. Which is bigger: 0.2 or u?
u
Let a = -387 + 1943/5. Does a = 2?
False
Let x be (-4)/(-4) + -3 - -2. Suppose l + 1 + 0 = x. Which is smaller: -3 or l?
-3
Let f be ((-2)/(-5))/((-9)/(-15)). Let w = -1.9 + 2. Is w equal to f?
False
Let k(j) = j**2 - 7*j + 3. Let u be k(6). Let y be (0 + 1)/1*-5. Which is smaller: y or u?
y
Let p = -2.1 - -2.21. Let i = 0.18 - p. Let n = i + 0.03. Are n and 4 nonequal?
True
Let i be (24/14 + -2)*12. Let f = -170189/21 - -8108. Let q = i + f. Is q greater than 0?
True
Let s = 10.87 - -0.13. Let v = s + -7. Let y = v - 4. Do 1/4 and y have different values?
True
Let c = -15 - -17. Which is bigger: -1/6 or c?
c
Let d = -13777/15 + 919. Is d at least as big as 2?
False
Suppose 0 = 5*b - 3 - 2. Is 3/5 at most b?
True
Suppose -3*b - x + 12 = 0, -2*b = -x - 1 - 7. Let t be 2*(2 - 10/b). Is -3/4 smaller than t?
False
Let i = -11 + 12. Let k = 8 + -14. Is i not equal to k?
True
Let i = 27 - 28. Which is greater: 1/19 or i?
1/19
Suppose 5 = -0*d - 5*d. Let r be 0/(d/(-1)*-1). Let u be 4/(-8) - 2/20. Are r and u unequal?
True
Let r(w) = -w**2 + 7*w - 8. Let x be r(6). Let t be 1/((x/(-1))/2). Which is smaller: t or 3?
t
Let z = -0.083 - -79.083. Is z less than 2?
False
Let m be (0 + 2/4)*-2. Let y = -5/2 + 11/6. Which is smaller: y or m?
m
Suppose -s - 8 = -3*w, -5 + 16 = -s + 4*w. Suppose -20 = 4*u, 4*d + 2 = u - s. Let i be (0/1)/(d - -3). Which is smaller: 0.1 or i?
i
Let q(c) = 8*c + 5. Let g be q(4). Suppose -5*v - g = 2*t, 5*t - 5*v = 2 - 7. Let z(n) = n**2 + 7*n + 3. Let y be z(t). Is y at most as big as -2?
True
Suppose x + 8 = -4. Which is smaller: x or -6?
x
Let f be ((-1 - -6) + -1)/((-33)/(-99)). Is 11 not equal to f?
True
Suppose -7*s - 65 = -2*s - f, 2*s = 5*f - 3. Let n be (-1)/2 + (-7)/s. Let t = -1 - n. Is t at most -2/7?
True
Let n be 253/(-22) + (-2)/(-4). Is n > 0?
False
Let m = -60 - -90. Which is greater: m or 32?
32
Suppose -4 = -q + 1. Suppose -2*d + q*d - 18 = 0. Let k be (-2)/d*(0 + 0). Which is greater: -2/9 or k?
k
Let v(w) = -2*w**3 + 16*w**2 + 11*w - 15. Let d be v(8). Which is greater: 74 or d?
74
Let j(q) = 64*q - 1. Let y be j(1). Let n = y - 253/4. Which is greater: n or 0?
0
Suppose -140 = -q - 208. Which is bigger: q or -69?
q
Suppose 8 = -6*h + 10*h. Is 2 equal to h?
True
Let n be 24/(-2)*18/(-27). Suppose -5*l + 9 = -f - 10*l, -4*l - n = 0. Are f and 1 unequal?
False
Let w(h) = -h**3 + h**2 - 3*h + 6. Let o(i) = -2*i**3 + 2*i**2 - 2*i + 7. Let r(z) = -2*o(z) + 3*w(z). Let j be r(3). Is j bigger than 6?
True
Let u = 1871/4 - 471. Is u greater than -2?
False
Let n = -13 - -15. Let s = 0.7 + -0.2. Let k = s - 0.4. Are n and k nonequal?
True
Let p(j) = -3*j + 21. Let y be p(14). Is -20 smaller than y?
False
Suppose 25 = -7*x + 2*x. Let c(p) = 2*p**2 + 14*p + 14. Let j(r) = r**2 + 7*r + 7. Let i(d) = -3*c(d) + 5*j(d). Let t be i(x). Which is greater: t or 3/2?
t
Suppose -12*g + 26 = -10. Let a = -81097/7 - -11610. Let r = a + -25. Which is smaller: g or r?
r
Let u = -11 + 6. Let i = u - -4.9. Is 2 equal to i?
False
Let q = 38 + -39. Is q > -8?
True
Suppose g - 31 = 3*c, 81 - 1 = -5*c - 4*g. Which is greater: c or -11?
-11
Let r be (1 - 3) + (-24)/(-10). Suppose 3 = -3*v, 9 = -5*o - 2*v - 2*v. Let s be (1/2*-2)/o. Which is greater: s or r?
s
Let v = -2 - -2. Do 0.09 and v have different values?
True
Let k be 2/4*8/(-348)*-9. Is k < -1?
False
Let i(u) be the first derivative of -u**2/2 + 9*u + 3. Suppose 3*f + 7 = 25. Let n be i(f). Is n < 3?
False
Let d(m) = -m**3 + 3*m**2 - m + 3. Let c be d(3). Suppose 0*u - 2*u - l = 4, c = -3*l - 12. Let s = -1 - u. Which is bigger: s or -2?
s
Let i = 11 - 11. Suppose -o = -2*b + 6*b + 15, -3*o + 5*b = -40. Is i greater than o?
False
Let n = -2188217/405 - -5403. Let l = 49/81 + n. Which is smaller: 2 or l?
l
Let v = 169 - 2537/15. Which is greater: v or 0?
0
Let n = 2 + 2. Suppose 2 = -2*w + n. Which is smaller: w or 1/25?
1/25
Suppose 27 + 21 = 3*r. Which is smaller: 17 or r?
r
Suppose -7*r - 123 = 87. Are -29 and r unequal?
True
Let t(o) = -o**3 - 17*o**2 - 17*o - 15. Let r be t(-16). Do -6/5 and r have the same value?
False
Suppose 0 = 2*r + r + 18. Suppose -3*f - b = 17, -8*f + 4*f - 2*b - 24 = 0. Is r bigger than f?
False
Let s be -1*2 + 224/108. Let w = 33 + -32. Which is bigger: w or s?
w
Let t = -232 - -923/4. Is -2 greater than or equal to t?
False
Let b(q) = -q**2 - 11*q. Let i be b(-11). Which is smaller: i or 3?
i
Let b(a) be the second derivative of a**5/20 + 7*a**4/12 + 2*a**3/3 - 2*a**2 + 4*a. Let y be b(-6). Which is smaller: 7 or y?
7
Let y be 5 + 8/(-12)*6. Which is smaller: 2/35 or y?
2/35
Suppose -2*h - 4 - 4 = 0, h = 4*t + 112. Is t at least as big as -2/3?
False
Suppose -9 = 2*q - 3. Let t = -3 - q. Which is smaller: t or 1/2?
t
Let a = -0.2 - -1.2. Let s = 0.02 - -0.03. Let j = -0.15 + s. Is j <= a?
True
Suppose 8*q - 4*q - 48 = 0. Let l be 162/(-14) + q/(-28). Is -12 at most as big as l?
True
Let c(k) = -3*k - 22. Suppose -r - 4*m + 11 = -2, m = -3*r - 16. Let i be c(r). Which is smaller: -13 or i?
-13
Let y be 2 + 2*-1 + -1. Let l be 1 - y*16