 u(-5). Which is greater: 0 or y?
y
Let d = -0.25 - 5.75. Do -1 and d have the same value?
False
Suppose -4*g = -2*d + 4 + 2, 3 = g - 5*d. Let z be 3 + g + 5/5. Is z greater than or equal to 3?
False
Let o = 32977/52 + -2577/4. Let z = o + 10. Is z less than 1?
True
Let b = -3.56 - 0.34. Let d = -4 - b. Let x = -5/18 - -7/9. Which is greater: x or d?
x
Let k = 772/555 + 1/111. Which is bigger: k or 1?
k
Let a(f) = f - 2. Let c be a(6). Let k be (-25)/20 - (-1)/c. Let p = 2 - -3. Is p smaller than k?
False
Suppose 0 = 6*j - 11*j. Let y be j + 4 + -11 + 0. Which is smaller: y or -8?
-8
Let p(b) = 9. Let y(c) = -c + 1. Let t(m) = -p(m) + y(m). Let u be t(-6). Let r be (-3 + 3)/(0 + u). Is -2 less than or equal to r?
True
Suppose 6*q + 104 = 10*q. Is q at most as big as 26?
True
Let b = -125 - -1130/9. Suppose -7 + 5 = -j. Is b less than or equal to j?
True
Let c = -6/127 + 4221/635. Does c = 7?
False
Let m(o) = 5*o**3 + o**2. Let r be m(1). Let h = 0 - r. Is h > -6?
False
Let o = 1/1458 - -2831/123930. Which is smaller: o or 1?
o
Let o = -167/132 - -13/12. Is -2 equal to o?
False
Suppose p = 4*a - 3*p - 16, a + 5*p = 4. Is a not equal to 4?
False
Let z = -73 - -73. Is 32 less than or equal to z?
False
Let c(k) = -3*k**2 + 3*k + 6. Let a be c(7). Let n = 1079/9 + a. Which is smaller: 0 or n?
n
Let p = 4 - 1. Let q be 2/(-10) + 176/55. Suppose -8 = -q*t - t. Are t and p unequal?
True
Let s be (-11)/(-33)*3/5. Is s >= -1?
True
Let t = -443/2436 - 1/116. Are t and -1 nonequal?
True
Let d(p) = -4*p - 1. Let f be d(-2). Suppose -4*r + f*r = 0. Let w = -59/126 - 2/63. Which is greater: w or r?
r
Let x be -2 + -3*(0 + -3). Suppose 5*a - x = -3*m, 0 = m + 2*a - 6*a + 9. Let h = m + -1. Which is smaller: -0.2 or h?
h
Suppose 3*f - f - 6 = 0. Suppose d + 0*z = z + 1, 4*z + 2 = 3*d. Let x be ((-4)/(-2) - 0)*d. Is f less than x?
True
Let t be 2/16 + (-870)/48. Which is bigger: t or -17?
-17
Let f = 11 - 13. Which is smaller: f or 0?
f
Let j be (3/(24/(-10)))/(4/32). Is -10 smaller than j?
False
Suppose 0*y - 3*y = -15. Suppose -2*l + 3*q = -14, -y*l + 6*q - 2*q = -21. Let r = -1 + 1. Do r and l have the same value?
False
Let a = -2 - -5. Suppose -3*i - 3*k + 16 = -4*i, -2*i = a*k + 5. Let o(h) = -h**2 - 7*h + 9. Let x be o(i). Is 8 less than or equal to x?
True
Let j = 0.1 - -5.9. Let m = j - 5. Are m and 1 equal?
True
Let k = 2282/1243 - 2/113. Let z = k - 118/77. Is 1 <= z?
False
Suppose -2*o + 56 = -90. Let y = o + -366/5. Is y >= -1?
True
Suppose -4*n = -4*f + 2 + 6, -32 = -2*f - 5*n. Let x be (-2)/(-12) + 59/f. Is x smaller than 9?
False
Let n = 6 - 6.08. Let b = 0.02 - n. Are b and -1/3 equal?
False
Suppose -5*c - 10 + 15 = 0. Let l(h) = -h**3 + 6*h**2 + 6*h + 10. Let d be l(7). Let n = 3 - d. Which is bigger: c or n?
c
Let p be ((-2)/(-3))/((-22)/33). Does -1/5 = p?
False
Suppose m = 2, 5*c - 7*c - 4*m - 142 = 0. Does -76 = c?
False
Let r = -29 + 35. Which is greater: 1/4 or r?
r
Let g be 2/6 + (-44)/6. Let i = g - -11. Suppose 0*t + i*t - 16 = 0. Is t smaller than 4?
False
Suppose -1 + 2 = -n. Let u(j) = -2*j - 4. Let q be u(-3). Suppose -3*d - 14 = q*p - 3*p, -2*d - 6 = -4*p. Is p smaller than n?
False
Let r = 0.02 + -2.02. Let w = -2.2 - r. Let l(i) = -i**2 + i. Let v be l(1). Which is smaller: w or v?
w
Let c(s) = -s**3 - 10*s**2 + 10*s - 10. Let g be c(-11). Does g = 18/11?
False
Let g be (1 - (-6)/(-5))*-1. Let x = 4.5 + -4. Let d = 1.5 + x. Which is bigger: g or d?
d
Let q be 4/22 + (-21)/660. Which is smaller: -1 or q?
-1
Let n be 3 - 5/((-5)/2). Suppose 0 = c + n*h - 3, -c = 2*h + h - 3. Is 4 >= c?
True
Let f(t) = t**3 - 5*t**2 - 5*t - 3. Let r be f(6). Suppose -8 = -r*y + 7. Suppose -7*d - 8 = -36. Are d and y non-equal?
True
Let p = 156297/43 + -957678675/263461. Let o = -2/557 + p. Which is greater: 1 or o?
1
Let o = -76 - -1063/14. Is o bigger than -1?
True
Suppose 2*o = -29 + 35. Which is smaller: o or 4?
o
Let h(t) = 4*t - 16. Let v be h(8). Is v at most 15?
False
Let u = 19.93 - 20. Let h = -4.93 + u. Is -2 bigger than h?
True
Let m be ((-1)/(-2))/(60/9). Is m > -1?
True
Let q = 17.1 + -9.2. Let p = -8 + q. Is p smaller than -1?
False
Let v = -52 - -62.6. Let g = v - 10. Is g at most as big as 0?
False
Suppose 4*s + 4 = 12. Suppose 25 = q + 3*q - 5*w, -10 = 4*q + s*w. Is q smaller than 0?
False
Suppose 0 = 2*x + 3*x - 4*b - 7, 0 = -5*x - 3*b - 14. Do 3/7 and x have the same value?
False
Let g = 29.1 - 29. Which is smaller: g or 6?
g
Suppose 4*n - 4*p = -9*p - 11, -3*p = n + 1. Let y be 12 + (4/n - 2). Are y and 7 nonequal?
True
Let w(l) be the third derivative of l**6/120 - l**5/10 + 5*l**4/24 + l**3/6 - 5*l**2. Let f be w(4). Which is bigger: 1/4 or f?
1/4
Suppose z - 4 = 5*z. Let n be 40/(-18) + (1 - z). Which is smaller: -1 or n?
-1
Suppose -4*r + 16 = 0, -r = 5*w + 4*r - 60. Let b be (6/(-8))/(15/w). Which is smaller: 9 or b?
b
Let g(y) = y - 4. Let p be (11 + -1)*6/15. Let z be g(p). Do z and 0 have the same value?
True
Let t = -10 + 4. Let z = t - -2. Which is smaller: 0 or z?
z
Suppose -4*k + 7*k = 0. Let y be (k - (-2 + 4))/5. Are 0.3 and y equal?
False
Let t = 54 - 40. Which is greater: t or 15?
15
Suppose -4*y = -4, -3*l - y + 4*y - 9 = 0. Let m = -19 + 13. Let u = -4 - m. Which is smaller: l or u?
l
Let a(v) = -v + 7. Let d be (3 + 3)*(-20)/(-24). Let o be a(d). Is o smaller than 5/4?
False
Let f = -55/147 - -2/49. Let b = 2 + 0. Which is smaller: b or f?
f
Let g(b) = b**3 + b + 12. Let p be g(0). Let x be 4/14*7/p. Which is bigger: 0 or x?
x
Let l(w) = -w**2 + 8*w + 10. Let s be l(9). Does 2/11 = s?
False
Let a = 0.095 + 1.905. Is a at most 0.02?
False
Let v be 6*(0 + (-1)/(-2)). Suppose 6 - 26 = -5*n. Which is greater: n or v?
n
Let q = 98 - 99. Is q not equal to 3/8?
True
Suppose 2*y = -0*y + 24. Let c be 11/y - (-1)/(-4). Is 2/3 < c?
False
Let c(a) = -4*a - a + 4*a. Let t be c(4). Let p = 6 + t. Is 1 >= p?
False
Let y(z) be the first derivative of z**2 - 2*z - 3. Let c be y(2). Which is smaller: 6/7 or c?
6/7
Let c be (-345)/12 - 2/8. Let u = c - -219. Let y = 947/5 - u. Is 0 at least y?
True
Suppose -2*j + 2 = -j. Suppose -j*n = a - 7, -a - 7 = -6*a - 3*n. Is 1/3 < a?
False
Let c(s) = -s + 17. Let b be c(13). Suppose -5 = -p - 2*v, -4*p + 3*v = -2 + b. Is 4 less than or equal to p?
False
Let f be ((-4)/18)/((-6)/9). Let s = -1 + 1. Is f not equal to s?
True
Let r = -16 - -27. Suppose -15 = 5*d - 5. Let w be d/5 + r/15. Which is smaller: w or 1?
w
Let d be (0 - 508/(-10))*55. Let i be d/6*2/(-6). Let z = 155 + i. Which is smaller: z or 0?
z
Let a = 1 - 2. Let r = a + 0.5. Let u = r - -0.4. Which is bigger: u or -1?
u
Let g = -23 + 22. Let a = -0.29 - 0.01. Which is smaller: a or g?
g
Let f = 4/255 - 2/15. Is 0 not equal to f?
True
Let q be (28/6)/((-2)/(-4)). Let b = q + -9. Let i be -1*(0 - 1 - -2). Is b equal to i?
False
Let t = 78 - 157/2. Is -5 < t?
True
Let w(v) = v**3 - 7*v**2 + v - 4. Let y be w(7). Suppose 5*l + 2 = -y. Let b = l + 1. Is 0 smaller than b?
False
Let b = 3 + -5. Let m = -5/22 - 3/11. Is b > m?
False
Let u be ((-4)/(-15))/(4/(-10)). Let p(r) = r + 2. Let y be p(-2). Suppose -i - i - 4 = y. Do u and i have different values?
True
Suppose -2*h = 2*n - 8, -n + 2*h + 8 = 4*h. Which is greater: n or -2/43?
n
Suppose -2*r + 4*b + 80 = 0, -b = -r - 2*r + 95. Is r < 2?
False
Let h(f) = -f**2. Suppose 7 = 5*b + 2. Let l be h(b). Let r = 214 - 1709/8. Which is smaller: l or r?
l
Let o = -13683/23 - -595. Which is bigger: -1 or o?
o
Let d = -62/7 - -1026/119. Which is smaller: d or 1?
d
Let n = 37 + -26. Let z = -7 + n. Suppose z*t + 0*t + 2 = 2*r, 4 = 4*r - 4*t. Are 1 and r non-equal?
False
Suppose 1 = m - 0, -c = 3*m + 27. Let f be 18/27*c/4. Let i = f + 6. Is -2/9 at least as big as i?
False
Suppose -5*n = -2*m + 33, n = 3*n + 4*m + 18. Is -5 > n?
True
Let t = -74/35 + 19/7. Let m be (-10)/(-35) - (-5)/(35/(-2)). Is t > m?
True
Suppose -i - 4 = -l + 2, 3*i = 2*l - 12. Suppose 2*c + 0*c + l = 0. Let b be c/9*(-3 + 0). Do b and 1 have the same value?
True
Let a = 2.1 + -3.1. Is -0.3 at least as big as a?
True
Let d be (4 + -3)/(1/1). Which is smaller: d or 3?
d
Let p = -67.1 + 70. Let l = -3 + p. Suppose 0 = -2*q - 3*q - 5. Is q at most as big as l?
True
Let o(y) be the first derivative of y**3/3 + y**2/2 