et b be n(6). Is w > b?
False
Let g = 14 - 16. Let c be (1/(-5))/(4/35). Is c < g?
False
Let p = 224 - 173. Is p less than 53?
True
Let n = -8 - -21. Is n greater than 13?
False
Let c = -6 - -4. Let r(n) be the second derivative of -n**4/12 - 5*n**3/6 - 3*n**2/2 - 3*n. Let o be r(-5). Is o > c?
False
Suppose 3*q = 4*o + 17, 3*q = -2 + 11. Let l(h) = 3*h + 0*h**2 - h**2 + 0*h**2 + 1. Let r be l(4). Is o equal to r?
False
Let r = -138.61 + 138. Do r and 1/2 have different values?
True
Let v = 2.5 - -11.5. Let n = -11 + v. Is -0.1 at least n?
False
Let h = -19.8 + 7.8. Which is smaller: h or 1?
h
Let v = 1/5 - 1/30. Which is smaller: -1 or v?
-1
Let s = 4 - 2. Let j = -5 - -7. Is s smaller than j?
False
Let n = 9/100 + 4/25. Which is greater: n or 0.07?
n
Let w be 2/(12/27)*(-20)/(-6). Which is bigger: 0.2 or w?
w
Let y = -44350 + 750328/17. Let r = y - -213. Do r and 1 have different values?
True
Let j(i) = 0*i + 8*i - 9*i - i + 1. Let g be j(3). Which is bigger: g or -3?
-3
Let g = -25 + 18. Suppose 5*k - 27 = 8. Let v = k + g. Which is smaller: -3 or v?
-3
Let l(j) = -j**3 + j**2 - j + 1. Let s be l(1). Suppose 3*u + s*u + 3 = 0. Let p = -4/7 - -13/35. Is p bigger than u?
True
Suppose 3*l - 2 = 2*c, 0 = -l - 2*c - 1 - 1. Is l < -1?
False
Let h = -22.9 - -22. Is h equal to -0.1?
False
Let i(a) = -a**3 + 4*a**2 + 4*a - 5. Let c be i(5). Which is smaller: c or -11?
-11
Let k be 2*(-5 + (-54)/(-12)). Is 6/43 at most as big as k?
False
Let l = 13 + -23. Let h be 1/(0 - l)*-6. Which is smaller: h or -2?
-2
Let z = -38 + 20. Let t be (2/(-4))/(3/z). Is t less than 5/3?
False
Suppose -3*i + 0*i + 48 = 0. Let o be ((-10)/(-8))/((-12)/i). Do o and -1 have the same value?
False
Let r = -320 - -321.83. Let g = 2 - r. Let h = 0.07 - g. Which is smaller: -1 or h?
-1
Let s = 3/34 + -77/102. Is 2 greater than or equal to s?
True
Let g = -62 + 61. Which is greater: 15/8 or g?
15/8
Let x = 5.4 - 5. Let c = -4 + 9. Let h = 5 - c. Is x > h?
True
Let s be (-2 - -7) + 16 + 3 + -3. Which is smaller: s or 20?
20
Let z be ((0 - -3) + -3)/3. Let a = -11 + 7. Which is bigger: a or z?
z
Let u(g) = -g**2 - 8*g - 6. Let z be u(-7). Let k(c) = 3*c**3 + c**2 - c. Let t be k(z). Let x be (5 + -8)/(-1 - 1). Which is smaller: x or t?
x
Let d(i) = -2*i + 44. Let p be d(25). Which is bigger: -4 or p?
-4
Let o be 3*(-2)/(-3) - 2. Suppose -4*x = -o*x - 56. Does 14 = x?
True
Let n be 2/8 + 116/(-624). Let h = n + -371/312. Are 0 and h equal?
False
Let w = -1.79 + 1.8. Are w and -1 nonequal?
True
Suppose -5*g + 3*d = -25, -5 = -3*d + 4*d. Suppose s + g = 4. Let p = 35/36 + -2/9. Is s at least p?
True
Let l(b) = -b - 1. Let h(k) = 2*k**2 + 2*k + 2. Let s(y) = h(y) + 3*l(y). Let c be s(-1). Suppose c*j = -0*j. Which is greater: 1/4 or j?
1/4
Let x = 7/171 - -236/1197. Let s be 123/(-63) + 1 - -1. Let y = s + x. Is y equal to -1?
False
Suppose y - 18 = -2*i - 3, y - 2*i + 5 = 0. Suppose 3*u - y = 4. Which is greater: u or 4?
4
Let l = -0.1 + 0.6. Let n = 0.1 - 0.8. Let p = l + n. Do 1 and p have different values?
True
Let r(h) = h - 4. Let b = 3 + 1. Let w be r(b). Let m be 1/2*w/2. Is 0 at most as big as m?
True
Let i be (144/(-12))/(4/10). Is i at least -29?
False
Suppose 2*r = -3*r - 120. Which is smaller: -3 or r?
r
Suppose 0 = 2*j - 3*j + 5. Let w(d) = -d + 10. Let q be w(j). Is 2 at least q?
False
Suppose 2*d + 5 = g, -9*d = 4*g - 4*d - 7. Suppose 0*z = 2*z - 6. Let b = z - g. Is -1 >= b?
False
Let t(p) = p**3 + 3*p**2 + 4*p + 1. Let j be t(-3). Which is smaller: j or 1?
j
Let a = 408/55 - 38/5. Which is smaller: a or -2/17?
a
Let z = -5 + 8. Let a be (-45)/(-3)*2/(-5). Let m = a + 7. Which is smaller: m or z?
m
Let y = 33 + -18. Let f be 4/10 + (-16)/y. Which is smaller: -2 or f?
-2
Let o = 68427687335/27057 - 7587059/3. Let k = 4/311 - o. Are k and -1 equal?
False
Let a(z) = -z**2 - 13*z. Let b be a(-13). Suppose f + 8 - 11 = b. Is 1 smaller than f?
True
Let x = -13 - -18. Let n be (1/x)/(28/(-35)). Suppose -v + 2*w + 4 = 3*v, 3*v - w - 3 = 0. Which is smaller: v or n?
n
Let q = -7 + 9. Suppose w - q*c + 1 = -3, -14 = 5*w - 4*c. Which is greater: 2/9 or w?
2/9
Let f = 145/132 - -5/33. Let j = f - 1. Which is bigger: j or 2/11?
j
Suppose 10*k = -95 - 15. Which is bigger: -0.1 or k?
-0.1
Suppose 0 = 4*j + 4*h + 4, -4*h - h - 5 = -3*j. Let y be 4/(-3 - 52/(-16)). Let g be 6/y + j/1. Which is smaller: g or 1?
g
Let x(m) = 7*m - 5. Let n be x(-6). Let i = n + 143/3. Let r(h) = -h - 4. Let q be r(-5). Which is greater: q or i?
q
Let q(s) = s - 1. Let j be q(-5). Let h be 1/2*j/2. Suppose 2*c = -2*c - 0*c. Which is greater: h or c?
c
Let z(f) = 5*f - 15. Let x be z(7). Let i be 1/(-2)*x/(-30). Which is bigger: -1 or i?
i
Let m = -48 + 70. Let g be (6/15)/(m/(-10)). Let l(x) = x + 8. Let j be l(-8). Is g greater than or equal to j?
False
Let t = 67 + -29. Is t equal to 1?
False
Let w = 6 + -4. Let s = -6 - -17. Let f = s - 8. Is f < w?
False
Let t be -1 + (-5)/(5/4). Let z = 6 - 10. Which is greater: z or t?
z
Let f = 1/517 + -8289/8789. Let t = f + 114/85. Suppose 8 = -4*q - 4*b, q + 0*q = -2*b - 3. Is t less than or equal to q?
False
Let c = -12.3 + 12. Let l = 0.5 + -1. Let a = c - l. Is a <= -1/3?
False
Let y = -18 + 14. Is y equal to -0.2?
False
Let i = -1 - -2. Let p = -2293/11 + 209. Which is smaller: p or i?
p
Let k = 7.2 - 4. Let u = 3 - k. Let g = u - -2.2. Is g less than or equal to 2?
True
Suppose 3*a = 1421 - 35. Let n = 327 - a. Let j be ((-72)/n)/((-4)/10). Is -1 <= j?
False
Let f = -106/141 - -4/47. Which is smaller: f or 4?
f
Suppose z - 5 = -u, -2*z - 11 = -3*z - 4*u. Is -6 < z?
True
Let u be (1 - 1) + (2 - -7). Suppose h = -u - 5. Let j be 2 + h/6*1. Are 2 and j unequal?
True
Let f = 17012/35 + -486. Which is smaller: f or -1?
-1
Suppose -5*w - 56 = -w. Is -12 smaller than w?
False
Let w be 0 - 2 - (1 - 2). Let o be -5 - -9 - (3 - 51/(-63)). Is o at least as big as w?
True
Let u = -3.07 - -0.07. Let k = 2.8 + u. Which is smaller: k or -0.3?
-0.3
Let l(m) = 2*m**2 - 5*m + 5. Let x be l(5). Let d be (-32)/x - (-1)/(-3). Let p = d + 1. Which is smaller: -0.01 or p?
p
Let b be 7/14*(-8)/(-10). Is b smaller than -2?
False
Suppose -6 = o + 2*k, k + 1 = -4*o - 2. Let r = o - -3. Suppose -r*y - 8 = -2. Which is greater: y or -1?
-1
Let n(u) = u**2 - 7*u - 9. Let i be n(8). Let a = -5 - i. Let t be ((-1)/2)/(2/a). Do 6 and t have different values?
True
Let s(y) = 3*y. Let m be s(1). Suppose -2*c + m = h - c, -7 = -2*h - 3*c. Let i be -6*(-2)/8 + 1. Does h = i?
False
Suppose 3*y + y - 20 = 0. Which is smaller: y or 2?
2
Let x be 47/(-3) - 1/(-6). Which is greater: -15 or x?
-15
Let o be (1 + 3)*6/8. Suppose 0 = 2*a - 3*a - 3*j + 8, -3*a + 12 = 3*j. Which is smaller: a or o?
a
Let p = 6 - 7. Is p less than or equal to -35?
False
Let m be 42/20 - (0 + 2). Are 1 and m nonequal?
True
Let q be (-1)/(-1) + (-470)/414. Let n = 2410/207 - q. Let t = -12 + n. Which is smaller: t or 1?
t
Let s = -118 - -588/5. Suppose 0 = 11*b - 15*b. Is s at most b?
True
Let i(s) = s**2 + 6*s - 2. Let a be i(-7). Let w(h) be the second derivative of h**3/3 + 5*h**2/2 - h. Let n be w(0). Are n and a equal?
True
Let l = -340633 + 4426030/13. Let k = -169 - l. Which is bigger: k or 1?
1
Let v = 2 + 3. Let c be (24/(-15))/(1/v). Which is bigger: -7 or c?
-7
Suppose 4*c - 7*c = -33. Let j be (-31)/c + 2 + 1. Are j and 3 equal?
False
Suppose 0*x = -2*x. Let z = x + -5. Are -7 and z unequal?
True
Let f be 4/(-3)*(-3)/2. Let x be (0 - 1)*f/(-6). Let u = 4 + -5. Which is smaller: u or x?
u
Let s be (-10714)/30 - (4 - 3). Let d = 358 + s. Which is bigger: -1/3 or d?
d
Let l(q) = q**3 - 2*q**2 - 5*q - 5. Let p be l(4). Does 15/2 = p?
False
Suppose -4*l + 84 = -0*l. Let w = 30 - l. Let d be 3/(-18)*-2*w. Is d bigger than 2?
True
Suppose 0 = x + 2*f, -3*f - 2*f - 30 = -5*x. Suppose -x = 4*m - 16. Which is smaller: -2 or m?
-2
Let c(o) = 5*o + 10. Let y be c(-3). Is y < -17/4?
True
Let r(f) = f**3 - 3*f**2 + 2*f - 1. Let v be r(2). Is v <= 1/33?
True
Let a = 0.04 + -4.01. Let u = a - -4. Let x = 0.27 + u. Is x less than or equal to 1/4?
False
Let z = -1 - -3. Suppose 1 = 5*a - 4*a. Let d be a/(-1) + -2 + 5. Is z <= d?
True
Let t(a) = -a**2 + 8*a - 3. Let k be t(8). Let y be 0/(1 - (-3 - k)). Which is greater: -1