 Let y(d) = -5*d - 3 + 2*d - 4*d + 3*d - d**2. Let k be y(-5). Which is smaller: k or f?
k
Let k = -25 - -31. Is k at most as big as 7?
True
Let v be (-1)/3 + 4/(60/(-445)). Is v <= -32?
False
Let g be (-63)/(-12) + (-1)/4. Let v(a) be the second derivative of -a**3/6 + 6*a. Let w be v(g). Is 0.1 >= w?
True
Let d(i) = i + 6. Suppose -2*n + l = 11, -5*n - 20 = 2*l + 21. Let h be d(n). Let x be ((-2)/(-6))/((-30)/18). Is h >= x?
False
Let p = 21/4 - 5. Is -47 at least as big as p?
False
Let a = 24 + -23. Let o be 4/6 + (-24)/9. Let t = 2 + o. Which is bigger: t or a?
a
Let c = -1.4 - -1. Is 0 not equal to c?
True
Let u = 0.3 + -0.33. Let h = -0.47 + u. Is h greater than or equal to 0?
False
Let r = -2.9 + 4.8. Let k = -2 + r. Is k less than or equal to 2/3?
True
Suppose -4*n = -7*n + 5*d - 13, -2*n - 15 = 3*d. Let o = n + 14. Let p be o/(-30)*(-12)/(-8). Which is bigger: 0 or p?
0
Let w = 120 + -130. Is -9 <= w?
False
Let j(x) = x + 1. Let t be j(0). Suppose -t = 3*c - 2*c. Let o = -0.03 + -1.97. Which is smaller: c or o?
o
Let x = 17 + -30. Which is smaller: x or -62/5?
x
Let b = 0.87 + -0.77. Let p = 7 + -5. Which is greater: p or b?
p
Let j be (-256)/(-540) + (-4)/10. Which is greater: j or 1?
1
Let a(o) = o - 3. Let z be a(0). Let s be 6/(-4) - (-2)/(-4). Is s <= z?
False
Suppose 0*y = 2*k + 3*y + 33, -2*y + 73 = -5*k. Which is greater: -65/4 or k?
k
Let o(n) = -n**2 + n. Let x be o(0). Let h = 4 - x. Suppose -4*w - 12 = -h*q, 2*w = 4*w. Which is smaller: 2 or q?
2
Let m = 0.3 + -0.3. Let h = 0 - m. Which is greater: h or -0.03?
h
Let n = 29 - 19. Let s = 222.9 + -213. Let j = n - s. Are j and 1/5 equal?
False
Let k(y) = -2*y**3 - y**2 + 1. Let n be k(2). Let c = 16 + n. Is -3 equal to c?
True
Let o be ((-2)/15)/((-1)/(-10)). Are 0 and o unequal?
True
Suppose -5*t = -5 - 25. Let a be t/4*(-28)/21. Which is smaller: -1 or a?
a
Let u(f) be the first derivative of f**4/4 - 2*f**3 + f**2/2 - 3*f + 3. Let d be u(6). Which is smaller: d or 0.1?
0.1
Let n(y) = -y**2 + y. Let w be n(5). Let i be 10/w*0/(-1). Are i and -9/8 equal?
False
Suppose 2*i - 18 = 2*r, 4*r + 0*i - i = -45. Let k = -9 - r. Are 7/4 and k unequal?
True
Let i = -72/7 - -74/7. Does i = 0?
False
Suppose i = 1 + 2. Suppose -i = 2*k - 7. Are k and 2 non-equal?
False
Let u(o) = o**2 + 4*o - 2. Let a be u(-5). Let c = -178 + 182. Is c < a?
False
Let w = -125 + 119.9. Let y = w - -0.1. Let m = 5 + y. Is 1 greater than or equal to m?
True
Let v be (432/(-42))/(-8) + 4/(-14). Is v at most 1/55?
False
Suppose 0 = b + 4*g + 2, -5*b + 3*g = -2*g - 15. Is b greater than or equal to 1?
True
Suppose 3*l - 50 = 8*l. Let f be ((-2)/3)/(l/15). Is f at most as big as 3?
True
Let a = -15 + 15. Which is smaller: 5/4 or a?
a
Let y be (-1)/(-85) - (2 + -2). Let z = 177/595 - y. Do z and 0 have different values?
True
Let p = -373 + 2233/6. Which is bigger: -1 or p?
p
Let j = -23.9 + 22. Let t = 2 + j. Which is smaller: t or 1?
t
Let q be -2*(38/(-20) - -2). Let t be (5 + -3)/2 + -3. Let n = t + 1. Does q = n?
False
Let w = -0.2 + 0.3. Let u = 0.1 + -0.1. Let y = 0.2 - u. Are y and w nonequal?
True
Suppose -144 = -3*o - 0*o. Let f be 2/3 + o/(-18). Do f and -5/2 have different values?
True
Let b(y) = y + 8 + 8*y**2 + 2*y**3 - 6*y**3 + 5*y**3. Let k be b(-8). Which is smaller: 2/5 or k?
k
Let i = 39262208490/1351 + -203442297/7. Let v = -1595 - i. Let n = 372/1351 - v. Which is greater: -1 or n?
n
Let u = 1 + -0.97. Let k = u - 6.03. Which is smaller: 0.1 or k?
k
Let c(s) = s**2 - 5*s. Let r be c(6). Is r not equal to 27/5?
True
Let y be (8/10)/(-4 + (-33)/(-15)). Which is greater: -2 or y?
y
Let k = 0.2 - -0.1. Let w = 1.3 - k. Let c = -2 + w. Is 0 < c?
False
Suppose 8*m - 3*m = -100. Let v be (-2)/m - 2/(-5). Which is greater: 2 or v?
2
Let s = -20 + 18. Is -2 equal to s?
True
Let q = 0.28 - -0.02. Let v = 2125/11 - 193. Which is smaller: q or v?
v
Let y be 2/(-4) - (-3 - 42/(-17)). Which is smaller: 1 or y?
y
Let m be -1*(-5)/(390/(-48)). Which is smaller: -2 or m?
-2
Let t = 4.9 - 6.9. Let h = 0.11 + -0.26. Is t >= h?
False
Let v be 6/(-4)*16/(-6). Suppose 5*k + 9 = v. Does k = -1?
True
Suppose 16 - 1 = -5*m. Suppose -2*f - p = -7, 4*f = 6*p - 7*p + 19. Let d be (2/m)/((-4)/f). Are d and -2/11 equal?
False
Let m be (-6)/(-10) + ((-285)/(-25))/1. Is 5 less than m?
True
Suppose -3 = 3*c + 3. Which is smaller: -1 or c?
c
Let h = -0.3 + 0.4. Let y = -1.6 - -0.5. Let c = y + h. Which is smaller: -3/5 or c?
c
Suppose 4*r + 5*z = 2*r - 23, -10 = 2*z. Is -0.05 at most as big as r?
True
Let s = 0.14 - -0.56. Let d = s + -0.3. Is 2/3 >= d?
True
Suppose 4*s + 2 = 6*s + 4*d, -47 = -5*s + 4*d. Let v be 4/s*4/(-8). Let r = 161/3 - 53. Is v less than or equal to r?
True
Let h = -74 + 46. Which is bigger: -27 or h?
-27
Let s(u) = -u**3 - 16*u**2 + 16*u - 18. Let v be s(-17). Is -3/20 less than v?
False
Let v = 0.8 + -1. Let s = 2/13 + 7/39. Is s less than or equal to v?
False
Suppose 4*g + 0*g + 12 = 4*p, -2*g - 10 = -3*p. Suppose -2*r + 11 - 3 = 0. Suppose -r*d - 2*a = -10, 3*d + 2*a - 5*a + 6 = 0. Are d and g equal?
True
Let r be (2 + -4)/(-102 + 1). Let p = r - 311/404. Which is smaller: p or -2?
-2
Let x(n) = n**2 - 2*n + 1. Let v be x(1). Let m = -23/34 - -3/17. Which is smaller: v or m?
m
Let u(d) = d**3 - 9*d**2 + d + 1. Let f be u(9). Let a be 4/f*2/2. Are -1 and a non-equal?
True
Let c be 0*(1 - 2)/1. Let z(y) = 3*y - 4. Let j be z(4). Let o be (-2)/j - (-10)/(-24). Does o = c?
False
Let j = 0 - -4. Let w be 1*((-10)/j)/5. Let h = -0.7 - 0.3. Is w smaller than h?
False
Let f = 5811/17 + -342. Suppose 0 = -3*j - 0*j. Do f and j have the same value?
False
Let z be ((-90)/(-160))/((-6)/(-8)). Which is smaller: 12 or z?
z
Let i = -359/6 - -103/12. Let p = -52 - i. Which is greater: 0 or p?
0
Let u = 11 - 8. Suppose -v + 15 = -4*l, u*l + 0*l - 2*v + 15 = 0. Which is greater: l or -5?
l
Let c(p) = p + 1. Let y be c(7). Which is bigger: y or -5?
y
Let s(i) = i + 11. Let w be s(-12). Which is smaller: -0.01 or w?
w
Let j = 2.19 - 2.09. Which is bigger: 199 or j?
199
Let i be (-2 + 2 + 6)*3/618. Which is smaller: i or -1?
-1
Let y(v) be the second derivative of v**5/20 - v**4/4 - v**3/6 - v**2/2 + v. Let a be y(3). Suppose 0 = -3*f - 1 - 8. Is f != a?
True
Let r be 3/12*2/4. Suppose -7*g = -2*g. Is g < r?
True
Let a = 6 + -6. Suppose 4 = -4*j - a. Is 2/9 bigger than j?
True
Let q = 11/989 + -11450/940539. Let t = -421/1585 + q. Is -1 equal to t?
False
Suppose -4*k = -2*f, 1 = 2*f - 5*k - 3. Is f less than -7?
True
Let d(o) = -1. Let t(f) = f**2 + 7*f + 2. Let j(m) = -5*d(m) + t(m). Let n be j(-5). Is -3 bigger than n?
False
Let m be 1/(-6) + 1/(-3). Let l = 42.62 - 43. Let n = -0.4 - l. Is m less than n?
True
Let x(i) = -i**2 + 3*i + 4. Let d be x(4). Let g = 20 + -14. Let s = g + -5. Which is smaller: s or d?
d
Let z = -4 - -2. Suppose 6*i - 3*i = -15. Do i and z have the same value?
False
Suppose 4*k - 2*r - 18 = 0, -3*r = -6*k + k + 21. Let n = k + -5. Is n at least 1/2?
True
Let o = -61/205 + 4/41. Let y be 4/(-10) + 216/15. Suppose s + 4 = 5*q + y, -3*s - 2*q = 4. Is s less than or equal to o?
False
Suppose 0 = -2*q + 5*q + 57. Let u = q - -20. Let x be ((-2)/(-51))/((-1)/(-3)). Which is smaller: u or x?
x
Let o be 85/4 + 2/(-8). Suppose -2*b + 2*s + 10 = 0, 3*s = -0*s - 9. Let w be 1 - (b + (-9)/o). Is -2 smaller than w?
True
Let v = -21 + 45. Is 24 > v?
False
Let t = 17 - 11. Let p be 39/9 - t/(-9). Suppose p*o - 2*r + 20 = 0, 2 = 2*o - r + 10. Does o = -4?
True
Let a = 2 + -6. Let k = a + 3. Let d = 3 + k. Are -2/7 and d equal?
False
Let w = 84 - 195. Let f be 88/(-20)*w/6. Let d = f + -82. Do 2 and d have the same value?
False
Suppose 2*l + 189 = -5*r - 0*r, 0 = -3*l + r - 258. Let a = 437/5 + l. Which is bigger: -2 or a?
a
Suppose 0 = 3*n - 24 + 3. Which is smaller: 11/2 or n?
11/2
Suppose -8 = -3*b + 4*w, 3 + 6 = 3*b - 3*w. Suppose b*a - 19 + 3 = 0. Suppose 0 = -a*h + 5*j - 15, -3*h + 2*j = -j + 12. Is h greater than or equal to -6?
True
Let g = -1758 - -156464/89. Is 1 bigger than g?
True
Let h be 3 + -1 - 12/3. Let m be h/6 - 1/(-3). Suppose w = -m*w + 2. Is 2/3 smaller than w?
True
Let p(c) = c + 10. Let n be p(-4). Let y be (12/(-9))/((-28)/n). Which is smaller: y or 3/2?
y
Let r = 48 - 30. Is r g