ppose -2*b = 3 + 1. Let d be 2/(-4)*1*b. Is 1/30 smaller than d?
True
Let t = -0.015 + -0.155. Which is greater: -2 or t?
t
Suppose -4*b = -0*b + 5*f - 19, -8 = -5*b - f. Are b and 2/57 unequal?
True
Let u(w) = -w**2 - 23*w - 22. Let s be u(-22). Do s and 6/11 have different values?
True
Let r = -5 - -7. Let z = 1.2 - 0.2. Let i = z - r. Which is greater: 0.2 or i?
0.2
Let p be -3*((-10)/(-9) + -1). Let k be (-2)/9 - (-21)/54. Let m = 2/3 - k. Which is bigger: p or m?
m
Let a = -5 - -5.06. Let o = 0.36 - a. Which is greater: o or 0?
o
Let h = -346363 - -6236263/18. Let a = 96 - h. Is 0 bigger than a?
True
Let y = -1.09 - -0.43. Which is smaller: y or -1?
-1
Suppose 1 = 2*k + 5, -5*k + 695 = 5*w. Let p = 561/4 - w. Is 0 < p?
False
Let i(y) = -4*y**2 + 3*y + 2. Let d be i(-1). Which is smaller: -2 or d?
d
Let f be 2*(3 - 4) - -7. Is 5 at most as big as f?
True
Let n = 3 - 10. Let b = n + 8. Let o = b + -1. Is 5/4 at least as big as o?
True
Let h = 84/17 - 873/187. Is h smaller than -1?
False
Let m = 153 - 152. Is m smaller than 0.006?
False
Let b be (286/33)/((-2)/(-3)). Let y be 49/(-234) + 2/b. Are -1 and y unequal?
True
Let x = -1.24 - -0.24. Are 0.15 and x equal?
False
Let n = -1.5 + 1.3. Which is smaller: n or 10/13?
n
Suppose -3*x + 2*x + 3 = 0. Suppose 12 = l + x*l. Which is bigger: 0.4 or l?
l
Let s(i) = -i**2 - 11*i - 11. Let c be s(-9). Is 6 less than or equal to c?
True
Let j = -173751943/221 - -786211. Let u = -42/13 + j. Is 1 != u?
True
Let f be (-1 - 0) + -3 - (-11 + 11). Is f greater than 1?
False
Let c be (0/2)/(9/9). Let z = 3 - 5. Let n be (1 + z)/((-7)/(-2)). Is n < c?
True
Suppose 8 = -2*x + 6*x. Suppose -20 = -x*i - c, 5*i + 33 = 2*c + 83. Suppose l + l = -i. Which is bigger: -3 or l?
-3
Suppose 4*k + 4 = 8. Are k and -31 equal?
False
Let g be 2/(-3) + (-28)/(-6). Suppose -3*j = -g*j - 1. Is j >= -1?
True
Let d be 1/(-3) - 76/(-12). Suppose 4*j - 21 = 7. Which is smaller: j or d?
d
Let v = -51 - 156. Let s be v/783 - 2/(-6). Is s greater than 1?
False
Let u be 6 - 6 - (-2)/(-1). Let s be (8/12)/(u/3). Let f = 1 + s. Are 4/7 and f nonequal?
True
Let p = -12 - -6. Let a(f) = -5*f**3 - 4*f**2 - 2*f. Let c be a(-2). Let w be ((-2)/c)/((-5)/20). Which is bigger: p or w?
w
Let x(d) = -d - 3. Let y be x(-5). Suppose 5*f + 2*o = o - 5, -y*o - 10 = 4*f. Let w be -3*(8/(-33))/(-4). Which is smaller: f or w?
w
Let p = 1.79 - 0.8. Let h = p - 1. Let u = 0.11 + h. Do -2/11 and u have the same value?
False
Let x = 2 - 1.9. Let l = 866 - 30312/35. Is l != x?
True
Let x(n) = 14*n**2 + n + 4. Let r be x(-2). Which is bigger: r or 57?
r
Let t(l) = l**3 - 3*l**2 - 5*l + 4. Suppose -4*v + 5*n - 4 = 0, -2*v + 0*n + 2*n = 0. Let m be t(v). Which is bigger: -6/11 or m?
m
Suppose 2*z = z + 5. Suppose z*d + 25 = 0, 3*d - 3 = 2*g - 2*d. Let i be (-4)/g - (-8)/(-126). Which is greater: -1 or i?
i
Let k = 2 - 2.05. Let b = k - -1.05. Is b less than or equal to 0?
False
Let z = -17 - -15. Is z >= -6/7?
False
Suppose -4*d - 1 = -5*d. Suppose -347*r + 335*r = 12. Is d greater than r?
True
Let t = 2 - 4. Let l = 1 + t. Which is smaller: 4/3 or l?
l
Let d = 5 + -9. Let o be (0 - 1)*-6 - 0. Suppose 0 = -3*x + o*x. Do x and d have different values?
True
Let n = 23 + -22.96. Which is smaller: n or 0.3?
n
Let x = -0.05 + 3.05. Let n = -63 - -59.9. Let d = x + n. Which is greater: d or 0.2?
0.2
Let m(i) = i + 1. Let t = -2 - 0. Let k be m(t). Let u be 2/(-3) + (-8)/24. Do k and u have different values?
False
Suppose -4 = g - 3*j, -3*g - 3*j - 2 = -7*g. Which is smaller: 4/3 or g?
4/3
Let t(f) = -f**3 + 4*f**2 - 4*f + 4. Let u be t(3). Let w be (3*(-1)/2)/3. Which is bigger: w or u?
u
Let y = 8 - 12. Let b be ((-70)/20)/((-2)/y). Is b < -9?
False
Let g be (-90)/(-1456)*(-8)/(-2). Let q = -1/26 - g. Let z(t) = -t + 6. Let m be z(5). Is m bigger than q?
True
Suppose -2*x = 5*v + 9, 4*v = -0*v + 4*x + 4. Let f = 23 - 23. Which is greater: v or f?
f
Let w be 0 + 0 + 3 + -1. Suppose 5*v = 3*v + 6. Which is greater: v or w?
v
Let g be (3/12)/(2/8). Suppose -2 = 4*v + 2. Let s = 1 - v. Is g greater than or equal to s?
False
Let f = 2 + -2. Let a = f - -0.05. Let l = a + -4.05. Which is smaller: 0 or l?
l
Let k(m) = 1 + 4 - 4*m + 0*m + 3*m. Let n be k(6). Is n bigger than -1/2?
False
Suppose 0 = -2*z - 0 + 20. Is 10 at least as big as z?
True
Suppose -3*n + 5*l - 8 = -2*n, n + l - 10 = 0. Let s = 0 + 8. Is s greater than n?
True
Suppose 0*w - 25 = -5*w. Let b be 22/(-55) - 26/60*-14. Is w at least as big as b?
False
Let o = 0.7 - 0.82. Let j = -0.08 + o. Does -3 = j?
False
Suppose r = 5*r - 80. Suppose 2*v + r = 4*z, 0 = 5*v - 0*v. Suppose -9 = -z*k - 2*o, -3*k + 3*o + 24 = 2*k. Is k <= 3?
True
Let h be 1/(-5)*2/1. Let t = -0.06 - -0.16. Which is greater: t or h?
t
Let c = -11 - -18. Let g = c - 4. Suppose 4*v - g*u = -4, -v - 1 = -4*u + u. Which is bigger: v or -1/6?
-1/6
Let d be (-2)/((66/24)/(-11)). Is d greater than or equal to 55/8?
True
Let n be 5 + -3 - (-1 - 4 - 1). Which is smaller: 69/8 or n?
n
Let f(x) be the second derivative of -x**3/6 - x**2 - 2*x. Let o be f(-5). Which is smaller: 3/2 or o?
3/2
Let v = 12711/62 - 205. Let z = v - -181/310. Which is smaller: z or -1?
-1
Let p = 3 + -10. Let h be (-5 - p) + 28/(-10). Is 0 equal to h?
False
Suppose n = -3*n + 188. Let x = n - -4. Let d be x/(-108) + 1/4. Which is greater: 1 or d?
1
Let x = 4 + -4.1. Let g(a) = a - 8. Let h be g(6). Which is smaller: h or x?
h
Suppose -m + 3*q = 3, -m + 4*q - 29 = 2*m. Is m at least -17?
True
Suppose 20 = -5*s - 0. Let f(q) = q**3 + 4*q**2 + 3. Let z be f(s). Let o = 588 + -587. Are o and z non-equal?
True
Suppose -2*h - 10 = -5*r, 5*r - 2*r - 6 = 0. Is -3 bigger than h?
False
Let i(h) = -h - 15. Let w(r) = -8. Let k(u) = -3*i(u) + 5*w(u). Let d be k(-5). Is d at most -9?
True
Let c be (-4)/10 - 4/(-10). Let y(n) = c*n - 10 - 2*n + 8. Let m be y(-3). Which is smaller: 3 or m?
3
Let c be (-10)/8*1*-1. Suppose 5*m - 18 = -8. Which is greater: m or c?
m
Suppose -4*m = m - y + 32, -3*y - 37 = 4*m. Suppose 3*i + 4*x + 10 = 0, -i - 2*x - 3 + 1 = 0. Which is bigger: m or i?
i
Let d(l) = l - 4. Let t be d(8). Suppose -t*s + 11 = -3*j, -2*j - 10 = -3*s + 2*j. Is 8/3 at most s?
False
Let p be (-4)/(-8) + (-9)/2. Let m = -8 - p. Let w = m - -7. Is 3 at least as big as w?
True
Let i(d) = -d**2 - 9*d - 6. Let g be i(-9). Is g greater than or equal to -20/3?
True
Suppose 0 = -d + 2*z + 9, -d - 2*z = -6 + 17. Is -2/9 not equal to d?
True
Suppose 0 = t + 5*b - 10, 4*t + 44 = -2*b + 12. Let j = t - -4. Which is smaller: j or -5?
j
Let v be 6/(-10) + (-536)/40. Let k = -10 - v. Which is bigger: 0 or k?
k
Let z = 8 + -6. Suppose 0*m = -z*m + 2. Let p be 75/20 - 1 - 3. Which is bigger: p or m?
m
Let g = 14/9 + -284/171. Do -0.1 and g have the same value?
False
Suppose 3*b - 8 = -20. Let x(o) = 3*o**2 - 1. Let h be x(1). Suppose -15 = h*l - 5. Is l less than or equal to b?
True
Let b be 50/9*(-6)/8. Let c = 79/18 + b. Let s(o) = o**2 + 3*o + 2. Let l be s(-2). Are c and l nonequal?
True
Suppose -3*s + 0 = 9. Let k(r) = -6*r**2 - r + 3. Let z be k(s). Let y be 20/z + (-2)/8. Which is bigger: y or 0?
0
Let p(l) = -l + l**3 - 2*l**3 - 6 + 10. Let n be p(0). Which is greater: n or 0.1?
n
Let p = -62 + 75. Is 13 at most p?
True
Let j(y) = 59*y + 1. Let h be j(-5). Let u be (-8)/h*(-21)/14. Which is smaller: u or -1?
-1
Let g(x) = x - 3. Let m be g(8). Is m greater than or equal to 1?
True
Let k be 4/(-6) - 60/18. Let p(m) = -m**2 - 5*m + 3. Let s be p(-6). Which is greater: k or s?
s
Let i(t) = t**3 - 2*t**2 - t + 1. Let u be i(1). Let d be (-3)/((0 - 2) + u). Is d equal to 0?
False
Suppose -2*r = -10 - 2. Let h be (-788)/(-14) + r/(-21). Let s = h + -223/4. Which is bigger: 1 or s?
1
Let r(t) be the second derivative of t**4/12 + t**3/2 - 2*t**2 - 2*t. Suppose 0 = -p, 0 = k - 6*k - 3*p - 20. Let a be r(k). Is a bigger than -1?
True
Let w be 2/(-6)*0*1. Let d = w - 1. Let z = 3 - d. Which is smaller: z or 3?
3
Let h(w) = w**2 + 9*w + 7. Let y be h(-8). Let t(j) = j**2 + 6*j + 6. Let a be t(-4). Is y greater than or equal to a?
True
Suppose -2*q = -0 + 2. Let r = -0.27 + -10.73. Are r and q equal?
False
Let c(h) = -h**3 + 3*h**2 + 9*h - 1. Let t be c(5). Which is greater: t or -28/5?
-28/5
Suppose