). Let b = m + 14. Suppose 2*u + 2 = 2*j - 2, -3*u = j + 2. Which is greater: j or b?
j
Let y = 0.6 - 0.5. Let b be 0*(-1 - (0 - 0)). Is b smaller than y?
True
Let p(w) = w**2 + 4*w + 4. Let x be p(-3). Which is smaller: 6/11 or x?
6/11
Let w = 177 + -707/4. Is w < 49?
True
Suppose -3*b + 5*k + 0*k = 652, 0 = 4*b + k + 831. Let i = b - -138. Let z = i + 209/3. Is z greater than or equal to 0?
False
Suppose 2*j - 5 = j. Suppose 0*m + 9 = m - 4*s, 5*m = -s + 66. Suppose 5*l + 2*f = -2*f, 2*l = f + m. Which is smaller: l or j?
l
Let y be (1/(-2))/(1/(-4)). Let v be 34/(-4) + (-1)/y. Let b be 2/v - 2/(-9). Is b at most as big as 1?
True
Suppose -2*j = 2*j + 20. Let m(u) = -4*u + u**2 + 8*u + 3 - 4. Let h be m(j). Which is bigger: 2 or h?
h
Let h = -144 - -137.9. Let z = -6 - h. Do z and -1/2 have different values?
True
Let q(a) = a + 26. Let l be q(-16). Do l and 10 have the same value?
True
Let t = -137 + 687/5. Let n = 9 - 6. Let h = -2.8 + n. Which is bigger: t or h?
t
Let o = 22 + -23. Let l = -5 + 4.7. Is o <= l?
True
Suppose -q = 2*q + 36. Is q not equal to -12?
False
Let r = 23/156 + 1/52. Let k = 3 + -0.9. Let f = -2 + k. Do f and r have the same value?
False
Suppose -n - 14 = -3*i, i - 2*i = 2*n. Let u be ((-2)/i)/(6 - 5). Suppose -d = 3*d + 8. Is u smaller than d?
False
Let f be 25/(-35) + -2 + 3. Which is smaller: f or 4?
f
Let y = -0.06 - -0.07. Let w = y + -1.01. Which is smaller: w or 4?
w
Suppose 0 = z + 8 - 24. Let n = z + -6. Which is smaller: n or 11?
n
Let c(l) = l**3 - 7*l**2 + 6*l - 1. Suppose -2*u + 2*m = -4*u + 6, u + 27 = 5*m. Let n be u/(-10) - 29/(-5). Let o be c(n). Is o not equal to -2/17?
True
Let i = 3 - -2. Suppose -i*g = -2*b + 7, 4*b - 5*b = g + 7. Let o = 3 + b. Is o smaller than -4/7?
True
Suppose z + 4*t + 2 = 3*t, -5 = -5*z - 2*t. Let s be 10/(-21) - z/(-21). Is 0 less than or equal to s?
False
Let z be (-17)/(-35) - 2/7. Let d be (-2)/(-15) - 6/45. Suppose 0 = 4*c - d*c + 4. Is c at most z?
True
Let a(j) = j**3 - j**2 + 6. Suppose -2*c - 5 = o + 1, -4*o + 3*c = -9. Let n be a(o). Do n and 6 have the same value?
True
Let h = 9 + -8. Suppose 0*v - 2*o = -v - 6, -3 = -o. Let r = h + v. Are 2 and r nonequal?
True
Let h be 2/14 + (-102)/(-119). Does h = -2/7?
False
Let z = 4 - 1. Suppose 3*k = -2*j - 1, -j = -z*k - 6*j - 16. Let n(p) = -p**2 + 3*p - 1. Let q be n(k). Is -1/8 greater than q?
True
Let t = -18 + 12. Let x be (0 + -1)/((-2)/t). Which is smaller: -4 or x?
-4
Let b = 20 - 20. Which is greater: b or -5/26?
b
Let l = 9 + -9. Which is bigger: l or 8?
8
Let g(v) be the second derivative of v**5/60 - v**4/12 + v**3/3 + v**2/2 - v. Let s(b) be the first derivative of g(b). Let h be s(2). Is 1 bigger than h?
False
Let q = -120895225/57 - -2120422. Let y = q + 547. Let j = 202/627 - y. Is -1 <= j?
True
Let b(q) = q**2 + 3*q - 4. Let i be b(-3). Let x = 20 + -14. Let u be i/x*(-3)/(-2). Which is greater: -1/9 or u?
-1/9
Suppose 0 = -2*u + 2*n - 7 + 17, -2 = 2*u + n. Is 12/11 greater than u?
True
Let x = -1.13 + 1.03. Is x less than or equal to 13/5?
True
Let b(k) = -3*k - 1. Let w be b(-3). Suppose 0 = -4*j + w. Suppose 5*h - q = 16 - j, -3*h + 18 = -3*q. Which is smaller: 1 or h?
1
Let n be ((-12)/4)/(6/(-8)). Suppose 5*u - 9 = -n. Is -0.06 at least as big as u?
False
Let z = 2 + -2.7. Which is smaller: z or -0.1?
z
Let p be (-6)/10 - (-18)/(-45). Which is bigger: -1/12 or p?
-1/12
Let j be 38783/(-132) + (-9)/36. Let l = j - -294. Which is greater: l or 0?
0
Let b = 689/2 - 337. Is 7 bigger than b?
False
Let b = -49.9 - -52. Let u = 1.08 - -0.32. Let h = u - b. Is h less than or equal to 2/3?
True
Suppose 5*j - 28 - 7 = 0. Let t be (-33)/j - (-2)/(-7). Let l(n) = n**2 + 4*n - 5. Let d be l(t). Is d > 0?
False
Let w = 12 + -12. Let i be (2 - (w - -6)) + 3. Is i at least as big as -6/11?
False
Let k = -5/328 + 1/738. Is 1 < k?
False
Let x = 2.1 + -2. Let m = -99.3 - -99. Which is smaller: x or m?
m
Let y be 6/(-28) - 2/7. Let t = -2 + 16. Which is smaller: y or t?
y
Let p(c) = 5*c + 23. Let f be p(-5). Which is smaller: -1 or f?
f
Suppose 0 = -2*s + 3*s + 3*i + 2, -4*s - 2*i = -12. Let h = -7 - -5. Is h bigger than s?
False
Let p(g) = 4*g + 6. Let j be p(0). Suppose -2*c - 3*c + 2*u + 8 = 0, 3*u = 3*c - 3. Suppose 4 = -c*a - l + 2, j = a + 4*l. Which is greater: a or -3?
a
Let k = 17.37 + -1.37. Which is smaller: k or 0.06?
0.06
Suppose 0 = -5*y + 27 - 342. Let w be (-2)/9 - 140/y. Do w and 8/3 have different values?
True
Let o = -126 - -77. Which is bigger: o or 2?
2
Let k be -1*(1/(-29) + 0). Suppose -5*u + 3*g - 15 = 0, 3*u - 2*u + 4*g - 20 = 0. Is u > k?
False
Let i = -0.08 + -0.92. Suppose -3*f - 35 = 5*r - f, -32 = 3*r - f. Let m = 4 + r. Which is smaller: m or i?
m
Suppose -5*c = -7*c + 7*c. Which is greater: c or -16?
c
Suppose 3*b - 7 = -2*x, -2*x + b - 2*b = -5. Let v = x - 0. Suppose -4*t + 6*t = v. Which is greater: t or 2?
2
Let q be 2 + -2 + 26/(-2). Let i = 27 + q. Let c be i/(-10) - (-1)/1. Is -1 greater than or equal to c?
False
Let w be (2/8)/((-70)/80). Is -3 < w?
True
Let g(c) = -c**3 - 5*c**2 - 3*c - 4. Let q be g(-4). Let n be (-3)/7 - q/28. Let l = -2 + 1. Are n and l equal?
False
Let f(j) = j**2 + 14*j - 12. Let t be f(-15). Is t < 3?
False
Let a(t) = -t**2 - 4*t + 7. Let u be a(-5). Let c be (0 - u/(-9))*-3. Which is smaller: 0 or c?
c
Let l = 3 - 5. Let g be (0 + 2)*(-70)/112. Is l at most g?
True
Let l = 9.7 + -12. Let g = l + 2. Which is smaller: g or 0?
g
Let x be -3*(2848/(-30))/2. Let p = -143 + x. Which is greater: p or 0?
0
Let m = -0.49 + 0.5. Let f = -2 + 1. Is f less than m?
True
Let t be (-26)/(-65) + 38/(-70). Is t > -0.1?
False
Suppose -4*t - z - 1 + 0 = 0, 4*z + 4 = 0. Suppose 0 = 5*c - 5*j + 15, -4*j = 2*c - t*j. Which is greater: -1 or c?
-1
Let k(g) = -2*g**2 + 12*g - 5. Let o be k(8). Let s be (-886)/(-24) + (-1)/4. Let h = s + o. Is h at least 1?
False
Let p be ((-2)/5 - 0)*-5. Let n be (-23)/p + (-1)/2. Let v be 16/(-18)*(-3)/n. Which is greater: v or 1?
1
Let r = -39.96 + 36. Let k = 0.04 - r. Let i = k - 4. Does i = -1/3?
False
Suppose 0*a - 3*a + 11 = 5*y, 11 = y + 5*a. Let c be (0 - y) + (-2 - -1). Which is smaller: c or 4?
c
Let k be 5/(-2)*(-156)/30. Which is greater: 14 or k?
14
Let q = 48 - 48. Which is smaller: q or 1/52?
q
Let j = 129 + -131. Is 2 greater than j?
True
Let l be 1/(-2)*(-6)/9. Let p = -8 + 2. Let m be ((-3)/p)/((-1)/2). Is m less than or equal to l?
True
Suppose 5*o + v = 35, 3*v - 6*v + 3 = -2*o. Suppose 0 = 3*l - 4 - 11. Which is smaller: o or l?
l
Let f be 1 + ((-155)/(-50))/((-8)/10). Which is smaller: -4 or f?
-4
Suppose 0 = -3*a + 2*n + 11, 3*a - n - 7 = 3. Suppose 0 = -a*b - 0*b. Is 5/6 > b?
True
Let t be (-2)/(-7) - (-5)/7. Let j(s) = 3 - s**2 - 3 - 2*s + 1 + s**3. Let c be j(2). Is c > t?
False
Let a(b) = b. Let d be a(2). Let f be d + (-24)/(1 + -5). Is 9 smaller than f?
False
Let u(y) = -y**3 - y**2 - 4*y - 2. Let w be u(-3). Let v = w + -12. Suppose -2*o = -4*f + v, 7 = -f - 5*o - 0. Is 3 at most f?
True
Suppose -2*s - 5 - 1 = 0. Which is greater: -4 or s?
s
Let u = -80 + 77.5. Which is bigger: -0.1 or u?
-0.1
Let r be 2/6 + (-2)/2. Let j be 2*(0 - -1)*-2. Let b be -2 + (-4)/j*0. Is r >= b?
True
Let l = -14 - -18. Let c = 4 + -8. Let g = l + c. Which is smaller: g or 1/5?
g
Let a(n) = -3 + 1 + 2*n**2 + 3 + 0*n**2 + 3*n. Let w be a(-2). Suppose 6*h - 3 = 3*h + l, -w*h + 4*l = -12. Is 1/2 != h?
True
Let q = 1 - 5. Let d = -0.15 + -5.85. Let v = q - d. Which is greater: 0.1 or v?
v
Suppose -5*x - 2*c - 16 = 0, 0 = c - 6*c - 15. Let n(o) = -o**3 - 9*o**2 + 10*o + 3. Let s be n(-10). Suppose -6 + 0 = s*f. Is x < f?
False
Let v = -21 + 16. Which is bigger: -6 or v?
v
Let k(x) = x - 2. Let v be k(6). Let s = 19 - 37. Let i be s/v - 9/(-6). Which is smaller: -1 or i?
i
Suppose 0 = z - 2*z. Let r(m) = m**2 - 8*m + 4. Let j be r(7). Let d = j + z. Which is smaller: d or -2?
d
Let z(l) = 11*l + 1. Let m be z(1). Suppose -m = -3*o + q, -4*q = -0*o - o + 4. Let x be (-3)/o + (-19)/(-20). Is x greater than -1?
True
Let g(b) = -b**2 + 12*b - 26. Let c be g(12). Which is bigger: c or -24?
-24
Let n be 4/(-16) - 14/8. Let b = -8 - -11. Suppose -d - 5 = b*g + 3, 0 = -g + d - 8. Which is greater: n or g?
n
Let n be 1/(-3 - 12/(-2)). Is 1/10 <= n