 4*y**2 + y. Let s be k(i). Which is bigger: s or 9?
9
Let v be ((0 + -1)*3)/((-6)/4). Suppose -3 = 2*p + 5*d, 3*p + 0*p = -d + v. Is 0 > p?
False
Let a = -201 - -200.9. Are 44/5 and a non-equal?
True
Suppose -255 = -3*x + a, -a + 170 = 2*x - 6*a. Suppose 0 = f + m + 19, 10*f + 3*m = 5*f - x. Do -10 and f have the same value?
False
Let w = -103.3 - -103. Let r = 1 + -5. Which is bigger: r or w?
w
Suppose 2*h = h + 3*w - 2, 5*w = 5*h + 60. Let v = h + 19. Suppose -s = s - v. Is -2/5 smaller than s?
True
Suppose 5*h + 36 = -0*n + n, 3*n - 4*h = 152. Suppose n - 296 = -5*c. Suppose 4*f - c = -0*f. Which is greater: f or 13?
13
Let l be (9*4/24)/(1269/144). Is l greater than or equal to 0?
True
Suppose -162 = d + 326. Let x = d + 8300/17. Which is greater: x or -1?
x
Let z(b) be the first derivative of -b - 1/2*b**2 + 1. Let y be z(3). Are y and -4 nonequal?
False
Suppose -13 - 37 = -2*f + 2*x, 3*f - 47 = -4*x. Suppose -3*k - 7 = -5*p - k, 3*k - f = -3*p. Suppose -1 = -p*h - 4. Which is smaller: h or 2/7?
h
Let r(g) = -2*g + 23. Suppose 38 = 3*n + 2. Let l be r(n). Is -1/109 less than l?
False
Let z be (2/(-6))/((-1)/6). Suppose -2*o = -z*w - 10, o - 2*o = 3*w + 7. Let l = -2 + o. Is -1 less than l?
True
Suppose -100*l + 15 = -95*l. Is l at most as big as 98/45?
False
Let i = -672 - -1347/2. Which is bigger: i or -11.8?
i
Let g = 142 - 139. Let i be (-2)/11 - (-502)/(-22). Let f = i + g. Do -19 and f have the same value?
False
Let y = -2013 - -2013.55. Which is bigger: y or 10/3?
10/3
Let n(z) = 10*z - 5 - 7 + z**2 - 10*z + 11*z. Suppose 2*p - 36 = 5*p. Let w be n(p). Is -1/7 >= w?
False
Let r = 90 - 52. Suppose 276 - 978 = -18*z. Is r != z?
True
Suppose -z = k - 146 - 13, -3*k = -z - 485. Suppose 719 + k = 8*a. Is 109 greater than a?
False
Let g(m) be the third derivative of -m**4/24 + 29*m**3/6 - 3*m**2. Let i be g(-12). Which is smaller: 40 or i?
40
Let c = -0.174 + 1.074. Is 0.14 > c?
False
Let g = 1852 - 1852. Is g less than or equal to 10?
True
Let f(n) = 10*n + 14 - 711*n**2 + 712*n**2 - 5. Let u be f(-1). Is 22 greater than or equal to u?
True
Let t = 871 - 581. Let w be ((-8)/t)/(2/5). Are -1 and w equal?
False
Let u = 1.8 - 7.8. Let d = u + 11. Let a = 2 - 1. Which is smaller: a or d?
a
Suppose -1829*j = -1835*j - 42. Which is greater: -23 or j?
j
Let z = -2043/5 + 406. Let i be (-22)/6 - (-6)/9. Is i greater than z?
False
Let k = -45.2 + 45. Let f = 52 + -158/3. Which is greater: f or k?
k
Suppose -5*k = 3*u - 45, -2*k + 3*u - 8*u = 1. Suppose -4*y = 4*z - 48, -17*y - 25 = -19*y - 3*z. Which is smaller: k or y?
y
Let h be (0 + 0)/(-1 + 2). Let z be (11/22)/((-2)/(-12)). Let n be 15/(-63) - z/(-9). Is h less than n?
True
Let o = 0.013 + -35.013. Let r = -40 - o. Which is smaller: 1/2 or r?
r
Let m be 10/(-25) - (-232)/55. Let d be (-110)/(-44) - ((-4)/8 - 2). Is d greater than m?
True
Let a = 0.409 + -2.375. Let u = a - -0.066. Which is greater: -2 or u?
u
Let r(m) = m**3 - m**2 + 6*m - 23. Let s be r(3). Which is smaller: -7 or s?
-7
Let q(z) = -z - 5. Let m(y) = 3*y + 3. Let s be m(-4). Let b be q(s). Suppose v - c + 13 = 3*c, 4*v - 8 = -b*c. Which is smaller: 2/17 or v?
v
Let m(k) = k**2 - 657*k + 4554. Let y be m(7). Let j = 1 + 1. Which is smaller: y or j?
j
Let b = 3 - 2. Suppose -2 = -3*l + b. Let n(f) = 21*f - 1. Let d be n(l). Is d greater than or equal to 19?
True
Let x(h) = -h**3 + 4*h**2 + 5*h + 3. Suppose 12*w - 8*w = 20. Let t be x(w). Suppose 5*c = o - 21, -4*o + 11 = -5*o - t*c. Is o at least 3/7?
True
Let s be 9/(-14) + (-2)/4. Let x be (-2)/(-72)*75/3 + (-56)/126. Which is smaller: x or s?
s
Let c be 162/10 - (3936/(-1920) + (-5)/(-4)). Suppose n = -4*n - 3*k + 86, 0 = k - 2. Which is smaller: n or c?
n
Let m = 0.9373 - -0.0627. Let k be 2*1*30/4. Let r be (2/1)/((-2)/k). Is r at least as big as m?
False
Suppose 0 = -3*j + 5*d + 19, -5*d - 3 = 2*j + 1. Let k be ((2 - j) + 2)*22/2. Does k = 7?
False
Let q = -4 - -3. Let f = 150 - 131. Let k be 1 + q/(17/f). Which is smaller: 2/7 or k?
k
Suppose 3*x = -x + 16. Suppose 4*z - 3*n + 3 = -13, -5*z - x*n = -11. Let m be ((-12)/(-10))/((-3)/10). Are z and m nonequal?
True
Let s(k) = 2*k + 34. Let u(x) = -x - 1. Let w(o) = s(o) + 5*u(o). Let q be w(14). Is -3 bigger than q?
True
Let f = -132 + 658/5. Which is bigger: -67 or f?
f
Let o = 30 + -50. Let j be 8/o + (-159)/15. Which is bigger: j or -10?
-10
Let u(h) = -h - 2. Let l be u(-6). Suppose 2*y = -2*a, 4*a + l*y = 5*a - 15. Suppose -2*s - a = -11. Is s <= 9/2?
True
Let w be -3 + (-8)/(-2) - -8. Suppose 3*u - 6*u = w. Let c be 3/12*-1*u. Is c greater than 0?
True
Let n(t) be the third derivative of t**5/60 - t**4/2 - 2*t**3 + t**2. Let h be n(13). Let d be (6 - 2) + h + 4. Is 9 greater than d?
False
Let u(b) = 164*b**2 + b + 2. Let q be u(-1). Let x be (-1)/2 + q/(-10). Is -16 greater than x?
True
Let w be -2*(-3)/(-30)*-5. Let m = 71 + -285/4. Which is smaller: w or m?
m
Let g = 1179751/390 - 3025. Which is bigger: 0 or g?
g
Suppose -28 + 52 = -12*q. Let m be (-5)/3 + 6/(-9). Is m at most as big as q?
True
Let f = -688 + 686. Suppose 3*z + 7 = 2*z - a, -4*z + 4*a + 12 = 0. Let d be (-1)/((0 + z)*-1). Which is smaller: d or f?
f
Suppose b = 3*k - 203, 0 = -0*k + k + 5*b - 41. Suppose 5*g - k = 8*g. Which is smaller: -23 or g?
-23
Let b be (-11)/(605/(-225)) - 9. Suppose 5*a + 18 = -2*i + 1, 0 = 2*i - 2*a + 10. Is b less than or equal to i?
False
Let o = -1.26 - -0.26. Let b = 1.24 + -0.04. Let t = o + b. Which is bigger: 3/7 or t?
3/7
Let b(d) = -3*d**3 - 15*d**2 - 12*d + 1. Let g(w) = -w**3 - w**2 + 1. Let n(y) = b(y) - 4*g(y). Let m be n(12). Is m smaller than -2?
True
Suppose 5*w + 52 - 22 = 0. Let g be 3/w - (-31)/10. Which is greater: g or -0.1?
g
Let w be (-95)/10*38 - -6. Is -357 <= w?
True
Let w be -4 + 0 - (26389713/3924)/(-7). Let s = w - 3827/4. Which is smaller: -1 or s?
-1
Suppose 4*k - 5*p = 0, 3*k = -24*p + 23*p. Which is smaller: k or 1/26?
k
Let r = -3/382 + -5621/1719. Let m = -263/9 + r. Let t = -163/5 - m. Is t at most as big as -1?
False
Suppose -5 = 6*y - 7*y. Suppose y*d = -d + 6. Suppose -9 = -4*x - d. Which is smaller: x or 4?
x
Let q be (-15)/(-5)*2/(-6). Let s = 195 + -199. Does s = q?
False
Suppose -3*u + 3*z = 60696, 2*u = -2*u - z - 80933. Let a = 3318427/164 + u. Let m = a - 5/82. Is 2 at least m?
True
Let c(q) = -7*q - 26. Let j(m) = -3*m - 13. Let y(z) = 2*c(z) - 5*j(z). Let a be y(-9). Let h = -4 - -9. Which is smaller: h or a?
a
Suppose 58*q = -21*q - 711. Suppose 48 = -4*a + 16. Which is smaller: a or q?
q
Let x = -28 + -4. Let b = x - -31.87. Let l = -0.13 - b. Which is bigger: 0.1 or l?
0.1
Let h = -12.1 + 12.3. Suppose v = -0*v - z + 1, 2*v + 3*z = 4. Let u = v - 0. Which is smaller: h or u?
u
Let s be ((-21)/7)/((-3)/(-4)). Let v be 0*2/s*1. Is -8/7 greater than or equal to v?
False
Let w = 34 - 19. Let m = 8.993 + 0.007. Let y = 8.8 - m. Is y bigger than w?
False
Suppose 0 = 2*l - o - 77, 0*l + 2*o = -5*l + 170. Suppose 4*f - 180 = -c, -c + 5*c = -5*f + 225. Let r = l - f. Which is smaller: -10 or r?
-10
Let n = -0.276 - -0.276. Which is smaller: -111 or n?
-111
Let d = 22.001 - 0.001. Let q = d - 22.07. Is -0.3 > q?
False
Suppose 4*q + b - 6 = -b, -2*q - 2*b + 6 = 0. Which is greater: -35 or q?
q
Let w be (-46)/1288*(26/(-1) - 0). Is 1 bigger than w?
True
Let j(w) = w**3 - 18*w**2 + 70*w + 5. Let h be j(6). Is h greater than -6?
False
Let i be (-1)/((-2)/(-40)) - (-2 - 2). Let l be 4/i - (-7)/(-36). Is l <= -1?
False
Let r be 0 - 1 - -1 - -3. Let y be -18*((-20)/(-8) - r). Let p be (y/(-18))/(1/(-2)). Do p and 0 have different values?
True
Suppose -3*b - n - 5 + 0 = 0, 0 = 4*b + n + 6. Suppose -5*h + 73 = -4*w - 24, -h + 109 = -4*w. Let p = w - -27. Is b >= p?
True
Let u be (-4)/8 - 39/6. Let g be (-25)/8 - u/56. Is -13/3 <= g?
True
Let b(u) = 6*u**2 + 31*u. Let s be b(-5). Let m = 2 - 5. Is s greater than m?
False
Let h be 2 + -3 + 12 + -3. Let x be (-2)/h + (-11)/4. Let a(c) = -2*c - 6. Let y be a(x). Which is greater: y or 4/3?
4/3
Suppose 3*z = 3*t, 8*t + 5*z = 3*t. Suppose -5*y + 3*x + 369 + 60 = t, 5*x = -15. Is 84 at least y?
True
Suppose 2*t + 28 = 6*t. Let a = -4 + t. Suppose a*g - 10 = -2*g. Is -3/5 > g?
False
Let r(s) = -6*s - 136. Let c be r(-23). Let d be (2/6)/(1/6)