 (1 - 1)*(0 - -1). Let k = w - -2. Is 2 at most as big as k?
True
Let s = -0.198 - -0.008. Which is smaller: 2/7 or s?
s
Suppose -2*o + 196 = k - 25, 3*k = o + 656. Let w be ((-5)/26)/(2/4552*2). Let t = w + k. Which is smaller: t or 0?
0
Suppose w = -3*m - 20 + 4, w + 6 = -m. Which is smaller: w or -15/11?
-15/11
Let z = 6 + -8. Is z > 3/8?
False
Let c(v) = -2*v - 3. Let x be c(-4). Suppose -4*d = -0*d + 3*q + 10, x = d - 3*q. Is d at least as big as -1?
True
Let t be (-27)/33 - 8/44. Let n = -14 - -10. Is t greater than or equal to n?
True
Let r = 8 - 12. Let m = 11 + r. Which is bigger: m or -1?
m
Let m = 5 - 5.4. Let i = 1.6 - m. Let p be (-2 - 9/(-6))*0. Is i less than p?
False
Let h be (4/(-10))/(2/60). Let a = h + 12. Which is greater: -7/5 or a?
a
Let u(n) = 2*n**3 - 7*n**2 + 2*n + 2. Let c(i) = i**3 - 4*i**2 + i + 1. Let f(m) = 7*c(m) - 4*u(m). Let z be f(0). Let a = z + 3. Which is bigger: a or -1?
a
Let q(a) = -a + 8. Let u be q(6). Suppose 0 = -2*g - 4*b + 2, 0*b - b = 2*g - u. Let o(k) = 2*k - 1. Let c be o(g). Which is smaller: 3/4 or c?
3/4
Let t = 780 - 5625. Let a = t + 24093/5. Let g = 26 + a. Is g >= -1?
True
Suppose 4*m + 20 = -4. Let b = 25/4 + m. Which is greater: -1 or b?
b
Let b(a) be the first derivative of a**3/3 + 7*a**2/2 + 5*a + 3. Let h be b(-6). Let g be 1*(-1 + 11/10). Is g at most h?
False
Suppose 2*z - 4 = -2. Let y(c) = -3*c + 1. Let v be y(z). Let o be (v/(-3))/(30/27). Is o at most 2?
True
Let f = -89/388 + -2/97. Let x = 1/4 - f. Do x and 2 have the same value?
False
Let a = 24252/26653 + -2/2423. Which is bigger: 0 or a?
a
Let h = 0.1 - 0.66. Let y = h - -0.6. Let z = -0.24 + y. Are 1 and z unequal?
True
Suppose 2*r = 5*y + 16, 4*r - 1 = -2*y - 17. Let d = -3 - -2. Which is smaller: r or d?
r
Suppose 4*o - 12 = -2*a, 0 = -3*o - a + 4 + 7. Let j be (6/(-5))/((-1)/o). Let z = -6 + j. Which is smaller: 1/3 or z?
z
Let v(f) = -f**3 - 13*f**2 - 3*f - 13. Let m be v(-13). Are m and 25 non-equal?
True
Let t(q) = 2*q + 11*q - q. Let c be t(1). Let j be 8/3*(-18)/c. Which is smaller: j or -3?
j
Let b(m) = 3*m + 14. Let p be b(-6). Does p = -6?
False
Let s(z) = z**2 + 3*z - 3. Let g be s(-4). Let b be (-4 - (2 - 4))/13. Are b and g nonequal?
True
Let j(t) = -t**2 + 5*t + 4. Let h be j(5). Suppose -d + h = d. Is 0 greater than d?
False
Let t = -291 - -3781/13. Let v be ((-1)/(-3))/(3/9). Is t greater than v?
False
Let g = -2 - -2.2. Let t = 3 - -4. Let k = t + -6.9. Is k at least g?
False
Let w(k) = -k**3 - 6*k**2 + 5*k. Let l be w(-6). Let y be (-22)/l + 2/(-6). Let n = -0.1 - 0.9. Which is smaller: y or n?
n
Let z = 4 - -31. Let i be (14/z)/((-2)/(-2)). Is 0 less than i?
True
Let w be 19/(-38) - 3/((-36)/10). Is -9/4 greater than w?
False
Suppose 2*o + 4*n = -0*n - 4, -n = 2*o - 11. Let m = o + -5. Suppose -m*l = -4*l + 2. Which is smaller: 1 or l?
1
Let t = 28 + -27.7. Is t at least as big as 1?
False
Let z = -84.1 - -80. Which is bigger: -1 or z?
-1
Let s = -1 - -4. Let c = s + -3. Suppose c*v - 5*v = -5. Is v greater than or equal to 1?
True
Suppose -5*q + 5*a = 0, q + 3 = -0*a + 4*a. Is 1/2 at least as big as q?
False
Suppose -q = -0*q + 8. Let k be ((-3)/(-7))/(2/q). Let w = 67/35 + k. Which is smaller: w or 1/2?
w
Let f = -12.8 - -11.8. Is f < -165?
False
Let g(c) = -3*c**2 + 2*c - 1. Let r be g(1). Let t = -2 - r. Is t != 0?
False
Let t(g) = 1. Let n(l) = l**2 + 5*l - 11. Let q(d) = -n(d) - 5*t(d). Let m = -16 + 10. Let h be q(m). Is h at most as big as 1/3?
True
Let m = -25 - -44. Let n = m + -18.85. Is 0.1 < n?
True
Let o(v) = -v + 3. Let l be o(2). Is l at least 4?
False
Let m = 0 + -3. Which is smaller: -3/2 or m?
m
Let n(i) = -2*i + 26. Let f be n(13). Which is smaller: -1/43 or f?
-1/43
Suppose -5*i - 5 = -0. Suppose -3*m = 3*p - 12, 2*m + 5*p - 20 = 3*m. Is i bigger than m?
False
Let t = 57 - 57.3. Which is bigger: 7 or t?
7
Suppose 4*i = 3*k - 23, -5*i - 23 = 2*k - 0*i. Let m be 4/((3/6)/k). Suppose 4*u = 5*v - 24, 3*v = -u - 3*u + m. Is -1/5 < u?
False
Let z be 8/(-14) - 60/42. Which is smaller: -3 or z?
-3
Let w = 22 - 31. Let v be 4/10 - w/(-10). Which is greater: 2 or v?
2
Let q = 0.9 + -1.2. Which is greater: q or -2/5?
q
Let v = -0.03 - 0.06. Let s = v - -0.03. Let o = 0.16 + s. Which is bigger: o or 0.05?
o
Suppose m = 3 - 2. Suppose -v = -2*v - m. Is -1 greater than v?
False
Let q = 60 - 60. Is -0.5 not equal to q?
True
Let j(m) = -m**3 - 9*m**2 + 10*m - 1. Let p be j(-10). Is -5/4 at most p?
True
Let o = 2/465 - 188/465. Is -1 less than or equal to o?
True
Let u(b) be the third derivative of 0*b**3 - 2*b**2 + 0*b + 0*b**4 + 0 + 0*b**5 - 1/24*b**6. Let h be u(-1). Which is greater: 2/3 or h?
h
Let m(u) = -u**2 - 8*u + 8. Suppose -3*v - 1 = 2*g + 17, -5*g = -4*v + 45. Let b be m(g). Is -1/6 at least as big as b?
True
Let x = 1/50 - -9/50. Which is bigger: -1 or x?
x
Let x = -60 - -58. Is x less than 0?
True
Suppose -5*v - 2 = 4*j + 5, -5*j = -3*v - 19. Let y be j*2/10 - 0. Which is smaller: 1/4 or y?
1/4
Let v(s) = -s + 9. Let z be v(6). Suppose 1 = -z*a - 2. Is a not equal to 0?
True
Suppose -4*k = 4*n - 28, -3*k + 2*k = -2*n + 5. Suppose 0 = -5*f + a - 3*a + 86, -f = -n*a - 4. Let z be ((-6)/28)/(12/f). Is 0 equal to z?
False
Suppose 2*d = -2*d - 20. Suppose 0 = 4*j - 3*j + 6. Which is bigger: j or d?
d
Let z be 0/((-3)/(-3)*-1). Is -4/9 at most as big as z?
True
Let c = -0.05 + 1.85. Let b = c + 6.2. Let a = 7.8 - b. Is a less than -2/9?
False
Suppose u = -g + 6 + 12, -6 = 2*u. Suppose -2*c - 2 = 3*v + 22, -5*v + 3*c - g = 0. Let q be -1*-1*v/(-2). Which is greater: 1 or q?
q
Let w(c) = -2*c**2 - 24*c + 23. Let q be w(-13). Which is smaller: q or -0.02?
q
Suppose 0 = 2*b - 2*g + 7*g - 3, -b = -g - 12. Let z = -9 + b. Is z >= -4/5?
True
Suppose -2*r = -6*r + 20. Suppose -4*b + r*a - 17 = 0, 3*b + 3*a = 2*b + 17. Is 0 < b?
True
Suppose 3*d = 2*d - 3*j, -5*j = d + 6. Suppose -3*x = -0*x + d. Is x < -4?
False
Let m be (7*(8 + -2))/(4 - 2). Is m >= 20?
True
Let w = 1.97 - 0.27. Let t = w - 1.7. Is t at most as big as 2/29?
True
Let i = -0.8 + 0. Let m = -1 - i. Which is greater: m or 1?
1
Let m = -56 - -2. Is -53 at most m?
False
Let n be (-4)/(-6) + (-56)/90. Is n less than or equal to 0?
False
Let m(r) = -3*r - 3. Let l(k) = -4*k - 4. Let x(y) = 5*l(y) - 6*m(y). Let s be 1/((3/3)/(-2)). Let p be x(s). Is 1 less than p?
True
Let l be (13/(-91))/((-8)/14). Which is smaller: 3/23 or l?
3/23
Let m(i) = 2*i**2 + 2*i + 1. Suppose 0 = 3*h + 4 + 2. Let z be m(h). Let q(j) = j**3 - 9*j**2 + 9*j - 4. Let c be q(8). Which is smaller: c or z?
c
Let v = -55/2 - -28. Which is greater: v or -2?
v
Let c(f) = f**2 - 5*f - 4. Let r(o) = 3*o**2 - 11*o - 9. Let i(b) = -5*c(b) + 2*r(b). Let z be i(-3). Let a be (z - 11/5) + 0. Which is greater: 0 or a?
0
Let d be ((-1)/3)/((-7)/273). Suppose 3*p + d = -2*l, -4*p + 1 = -0*p - l. Is 1/3 at most p?
False
Let u = -3.734 - 0.066. Which is smaller: -0.1 or u?
u
Suppose -8 = 3*d + 2*w - 7*w, 0 = 4*d + w + 3. Let o(i) = i**2 + 4*i - 7. Let p be o(-5). Which is bigger: p or d?
d
Let l = -4 + -1. Let q be (3*-2)/2*1. Which is greater: l or q?
q
Let t(y) = y - 5. Let b be t(5). Let d = 52 + -103/2. Do b and d have the same value?
False
Let i(t) = t**3 + 9*t**2 - 7*t + 6. Let f be i(-10). Which is smaller: -25 or f?
-25
Let u(y) = -y**3 + 3*y**2 + 3*y + 3. Let z be u(4). Let s be (z - -1)*(-10)/20. Is 2/13 smaller than s?
False
Let o(d) = 3*d - 19. Let v be o(6). Which is smaller: -4/35 or v?
v
Let o be -2 + 2 + 2 - 1. Which is greater: 2/37 or o?
o
Let d be -1*81272/29670 - -2. Let y = d - -17/345. Let c = 1/43 + y. Is -1 at least as big as c?
False
Let o = -7 + 11. Suppose -t + 16 = 4*r, -4*r + 47 = -o*t + 11. Is t at most as big as 2?
True
Let i = -1.91 + -0.03. Let r = -0.06 + i. Let c = r + 1. Is 2/5 at least c?
True
Let a = -5 + 2. Let s be (1/2)/(a/(-6)). Which is smaller: s or -2/45?
-2/45
Suppose -3*w + w = 2. Let c = -2 + w. Is c bigger than -0.2?
False
Let d(n) = 2*n - 11. Let b be d(9). Let h = 7 - b. Let q be (0 + -1)/((-4)/3). Which is smaller: h or q?
h
Suppose -5*r - 6 = 4. Is -4/3 smaller than r?
False
Let x(s) = s**2 + 7*s - 2. Let o be x(-7). Let b be (o*2/(-16))/(-1). Suppose 5*f = -3*w - 8, f + 0 = -3*w - 4. Which is bigger: b or w?
b
Suppose 4*r - 