ppose 10*y - 5*y - 5*n = -15, -2*y - o*n + 18 = 0. Does 2 = y?
False
Let x(c) = c**2 - 10*c - 7. Let s be x(11). Let o be 8/6*(-1)/s. Is o not equal to 0?
True
Let h = 0.128 + -0.628. Is h less than 1?
True
Let m = -11 + 9. Let d be (2 - (m + -2)) + -3. Suppose 4*z + z = 20, -8 = s - d*z. Is 4 less than or equal to s?
True
Let r = 113 + -116. Is r > -1?
False
Let l(f) = -f**2 + 4 - 4 - 5*f**3 + 0. Let o be l(1). Is -7 <= o?
True
Suppose b + 9 = 2*b. Suppose 0 = 4*v - b*v + 10. Let k be (-3)/((-36)/26) - v. Is k bigger than 1?
False
Let m = 1 - -3. Let x be (-9)/m - 27/36. Is -2 less than x?
False
Let y be 35/(-87) + 6/18. Let s = 25/58 - y. Do -2 and s have the same value?
False
Let w(f) = -4*f - 14. Let a be w(7). Let g be (-1)/3 - (-28)/a. Which is smaller: -2 or g?
-2
Let a = 35 + -36. Is a > 1/82?
False
Let g = -0.98 + -0.02. Which is smaller: g or 24?
g
Let o = 0.81 + -5. Let x = 0.09 + o. Let b = x + 4. Which is bigger: b or -0.4?
b
Let j = 1 + -1.08. Is 1/3 at most as big as j?
False
Let y be (-4)/(-78)*3 - 0. Let k be -2 + (4 - 1 - 0). Let i(s) = s - 1. Let h be i(k). Which is smaller: y or h?
h
Let d be ((-6)/15)/((297/(-30))/(-9)). Which is bigger: d or -1?
d
Let z be (10/40)/(2/(-8)). Let k be -1 + (0 - (-10)/12). Which is smaller: k or z?
z
Suppose -n + 3*f = 4*n - 11, -7 = 2*n - 5*f. Let c = -2 - -5. Which is greater: n or c?
n
Let h = -5 + 3. Let s be (h/3)/((-2)/(-3)). Suppose 12 = -6*m + 6. Does s = m?
True
Let g be 0 + 0 + -3 + -9. Which is smaller: -11 or g?
g
Suppose 25 = 4*y + y. Suppose 0 = -2*s + y*s - 90. Let r = 59/2 - s. Which is smaller: r or -2?
-2
Let a = 5 - 5.2. Let l = -6.2 - a. Which is smaller: l or -0.1?
l
Let z = 9 - 5.9. Let w = z + -0.1. Which is greater: w or -1?
w
Let f = 5 - -4. Suppose h - 3*h = -2*t + 8, -4*h - 12 = -2*t. Suppose -r - t + 10 = 0. Are r and f equal?
False
Let f be 14/(-30) - (-6)/9. Let c(y) = y**3 - 8*y**2 + 6*y + 7. Suppose d = 2*d - 3*x - 13, 5*x - 18 = -4*d. Let l be c(d). Is l greater than or equal to f?
False
Let w be (15/(300/(-64)))/((-2)/10). Is 15 bigger than w?
False
Let q = -2 + 7. Suppose 7 = -q*w + 17. Is -1 less than w?
True
Let h = -0.35 - -0.365. Do h and 0.2 have the same value?
False
Let o = -40/9 - -298/63. Let z = -2 - -2.3. Let y = z - 1.3. Which is smaller: o or y?
y
Let k = -75.1 - -75. Is k != 48?
True
Let d(a) = 0*a**3 + 6 + 9*a + a**3 - 4*a**2 - 16*a. Let q be d(5). Which is smaller: q or -16/5?
q
Let a be 0 + -1 + 1 + -1. Let o = 56/3 + -1621/87. Do o and a have different values?
True
Let t = 140 + -140.07. Which is bigger: t or 8?
8
Suppose -g + 1 - 2 = 0. Let w(i) = i**3 - 2*i**2 + 3*i. Let c be w(2). Let l(r) = -r**3 + 5*r**2 + 5*r + 5. Let v be l(c). Is v greater than or equal to g?
True
Let s be ((-15)/10)/((-3)/8). Suppose -2 = 2*c - s. Which is bigger: -1 or c?
c
Let j = -502704/71885 - -300/1307. Let r = -70/11 - j. Which is greater: -0.1 or r?
r
Let m = 3.1 - 3. Let z = -0.13 + 0.13. Is z < m?
True
Let w be ((-4)/12)/1*-3. Let b be 4/(-14) - 8/70. Is w bigger than b?
True
Let v(y) = -y**3 - 5*y**2 - y - 1. Let d be v(-5). Do 7 and d have the same value?
False
Suppose -5*a = -4*p - 0*p - 20, -3*a = -3*p - 12. Suppose -3*s + 2 + a = 0. Is 2 > s?
False
Suppose 5*g = 2*i - 22, 0 = 4*i - 5*g - 24 - 0. Which is smaller: i or 1/7?
1/7
Suppose o = -i + 3, i + 4*o = 3*i - 18. Which is greater: -1/3 or i?
i
Let i = -48 + 42. Is -7 at least i?
False
Let d be 11*((-12)/(-26) + 0). Let f = d + -436/91. Is -1 equal to f?
False
Let c(f) = 2*f**2 + 2*f. Let p be c(-2). Let v(a) = a**3 - 4*a**2 + 2*a - 2. Let h be v(p). Which is bigger: 5 or h?
h
Let c be 2/(-7) + 116/14. Let a(o) = -o + 4. Let f be a(c). Let v be 4/(-6) - f/(-3). Which is greater: v or -2/3?
-2/3
Let p = -67.33 + 67. Let v = 0.3 + p. Which is bigger: 2/3 or v?
2/3
Let s(j) = 2*j**2 + 6*j + 4. Let y be s(-2). Are y and -2/131 equal?
False
Let r = 652/5 + -131. Suppose -5*b = -2*j + 4, -3*j - 5 = -0*b - 2*b. Which is smaller: b or r?
b
Let z = -22 + 23. Suppose 6*i - 5*i = z. Is 7/3 > i?
True
Let l be (-3)/41 - (6/(-3) + 2). Which is smaller: l or 0?
l
Suppose -3*d + 7 = 1. Suppose 0 = d*g - 4*u - u - 15, 2*g + 5*u = -15. Let c be 0/(1/(1/(-1))). Is c at least g?
True
Let r = 1029/410 - 2/205. Let x = r - 49/18. Suppose -6*k = -4*k. Is x less than k?
True
Let v = -173/126 + 10/7. Let n = v + 11/18. Let b be (4 + -2 + -3)*-1. Is n equal to b?
False
Suppose -3*q = 4*j + 12, 3*q - 4*j = -2*q + 12. Let l(u) = 2*u - 2. Let p be l(2). Which is bigger: p or q?
p
Suppose -a + 2 = 7. Let u(z) = -z - 1. Let r be u(a). Let c be (r/(-10))/((-18)/(-30)). Is 0.1 <= c?
False
Let n(i) = -i**2 + 7*i + 5. Let t be n(8). Let x(j) = -j**2 - 5*j - 2. Let k be x(t). Which is smaller: k or 0?
0
Let b = -106 + 106. Are -1/107 and b unequal?
True
Suppose 6 = -j + 3*u, 8 = -u + 5*u. Let r = 7/75 - -6/25. Which is smaller: j or r?
j
Let k = -4/5 - -113/135. Is 0 equal to k?
False
Suppose -5*l + 2*k - 11 = 0, l - 4 = -k - 2. Let q = 0.5 - 0.4. Which is smaller: q or l?
l
Let x = -9.5 + 9. Let w = -0.4 - x. Which is smaller: -5 or w?
-5
Let j = -0.1808 - -0.0808. Let s = 3.6 - 22.6. Which is bigger: s or j?
j
Let q = 4 + -3. Let f = 38051/18620 - -6/931. Let t = f + -9/5. Is t >= q?
False
Let b = 212 - 4237/20. Is b >= -1?
True
Suppose -5*d = 4*j - j - 7, -2*j = -3*d - 11. Let k = 5 - 3. Suppose -y + x + k = -2, 1 = 4*y - x. Is y greater than d?
False
Suppose -5 + 17 = -3*a. Let q = 5 + a. Which is bigger: -1/3 or q?
q
Let w(u) = 6*u + 1. Let r be w(-1). Let m = -6 - r. Let q be 3/(-3) - m*3. Is q at least 3?
False
Let y = 1.1 + 8.9. Let p = y + -9.6. Which is smaller: -3 or p?
-3
Let m(p) = -p**3 - 16*p**2 - 17*p - 28. Let g be m(-15). Which is greater: g or 3?
3
Let m(a) = a**3 + 8*a**2 - 7*a - 12. Let k be m(-9). Which is greater: k or -31?
k
Suppose 10*o - 3 = 5*o - b, -4 = 2*o + 3*b. Which is greater: o or 1/100?
o
Let y(u) = -6*u + 10. Let d(m) = -2*m + 3. Let z(a) = -8*d(a) + 3*y(a). Let g be z(6). Let r be g/38*(-16)/(-24). Are -1 and r equal?
False
Suppose -4*j - 6 = -j. Let i be 1/j*(-16)/28. Which is smaller: 0 or i?
0
Let n(f) = -4*f**2 + 40*f. Let x be n(10). Which is smaller: x or 9.2?
x
Suppose -3*b + 2*b = -3*w - 7, -5*b = -20. Let t = -1 + w. Suppose -4*q + 9 + 7 = 4*d, -5*d = -5*q + 20. Is t != d?
True
Suppose -5*q = -49 + 4. Let s be (24/20)/(q/(-30)). Is s greater than -1?
False
Suppose -25 = 5*c, 3*g + 2*g = c + 5. Do 1/64 and g have different values?
True
Let p = -59/4 - -15. Let u = -0.01 - -0.11. Let j = 0.3 - u. Which is bigger: p or j?
p
Suppose -4*s = -3*s + 3. Let q = 0 - s. Let k be (q - 5) + 7/3. Which is smaller: k or 2?
k
Let q = -72 - -27. Which is smaller: -44 or q?
q
Let j(x) = -39*x - 4. Let f be j(4). Let l = 1118/7 + f. Is 2 != l?
True
Suppose -2*r - 1 = 5*d, -2*d - 5 = r - d. Let p be 31/35 - r/(-28). Which is smaller: 2 or p?
p
Let o = -2 + 1. Let d be ((-4)/10)/((-8)/40). Suppose -3*l - 5 = 2*u, u = d*l + 2*u + 3. Is l at most as big as o?
True
Let l(c) = -c**3 - 6*c**2 - c - 8. Let u be l(-6). Let i be u/(-5) - (-38)/130. Let p = -89/91 + i. Are p and 1 unequal?
True
Suppose 0 = -3*l + 2*x + 38, 2*l - x - 44 = -2*l. Let w be l*3*(-6)/(-45). Suppose b = w*b. Is b less than or equal to 0?
True
Let l = 478 - 1897/4. Which is smaller: 0.2 or l?
0.2
Let z = 16 - 15. Suppose 3*t - 10 = -2*t. Suppose t*p - z - 5 = -2*h, 2*p - 4*h = -24. Which is smaller: -3 or p?
-3
Suppose y - 38 = -5*l, 2*l - y = 3*y + 24. Suppose 5*b - 3*h + 49 = 0, -3*h + 25 = -5*b - l*h. Is -9 less than b?
True
Let z = -2.6 - -0.6. Let x = 4 + z. Let n = x + -2.1. Is 1/4 != n?
True
Let k be (-70)/20*(-24)/14. Suppose -k*b = -5*b. Is -2/13 less than b?
True
Let j be 6/(-21) + 38/(-14). Let z = -4 - j. Let f = 4 + z. Which is smaller: f or 4?
f
Suppose -91 - 57 = 2*b. Is b <= -74?
True
Suppose -2*o = 5*f + 9, -2*o + 4*o = -4. Is 2/9 at least f?
True
Let o be (18/(-4) + 4)*0. Is 3/29 < o?
False
Let z be 1/(-3) - (-10)/3. Let q(b) be the second derivative of -b**3/6 - b. Let t be q(z). Is -2 <= t?
False
Suppose -w - 52 = 5*m, -5*m + 4*m - 5*w = -4. Let y be (1 + m)*2/5. Which is smaller: y or -5?
-5
Suppose -6 = -5*i + 4. Suppose v + 3*v + 2*b - i = 0, b + 2 = v. Is 5/4 greater than v?
True
Let i = 0.5 - 0.3. Let t = -11 +