be -1*(z - -2) + 3. Suppose s*c + c - 25 = 0. Which is smaller: c or 4?
4
Suppose -8*b - 49 = 55. Which is bigger: b or -25/2?
-25/2
Let u = -2 - -3. Is u greater than 2/43?
True
Let y be (-2*(-2)/6)/(68/(-102)). Which is smaller: y or 1/3?
y
Suppose 2*b + 3*b - 35 = 0. Let m = b + -33/5. Which is greater: -1 or m?
m
Let n be 1/((-84)/(-45) - 0). Let i = 2/7 - n. Does 0 = i?
False
Let u = -9 + 0. Let l = u + 10. Is l at least as big as 2?
False
Suppose -r - 2*r + 2*y - 19 = 0, 4*y = -r + 3. Suppose -2*t + 5*a = -18, 3*t + t = 4*a + 12. Which is smaller: t or r?
r
Let u be (-45)/12 + 1/4. Let o = -173 + 170. Which is smaller: u or o?
u
Suppose 0 = -q - 4*q. Let b(j) = j**2. Let f be b(q). Which is smaller: -1 or f?
-1
Let m be -1 + (1 - (-2)/(-17)). Does m = 1?
False
Let x(u) = -u - 5. Let r be x(-5). Let k(z) = -z**2 - 12*z + 14. Let l be k(-13). Which is greater: r or l?
l
Let i = 26 + -27.6. Which is smaller: i or 1?
i
Let r(i) = 3*i + 4. Let y be r(-3). Let p = y + 8. Let o be p/2 - (1 - 0). Is o >= 1?
False
Let l be -146*(-1 - (-1)/2). Let q be l/(-260) - 1/(-4). Let h = 69/130 + q. Which is smaller: 0 or h?
0
Let v = 0 + -2. Let h(s) = s**3 + 4*s**2 + 6*s + 4. Let o be h(-2). Which is greater: o or v?
o
Let z be (-5 - -6) + 1 + 1. Let k(p) be the first derivative of p**2 - 2*p - 2. Let v be k(3). Is z greater than v?
False
Let b(f) = -f + 15. Let z be b(12). Let h be z/(3*(2 - 1)). Is 2/15 <= h?
True
Suppose 0 = 6*b + 37 + 11. Is b bigger than -9?
True
Let q = 2 - 4. Let d be (-1)/2 - (-3)/q. Let m(u) = 2*u**2 - 21*u + 9. Let r be m(10). Which is bigger: d or r?
r
Let w = -2.2 + 0.2. Let r = 5/4 - 47/44. Is w at least as big as r?
False
Let w be (-92)/(-20) + 9/(-15). Is w >= 5?
False
Let k be 4 + 6*1/(-1). Do -2 and k have different values?
False
Let i be (2*2)/(3/(-138)). Let s = -1290/7 - i. Let n = -5 - -5. Is n less than s?
False
Let j = 12 + -10. Let w = 3.5 - 0.5. Let v = w - j. Are -1 and v equal?
False
Let x = -11 + 6. Let r(y) = y**2 - 8*y - 13. Let k be r(9). Is k <= x?
False
Let p be ((-6)/(-4))/((-15)/(-20)). Suppose -q = p, -4*r + 0 + 6 = q. Which is bigger: -1.1 or r?
r
Let c = -3.7 - -4.7. Let r = -34/75 - -3/25. Which is smaller: r or c?
r
Suppose 3*f = -2*c - 4, -c + 5*c - 24 = 2*f. Suppose -2*l = -c*b - 14, 10 = 2*l - b - 2*b. Let m be l/(2*(-2)/(-4)). Which is smaller: 1 or m?
m
Let b = -41 + 39. Which is bigger: b or -12?
b
Suppose -3*o - 4 = -4*o. Suppose 3*m - 2 = o. Let d be (-8)/6 + m/6. Is 2/7 < d?
False
Let r = -36096/5005 + 394/55. Let w = -59517/1820 + r. Let z = w + 925/28. Are 0 and z unequal?
True
Let w = 0.069 + 1.971. Let k = 0.04 - w. Which is greater: k or 1?
1
Let u(i) = -i**3 + 5*i**2 + i - 5. Let w be u(5). Which is bigger: 2/17 or w?
2/17
Let j be 59/(-195) + 2 + (-5)/3. Which is smaller: j or 0?
0
Suppose -4*z + 3*t + 35 = 0, 0*z + z + 4*t = 4. Let n = -6 + z. Let v be 1/(1/(n/(-6))). Is v greater than or equal to 2/5?
False
Let f(g) = -g**3 - 4*g**2 + 5*g + 1. Let u(h) = -h**3 + h + 1. Let j(a) = -f(a) + 2*u(a). Let i be j(3). Which is smaller: i or -1/10?
-1/10
Let b(g) = g + 2. Let k(t) = t + 1. Let f(p) = 3*b(p) - 4*k(p). Suppose 4 - 29 = -5*h. Let x be f(h). Is x <= -3?
True
Let x = 431/3 - 141. Which is bigger: 3 or x?
3
Let b(d) = d + 9. Let g(a) = -a**3 + 6*a**2 + 6*a. Let i be g(7). Let u be b(i). Let c be (-10)/(-36) + u/(-4). Is c at least 1?
False
Let z(b) be the third derivative of -b**6/120 - 11*b**5/60 + b**4/24 + 11*b**3/6 - 6*b**2. Let l be z(-11). Which is greater: l or 1/3?
1/3
Let w = -50/13 - -1113/286. Is w greater than -0.1?
True
Let c = 553/20 + -113/4. Let n be (-5 - -4) + 0/(-1). Let z be n/2 + (-2)/(-4). Is z less than c?
False
Let q be (-3)/6*-10*-3. Let d be (-1)/(-3) + 10/q. Which is bigger: -0.1 or d?
-0.1
Let m be 2 + 1 + 1 + -1. Suppose m*k = -5*a + 28, 0 = 5*k - 4*a + 9*a - 30. Is 2/19 > k?
False
Let q(z) = 2*z**3 - 21*z**2 - 10*z - 10. Let d be q(11). Which is smaller: d or -2/27?
-2/27
Let h be 4/(-10) - 6/10. Which is bigger: h or -2/149?
-2/149
Let g = -0.16 + 0.06. Let y = -3.1 - -3. Let c = y + g. Which is smaller: 1 or c?
c
Suppose -9 = -t - 2*t. Is -2 < t?
True
Let i = -11 - -31. Let f = -11 + i. Is -1/3 smaller than f?
True
Let j be (-6)/4 + 39/6. Let l = j - 6. Let f = 0.1 - -0.9. Which is smaller: l or f?
l
Let y be 2/(-10)*-10*(-48)/(-512). Suppose -2*j = -7*j + 5. Which is smaller: y or j?
y
Let h be 2/(4/(-6))*4. Let s be (8/(-10))/(h/30). Suppose w = -w. Is w < s?
True
Let y = 1 - 0. Let j = -389545/31302 + 1/3478. Let z = j - -766/63. Is y <= z?
False
Let g = 3 - 5. Let l = -16 + 26. Let m be (-22)/l - 1/(-5). Is g > m?
False
Let o = -0.4 - -0.8. Let l = o - 0.4. Let f = -1 - 2. Does f = l?
False
Let w = -5252/15 - -350. Which is greater: 1/2 or w?
1/2
Let b be (-27)/(-15) - 1/(-5). Let l be 8/(-14) + (-87)/(-42). Is l < b?
True
Let z = 0.23 - -0.07. Let x = z + -4.3. Is -2/5 greater than x?
True
Let q = -33 + 33. Let n = 0.33 - 0.03. Which is bigger: n or q?
n
Let m be 2/20*26/(-3). Are -2 and m non-equal?
True
Let z be (-7)/3*(-22)/(-77). Which is smaller: 3/13 or z?
z
Suppose 0 = -9*g + 4*g + 10. Suppose -4*w + 13 - 5 = 0. Suppose -w = -4*n + 6. Is n < g?
False
Let h = 3.97 + 0.03. Is h smaller than 2/11?
False
Let x = 5 - 1. Let c(v) = v**2 - 5*v + 4. Let y be c(x). Which is greater: 4 or y?
4
Let h = 27 + -29. Let t = 16 - 9. Let v = t + h. Is 6 at most v?
False
Let t(p) = p**3 + 7*p**2 - p - 4. Let o be t(-7). Suppose 3 = -0*i - o*i. Let q be -2 + -1 + (-17)/(-5). Which is smaller: i or q?
i
Suppose -2*b - p + 37 = -32, 0 = -3*b - p + 105. Suppose -3*l = -7*l + b. Let k be 0 + -1 - (-12 + 2). Are l and k unequal?
False
Let x be (-130)/(-24) + (-9)/(-27). Is 5 less than or equal to x?
True
Suppose -4*y - 62 = 18. Is -20 greater than y?
False
Let x = 9 + -5. Suppose -4*k - x = -4*w - 3*k, -3*w - 4 = k. Let g be (-3 - (4 - 7))/(-2) - 3. Which is greater: w or g?
w
Let m = -64 + 63. Which is smaller: m or 1/5?
m
Let p(o) = -o + 14. Let f be p(11). Suppose 4*z - f*g + 4 = 3*z, -3*z + 2*g - 19 = 0. Is -6 at most as big as z?
False
Let w = 2/161 - 352/2415. Do w and 1 have the same value?
False
Let t = 14 + -5. Suppose 2*h + 4*l = 32, 4*h - 2*l = l + t. Do 6 and h have the same value?
True
Let d be (-3)/(-84)*-6 - 3/(-6). Is -0.1 bigger than d?
False
Let t = 1 - 4. Let x(v) = -v**2 - 8*v - 8. Let z be x(-6). Let b be 3/z + 1/(-2). Are t and b equal?
False
Let d(r) = r**2 + 5*r - 6. Let w be d(-6). Is -6/11 > w?
False
Let j = -17 + 13. Let n = 4 + -9. Which is smaller: n or j?
n
Let p be 1 + -1 + (66 - 8). Let z = p - 461/8. Do -1 and z have the same value?
False
Suppose 0*a = -f + 2*a + 4, -18 = -f - 5*a. Suppose -4*q + 22 = 5*m - f, -3*q + 19 = 2*m. Is m less than 3/5?
False
Suppose 3*l = f - 8, 0*l = 5*f + l - 24. Suppose 4*o + o = f. Do 1/14 and o have different values?
True
Suppose i + 4*m = -0*m - 21, 0 = -2*i + 2*m + 8. Let z be i + -2 + (-66)/(-18). Is -2 less than or equal to z?
True
Let f be ((-1)/(-5))/(8 + -7). Is f at least as big as 2/7?
False
Let u(g) = g**3 + 5*g**2 + 2*g + 6. Suppose 4*a + 8*f + 35 = 3*f, 5*a = -2*f - 31. Let v be u(a). Let s be 2/4 - (v + 3). Which is smaller: s or 1?
1
Let i be (-102)/6 - -1*2. Which is greater: i or -13?
-13
Suppose 4*x = -t + 2*x - 9, 0 = -3*x - 12. Let u be (-1)/(-2)*(t + 3). Which is smaller: u or 3/7?
3/7
Let k = -961/7 + 137. Let j = 6 + -2. Is j <= k?
False
Let d = 0.42 - 0.4. Let w = -0.18 - d. Which is greater: 1 or w?
1
Suppose 87 = 2*p + p. Let a = p - 29. Which is bigger: a or -4/15?
a
Suppose 0 = 3*l + 2 - 14. Let y = 0 + 5. Is l bigger than y?
False
Suppose -2*d + 8 = 3*r - 9, d = 5*r - 24. Let x = -24074/5 + 3202722/665. Let b = x + -10/7. Is b bigger than d?
False
Let p be 4*7/((-14)/(-8)). Suppose 5*d + p = 4*x, 6*x + 3*d + 14 = 4*x. Let i = -1 - 0. Is i less than x?
False
Let h = 2/7 - 41/70. Is h <= -1/7?
True
Let d be (-152)/(-20) + 4/10. Is 1 at most d?
True
Suppose 239*o + 86 = 238*o. Is -85 >= o?
True
Let t(m) be the first derivative of -m**4/4 - 10*m**3/3 - 5*m**2 - 12*m - 3. Let b be t(-9). Which is smaller: 0.1 or b?
b
Suppose 0 = -2*r + 5 + 5. Suppose -r*o = 3*b + 30, -19 = 3*o - 2*b + 4*b. Let i = 3 + o. Which is bigger: i or -3/7?
i
Let b = 1 - -2. Suppose q - 11 = 