u**3 - 2*u**2 - 2*u + 1. Let v be m(o). Let z = v - 4. Which is smaller: z or 4/7?
z
Let w = -30 + 19. Let z be 10/(-4) - w/(-22). Is z equal to -9/4?
False
Let t = 29.1 + -28. Is t at least as big as 0?
True
Let f = -4 + 9. Let t = -6 + f. Are 2 and t equal?
False
Suppose -5*f - 4 = -2*p - 21, -2*p + 7 = 3*f. Does 3/13 = p?
False
Suppose 4*u = u - 18. Let r(y) = 2*y - 6. Let b be r(u). Let p be (-2 + (-39)/b)*3. Which is bigger: 1 or p?
1
Let n be (-5)/((-3)/((-6)/(-5))). Which is smaller: n or -33?
-33
Suppose -g = -2*k + 6, 6 = -3*k + 5*k. Let y(u) = 4*u. Let i be y(1). Let b be (4/(-10))/(i/(-20)). Which is greater: b or g?
b
Suppose -4*n = n - 4*a + 9, -2*a = 3*n + 1. Let h be (-2 - (-21)/12)/n. Let z(d) = -d**2 + 7*d - 7. Let b be z(6). Which is smaller: h or b?
b
Let o = -19749/31 - -637. Which is smaller: o or 1?
o
Let l = -28 + 21. Let z = -9 - l. Which is smaller: z or -0.08?
z
Let t = 1.1 + -5.6. Let u = -5 - t. Let y = -0.6 - u. Which is smaller: -1 or y?
-1
Suppose 0 = -5*d + 2*g - 5, -4*d = 2*g - 7*g + 4. Suppose p + p = 0. Do p and d have different values?
True
Let a = -17 - -17.1. Is -12/17 less than a?
True
Let t(x) = -2*x. Let m be t(1). Let v be m/4 - (0 - 1). Suppose 14 = -2*i + 12. Which is smaller: v or i?
i
Let r = -6.5 - -15.5. Which is greater: 0.6 or r?
r
Let h be 30/8 - 2/(-8). Let x be ((-84)/49)/(h/(-14)). Which is smaller: x or 7?
x
Suppose 4*o - 57 = 3. Suppose 0 = 3*j + 3*c - 9, -o = -0*j - 5*j + c. Is 2 at most as big as j?
True
Suppose 0 = -4*a + a - 3. Let l be 0/((3 + a)*-1). Which is greater: l or 1/3?
1/3
Let c be (-4)/(-6) - (-30)/9. Suppose -c*f + 28 = -0*f. Let v(b) = b - 10. Let z be v(f). Is -2 at least as big as z?
True
Let d(x) = -x**2 - 5*x + 5*x**2 + 9 - 1 - 5*x**2. Let z be d(-6). Which is bigger: 0 or z?
z
Let k(l) = l**2 + 5*l**3 - l**2 - l. Let o be k(-1). Let n(r) = -r**2 - 3*r + 4. Let d be n(o). Is d less than or equal to 2/5?
True
Suppose 2*t = -2*b + 8, 0 = -2*t - 0*t - b + 12. Let a(i) = -i - 3. Let c be a(3). Let r = t + c. Is 1 at most r?
True
Let p = 7 + -2. Let r = -4.8 + p. Is r greater than or equal to -1?
True
Suppose -9*p = -0*p + 9. Which is greater: p or -9/14?
-9/14
Let f = 117 + -117.9. Let j = -0.3 - 0.7. Which is smaller: j or f?
j
Let c = 3.4 + -0.4. Let j = 91.1 - 91. Is j bigger than c?
False
Let z be 1 - (-1 + (-28)/(-13)). Suppose -2*m = 3*m. Suppose -3*u + 1 = k, -u + m*u = -k + 1. Is u equal to z?
False
Let y(r) = -r. Let f be y(-1). Let w be (-32)/(-24)*6/4. Is f smaller than w?
True
Let o = 0.1 - 0.2. Let a be (-3 - 275/(-90))*2. Do a and o have different values?
True
Let l = 1343/12 + -112. Suppose -3*j = -f - 0*j + 12, j = 2*f - 49. Let z be f/21 + (-6)/21. Which is smaller: l or z?
l
Suppose 65 = -2*q + 73. Which is greater: q or -4?
q
Let b = 3 + -4. Let t = -0.3 - -0.2. Which is smaller: b or t?
b
Let d be (3/(-2))/(270/(-2)). Is d less than 0?
False
Let r = -31 - -157/5. Is r equal to 36?
False
Suppose 280 = -3*x + 7*x. Let j be 8/x*10/4. Let w be ((-2)/4)/(4/8). Which is greater: j or w?
j
Let q = -30 - -30. Let a = -157/4 + 39. Is a > q?
False
Suppose -3*k + 7 = -2*y, -3*y - k - 9 = -5*k. Suppose -5*z + y = -4. Let l be 0 + 2 - (-5)/(-5). Is l smaller than z?
False
Let d be (-3 - (-2)/2) + 3. Is 2/33 equal to d?
False
Suppose 0*o - 3*o = -2*q - 10, 2*o = 2*q + 10. Let y(m) = o + 2*m**2 + 1 + m**3 + 0*m**2. Let k be y(-2). Is -2/21 != k?
True
Let k = -0.026 + 10.026. Is k greater than 0?
True
Let m be (-144)/32*(-2)/(-6). Let a = 1 - 0. Let i = a + -4. Which is bigger: i or m?
m
Let u = -236/333 + 18/37. Which is smaller: u or 0?
u
Let s = -7.14 - -0.14. Let c = s - -4. Let n(z) = -z**2 + 7*z - 2. Let b be n(7). Which is smaller: c or b?
c
Let h = 2/65 - 3/13. Let f = 2 + -3. Which is smaller: h or f?
f
Let y = 1234/7 + -176. Let h = 0.09 - -1.11. Let i = h - 1.2. Is i < y?
True
Suppose 2*o - 23 + 7 = 0. Let d(b) = -b - 5. Let q be d(o). Is q > -14?
True
Let r(h) = 6*h. Let v be r(1). Suppose -21 + v = -5*j. Suppose 2*g - 5*q + 25 = -0*g, g = -j*q + 15. Which is bigger: -3/5 or g?
g
Suppose 0 = -2*z + 5*p + 4, 0 = -4*p - p. Suppose f = -z*f. Suppose 2*h + h = 0. Are f and h equal?
True
Let w(r) = 13*r**3 - 2*r**2 + 4*r - 3. Let a be w(2). Is a at most as big as 100?
False
Let x = -27 + 49. Let c = -20 + x. Which is smaller: 7 or c?
c
Suppose 17*k = k. Let w = -4385/3912 - 2/489. Which is greater: k or w?
k
Let j be (-136)/639 - (22/9)/(-11). Is -1 less than or equal to j?
True
Let c be (-6)/(-24)*(-8)/10. Which is bigger: c or 0?
0
Let i be 3/5 - ((-74)/90)/(-1). Is i > 0.5?
False
Let o(p) = -p + 26. Let z be o(21). Do 3 and z have different values?
True
Let z be ((-321)/(-2) - 1)*2. Let d = -3503/11 + z. Which is bigger: 2 or d?
2
Let p(o) = o**3. Let q be p(-1). Let r(u) = 8*u + 6. Let h be r(-4). Let s be h/16 + -16 + 18. Is s smaller than q?
False
Let c = -14 - -13.9. Let l = -8.3 + 0.3. Which is bigger: c or l?
c
Let q = 2.6 + -2.5. Is 5 at least as big as q?
True
Let n(y) = -2*y - 19. Let d be n(-9). Is d at most as big as -12/5?
False
Suppose 10 = -2*d, -3*d = -2*f + 2*d + 25. Is -1/18 greater than or equal to f?
False
Let c(h) = -h**3 + 7*h**2 - 8*h + 8. Let x be c(6). Which is smaller: x or -5?
-5
Let x be ((-7)/((-7)/(-3)))/(-3). Let r = -42 - -24. Let a be r/48 + 0/x. Do 1 and a have the same value?
False
Let k be (9/(-42))/((-3)/(-4)). Suppose 2*j + 3 = 1. Which is smaller: k or j?
j
Suppose -2*n = -5*j + 8, 7*n = 2*n - 20. Let o = -19 + 34. Let z be (-1 + 3)*10/o. Which is bigger: j or z?
z
Let j = -337/2 - -183. Let o = 15 - j. Let c be ((-3)/(-1) - 1)/2. Which is smaller: c or o?
o
Let m = 8 - 6. Suppose 0 = -0*v + m*v - 2. Let n = -1923/17 - -113. Which is bigger: v or n?
v
Let q(d) = d**2 + d + 2. Let b be q(-2). Suppose -3*g = -3*z - z - b, 4*g - 2*z = 2. Let u be 9/(-33)*(-10)/(-15). Are g and u equal?
False
Let q(n) be the second derivative of -n**5/20 + 2*n**4/3 - n**3/2 + 3*n**2 + 3*n. Let o be q(8). Let k be (-14)/o*10/35. Is k smaller than 1?
True
Let h = 0.32 - 0.32. Let o = -0.1 + 0. Let l = 0.2 + o. Which is greater: l or h?
l
Suppose -5*l + 24 = -0*l + 2*i, 4*i - 12 = -l. Suppose 3*r + 4 = -h - l, -5*h = -2*r + 23. Which is bigger: -2/17 or r?
-2/17
Let p(u) = u**3 - 6*u**2 - 2*u + 8. Let k be p(6). Let x(o) = o**2 + 4*o + 2. Let j be x(k). Is 2 equal to j?
True
Let a = 0.49 + -0.47. Is -1/4 > a?
False
Let v = 23 + -42. Let r = 10 + v. Is -1 at most as big as r?
False
Suppose 2*b = 3*h + 6, -b - h - 1 = 1. Let r = b + 1. Let k = 0 - -1. Are k and r unequal?
False
Suppose 12 = -4*t + 18*l - 21*l, t - l - 4 = 0. Let m = 1 + -2. Which is smaller: m or t?
m
Let l(t) = -t**3 + 7*t**2 - t + 7. Let m be l(7). Let i = -9 - -21. Let a be -3*(-1 + i/9). Which is greater: m or a?
m
Let r(u) = u + 2. Let h = 1 + 2. Let a = -3 + h. Let z be r(a). Which is greater: 0 or z?
z
Let p = 0 + -7. Let w = p + 4. Let f = -3 - w. Which is bigger: 2/3 or f?
2/3
Suppose 0 = -0*y + 4*y - 8. Suppose 3*h + y*c = -1, c + 5 = 5*h - 2. Let x = 35/69 - 4/23. Which is smaller: h or x?
x
Let i = 0.1 - 0.28. Let x = 0.16 + i. Which is greater: 1 or x?
1
Let b(v) = -v**3 - v**2 + 1. Let a be b(-1). Let p be (2 - a)/((-9)/(-6)). Let u = -1 + 2. Do p and u have the same value?
False
Let u = -21/61 - -1991/5429. Which is greater: -1 or u?
u
Let k = -6 + 56/9. Is k at most as big as 5?
True
Let h(t) = -2*t - 1. Let u be h(-3). Suppose 0*v = 3*v + 3*z - 9, u*v = 3*z - 17. Are v and -1/3 equal?
False
Let g = 0.61 + -0.81. Is 2 > g?
True
Let d = 3/2 + -5/4. Let i = -2.3 - -0.3. Which is smaller: i or d?
i
Let n(q) = -3*q**2 - 1. Let u be n(1). Let h be u/2 - (-1 + -1). Let z = 1 - 0.7. Which is smaller: h or z?
h
Let n = 8 + -7. Let f = 0.05 - 2.05. Are f and n nonequal?
True
Suppose -6*d = -3*d. Is 2/3 at most d?
False
Let c = 21 + -19. Which is smaller: 3 or c?
c
Let r = -90.1 + 90. Which is smaller: -9.8 or r?
-9.8
Let z = 0.2 + -1.2. Let v = z + 0. Which is greater: v or 1?
1
Let o be (-6)/9 + 34/6. Suppose -y - 4*h = 19, -36 = 3*y + o*h - 7. Are -4 and y equal?
False
Let m = -11 + 95/9. Which is bigger: 0 or m?
0
Let p be ((-16862)/4)/((-33)/(-6)). Let u = -767 - p. Which is smaller: u or -1?
-1
Let n(j) = j + 1. Let d be n(-1). Let z(m) = m + 6. Let x be z(-4). 