-3*z - 3*y - 3 = 0. Suppose i = 3*n + z*i - 14, n - 5*i - 26 = 0. Which is greater: 7 or n?
7
Let l be -2*(-1 - 146/(-140)). Which is smaller: -1 or l?
-1
Let f be 2 + (3 - 32332/36). Let o = 892 + f. Is o at least as big as 0?
False
Suppose -6*l = -3*l. Is 2 at most l?
False
Suppose 8 = -s + 5*s. Suppose 12 = -p + 2*r, -2*p - s*r = 22 + 8. Let z be ((-2)/p)/((-1)/1). Is 1 less than z?
False
Let v = -5.26 + 0.26. Let r = -51 + 359/7. Which is bigger: r or v?
r
Suppose -4*l - 1 = h, 3*h - 3*l = -0*h + 12. Suppose -h*m + 0*m = -9. Suppose -j + 4*j = m. Is 2 smaller than j?
False
Suppose 16 + 0 = 4*w. Which is smaller: w or -22?
-22
Let u be 18/8 + (-2)/(-8). Suppose 15 = -2*n + 7*n. Let w = 6 - n. Does w = u?
False
Let v be (-2)/(-3)*(-3)/6. Which is greater: v or 1?
1
Suppose 0*q - q + 1 = 0. Let x be (-3 + 2/q)/1. Let u be 0 - -2*(2 + -3). Which is bigger: x or u?
x
Let i = 297 - 1491/5. Let d = -2 - -1. Is i != d?
True
Let t(v) = v**3 - 3*v**2 - 6*v + 2. Let h be t(4). Let m be (6/h)/(1 - 0). Which is smaller: m or -8?
-8
Let t = 0.05 - -0.25. Let x = -0.1 + 0.1. Is x > t?
False
Suppose 3*x + 86 = -4*z + 2*z, -3*x = 3*z + 87. Let l be (8/(-6))/(x/(-12)). Let f = 126 + -128. Is f at least l?
False
Suppose 0 = 2*h - 3*h. Let k = -13 - -21. Let n be (k/12)/((-14)/3). Which is smaller: n or h?
n
Let h = 0.12 - -0.28. Suppose -17 = -b + 5*u, b + 4*u + 9 = -1. Suppose -q = s + 3, -4*q + b = -4*s - 10. Are h and q equal?
False
Let j(t) = -2*t + 7. Let s be j(6). Let m be s/((-15)/(-6)) - -2. Let c be m + 2*(-1)/(-5). Which is smaller: 0 or c?
0
Suppose -23 = -3*u - 5. Let h = u - 5. Which is greater: h or -1?
h
Let l(v) be the first derivative of v**2/2 - 6*v + 2. Let f be l(6). Let j be (-1 - 4/(-2))/4. Is f at least as big as j?
False
Let w be (20/14)/(32/56). Is w equal to 0.1?
False
Let y = -0.01 - 0.99. Do -11 and y have different values?
True
Let q = -98 + 76. Which is smaller: 0.1 or q?
q
Let k(m) be the second derivative of 1/20*m**5 + m**3 + 2*m + 7/12*m**4 - 1/2*m**2 + 0. Let l be k(-6). Is l smaller than -1/4?
True
Let t = 817/9 + -91. Is 1 greater than or equal to t?
True
Let r = 13 + -9. Suppose -3*u - 15 = 3*i, -4*i + 2 = i - r*u. Let s be (-3)/6 - (-3)/(-2). Is s less than i?
False
Let h(i) = i**2 - 3. Let j(y) = -y**3 + y - 1. Let z(m) = h(m) - j(m). Let x be z(0). Is -4/5 <= x?
False
Let x(k) = k**3 - 6*k**2 - 7. Suppose 2*n - 17 = -5. Let r be x(n). Is -7 at most as big as r?
True
Let v = 40 + -37. Which is smaller: 19/5 or v?
v
Let t(g) = -g**3 - 3*g**2 - 4*g - 2. Let l be t(-2). Is l < 3?
True
Let o be ((-3)/6)/(1/2). Let h be ((-50)/56 - 27/(-36))*1. Which is greater: h or o?
h
Let n = 6.76 + -7. Let k = -0.18 - n. Which is bigger: 1 or k?
1
Suppose 189 = 3*d - 6*d - 3*t, 5*d - 3*t + 315 = 0. Are -62 and d unequal?
True
Let n = -73/217 - -6/31. Let d(g) = g + 2. Let t be d(-3). Is t greater than n?
False
Let x(z) = 0 + 4*z - 3*z - 1. Let y be x(2). Which is bigger: y or 2?
2
Suppose 0 = -5*r - 2*u + 50, 0*u + u + 19 = 3*r. Is 9 equal to r?
False
Let k = -120434/945 - -892/7. Which is bigger: 0 or k?
0
Let d = -0.15 - 7.85. Let f = 9 + d. Let z = f + -0.9. Which is smaller: 0 or z?
0
Let d = -7 + 13. Which is smaller: d or 19/4?
19/4
Let l = 1 + -1. Let y be (-14)/6*(-7)/(98/(-4)). Is y smaller than l?
True
Let l(m) = -m + 2. Let n be l(3). Let f(i) = -i**3 - 6*i**2 + 4*i + 9. Let y be f(-8). Let w be 7/y*-1*3. Which is smaller: n or w?
n
Let p = -1.6 + 1.8. Which is smaller: 4 or p?
p
Let q be (1/2)/((-5)/3420). Let s be 531/q + (-3)/(-2). Does s = 0?
False
Let g be (4/3)/(1778/21). Do 0 and g have the same value?
False
Suppose -3 + 7 = x. Suppose -x*q - 6 - 2 = 0. Let n = -1 - 0. Which is greater: q or n?
n
Suppose -36*f = -41*f + 705. Is 140 bigger than f?
False
Suppose -17*r + 6 = -23*r. Is r less than or equal to 2/95?
True
Let x = 0 - -2. Let b be 4*2/28*14. Suppose 7*n = b*n + 9. Is n at least as big as x?
True
Suppose 0 = 5*b + 3*l - 86, -b + 5 = 2*l - 8. Which is bigger: b or 16?
b
Suppose 0 = -3*m - 3*s + 66 + 123, -m - 5*s + 75 = 0. Let c be (3*1)/(18/m). Are c and 9 unequal?
True
Suppose -q - 23 = -4*f, 3 - 1 = 2*q. Do f and 6 have different values?
False
Suppose -4*r + 55 = -r - 2*v, 3*v = -3*r + 75. Let f = r - 21. Is f less than 2/3?
True
Let i be -12*(-4)/126 + 4/(-14). Is i greater than 1?
False
Let n(h) = h**2 + 9*h + 2. Let b be n(-9). Suppose b*z = -2 - 6. Which is smaller: -5 or z?
-5
Let j(z) = z - 4. Let h be (2/(-4))/(2/(-8)). Let r be j(h). Let c = r - -2. Is c bigger than 2/7?
False
Let q = 98.2 - 83. Let t = q + -0.2. Do t and 1 have the same value?
False
Let w(c) = -2*c + 13. Let i be w(-5). Which is smaller: i or 22?
22
Let s = -368 + 1846/5. Let t = s - 79/70. Which is bigger: 1 or t?
1
Let v be (-4)/(-14) - 60/14. Suppose 9 = -4*o - 11. Is o smaller than v?
True
Let f be 3/(-4) - (-3)/(-12). Let u = -2 - -3. Let c = u + f. Which is greater: c or -4/3?
c
Let k = 29 - 29. Are 1 and k nonequal?
True
Let m = 0.23 + 4.77. Let o = 0.06 + -4.06. Let i = m + o. Is i > 0?
True
Let d(k) = k**2 + 5*k - 8. Let t be d(-6). Let b be 0 - 1/t*6. Suppose -b*n + 2*n = 0, -i - 2 = 3*n. Is i != -2?
False
Suppose s = 3*z - 45 - 0, 2*z - 30 = 2*s. Let t be (-12)/z*15/6. Which is greater: -1 or t?
-1
Let p(w) = -2*w. Let v be p(1). Let a(k) = k**3 + 2*k**2 - 2*k. Let d be a(v). Which is smaller: 3 or d?
3
Let t = 1/4605 - -61397/13815. Do t and 4 have the same value?
False
Let q = -1.6 - 1.3. Let r = 3 + q. Let j = 132 + -1186/9. Which is greater: j or r?
j
Suppose -64*x + 68*x = -4. Are -8/5 and x equal?
False
Let v = -4.78 + 4.4. Let z = -0.02 + v. Which is smaller: z or -0.2?
z
Let f(y) = y**3 - 6*y**2 - 7*y - 1. Let d be f(7). Let c be -1 + (-3)/(3/d). Suppose p + 2*p = c. Which is smaller: p or 1/3?
p
Let o(h) = 3*h - 25. Let b be o(9). Do -5/8 and b have different values?
True
Let t = 21 + -17. Suppose 16 - t = -3*z. Which is smaller: -5 or z?
-5
Let y = -1/4 - -93/340. Which is bigger: 1 or y?
1
Suppose -9*j = -4*j - 5. Suppose 9 + 1 = 2*m + 4*l, -3*l + 5 = 4*m. Which is greater: j or m?
j
Let g be (-2)/(-6) - (-25)/15. Suppose 8 = 2*d - g*r, -d - 2*r = 4*d - 6. Suppose -2*n = -u - 13, -d*n - 5 = -3*n. Which is smaller: -2 or u?
u
Let g be 3/12*-2*22. Is -11 != g?
False
Let m be (-3 - (1 - 1)) + 11. Does m = 7?
False
Suppose 5*n + 2*j + 0*j - 71 = 0, -n - 3*j = -22. Is 9 >= n?
False
Let f = -197.9 - -198. Let l = -0.03 + 0.16. Which is bigger: f or l?
l
Suppose 0 = -u - 3, -2*y - u - 23 = 20. Which is greater: y or -18?
-18
Let i = 171/2 + -3233/38. Let w = -137/190 + i. Is -0.2 != w?
True
Suppose 0*i + 4*i - 2*b = -6, 0 = -5*i + b - 9. Let q(f) = -f**3 - 2*f**2 + f. Let v be q(-3). Let z = v - 8. Is z bigger than i?
False
Let x = -71 - -629/9. Let g = x + 52/63. Do g and 1 have different values?
True
Suppose 0 = 3*y - 2*y + 3*k + 14, 2*k = 4*y. Which is greater: y or -4/3?
-4/3
Let q(h) = -h**3 - 8*h**2 - 5*h + 8. Let z be q(-7). Let p be (-24)/(-16) + 38/(-4). Is p > z?
False
Suppose -23*i = -21*i - 2. Let n = -16 + 146/9. Is n greater than or equal to i?
False
Suppose -33 = 2*c - 1. Which is smaller: c or -17?
-17
Let y be 6*(-4)/(-10)*(-1 + -4). Are -15 and y non-equal?
True
Let y = -2 + 0. Let t = y - -2.2. Is t less than -0.4?
False
Suppose -4*m - 2*g + 7*g + 10 = 0, -5*m - 3*g - 6 = 0. Which is greater: m or -2/29?
m
Suppose 2*a - 4*u = 32, -5*a - 21 = -3*u - 94. Is a less than 12?
False
Let b be (-9 + 12)/((-3)/(-2)). Let p = -168 + 508/3. Is b at least p?
True
Let y = -28 + 28.3. Which is bigger: -1/3 or y?
y
Let v = -0.151 + -0.149. Which is smaller: v or 1.3?
v
Let l = -15 - -16. Let q be (4 + -2 - 2) + 0. Which is bigger: q or l?
l
Let f = 2 - 3. Suppose p - 1 = -4. Let z be (p + 2)/(3/3). Is f at least as big as z?
True
Let o be -20*(-1 + 21/15). Let c = o - -5. Which is greater: -2 or c?
-2
Let j be (-1)/(4 - (0 + 1)). Let f = -1 - 0. Let z be f/(2/(-2)) + 0. Which is smaller: z or j?
j
Let q be 21/24 - 1 - 0. Is q less than 0?
True
Let b be (15*(-2)/(-24))/(-1). Let k(j) be the first derivative of -j**2/2 - 7*j + 1. Let z be k(-6). Which is bigger: b or z?
z
Let k = -82 - -736/9. Is 1/2 smaller than k?
False
Let k = 0.04 - 0.14. Let m = k - 0. Is m >= 1?
False
Suppose p + 2*q + 14 = 0, p + 3*q +